View in EDS PDF Full Text

Determinism at Standard-Library Level in TM-Based Applications.

Saved in:
Bibliographic Details
Title: Determinism at Standard-Library Level in TM-Based Applications.
Authors: Smiljković, Vesna vesna.smiljkovic@bsc.es, Ünsal, Osman1, Cristal, Adrián, Valero, Mateo
Source: International Journal of Parallel Programming. Feb2017, Vol. 45 Issue 1, p17-29. 13p.
Subjects: Debugging, Simultaneous multithreading processors, Deadlock prevention (Manufacturing), Computer network reliability, Benchmark problems (Computer science)
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 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. [ABSTRACT FROM AUTHOR]
Copyright of International Journal of Parallel Programming is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 121120721
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Determinism at Standard-Library Level in TM-Based Applications.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Smiljković%2C+Vesna%22">Smiljković, Vesna</searchLink><i> vesna.smiljkovic@bsc.es</i><br /><searchLink fieldCode="AR" term="%22Ünsal%2C+Osman%22">Ünsal, Osman</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Cristal%2C+Adrián%22">Cristal, Adrián</searchLink><br /><searchLink fieldCode="AR" term="%22Valero%2C+Mateo%22">Valero, Mateo</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22International+Journal+of+Parallel+Programming%22">International Journal of Parallel Programming</searchLink>. Feb2017, Vol. 45 Issue 1, p17-29. 13p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Debugging%22">Debugging</searchLink><br /><searchLink fieldCode="DE" term="%22Simultaneous+multithreading+processors%22">Simultaneous multithreading processors</searchLink><br /><searchLink fieldCode="DE" term="%22Deadlock+prevention+%28Manufacturing%29%22">Deadlock prevention (Manufacturing)</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+network+reliability%22">Computer network reliability</searchLink><br /><searchLink fieldCode="DE" term="%22Benchmark+problems+%28Computer+science%29%22">Benchmark problems (Computer science)</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of International Journal of Parallel Programming is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=121120721
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10766-015-0383-4
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 13
        StartPage: 17
    Subjects:
      – SubjectFull: Debugging
        Type: general
      – SubjectFull: Simultaneous multithreading processors
        Type: general
      – SubjectFull: Deadlock prevention (Manufacturing)
        Type: general
      – SubjectFull: Computer network reliability
        Type: general
      – SubjectFull: Benchmark problems (Computer science)
        Type: general
    Titles:
      – TitleFull: Determinism at Standard-Library Level in TM-Based Applications.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Smiljković, Vesna
      – PersonEntity:
          Name:
            NameFull: Ünsal, Osman
      – PersonEntity:
          Name:
            NameFull: Cristal, Adrián
      – PersonEntity:
          Name:
            NameFull: Valero, Mateo
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb2017
              Type: published
              Y: 2017
          Identifiers:
            – Type: issn-print
              Value: 08857458
          Numbering:
            – Type: volume
              Value: 45
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: International Journal of Parallel Programming
              Type: main
ResultId 1