The Community for Technology Leaders
Green Image
Issue No. 12 - December (2009 vol. 42)
ISSN: 0018-9162
pp: 52-60
Yin Wang , Hewlett-Packard Laboratories
Terence Kelly , Hewlett-Packard Laboratories
Stéphane Lafortune , University of Michigan
Scott Mahlke , University of Michigan
ABSTRACT
In the multicore era, concurrency bugs threaten to reduce programmer productivity, impair software safety, and erode end-user value. Control engineering can eliminate concurrency bugs by constraining software behavior, preventing runtime failures, and offloading onerous burdens from human programmers onto automatically synthesized control logic.
INDEX TERMS
Multicore processors, Multithreaded software, Software engineering, Parallel programming, Control engineering, Discrete control theory
CITATION
Yin Wang, Terence Kelly, Stéphane Lafortune, Scott Mahlke, "Eliminating Concurrency Bugs with Control Engineering", Computer, vol. 42, no. , pp. 52-60, December 2009, doi:10.1109/MC.2009.391
106 ms
(Ver )