Academic Journal
Автоматизация анализа ситуаций взаимных блокировок операционных систем
| Τίτλος: | Автоматизация анализа ситуаций взаимных блокировок операционных систем |
|---|---|
| Πηγή: | Вестник государственного университета морского и речного флота им. адмирала С.О. Макарова. |
| Στοιχεία εκδότη: | Федеральное государственное бюджетное образовательное учреждение высшего образования «Государственный университет морского и речного флота имени адмирала С.О. Макарова», 2009. |
| Έτος έκδοσης: | 2009 |
| Θεματικοί όροι: | ВАЛИДАЦИЯ, ВЗАИМНЫЕ БЛОКИРОВКИ, ОПЕРАЦИОННЫЕ СИСТЕМЫ, ВРЕМЕННАЯ ЛОГИКА, ПРОВЕРКА МОДЕЛЕЙ, ВЕРИФИКАЦИЯ |
| Περιγραφή: | Одной из ключевых проблем разработки операционных систем является предотвращение ситуаций взаимных блокировок. В работе рассмотрен механизм 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. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | text/html |
| Γλώσσα: | Russian |
| ISSN: | 2309-5180 |
| Σύνδεσμος πρόσβασης: | http://cyberleninka.ru/article_covers/10993492.png http://cyberleninka.ru/article/n/avtomatizatsiya-analiza-situatsiy-vzaimnyh-blokirovok-operatsionnyh-sistem |
| Αριθμός Καταχώρησης: | edsair.od......2806..dfedb5b0a9c607f671d9d16789a47298 |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 23095180 |
|---|