Campus Units

Computer Science

Document Type

Conference Proceeding

Conference

The 15th International Conference on Modularity (Modularity 2016)

Publication Version

Accepted Manuscript

Link to Published Version

https://doi.org/10.1145/2889443.2889444

Publication Date

3-14-2016

Journal or Book Title

Modularity

Volume

Proceedings of the 15th International Conference on Modularity

First Page

54

Last Page

65

DOI

10.1145/2889443.2889444

Conference Date

March 14-17, 2016

City

Málaga, Spain

Abstract

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.

Comments

This article is published as Long, Yuheng, Mehdi Bagherzadeh, Eric Lin, Ganesha Upadhyaya, and Hridesh Rajan. "On ordering problems in message passing software." In Proceedings of the 15th International Conference on Modularity, pp. 54-65. ACM, 2016. 10.1145/2889443.2889444 . Posted with permission.

Rights

"© ACM, 2016. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 15th International Conference on Modularity, 2016. https://doi.org/10.1145/2889443.2889444

Copyright Owner

ACM

Language

en

File Format

application/pdf

Published Version

Share

Article Location

 
COinS