Prevention of deadlocks in parallel programs of multiprocessor machines

For analysis of parallel programs the sufficient condition under which no deadlocks occur in a parallel program is formulated and proved. A deadlock prevention method is described which relies on preliminary analysis of the program.