Personal tools

Silva-2006

From IEETA

Jump to: navigation, search

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.