Modularity 2016
Mon 14 - Thu 17 March 2016 Spain
Wed 16 Mar 2016 16:30 - 17:00 at MODULARITY - Concurrency and Recovery Chair(s): Steffen Zschaler

The need for concurrency in modern software is increasingly fulfilled by utilizing the message passing paradigm because of its modularity and scalability. In the message passing paradigm, concurrently running processes communicate by sending and receiving messages. Asynchronous messaging introduces the possibility of message ordering problems: two messages with a specific order in the program text could take effect in the opposite order in the program execution and lead to bugs that are hard to find and debug. We believe that the engineering of message passing software could be easier if more is known about the characteristics of message ordering problems in practice. In this work, we present an analysis to study and quantify the relation between ordering problems and semantics variations of their underlying message passing paradigm in over 30 applications. Some of our findings are as follows: (1) semantic variations of the message passing paradigm can cause ordering problems exhibited by applications in different programming patterns to vary greatly; (2) some semantic features such as in-order messaging are critical for reducing ordering problems; (3) modular enforcement of aliasing in terms of data isolation allows small test configurations to trigger the majority of ordering problems.

Wed 16 Mar

Displayed time zone: Belfast change

16:00 - 17:30
Concurrency and RecoveryResearch Results at MODULARITY
Chair(s): Steffen Zschaler King's College London
16:00
30m
Talk
A Type-and-Effect System for Asynchronous, Typed Events
Research Results
Yuheng Long Iowa State University, Hridesh Rajan Iowa State University
DOI
16:30
30m
Talk
On Ordering Problems in Message Passing Software
Research Results
Yuheng Long Iowa State University, Mehdi Bagherzadeh Iowa State University, Eric Lin Iowa State University, USA, Ganesha Upadhyaya Iowa State University, USA, Hridesh Rajan Iowa State University
DOI
17:00
30m
Talk
Fault Tolerance with Aspects: A Feasibility Study
Research Results
Sven Karol Technische Universität Dresden, Norman A. Rink TU Dresden, Germany, Bálint Gyapjas TU Dresden, Germany, Jeronimo Castrillon Technische Universität Dresden
DOI