The Changing Landscape of Parallel Computing - Tools (Testing and Debugging)

Опубликовано 12 августа 2016, 2:06

11:00ΓÇô12:00: Tools (Testing and Debugging) (UIUC 30 mins) (UCB 15 mins)(MSFT 15 mins) Darko Marinov (UIUC): Immunity + Pennelope (15 mins) Dany Dig (UIUC): Refactoring (15 mins) Koushik Sen(UCB): ΓÇ£Active Testing and ConcurritΓÇ¥ (15 mins) Sunny Chatterjee (Microsoft): Fighting concurrency bugs with advanced static analysis technology; The battle against concurrency bugs poses a serious challenge at Microsoft. Due to their non-deterministic nature, concurrency bugs are notoriously hard to reproduce, diagnose, and debug. To help developers tackle concurrency issues, we have developed a concurrency toolset based on advanced static analysis technologies, comprising (1) a source annotation language concurrency SAL and (2) a local concurrency checker EspC, which employs single-function analysis. By deploying our technologies across one of the biggest codebases in Microsoft, our team is helping find and fix hundreds of concurrency bugs in the final product. As we are making our technologies widely deployed to serve all Microsoft products, we anticipate that the impact of program analysis will continue to grow. This talk provides technical insights into our analysis technologies.