Abstract:
A method is suggested that serves for checking the structure of multitask software application with
mutex synchronization in case of possible opportunity of actual tasks mutual blocking. The method is
based on development and analysis of special multi-fraction oriented graphs where the number of peaks
increases linearly with task number.
Keywords:multitask software applications, mutual resources, synchronization mechanisms, system
state graph, deadlocks, clinches.