|
News of the Kabardin-Balkar scientific center of RAS, 2011, Issue 1, Pages 213–216
(Mi izkab614)
|
|
|
|
COMPUTER SCIENCE. CALCULATION EQUIPMENT. MANAGEMENT
Checkup оf logical structure correctness for multitask software applications
V. V. Nikiforov, V. I. Shkirtil St.-Petersburg Institute of Computer Science and Automation of the Russian Academy of Sciences,
199178, St.-Petersburg, 39, 14th line
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.
Received: 24.01.2011
Citation:
V. V. Nikiforov, V. I. Shkirtil, “Checkup оf logical structure correctness for multitask software applications”, News of the Kabardin-Balkar scientific center of RAS, 2011, no. 1, 213–216
Linking options:
https://www.mathnet.ru/eng/izkab614 https://www.mathnet.ru/eng/izkab/y2011/i1/p213
|
Statistics & downloads: |
Abstract page: | 18 | Full-text PDF : | 9 | References: | 10 |
|