SCOOP并发机制应用研究

SCOOP扩展了串行Eiffel程序设计语言以支持并发应用的构建。SCOOP通过一组编译规则回避了显式线程声明、同步阻塞、显式等待,并经构造消除了竞争条件和原子化违背。SCOOP意图通过一个全局调度程序来保证合理性。JSCOOP作为一种高层并发框架,是SCOOP在Java中的实现。JSCOOP引入了一组模型化注释和核心库类以提供实现SCOOP语义的必要支持。本文详细分析了SCOOP模型和JSCOOP模型的体系结构以及面向对象并发程序实现机制,并总结了SCOOP在并发程序设计中的发展现状。