Academic Journal
Автоматизация анализа ситуаций взаимных блокировок операционных систем
| Title: | Автоматизация анализа ситуаций взаимных блокировок операционных систем |
|---|---|
| Source: | Вестник государственного университета морского и речного флота им. адмирала С.О. Макарова. |
| Publisher Information: | Федеральное государственное бюджетное образовательное учреждение высшего образования «Государственный университет морского и речного флота имени адмирала С.О. Макарова», 2009. |
| Publication Year: | 2009 |
| Subject Terms: | ВАЛИДАЦИЯ, ВЗАИМНЫЕ БЛОКИРОВКИ, ОПЕРАЦИОННЫЕ СИСТЕМЫ, ВРЕМЕННАЯ ЛОГИКА, ПРОВЕРКА МОДЕЛЕЙ, ВЕРИФИКАЦИЯ |
| Description: | Одной из ключевых проблем разработки операционных систем является предотвращение ситуаций взаимных блокировок. В работе рассмотрен механизм lockdep, проанализированы его сильные и слабые стороны. Предложено улучшение, позволяющее уменьшить изменение временных вариаций и вычислительную сложность.One of main problems of operating system development process is to avoid deadlocks. Paper describes lockdep validation system, analyze weak and strong points. Extra timing reducing and calculation complexity improvements are suggested. |
| Document Type: | Article |
| File Description: | text/html |
| Language: | Russian |
| ISSN: | 2309-5180 |
| Access URL: | http://cyberleninka.ru/article_covers/10993492.png http://cyberleninka.ru/article/n/avtomatizatsiya-analiza-situatsiy-vzaimnyh-blokirovok-operatsionnyh-sistem |
| Accession Number: | edsair.od......2806..dfedb5b0a9c607f671d9d16789a47298 |
| Database: | OpenAIRE |
Be the first to leave a comment!