gsoc:2018-gsoc-lsb-projects
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
gsoc:2018-gsoc-lsb-projects [2018/01/29 22:31] khoroshilov [Add support for C++11 to LSB] |
gsoc:2018-gsoc-lsb-projects [2018/01/29 22:34] (current) khoroshilov [Analysis and extermination of race condition warnings in the Linux kernel] |
||
|---|---|---|---|
| Line 34: | Line 34: | ||
| **Desired knowledge:** C, Testing\\ Mentors: Alexey Khoroshilov, Roman Zybin | **Desired knowledge:** C, Testing\\ Mentors: Alexey Khoroshilov, Roman Zybin | ||
| - | =====Analysis and extermination of race condition warnings in the Linux kernel===== | + | =====Analysis and fixing of race condition warnings in the Linux kernel===== |
| One of the most difficult to catch causes of bugs are race conditions — they may manifest itself only on rare schedules, and they are hard to fix — they usually require rethinking and careful selection of synchronization mechanism. Various methods exist for detecting race conditions. One of them is a static analysis, which allows to find errors in the module parts hardly reachable with testing. | One of the most difficult to catch causes of bugs are race conditions — they may manifest itself only on rare schedules, and they are hard to fix — they usually require rethinking and careful selection of synchronization mechanism. Various methods exist for detecting race conditions. One of them is a static analysis, which allows to find errors in the module parts hardly reachable with testing. | ||
gsoc/2018-gsoc-lsb-projects.1517265088.txt.gz · Last modified: 2018/01/29 22:31 by khoroshilov
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
