Intention preservation in deterministic multithreading

Wenbing Zhao

doi:10.1109/FGCN.2014.14

Intention preservation in deterministic multithreading

Wenbing Zhao

Electrical and Computer Engineering

Cleveland State University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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	English
Title of host publication	Proceedings - 8th International Conference on Future Generation Communication and Networking, FGCN 2014
Place of Publication	usa
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	29-32
Number of pages	4
ISBN (Electronic)	9781479977802
DOIs	https://doi.org/10.1109/FGCN.2014.14
State	Published - Jan 27 2014
Event	8th International Conference on Future Generation Communication and Networking, FGCN 2014 - Hainan, China Duration: Dec 20 2014 → Dec 23 2014

Conference

Conference	8th International Conference on Future Generation Communication and Networking, FGCN 2014
Country/Territory	China
City	Hainan
Period	12/20/14 → 12/23/14

Keywords

collaborative editing
conflict resolution
Deterministic multithreading
intention preservation
race condition

Access to Document

10.1109/FGCN.2014.14

Cite this

@inproceedings{ddf3243eb3a24dc69242d25703dd4cb9,

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 = "collaborative editing, conflict resolution, Deterministic multithreading, intention preservation, race condition",

author = "Wenbing Zhao",

year = "2014",

month = jan,

day = "27",

doi = "10.1109/FGCN.2014.14",

language = "English",

pages = "29--32",

booktitle = "Proceedings - 8th International Conference on Future Generation Communication and Networking, FGCN 2014",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "8th International Conference on Future Generation Communication and Networking, FGCN 2014 ; Conference date: 20-12-2014 Through 23-12-2014",

}

Zhao, W 2014, Intention preservation in deterministic multithreading. in Proceedings - 8th International Conference on Future Generation Communication and Networking, FGCN 2014., 7024336, Institute of Electrical and Electronics Engineers Inc., usa, pp. 29-32, 8th International Conference on Future Generation Communication and Networking, FGCN 2014, Hainan, China, 12/20/14. https://doi.org/10.1109/FGCN.2014.14

TY - GEN

T1 - Intention preservation in deterministic multithreading

AU - Zhao, Wenbing

PY - 2014/1/27

Y1 - 2014/1/27

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 - collaborative editing

KW - conflict resolution

KW - Deterministic multithreading

KW - intention preservation

KW - race condition

UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84949928162&origin=inward

UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=84949928162&origin=inward

U2 - 10.1109/FGCN.2014.14

DO - 10.1109/FGCN.2014.14

M3 - Conference contribution

SP - 29

EP - 32

BT - Proceedings - 8th International Conference on Future Generation Communication and Networking, FGCN 2014

PB - Institute of Electrical and Electronics Engineers Inc.

CY - usa

T2 - 8th International Conference on Future Generation Communication and Networking, FGCN 2014

Y2 - 20 December 2014 through 23 December 2014

ER -

Intention preservation in deterministic multithreading

Abstract

Conference

Keywords

Access to Document

Other files and links

Cite this