gsoc:2019-gsoc-safety-critical-linux
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
gsoc:2019-gsoc-safety-critical-linux [2019/01/24 12:12] lukas.bulwahn |
gsoc:2019-gsoc-safety-critical-linux [2019/02/04 09:00] lukas.bulwahn [Applying Clang Thread Sanitizer to Linux Kernel] |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| The Google Summer of Code Projects are activities that contribute to those two fields of work. | The Google Summer of Code Projects are activities that contribute to those two fields of work. | ||
| - | Primary mentoring contacts: Lukas Bulwahn, lukas.bulwahn at gmail.com, Julia Lawall <julia.lawall@lip6.fr>, Nicholas Mc Guire, der.herr at hofr.at, Ralf Ramsauer | + | Primary mentoring contacts: Lukas Bulwahn, lukas.bulwahn at gmail.com; Julia Lawall, julia.lawall at lip6.fr; Nicholas Mc Guire, der.herr at hofr.at; Ralf Ramsauer, ralf.ramsauer at oth-regensburg.de |
| ==== Some background on previous activities in safety-critical systems ==== | ==== Some background on previous activities in safety-critical systems ==== | ||
| 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 | ||
| Line 47: | Line 47: | ||
| The issue tracker, https://github.com/lfd/PaStA/issues, provides a good overview of possible student activities in a GSoC project related to PaStA. A student start look into those issues and determine a suitable selection of tasks and goals from that issue tracker that can be handled within the timeframe of the GSoC project. A project proposal should breakdown the goals stated in the issue tracker to a more detailed plan of activities, needed extensions of PaStA and the implementation tasks. | The issue tracker, https://github.com/lfd/PaStA/issues, provides a good overview of possible student activities in a GSoC project related to PaStA. A student start look into those issues and determine a suitable selection of tasks and goals from that issue tracker that can be handled within the timeframe of the GSoC project. A project proposal should breakdown the goals stated in the issue tracker to a more detailed plan of activities, needed extensions of PaStA and the implementation tasks. | ||
| - | Main contact person for this project proposal: Ralf Ramsauer | + | Main contact person for this project proposal: Ralf Ramsauer, ralf.ramsauer at oth-regensburg.de |
| ==== Handling Complex Types and Attributes in Coccinelle ==== | ==== Handling Complex Types and Attributes in Coccinelle ==== | ||
| Line 57: | Line 57: | ||
| This project is relevant to Linux, Zephyr and many more applications. | This project is relevant to Linux, Zephyr and many more applications. | ||
| - | Main contact person for this project proposal: Julia Lawall <julia.lawall@lip6.fr> | + | Main contact person for this project proposal: Julia Lawall, julia.lawall at lip6.fr |
| ==== Develop Methods for Tracking Tool Analysis Findings over Time ==== | ==== Develop Methods for Tracking Tool Analysis Findings over Time ==== | ||
gsoc/2019-gsoc-safety-critical-linux.txt ยท Last modified: 2019/03/04 12:53 by lukas.bulwahn
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
