Personal tools



Jump to: navigation, search

Deadline 2006/03/15
Starts 2006/07/04
Ends 2006/07/05
Participant Miguel Oliveira e Silva
Location University of York
Country United Kingdom
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.