This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
gsoc:2022-gsoc-lsb-projects [2022/01/26 18:39] till created |
gsoc:2022-gsoc-lsb-projects [2022/02/22 18:19] (current) khoroshilov |
||
---|---|---|---|
Line 11: | Line 11: | ||
Code License: GPL/BSD, specs: GNU FDL | Code License: GPL/BSD, specs: GNU FDL | ||
- | Mentors: Alexey Khoroshilov (alexey dot khoroshilov at gmail dot com), Jeff Licquia (licquia at linuxfoundation dot org), Vadim Mutilin, Denis Silakov (dsilakov at gmail dot com). | + | Mentors: Alexey Khoroshilov (alexey dot khoroshilov at gmail dot com), Jeff Licquia (licquia at linuxfoundation dot org), Vadim Mutilin, Denis Moskalev. |
+ | =====Develop New Linux Test Suites===== | ||
- | **Still needs to get updated!!** | + | 1-4 contributor full-size OR half-size |
- | + | ||
- | =====Develop New LSB Desktop Test Suite===== | + | |
LSB Desktop tests [1,2] is a part of LSB certification tests. Existing tests do not cover all interfaces included into LSB and LSB specification continues to grow ([[http://linuxbase.org/navigator/browse/status.php|http://linuxbase.org/navigator/browse/status.php]]). The goal of the project is to develop tests for newly included libraries and for interfaces that have no tests yet ([[http://linuxbase.org/navigator/coverage/cov2.php|http://linuxbase.org/navigator/coverage/cov2.php]]). | LSB Desktop tests [1,2] is a part of LSB certification tests. Existing tests do not cover all interfaces included into LSB and LSB specification continues to grow ([[http://linuxbase.org/navigator/browse/status.php|http://linuxbase.org/navigator/browse/status.php]]). The goal of the project is to develop tests for newly included libraries and for interfaces that have no tests yet ([[http://linuxbase.org/navigator/coverage/cov2.php|http://linuxbase.org/navigator/coverage/cov2.php]]). | ||
Line 27: | Line 26: | ||
=====Analysis and fixing of race condition warnings in the Linux kernel===== | =====Analysis and fixing of race condition warnings in the Linux kernel===== | ||
+ | |||
+ | 1 contributor full-size OR 2 contributors half-size | ||
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 50: | Line 51: | ||
=====Development of environment model specifications for static verification of Linux Kernel===== | =====Development of environment model specifications for static verification of Linux Kernel===== | ||
+ | |||
+ | 1 contributor full-size | ||
The Linux Driver Verification (LDV) program aims to apply heavy-weight static verification tools to find bugs in Linux kernel modules. In contrast to widely used static analysis tools, the approach considers a module as a whole and performs thorough verification empowered by formal techniques. | The Linux Driver Verification (LDV) program aims to apply heavy-weight static verification tools to find bugs in Linux kernel modules. In contrast to widely used static analysis tools, the approach considers a module as a whole and performs thorough verification empowered by formal techniques. | ||
Line 62: | Line 65: | ||
**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 | + | **Mentors:** Eugene Novikov, Alexey Khoroshilov |