Title :
Specification of synchronization by means of constraints
Author :
Boksembaum, C. ; Mauran, P.
Author_Institution :
Montpellier II Univ., CNRS, France
Abstract :
A synchronization model based on the expression of global constraints and on a method of managing them is presented. After this approach is justified, a model for constraints management which allows compounded operations to be taken into account is described. The power of this model is illustrated on parallel control structures such as plain or complex rendezvous; priority and fairness are analyzed and the corresponding constraints are stated. The expression of dynamic constraints is also demonstrated. Extensions of this model for coping with concurrency are described
Keywords :
operating systems (computers); scheduling; synchronisation; concurrency; dynamic constraints; fairness; global constraints; parallel control structures; priority; specification of synchronisation; synchronization model; Abortion; Concurrent computing; Graph theory; Operating systems; Parallel architectures; Petri nets; Power system modeling; Proposals; System recovery; Testing;
Conference_Titel :
Databases, Parallel Architectures and Their Applications,. PARBASE-90, International Conference on
Conference_Location :
Miami Beach, FL
Print_ISBN :
0-8186-2035-8
DOI :
10.1109/PARBSE.1990.77184
