SCOOP并发机制应用研究  

Application Research on SCOOP Concurrency Mechanism

作　　者：戎戟[1] 

机构地区：[1]南京交通职业技术学院电子信息工程系,南京211188

出　　处：《微计算机应用》2009年第11期70-75,共6页Microcomputer Applications

摘　　要：SCOOP扩展了串行Eiffel程序设计语言以支持并发应用的构建。SCOOP通过一组编译规则回避了显式线程声明、同步阻塞、显式等待,并经构造消除了竞争条件和原子化违背。SCOOP意图通过一个全局调度程序来保证合理性。JSCOOP作为一种高层并发框架,是SCOOP在Java中的实现。JSCOOP引入了一组模型化注释和核心库类以提供实现SCOOP语义的必要支持。本文详细分析了SCOOP模型和JSCOOP模型的体系结构以及面向对象并发程序实现机制,并总结了SCOOP在并发程序设计中的发展现状。SCOOP extends sequential Eiffel programming language to support the construction of concurrent applications. SCOOP avoids explicit thread declarations, synchronized blocks and explicit waits through a set of compiler rules, and eliminates race conditions and atomicity violations by construction. SCOOP is intended to guarantee fairness via use of a global scheduler. As a high - level concurrency framework, JSCOOP is an implementation of SCOOP for Java. JSCOOP introduces a set of modeled annotations and core library classes to provide the support necessary to implement the SCOOP semantics. The paper in detail analyzed the architecture of SCOOP model and JSCOOP model as well as implementation mechanism of concurrent Object Oriented programming, and summarized SCOOP development state in concurrent programming.

关 键 词：SCOOP模型 JSCOOP模型 EIFFEL 并发程序设计 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]