This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
gsoc:2019-gsoc-safety-critical-linux [2019/01/24 12:14] lukas.bulwahn |
gsoc:2019-gsoc-safety-critical-linux [2019/02/04 09:00] lukas.bulwahn [Applying Clang Thread Sanitizer to Linux Kernel] |
||
---|---|---|---|
Line 29: | Line 29: | ||
====== Student Project Proposals 2019 ====== | ====== Student Project Proposals 2019 ====== | ||
- | ==== Applying Clang Thread Sanitizer to Linux Kernel ==== | + | ==== Applying Clang Thread Safety Analyser to Linux Kernel ==== |
- | The Linux kernel can be compiled with clang recently. This allows to employ clang tools to the Linux kernel source. The clang thread sanitizer is a tool to detect when data is accessed without being locked before, when suitable annotations are provided. The GSoC student project proposal should describe how you would use the clang thread sanitizer to detect missing locks for on widely used and central kernel data structures in the Linux kernel. The GSoC student project proposal should sketch how this would implemented, it would be best to provide an example and foreseen challenges and explain which the first investigations and design decisions need to be done and provide a first working assumption on those design decisions. | + | The Linux kernel can be compiled with clang recently. This allows to employ clang tools to the Linux kernel source. The clang thread safety analyser is a tool to detect when data is accessed without being locked before, when suitable annotations are provided. The GSoC student project proposal should describe how you would use the clang thread safety Analyser to detect missing locks for on widely used and central kernel data structures in the Linux kernel. The GSoC student project proposal should sketch how this would implemented, it would be best to provide an example and foreseen challenges and explain which the first investigations and design decisions need to be done and provide a first working assumption on those design decisions. |
Main contact person for this project proposal: Lukas Bulwahn, lukas.bulwahn at gmail.com | Main contact person for this project proposal: Lukas Bulwahn, lukas.bulwahn at gmail.com |