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, Linhai Song, Yong Wei Wu, Ming Xing Zhang, Wei Zhang, Wei Min Zheng

Research output: Contribution to journalReview article

7 Citations (Scopus)

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 languageEnglish (US)
JournalScience China Information Sciences
Volume58
Issue number5
DOIs
StatePublished - May 1 2015

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Cite this

Deng, D. D., Jin, G. L., de Kruijf, M., Li, A., Liblit, B., Lu, S., ... Zheng, W. M. (2015). Fixing, preventing, and recovering from concurrency bugs. Science China Information Sciences, 58(5). https://doi.org/10.1007/s11432-015-5315-9
Deng, Dong Dong ; Jin, Guo Liang ; de Kruijf, Marc ; Li, Ang ; Liblit, Ben ; Lu, Shan ; Qi, Shan Xiang ; Ren, Jing Lei ; Sankaralingam, Karthikeyan ; Song, Linhai ; Wu, Yong Wei ; Zhang, Ming Xing ; Zhang, Wei ; Zheng, Wei Min. / Fixing, preventing, and recovering from concurrency bugs. In: Science China Information Sciences. 2015 ; Vol. 58, No. 5.
@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 Linhai Song and Wu, {Yong Wei} and Zhang, {Ming Xing} and Wei Zhang and Zheng, {Wei Min}",
year = "2015",
month = "5",
day = "1",
doi = "10.1007/s11432-015-5315-9",
language = "English (US)",
volume = "58",
journal = "Science in China, Series F: Information Sciences",
issn = "1009-2757",
publisher = "Science in China Press",
number = "5",

}

Deng, DD, Jin, GL, de Kruijf, M, Li, A, Liblit, B, Lu, S, Qi, SX, Ren, JL, Sankaralingam, K, Song, L, Wu, YW, Zhang, MX, Zhang, W & Zheng, WM 2015, 'Fixing, preventing, and recovering from concurrency bugs', Science China Information Sciences, vol. 58, no. 5. https://doi.org/10.1007/s11432-015-5315-9

Fixing, preventing, and recovering from concurrency bugs. / Deng, Dong Dong; Jin, Guo Liang; de Kruijf, Marc; Li, Ang; Liblit, Ben; Lu, Shan; Qi, Shan Xiang; Ren, Jing Lei; Sankaralingam, Karthikeyan; Song, Linhai; Wu, Yong Wei; Zhang, Ming Xing; Zhang, Wei; Zheng, Wei Min.

In: Science China Information Sciences, Vol. 58, No. 5, 01.05.2015.

Research output: Contribution to journalReview article

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, Linhai

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

VL - 58

JO - Science in China, Series F: Information Sciences

JF - Science in China, Series F: Information Sciences

SN - 1009-2757

IS - 5

ER -