gsoc:2018-gsoc-lsb-projects
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
gsoc:2018-gsoc-lsb-projects [2018/01/29 22:26] khoroshilov [Development of environment model specifications for static verification of Linux Kernel] |
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. | ||
| Line 127: | Line 127: | ||
| [[http://ispras.linuxbase.org/index.php/LSB_DB_Tools|LSB_DB_Tools]]. | [[http://ispras.linuxbase.org/index.php/LSB_DB_Tools|LSB_DB_Tools]]. | ||
| - | Original idea was proposed in [[https://www.mail-archive.com/lsb-discuss@lists.linux-foundation.org/msg00104.html|lsb-discuss]] mailing list. | + | The idea was proposed in [[https://www.mail-archive.com/lsb-discuss@lists.linux-foundation.org/msg00104.html|lsb-discuss]] mailing list. So, it is preferred to discuss corresponding questions in that thread. |
| **Desired knowledge:** C++, C++ ABI, SQL databases, Perl\\ | **Desired knowledge:** C++, C++ ABI, SQL databases, Perl\\ | ||
| Mentors: Jeff Licquia, Denis Silakov, Alexey Khoroshilov | Mentors: Jeff Licquia, Denis Silakov, Alexey Khoroshilov | ||
gsoc/2018-gsoc-lsb-projects.1517264796.txt.gz · Last modified: 2018/01/29 22:26 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
