Fixing, preventing, and recovering from concurrency bugs

Dong Dong Deng; Guo Liang Jin; Marc de Kruijf; Ang Li; Ben Liblit; Shan Lu; Shan Xiang Qi; Jing Lei Ren; Karthikeyan Sankaralingam; Lin Hai Song; Yong Wei Wu; Ming Xing Zhang; Wei Zhang; Wei Min Zheng

doi:10.1007/s11432-015-5315-9

Fixing, preventing, and recovering from concurrency bugs

Dong Dong Deng, Guo Liang Jin, Marc de Kruijf, Ang Li, Ben Liblit, Shan Lu, Shan Xiang Qi, Jing Lei Ren, Karthikeyan Sankaralingam, Lin Hai Song, Yong Wei Wu, Ming Xing Zhang, Wei Zhang, Wei Min Zheng

Research output: Contribution to journal › Review article › peer-review

8 Scopus citations

Abstract

Concurrency bugs are becoming widespread with the emerging ubiquity of multicore processors and multithreaded software. They manifest during production runs and lead to severe losses. Many effective concurrency-bug detection tools have been built. However, the dependability of multi-threaded software does not improve until these bugs are handled statically or dynamically. This article discusses our recent progresses on fixing, preventing, and recovering from concurrency bugs.

Original language	English (US)
Journal	Science China Information Sciences
Volume	58
Issue number	5
DOIs	https://doi.org/10.1007/s11432-015-5315-9
State	Published - May 1 2015

All Science Journal Classification (ASJC) codes

General Computer Science

Access to Document

10.1007/s11432-015-5315-9

Cite this

@article{67bcd6c0f2c6409da24afe7795560767,

title = "Fixing, preventing, and recovering from concurrency bugs",

abstract = "Concurrency bugs are becoming widespread with the emerging ubiquity of multicore processors and multithreaded software. They manifest during production runs and lead to severe losses. Many effective concurrency-bug detection tools have been built. However, the dependability of multi-threaded software does not improve until these bugs are handled statically or dynamically. This article discusses our recent progresses on fixing, preventing, and recovering from concurrency bugs.",

author = "Deng, {Dong Dong} and Jin, {Guo Liang} and {de Kruijf}, Marc and Ang Li and Ben Liblit and Shan Lu and Qi, {Shan Xiang} and Ren, {Jing Lei} and Karthikeyan Sankaralingam and Song, {Lin Hai} and Wu, {Yong Wei} and Zhang, {Ming Xing} and Wei Zhang and Zheng, {Wei Min}",

note = "Publisher Copyright: {\textcopyright} 2015, Science China Press and Springer-Verlag Berlin Heidelberg.",

year = "2015",

month = may,

day = "1",

doi = "10.1007/s11432-015-5315-9",

language = "English (US)",

volume = "58",

journal = "Science China Information Sciences",

issn = "1674-733X",

publisher = "Science in China Press",

number = "5",

}

TY - JOUR

T1 - Fixing, preventing, and recovering from concurrency bugs

AU - Deng, Dong Dong

AU - Jin, Guo Liang

AU - de Kruijf, Marc

AU - Li, Ang

AU - Liblit, Ben

AU - Lu, Shan

AU - Qi, Shan Xiang

AU - Ren, Jing Lei

AU - Sankaralingam, Karthikeyan

AU - Song, Lin Hai

AU - Wu, Yong Wei

AU - Zhang, Ming Xing

AU - Zhang, Wei

AU - Zheng, Wei Min

PY - 2015/5/1

Y1 - 2015/5/1

N2 - Concurrency bugs are becoming widespread with the emerging ubiquity of multicore processors and multithreaded software. They manifest during production runs and lead to severe losses. Many effective concurrency-bug detection tools have been built. However, the dependability of multi-threaded software does not improve until these bugs are handled statically or dynamically. This article discusses our recent progresses on fixing, preventing, and recovering from concurrency bugs.

AB - Concurrency bugs are becoming widespread with the emerging ubiquity of multicore processors and multithreaded software. They manifest during production runs and lead to severe losses. Many effective concurrency-bug detection tools have been built. However, the dependability of multi-threaded software does not improve until these bugs are handled statically or dynamically. This article discusses our recent progresses on fixing, preventing, and recovering from concurrency bugs.

UR - http://www.scopus.com/inward/record.url?scp=84937764071&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84937764071&partnerID=8YFLogxK

U2 - 10.1007/s11432-015-5315-9

DO - 10.1007/s11432-015-5315-9

M3 - Review article

AN - SCOPUS:84937764071

SN - 1674-733X

VL - 58

JO - Science China Information Sciences

JF - Science China Information Sciences

IS - 5

ER -

Fixing, preventing, and recovering from concurrency bugs

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this