TM-dietlibc: A TM-aware Real-World System Library

Smiljković, Vesna; Nowack, Martin; Miletic, N.; Harris, Tim; Unsal, Osman S.; Cristal, Adrián; Valero, Mateo

doi:10.1109/ipdps.2013.45

Cited by 2 publications

(4 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a consequence, we cannot use any of these benchmarks to evaluate DeTrans-lib. Instead, we use microbenchmarks from [10] and modified TioBench [13], where transactions perform I/O on a single shared file and occasionally have to be serialized due to system calls.…”

Section: Methodsmentioning

confidence: 99%

“…To provide more parallelism in TM-based applications and reduce the number of serialized transactions, researchers proposed TM-dietlibc [10], i.e. a TM-aware libc that allows transactions to call libc functions and to execute them concurrently.…”

Section: Standard Library Calls In Deterministic Executionmentioning

confidence: 99%

“…It is based on a runtime (DeTrans [8]) that provides deterministic execution even in the presence of data races, and a TM-based libc (TMdietlibc [10]) that allows transactions to concurrently execute libc functions, and serializes them only if the libc function invokes a system call. DeTrans-lib ensures that transactions invoke system calls in deterministic order, which prevents from having deadlocks caused by serialization and deterministic execution.…”

Section: Introductionmentioning

confidence: 99%

“…For the evaluation, we use benchmarks that invoke libc calls with I/O operations: microbenchmarks from [10], and modified TioBench [13].…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Determinism at Standard-Library Level in TM-Based Applications

Smiljković

Ünsal

Cristal

et al. 2015

Int J Parallel Prog

Self Cite

View full text Add to dashboard Cite

Abstract. Deterministic execution of a multi-threaded application guarantees that threads access shared memory in the same order and the application gives the same output when it runs with the same input parameters. Determinism provides repeatability, which helps a programmer in testing and debugging. Additionally, Transactional Memory (TM) simplifies development of applications that use transactions (instead of locks) to synchronize accesses to shared memory. However, transactions that call standard library functions have to be serialized, and the serialization causes a deadlock when applications run with the deterministic systems proposed so far. In this paper, we present DeTrans-lib, the first standard C library that provides deterministic execution of TM-based applications at user and standard-library level. DeTrans-lib avoids deadlocks by performing transaction serialization in deterministic order. We evaluate DeTrans-lib using benchmarks that perform I/O operations.

show abstract

Section: Methodsmentioning

confidence: 99%

Section: Standard Library Calls In Deterministic Executionmentioning

confidence: 99%