Patent
Data race detection
John Erickson,Madan Musuvathi +1 more
- 09 Feb 2011
20
TL;DR: In this paper, a method for detecting a data race was proposed, which consists of inserting a plurality of breakpoints into a corresponding plurality of program locations, each of the program locations accesses the plurality of memory locations.
read more
Abstract: The claimed subject matter provides a method for detecting a data race. The method includes inserting a plurality of breakpoints into a corresponding plurality of program locations. Each of the program locations accesses a plurality of memory locations. Each of the program locations is selected randomly. The method also includes detecting one or more data races for the memory locations in response to one or more of the breakpoints firing. Additionally, the method includes generating a report describing the one or more data races.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Predicting null-pointer dereferences in concurrent programs
Azadeh Farzan,P. Madhusudan,Niloofar Razavi,Francesco Sorrentino +3 more
- 11 Nov 2012
TL;DR: This work provides a carefully chosen novel set of techniques to achieve reasonably accurate and scalable prediction of null-pointer dereferences and takes advantage of a static lock-set based pruning, and employs precise and relaxed constraint solving techniques that use an SMT solver to predict schedules.
Patent
Systems and methods for finding concurrency errors
Luis Ceze,Brandon Lucia +1 more
- 06 Dec 2011
TL;DR: In this article, context-aware communication graphs that represent inter-thread communication are collected during test runs, and may be labeled according to whether the test run was correct or failed.
17
Patent
Data-scoped dynamic data race detection
Yuan Zhang,Hazim Shafi,Khaled S. Sedky +2 more
- 25 Jun 2010
TL;DR: In this article, a dynamic shared-memory data race detection tool with data-scoping capabilities to reduce runtime overheads is presented, which allows users to restrict analysis of memory locations to heap and/or stack variables that are of interest to them using explicit calls to functions provided in a library that is part of the tool.
13
Patent
Methods and Systems to Identify and Reproduce Concurrency Violations in Multi-Threaded Programs
Justin Gottschlich,Gilles Pokam,Cristiano Pereira,Jungwoo Ha +3 more
- 21 Dec 2011
TL;DR: In this article, methods and systems for identifying and reproducing concurrency violations in multi-threaded programs are described, and an example method for determining whether a condition is met and serializing an operation of a first thread of a multithreaded program relative to a second thread of the same program is presented.
9
Patent
Methods and systems to identify and reproduce concurrency violations in multi-threaded programs using expressions
Youfeng Wu,Justin Gottschlich,Gilles Pokam,Shiliang Hu,Ali-Reza Adl-Tabatabai,Cristiano Pereira +5 more
- 27 Jun 2012
TL;DR: In this paper, a data type is defined to detect concurrency bugs in multi-threaded programs, and a concurrency bug detector conforming to the data type, when satisfied, is used to detect the concurrency fault in the multithreaded program.
9
References
Time, clocks, and the ordering of events in a distributed system
TL;DR: In this article, the concept of one event happening before another in a distributed system is examined, and a distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally order the events.
The SPLASH-2 programs: characterization and methodological considerations
Steven Cameron Woo,Moriyoshi Ohara,Evan Torrie,Jaswinder Pal Singh,Anoop Gupta +4 more
- 01 May 1995
TL;DR: This paper quantitatively characterize the SPLASH-2 programs in terms of fundamental properties and architectural interactions that are important to understand them well, including the computational load balance, communication to computation ratio and traffic needs, important working set sizes, and issues related to spatial locality.
Eraser: a dynamic data race detector for multithreaded programs
TL;DR: A new tool, called Eraser, is described, for dynamically detecting data races in lock-based multithreaded programs, which uses binary rewriting techniques to monitor every shared-monory reference and verify that consistent locking behavior is observed.
RacerX: effective, static detection of race conditions and deadlocks
Dawson Engler,Ken Ashcraft +1 more
- 19 Oct 2003
TL;DR: RacerX is a static tool that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks and uses novel strategies to infer checking information such as which locks protect which operations, which code contexts are multithreaded, and which shared accesses are dangerous.
ThreadSanitizer: data race detection in practice
Konstantin Serebryany,Timur Iskhodzhanov +1 more
- 12 Dec 2009
TL;DR: This paper presents ThreadSanitizer -- a dynamic detector of data races, and introduces what is called dynamic annotations -- a sort of race detection API that allows a user to inform the detector about any tricky synchronization in the user program.
Related Papers (5)
Dheemanth Nagaraj,Larry J. Thayer +1 more
- 25 Apr 2007
Elmootazbellah Nabil Elnozahy,Ahmed Gheith +1 more
- 19 Apr 2010
Shaz Qadeer,Tayfun Elmas +1 more
- 12 Apr 2006