Disciplined Message Passing

Опубликовано 7 сентября 2016, 17:53

This talk addresses the question of whether message passing provides an adequate programming model for multicore processors. It argues that programmers need more structure than what is provided by today's popular message passing libraries. Collective operations and design patterns offer some structure, but as the use of concurrency in programming increases, application programmers will have increasing difficulty identifying and combining these into complex operations. Some challenges, such as ensuring data determinacy and managing deadlock and buffer memory, require considerable expertise to implement correctly. This paper argues that the solution is to provide infrastructure-level support implementing more disciplined concurrent models of computation (MoCs).