On Ordering Problems in Message Passing Software

dc.contributor.author Long, Yuheng
dc.contributor.author Bagherzadeh, Mehdi
dc.contributor.author Lin, Eric
dc.contributor.author Upadhyaya, Ganesha
dc.contributor.author Rajan, Hridesh
dc.contributor.department Department of Computer Science
dc.date 2018-02-18T23:28:28.000
dc.date.accessioned 2020-06-30T01:54:26Z
dc.date.available 2020-06-30T01:54:26Z
dc.date.copyright Fri Jan 01 00:00:00 UTC 2016
dc.date.embargo 2017-10-03
dc.date.issued 2016-03-14
dc.description.abstract <p>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.</p>
dc.description.comments <p>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. <a href="http://dx.doi.org/10.1145" target="_blank">10.1145/2889443.2889444</a> . Posted with permission.</p>
dc.format.mimetype application/pdf
dc.identifier archive/lib.dr.iastate.edu/cs_conf/15/
dc.identifier.articleid 1006
dc.identifier.contextkey 10850255
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_conf/15
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/19820
dc.language.iso en
dc.source.bitstream archive/lib.dr.iastate.edu/cs_conf/15/2016_Rajan_OrderingProblems.pdf|||Fri Jan 14 20:33:00 UTC 2022
dc.source.uri 10.1145/2889443.2889444
dc.subject.disciplines Computer Sciences
dc.subject.disciplines Software Engineering
dc.title On Ordering Problems in Message Passing Software
dc.type article
dc.type.genre conference
dspace.entity.type Publication
relation.isAuthorOfPublication 4e3f4631-9a99-4a4d-ab81-491621e94031
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
File
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
2016_Rajan_OrderingProblems.pdf
Size:
682.2 KB
Format:
Adobe Portable Document Format
Description: