The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.12 - December (2009 vol.42)
pp: 52-60
Terence Kelly , Hewlett-Packard Laboratories
Yin Wang , 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
Terence Kelly, Yin Wang, Stéphane Lafortune, Scott Mahlke, "Eliminating Concurrency Bugs with Control Engineering", Computer, vol.42, no. 12, pp. 52-60, December 2009, doi:10.1109/MC.2009.391
REFERENCES
1. J.W. Voung, R. Jhala, and S. Lerner, "RELAY: Static Race Detection on Millions of Lines of Code," Proc. 6th Joint Meeting of the European Software Eng. Conf. and the ACM SIGSOFT Symp. Foundations of Software Eng. (ESEC/FSE 07), ACM Press, 2007, pp. 205-214.
2. N.G. Leveson and C.S. Turner, "An Investigation of the Therac-25 Accidents," Computer, July 1993, pp. 18-41.
3. M. Herlihy and V. Luchangco, "Distributed Computing and the Multicore Revolution," ACM SIGACT News, Mar. 2008, pp. 62-72.
4. K. Asanovic et al., "A View of the Parallel Computing Landscape," Comm. ACM, Oct. 2009, pp. 56-67.
5. Y. Wang et al., "Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs," Proc. 8th Symp. Operating Systems Design and Implementation (OSDI 08), Usenix, 2008, pp. 281-294.
6. Y. Wang et al., "The Theory of Deadlock Avoidance via Discrete Control," Proc. 36th Ann. ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL 09), ACM Press, 2009, pp. 252-263.
7. C.G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed., Springer, 2007.
8. Y. Wang, T. Kelly, and S. Lafortune, "Discrete Control for Safe Execution of IT Automation Workflows," Proc. 2nd ACM SIGOPS/European Conf. Computer Systems (EuroSys 07), ACM Press, 2007, pp. 305-314.
9. R.C. Holt, "Some Deadlock Properties of Computer Systems," ACM Computing Surveys, Sept. 1972, pp. 179-196.
10. Y. Nir-Buchbinder, R. Tzoref, and S. Ur, "Deadlocks: From Exhibiting to Healing," Runtime Verification, LNCS 5289, Springer, 2008, pp. 104-118.
11. M.V. Iordache and P.J. Antsaklis, Supervisory Control of Concurrent Systems: A Petri Net Structural Approach, Birkhäuser, 2006.
12. M. Musuvathi et al., "Finding and Reproducing Heisenbugs in Concurrent Programs," Proc. 8th Symp. Operating Systems Design and Implementation (OSDI 08), Usenix, 2008, pp. 267-280.
6 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool