Patent
Data collisions in concurrent programs
John Erickson,Madan Musuvathi +1 more
- 18 Jun 2010
5
TL;DR: In this paper, techniques for detecting data collisions between a first and a second portion of an application executing on a computer, the first portion and the second portions executing concurrently with respect to each other, are described.
read more
Abstract: Described are techniques for detecting data collisions between a first portion and a second portion of an application executing on a computer, the first portion and the second portions executing concurrently with respect to each other. While the first portion and second portion are executing, before the first portion accesses a memory location shared by the first portion and the second portion, a value stored in the memory location is captured and the first portion is delayed. While the second portion continues to execute the first portion is delayed. After a period of the first portion having been paused or slowed, the current content of the memory location is compared with the captured content to determine if there is a data collision. The first and second portions may be threads, and the capturing, delaying, and determining may be performed by code inserted to the application after it has been compiled.
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
Patent
Concurrency software testing with probabilistic bounds on finding bugs
Sebastian Burckhardt,Pravesh K. Kothari,Madanlal Musuvathi,Santosh Nagarakatte +3 more
- 01 Dec 2009
TL;DR: In this paper, a probabilistic concurrency testing mechanism for testing a concurrent software program is proposed, where a scheduler/algorithm inserts priority lowering points into the code and runs the highest priority thread based upon initially randomly distributed priorities.
28
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
Testing multi-threaded applications
Bo Chen,Jin-Feng Luan,Dor Nir +2 more
- 28 Aug 2013
TL;DR: In this article, a method for testing a multi-threaded application includes running an initial test of the application and collecting thread generation data and determining the thread hierarchy, the thread execution is then modified to produce a modified configuration and a second test is run with the modified configuration.
2
Patent
Method and device for monitoring control systems
Menschner Martin
- 31 Jul 2018
TL;DR: In this article, the authors present a method for monitoring control systems, where the control system has at least one communications network and at least two communications end points connected to the communication network, which exchange data via the communications network, characterized in that the data (20) exchanged between the communication end points is acquired and a message is generated after comparison of the currently acquired data with the previously acquired data during the acquisition of new data.
Patent
Application testing method and device, equipment and medium
Dang Wanchun
- 26 Jul 2019
TL;DR: In this paper, an application testing method and device, equipment and a medium is described, and the method comprises the steps: enabling a first application to respond to a starting operation to display a service interface; in response to a trigger operation for starting a functional control for testing in the service interface, transmitting the test starting instruction to a second application through the state shared memory, enabling the second application to execute the test operation, and storing test data into the data shared memory; if it is detected that the updated data exists in the data sharing memory, obtaining test data of a second
References
Multithreaded java program test generation
TL;DR: ConTest, a tool for detecting synchronization faults in multithreaded Java™ programs that makes random or coverage-based decisions as to whether the seeded primitive is to be executed, and a replay algorithm facilitates debugging by saving the order of shared memory accesses and synchronization events.
228
Patent
Detecting concurrency errors in multi-threaded programs
Michael Burrows,Charles G. Nelson,Stefan Savage,Patrick G. Sobalvarro +3 more
- 09 Mar 1998
TL;DR: In this paper, the authors use machine executable images of multiple program threads to locate and replace instructions which affect concurrency states of the threads and analyze the recorded concurrency state information.
94
Patent
Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs
Jong-Deok Choi,Keunwoo Lee,Robert O'Callahan,Vivek Sarkar,Manu Sridharan +4 more
- 25 Jun 2002
TL;DR: In this article, a method of detecting datarace between first and second memory accesses within a program was proposed, which can detect whether the two accesses are to the same memory location and whether they are executed by different threads.
94
Patent
Dynamic software code instrumentation method and system
Peter S. Dawson
- 24 Jan 2002
TL;DR: In this paper, a method and system of monitoring code after being compiled or assembled is provided, where software code instructions such as function preamble and data manipulation instructions are identified using debug information and then dynamically replaced with an instruction that will branch execution to a scratchpad buffer.
93
Patent
Race detection for parallel software
Shmuel Ur,Eitan Farchi,Gil Ratsaby +2 more
- 04 Jan 2002
TL;DR: In this article, a method for race detection in parallel software, including performing an execution of software under test (SUT), the SUT having an expected outcome, is presented.
68