• DocumentCode
    1356407
  • Title

    Eliminating Concurrency Bugs with Control Engineering

  • Author

    Kelly, Terence ; Wang, Yin ; Lafortune, Stéphane ; Mahlke, Scott

  • Volume
    42
  • Issue
    12
  • fYear
    2009
  • Firstpage
    52
  • Lastpage
    60
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computer
  • Publisher
    ieee
  • ISSN
    0018-9162
  • Type

    jour

  • DOI
    10.1109/MC.2009.391
  • Filename
    5353464
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1356407