English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/154726
COMPARTIR / IMPACTO:
Estadísticas
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:
Título

Determinism at Standard-Library Level in TM-Based Applications

AutorSmiljković, Vesna; Unsal, Osman S.; Cristal, Adrián; Valero, Mateo
Palabras claveDeterminism
Transactional memory
Standard library
Serialization
Deterministic multithreading
Concurrency bugs
Fecha de publicación2017
EditorSpringer
CitaciónInternational Journal of Parallel Programming 45: 17- 29 (2017)
ResumenDeterministic 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.
URIhttp://hdl.handle.net/10261/154726
DOI10.1007/s10766-015-0383-4
Identificadoresdoi: 10.1007/s10766-015-0383-4
issn: 0885-7458
Aparece en las colecciones: (IIIA) Artículos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
IJPP2017_45(1)pp17-29.pdf254,89 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.