문제의 병행처리를 위한 모델링 방법과 문제의 병행성을 동적 환경에서 자동으로 검출하기 위하여 병행 연산모델 두레를 설계하고 두레언어 DL로 구현하였다. 두레모델은 문제의 모델링과 연산수행을 위해 단순하고 일관된 개념의 객체 정의와 메시지 전송개념을 지원한다. 문제의 병행처리를 프로그램에 명시하지 않고도 암시적으로 지원할 수 있도록 병행성의 검출 기준을 제안하였으며, 동적 환경에서 병행객체를 생성하여 최대한의 병행성을 보장하도록 하였다. 또한 객체의 연산 진행을 효율적으로 보장해 줄 수 있도록 Waiting Variable의 개념을 제안하였다.
A concurrent computation model Doorae and its description language DL are developed to model problems of parallel and distributed systems. Doorae model has simple and uniform concepts of object and message passing for problem modeling and computation. A method for detecting parallelism implicitly. with no exact description of parallelism in program. is proposed. Furthermore, the method assures the maximum parallelism in dynamic environment by creating concurrent objects. Also a concept of Waiting Variable to insure maximum computation efficiency of objects is proposed.
