Extended Static Race Detection for Visual Studio

Charrière, Thomas Sebastian (2015) Extended Static Race Detection for Visual Studio. Bachelor thesis, HSR Hochschule für Technik Rapperswil.

[thumbnail of ba_thesis.pdf]
Preview
Text
ba_thesis.pdf - Supplemental Material

Download (2MB) | Preview

Abstract

Multi-threaded programs are known to be prone to data races that are hard to find due to their
non-deterministic occurrence. This thesis implements a novel static analysis mechanism for detecting
low-level data races in the C# programming language. The tool works on the fly within
the Visual Studio integrated development environment using the Roslyn framework. Based on a
novel algorithm, the analysis employs conservative inter-procedural data-flow analysis considering
thread dependency graphs with start/join relations. The result is working prototype with a simple
architecture that efficiently detects potential data race issues by conveniently highlighting them in
the program source code.

Item Type: Thesis (Bachelor)
Subjects: Topics > Software > Performance
Topics > Software > Optimization
Area of Application > Development Tools
Technologies > Programming Languages > C#
Technologies > Frameworks and Libraries > .NET
Divisions: Bachelor of Science FHO in Informatik > Bachelor Thesis
Depositing User: Christian Spielmann
Contributors:
Contribution
Name
Email
Thesis advisor
Bläser, Luc
UNSPECIFIED
Date Deposited: 23 Jul 2015 06:41
Last Modified: 23 Jul 2015 06:41
URI: https://eprints.ost.ch/id/eprint/428

Actions (login required)

View Item
View Item