The Effect Race in Fine-Grained Concurrency

02/05/2018
by   Xiaoxiao Yang, et al.
0

Most existed work require knowledge about the effect of program instructions (or statements) to analyze and verify algorithms. In this paper, by revealing some findings on executions of object programs, we define two basic concepts -- effect equivalence relation and effect race relation. Further, we show three effect theorems about the race and histories. The core result is that the effect race relation is the accurate relation to capture the internal steps, of which precedence orders are the reason to cause chaotic histories. In addition, the concept -- linearization points -- widely used in the object verification, is defined formally as the typical effect race relation. These results provide a clear basis for analyzing intricate fine-grained executions. We conduct a lot of experiments on real object algorithms to show the accuracy and efficiency of these definitions in practice. A simple quantitative analysis method for these algorithms is also proposed.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/22/2017

Can you tell where in India I am from? Comparing humans and computers on fine-grained race face classification

Faces form the basis for a rich variety of judgments in humans, yet the ...
research
12/08/2021

Efficient Data Race Detection of Async-Finish Programs Using Vector Clocks

Existing data race detectors for task-based programs incur significant r...
research
10/28/2019

Ready, set, Go! Data-race detection and the Go language

Data races are often discussed in the context of lock acquisition and re...
research
07/23/2018

Data Race Detection on Compressed Traces

We consider the problem of detecting data races in program traces that h...
research
03/17/2021

Learning with Group Noise

Machine learning in the context of noise is a challenging but practical ...
research
07/08/2021

Dynamic Data-Race Detection through the Fine-Grained Lens

Data races are among the most common bugs in concurrency. The standard a...
research
10/06/2020

Static Race Detection for RTOS Applications

We present a static analysis technique for detecting data races in Real-...

Please sign up or login with your details

Forgot password? Click here to reset