병행객체지향언어에서 효과적으로 상속을 지원하기 위한 동기화기법 = A Synchronization Scheme for Effective Support of Inheritance in Concurrent Object-oriented Languages

국문 초록 (Abstract)

병행객체지향언어는 병행프그래밍을 위한 병행성과 객체지향언어의 주요 이점인 캡술화기능, 재사용성등을 동시에 지원하지만 객체지향언어의 상속기법과 병행성의 동기화 기법의 성질의 부조화로 인하여 객체의 재사용도를 현저히 감소시킨다. 이러한 문제를 상속변칙현상라고 부르는데, 이는 객체의 동기화코드가 그 객체의 메쏘드 및 동기화코드 그 자체의 상속을 방해하는 현상을 말한다. 본 논문에서는 이러한 변칙현상 원인을 분석하고 이런 현상을 크게 줄일 수 있는 병행객체지향언어를 위한 동기화 기법을 제안한다. 제안된 기법은 actor 모델에 기반한 객체지향 언어를 위한 것으로서 동기화 코드는 메쏘드와 분리된 추상화된 동기화코드와 그들의 결합에 의해 표현된다. 이 기법에서는 메쏘드의 상속이 동기화 코드에의해 방해 받지 않음을 물론, 상위클래스의 동기화 코드들이 결합에 의해 수정없이 하위클래스로 상속될 수 있다. 본 논문에서는 예제를 통해 제안된 기법이 다양한 상속변칙현상을 해결할 수 있음을 보여준다.

다국어 초록 (Multilingual Abstract)

A conflict between inheritance and synchronization (inheritance anomalies) reduces reusability in concurrent object-oriented languages. In this paper, we propose an incremental modification mechanism for synchronization constraints called behavior compositions It enables synchronization constraints of superclasses to be modified incrementally, minimizing change in the synchronization code of the superclasses. It does not also prohibits methods from being inherited We show how the behavior compositions can be adopted to a multiple inheritance mechanism reducing inheritance anomalies drastically.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 상속변칙현상
• 3. 기본적인 동기화 기법
• 4. 행위 결합
• 5. 동기화조건의 상속
• 6. 관련연구와의 비교
• 7. 결론
• 부록
• 참고문헌
• 저자소개