Silva-2006
From IEETA
Conference proceedings article
Title | Automatic Realizations of Statically Safe Intra-Object Synchronization Schemes in MP-Eiffel |
---|---|
Author | Miguel Oliveira e Silva |
Booktitle | Symposium on Concurrency, Real-Time, and Distribution in Eiffel-Like Languages |
Address | York, United Kingdom |
Volume | |
Pages | 91-118 |
Month | July |
Year | 2006 |
Group | |
Group (before 2015) | Information Systems and Telematics Laboratory |
Indexed by ISI | Not known yet |
Scope | International |
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.