摘要
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 reahzed 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 and keep on the rendezvous model's reliability.
出处
《计算机应用与软件》
CSCD
北大核心
2001年第8期29-31,65,共4页
Computer Applications and Software
基金
国家自然科学基金(编号:69773041)