Title :
Eliminating Concurrency Bugs with Control Engineering
Author :
Kelly, Terence ; Wang, Yin ; Lafortune, Stéphane ; Mahlke, Scott
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.
Keywords :
concurrency control; program debugging; safety-critical software; automatical synthesized control logic; concurrency bug elimination; control engineering; programmer productivity; software behavior constraint; software safety; Automatic control; Computer bugs; Concurrent computing; Control engineering; Humans; Multicore processing; Productivity; Programming profession; Runtime; Software safety; Control engineering; Discrete control theory; Multicore processors; Multithreaded software; Parallel programming; Software engineering;
DOI :
10.1109/MC.2009.391
