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 21:27] khoroshilov |
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 68: | Line 68: | ||
| * Obtain and analyze new verification results. Prove then now more code is covered. Analyze new verification results and prepare patches in case of found errors. | * Obtain and analyze new verification results. Prove then now more code is covered. Analyze new verification results and prepare patches in case of found errors. | ||
| - | More than one application can be approved. | ||
| **Desired knowledge:** C, understanding of Linux kernel including interrupt handling and deferred works execution.\\ | **Desired knowledge:** C, understanding of Linux kernel including interrupt handling and deferred works execution.\\ | ||
| + | **Mentors:** Ilja Zakharov, Alexey Khoroshilov | ||
| + | |||
| + | =====Improve environment model for memory safety verification of the Linux Kernel===== | ||
| + | |||
| + | The project is similar for the previous one, but the main goal of improvements is not to improve code coverage, but it is to make environment model more precise to avoid false positives in memory safety verification. For example, [[http://linuxtesting.org/27-08-2017|GSoC project of 2017]] reported that 340 warning are false alarms because of environment model inaccuracies. The root causes of these false alarms have to be fixed. | ||
| + | |||
| + | A student is expected to write model and analyze changes in verification results for about 70 functions from recent Linux kernels. Models are C functions representing memory sensitive paths similar to the original code from static verification point of view but they are more simple. Those function models which help to improve verification will be included in LDV environment model. If a student detects a bug in the kernel then she should either prepare a patch fixing the bug and send it to the developers of the module or to send a bug report. | ||
| + | |||
| + | **Desired knowledge:** C, Linux kernel.\\ | ||
| **Mentors:** Ilja Zakharov, Alexey Khoroshilov | **Mentors:** Ilja Zakharov, Alexey Khoroshilov | ||
| Line 119: | 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.1517261263.txt.gz · Last modified: 2018/01/29 21:27 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
