Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control

@article{Liao2013EliminatingCB,
  title={Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control},
  author={Hongwei Liao and Yin Wang and Jason Stanley and St{\'e}phane Lafortune and Spyros A. Reveliotis and Terence Kelly and Scott A. Mahlke},
  journal={IEEE Transactions on Control Systems Technology},
  year={2013},
  volume={21},
  pages={2067-2082}
}
Computer hardware is moving from uniprocessor to multicore architectures. One problem arising in this evolution is that only parallel software can exploit the full performance potential of multicore architectures, and parallel software is far harder to write than conventional serial software. One important class of failures arising in parallel software is circular-wait deadlock in multithreaded programs. In our ongoing Gadara project, we use a special class of Petri nets, called Gadara nets, to… CONTINUE READING