CORDIE'06
From IEETA
| Deadline | 2006/03/15 |
|---|---|
| Starts | 2006/07/04 |
| Ends | 2006/07/05 |
| Participant | Miguel Oliveira e Silva |
| Location | University of York |
| Country | United Kingdom |
| URL | http://www-users.cs.york.ac.uk/~paige/cordie06.htm |
Automatic Realizations of Statically Safe Intra-Object Synchronization Schemes in MP-Eiffel
This article presents the approach taken in MP-Eiffel to handle intra-object synchronization of concurrent objects. The correctness of concurrent objects is discussed assuming the existence of contract language mechanisms. Several synchronization schemes are presented and their automatic realization by the compiling system is discussed. A new proposal for automatic realizations of mixed synchronization schemes, either in exclusion or in concurrency, is presented and discussed. It is shown that one of those mixed schemes provides a solution for the safe integration of intra-object and inter-objects synchronization schemes within a concurrent object. The problem of conditional synchronization is also considered.