Intention Preservation in Deterministic Multithreading

Wenbing Zhao

doi:10.1109/FGCN.2014.14

Intention Preservation in Deterministic Multithreading

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper, we present an analogy between the race condition resolution in a multithreaded application, and conflict resolution for concurrent updates in collaborative editing applications. We introduce the intention preservation problem in deterministic multithreading for programs with race conditions. We point out that current state-of-the-art deterministic multithreading approaches do not have any mechanism to preserve the intention of a program when it is instrumented for deterministic execution. Furthermore, we propose a solution for intention preservation in deterministic multithreading provided that the unprotected shared variables are primitive types.

Original language	American English
Journal	2014 8th International Conference on Future Generation Communication and Networking
DOIs	https://doi.org/10.1109/FGCN.2014.14
State	Published - Jan 1 2014

Keywords

Deterministic multithreading
collaborative editing
conflict resolution
intention preservation
race condition

Disciplines

Electrical and Computer Engineering

Access to Document

10.1109/FGCN.2014.14License: CC BY

Cite this

@article{312c9a4cb7ac40b084a1870ee7319c58,

title = "Intention Preservation in Deterministic Multithreading",

abstract = " In this paper, we present an analogy between the race condition resolution in a multithreaded application, and conflict resolution for concurrent updates in collaborative editing applications. We introduce the intention preservation problem in deterministic multithreading for programs with race conditions. We point out that current state-of-the-art deterministic multithreading approaches do not have any mechanism to preserve the intention of a program when it is instrumented for deterministic execution. Furthermore, we propose a solution for intention preservation in deterministic multithreading provided that the unprotected shared variables are primitive types.",

keywords = "Deterministic multithreading, collaborative editing, conflict resolution, intention preservation, race condition",

author = "Wenbing Zhao",

note = "W. Zhao, {"}Intention preservation in deterministic multithreading,{"} in 2014 8th International Conference on Future Generation Communication and Networking, 2014, pp. 29-32.",

year = "2014",

month = jan,

day = "1",

doi = "10.1109/FGCN.2014.14",

language = "American English",

journal = "2014 8th International Conference on Future Generation Communication and Networking",

}

TY - JOUR

T1 - Intention Preservation in Deterministic Multithreading

AU - Zhao, Wenbing

N1 - W. Zhao, "Intention preservation in deterministic multithreading," in 2014 8th International Conference on Future Generation Communication and Networking, 2014, pp. 29-32.

PY - 2014/1/1

Y1 - 2014/1/1

N2 - In this paper, we present an analogy between the race condition resolution in a multithreaded application, and conflict resolution for concurrent updates in collaborative editing applications. We introduce the intention preservation problem in deterministic multithreading for programs with race conditions. We point out that current state-of-the-art deterministic multithreading approaches do not have any mechanism to preserve the intention of a program when it is instrumented for deterministic execution. Furthermore, we propose a solution for intention preservation in deterministic multithreading provided that the unprotected shared variables are primitive types.

AB - In this paper, we present an analogy between the race condition resolution in a multithreaded application, and conflict resolution for concurrent updates in collaborative editing applications. We introduce the intention preservation problem in deterministic multithreading for programs with race conditions. We point out that current state-of-the-art deterministic multithreading approaches do not have any mechanism to preserve the intention of a program when it is instrumented for deterministic execution. Furthermore, we propose a solution for intention preservation in deterministic multithreading provided that the unprotected shared variables are primitive types.

KW - Deterministic multithreading

KW - collaborative editing

KW - conflict resolution

KW - intention preservation

KW - race condition

UR - https://engagedscholarship.csuohio.edu/enece_facpub/363

UR - http://ieeexplore.ieee.org/xpl/articleDetails.jsp?url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D7024336%26userType%3DinstdenyReason=-134arnumber=7024336productsMatched=nulluserType=inst

U2 - 10.1109/FGCN.2014.14

DO - 10.1109/FGCN.2014.14

M3 - Article

JO - 2014 8th International Conference on Future Generation Communication and Networking

JF - 2014 8th International Conference on Future Generation Communication and Networking

ER -

Intention Preservation in Deterministic Multithreading

Abstract

Keywords

Disciplines

Access to Document

Other files and links

Cite this