Downloads provided by UsageCounts
handle: 2117/105094 , 10261/154726
Deterministic execution of a multi-threaded application guarantees that threads access shared memory in the same order and the application gives the same output whenever it runs with the same input parameters. Determinism provides repeatability, which helps programmers in testing and debugging. Additionally, transactional memory (TM) simplifies development of multi-threaded applications so that programmers can use transactions (instead of locks) to synchronize accesses to shared memory. However, transactions that call standard library functions have to be serialized, i.e. to be executed as the only running transactions in the system. The serialization enforces an order of threads execution usually different from the one enforced by a system for deterministic multithreading, which causes deadlocks in the application execution. In this paper, we present DeTrans-lib, the first standard C library that provides deterministic execution of TM-based applications at application and standard-library level. DeTrans-lib avoids deadlocks by performing transaction serialization in deterministic order. We evaluate DeTrans-lib with the benchmarks that invoke a standard C library and perform I/O operations. Peer Reviewed
Determinism, Concurrency bugs, Parallel programming (Computer science), Programació en paral·lel (Informàtica), Standard library, Àrees temàtiques de la UPC::Informàtica::Programació, Deterministic multithreading, Transactional memory, Serialization, :Informàtica::Programació [Àrees temàtiques de la UPC]
Determinism, Concurrency bugs, Parallel programming (Computer science), Programació en paral·lel (Informàtica), Standard library, Àrees temàtiques de la UPC::Informàtica::Programació, Deterministic multithreading, Transactional memory, Serialization, :Informàtica::Programació [Àrees temàtiques de la UPC]
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 63 | |
| downloads | 121 |

Views provided by UsageCounts
Downloads provided by UsageCounts