The Linux Kernel is one of the most popular and fast-developed projects in the world. Keywords-driver verification race condition linux kernel dynamic verification operating system RaceHound, a race condition detection system for Linux drivers based on similar principles as DataCollider is presented. The paper overviews some of existing approaches to detect race conditions including DataCollider system based on concurrent memory access tracking. Errors of this class are becoming more common and more dangerous with the development of multi-processor and multi-core systems, especially in such a fundamentally parallel environment as an operating system kernel. Nikita Komarov ISPRAS Moscow, Russia important class of problems in software are race conditions. On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules
0 Comments
Leave a Reply. |