DocumentCode
2882227
Title
Specification of synchronization by means of constraints
Author
Boksembaum, C. ; Mauran, P.
Author_Institution
Montpellier II Univ., CNRS, France
fYear
1990
fDate
7-9 Mar 1990
Firstpage
479
Lastpage
484
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Databases, Parallel Architectures and Their Applications,. PARBASE-90, International Conference on
Conference_Location
Miami Beach, FL
Print_ISBN
0-8186-2035-8
Type
conf
DOI
10.1109/PARBSE.1990.77184
Filename
77184
Link To Document