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 | ||