TOWARDS CONCURRENT PROCESSES PROTOTYPING

摘要

The concept considered provides a synchronization mechanism that enables concurrent processes to compete safely (i.e. being starvation and deadlock-free) for access to shared system resources. The main problem is reduced to determining a pair (priority dispatching rules, an initial processes allocation), which can be treated as distributed control procedure. Then the conditions connecting the pair variants with a given structure of system resource capacity distribution are derived.