HSR Concurrency Lab

Prof. Dr. Luc Bläser

Parallel Checker for Visual Studio

Project started in 2014, active. Institute Research Project.

Concurrency errors, such as data races and deadlocks occur non-deterministically and are therefore particularly hard to find, not only by testing. For this reason, we develop an efficient static checker for Visual Studio that detects data race and deadlock issues in C# at compile- or code-writing-time. With our new analysis algorithm, the checker runs very fast and exhibits very few false positives or false negatives. Issues are conveniently highlighted directly in the source code while working in the IDE. The implementation is based on Microsoft Roslyn for Visual Studio 2015. A prototype release is planned for 2017.

Screenshot of concurrency checker

Figure: Parallel Checker highlighting a data race issue in C#.

Contact

For further information, please do not hesitate to contact us: Contact