摘要
Ada的会合机制使我们能在高级语言一级上描述系统的并发活动,从而避免了在使用低级通信原语时所不可避免的问题。但由于会合机制是一种完全同步的实现机制,因此其并发效率较低。为此,本文提出:采用基于Ada保护对象的(异步)信箱机制实现Ada会合的服务模型,使之既具有会合机制的高可靠性,又能提高系统的并发度和实现效率。
The rendezvous mechanism of Ada provides an advanced high level approach to task synchronization which avoids the problems encountered by the use of low- level primitives such as semaphores and signals. However, the rendezvous mechanism is realized in completely synchronized way so that its concurrent efficiency is lower than asynchronous message communication. An Ada protected object - based (asynchronous) mailbox mechanism is proposed to realize Ada rendezvous service model which can improve the concurrent efficiency of Ada program while keeping the rendezvous model's reliability.
出处
《计算机与数字工程》
2000年第5期1-5,51,共6页
Computer & Digital Engineering
基金
国家自然科学基金
关键词
会合机制
保护对象
并发效率
ADA语言
rendezvous mechanism, service model, protected object, mailbox