Synchronization constraints in a concurrent object oriented programming model

摘要

The data encapsulation inherent to objects makes this programming paradigm very attractive for implementing parallel systems. very attractive for implementing parallel system.s In the model presented in this work,the parallelism is achieved by asynchronous calls to methods. This approach results in inter-object parallelism, by allowing different objects to be executed in parallel, and also provides the parallelism among methods of the same object. In our model, a method call is always asynchronous, requiring well-defined means for specifying synchronization mechanisms. In this sense, we propose an extension to this concurrent model in order to express ssynchronization aspects.