SHF: Small: Collaborative Research and RUI: Static and Dynamic Analysis for Cooperative Concurrency

点击翻译按钮获取中文摘要

The widespread adoption of multicore processors requires multithreadedsoftware to exploit these hardware resources. Unfortunately, theconstruction and validation of reliable concurrent software currentlyrequires extraordinary effort, due to unanticipated interactionsbetween concurrent threads. Thus, developing better programmingtechniques and tools for concurrent programming is essential. Thisresearch develops a cooperative programming methodology formultithreaded software, based on the philosophy that all threadinterference must be explicitly documented via source-level "yield"annotations by the programmer.The project will investigate both static and dynamic checkingtechniques to verify the correctness of yield annotations. Onceverified, these annotations guarantee that code executed betweensuccessive yields is serializable and thus amenable to sequentialreasoning. Moreover, yield-free code is deterministic. Despiteprovided these strong safety guarantees, this methodology does notimpact program performance. The cooperative methodology provides arobust foundation for multithreaded software and can potentiallytransform the principles and practices of multithreaded softwareengineering. This work on cooperability will also provide researchopportunities for graduate and undergraduate students, and it willsupport endeavors to provide access to science education for allstudents.