Academic Journal
Efficent and highly portable deterministic multithreading (DetLock).
| Τίτλος: | Efficent and highly portable deterministic multithreading (DetLock). |
|---|---|
| Συγγραφείς: | Mushtaq, Hamid1 h.mushtaq@tudelft.nl, Al-Ars, Zaid1 z.al-ars@tudelft.nl, Bertels, Koen1 k.l.m.bertels@tudelft.nl |
| Πηγή: | Computing. Dec2014, Vol. 96 Issue 12, p1131-1147. 17p. |
| Θεματικοί όροι: | *Software compatibility, *Mathematical optimization, Threads (Computer programs), Logical clocks, Computer software execution, Kernel operating systems, Run time systems (Computer science) |
| Περίληψη: | In this paper, we present DetLock, a runtime system to ensure deterministic execution of multithreaded programs running on multicore systems. DetLock does not rely on any hardware support or kernel modification to ensure determinism. For tracking the progress of the threads, logical clocks are used. Unlike previous approaches, which rely on non-portable hardware to update the logical clocks, DetLock employs a compiler pass to insert code for updating these clocks, thus increasing portability. For 4 cores, the average overhead of these clocks on tested benchmarks is brought down from 16 to 2 % by applying several optimizations. Moreover, the average overall overhead, including deterministic execution, is 14 %. [ABSTRACT FROM AUTHOR] |
| Copyright of Computing 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.) | |
| Βάση Δεδομένων: | Business Source Index |
| FullText | Links: – Type: other Text: Availability: 0 CustomLinks: – Url: https://dx.doi.org/doi:10.1007/s00607-013-0370-9 Name: EDS - Springer Nature Journals (s7799221) Category: fullText Text: View record at Springer |
|---|---|
| Header | DbId: bsx DbLabel: Business Source Index An: 99239913 RelevancyScore: 1174 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 1173.50390625 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Efficent and highly portable deterministic multithreading (DetLock). – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Mushtaq%2C+Hamid%22">Mushtaq, Hamid</searchLink><relatesTo>1</relatesTo><i> h.mushtaq@tudelft.nl</i><br /><searchLink fieldCode="AR" term="%22Al-Ars%2C+Zaid%22">Al-Ars, Zaid</searchLink><relatesTo>1</relatesTo><i> z.al-ars@tudelft.nl</i><br /><searchLink fieldCode="AR" term="%22Bertels%2C+Koen%22">Bertels, Koen</searchLink><relatesTo>1</relatesTo><i> k.l.m.bertels@tudelft.nl</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Computing%22">Computing</searchLink>. Dec2014, Vol. 96 Issue 12, p1131-1147. 17p. – Name: Subject Label: Subject Terms Group: Su Data: *<searchLink fieldCode="DE" term="%22Software+compatibility%22">Software compatibility</searchLink><br />*<searchLink fieldCode="DE" term="%22Mathematical+optimization%22">Mathematical optimization</searchLink><br /><searchLink fieldCode="DE" term="%22Threads+%28Computer+programs%29%22">Threads (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Logical+clocks%22">Logical clocks</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+execution%22">Computer software execution</searchLink><br /><searchLink fieldCode="DE" term="%22Kernel+operating+systems%22">Kernel operating systems</searchLink><br /><searchLink fieldCode="DE" term="%22Run+time+systems+%28Computer+science%29%22">Run time systems (Computer science)</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: In this paper, we present DetLock, a runtime system to ensure deterministic execution of multithreaded programs running on multicore systems. DetLock does not rely on any hardware support or kernel modification to ensure determinism. For tracking the progress of the threads, logical clocks are used. Unlike previous approaches, which rely on non-portable hardware to update the logical clocks, DetLock employs a compiler pass to insert code for updating these clocks, thus increasing portability. For 4 cores, the average overhead of these clocks on tested benchmarks is brought down from 16 to 2 % by applying several optimizations. Moreover, the average overall overhead, including deterministic execution, is 14 %. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Computing 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=bsx&AN=99239913 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s00607-013-0370-9 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 17 StartPage: 1131 Subjects: – SubjectFull: Software compatibility Type: general – SubjectFull: Mathematical optimization Type: general – SubjectFull: Threads (Computer programs) Type: general – SubjectFull: Logical clocks Type: general – SubjectFull: Computer software execution Type: general – SubjectFull: Kernel operating systems Type: general – SubjectFull: Run time systems (Computer science) Type: general Titles: – TitleFull: Efficent and highly portable deterministic multithreading (DetLock). Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Mushtaq, Hamid – PersonEntity: Name: NameFull: Al-Ars, Zaid – PersonEntity: Name: NameFull: Bertels, Koen IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: Dec2014 Type: published Y: 2014 Identifiers: – Type: issn-print Value: 0010485X Numbering: – Type: volume Value: 96 – Type: issue Value: 12 Titles: – TitleFull: Computing Type: main |
| ResultId | 1 |