| 摘要: |
| 并发面向对象语言ＣＯＯＬ（ｃｏｎｃｕｒｅｎｔｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｌａｎｇｕａｇｅ）是一种有效的并发程序设计语言．本文提出了一种并发对象模型（ＣｏｎｃｕｒｅｎｔＣ＋＋，ＣＣＰＰ）及其语言．在ＣＣＰＰ并发对象模型中，所有对象都是并发对象，对象间的通讯都采用异步消息发送方式．对象间的同步采用“需要时等待”策略，同一对象内并发线程间的同步用路径表达式描述．ＣＣＰＰ语言是对Ｃ＋＋语言的扩充，采用预编译方法实现．ＣＣＰＰ语言允许并发／顺序代码重用. |
| 关键词: 并发面向对象语言 并发程序设计 C＋＋ |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金资助. |
|
| USING SEMANTICS PASSING TECHNIQUES TO PROCESS MULTILEVEL TRANSACTIONS |
|
WEN Dong-chan,WANG Dingxing,ZHANG ning
|
| Abstract: |
| COOL(concurrent object-oriented language) is a kind of highly efficient concurrent programming language．In this paper，a concurrent object model(concurrent C++，CCPP)and its language are presented．In this model，all objects are concurrent，and they communicate through asynchronous message sending．Concurrent objects are svnchronized using a wait-when-necessary policy，and the synchronization constrains among concurrent threads within an object are described by path expressions．CCPP is an extension of C++，implemented by a precompiler．CCPP allows sequential/concurrent rode retuse． |
| Key words: Concurrent object-oriented language,concurrent programming,C++. |
