{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T17:33:20Z","timestamp":1672940000315},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2013,11,19]],"date-time":"2013-11-19T00:00:00Z","timestamp":1384819200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s00607-013-0370-9","type":"journal-article","created":{"date-parts":[[2013,11,18]],"date-time":"2013-11-18T04:36:26Z","timestamp":1384749386000},"page":"1131-1147","source":"Crossref","is-referenced-by-count":1,"title":["Efficent and highly portable deterministic multithreading (DetLock)"],"prefix":"10.1007","volume":"96","author":[{"given":"Hamid","family":"Mushtaq","sequence":"first","affiliation":[]},{"given":"Zaid","family":"Al-Ars","sequence":"additional","affiliation":[]},{"given":"Koen","family":"Bertels","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,11,19]]},"reference":[{"key":"370_CR1","doi-asserted-by":"crossref","unstructured":"Basu A, Bobba J, Hill MD (2011) Karma: scalable deterministic record-replay. In: ICS \u201911. ACM, New York, p 359\u2013368","DOI":"10.1145\/1995896.1995950"},{"key":"370_CR2","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/1735970.1736029","volume":"38","author":"T Bergan","year":"2010","unstructured":"Bergan T, Anderson O, Devietti J, Ceze L, Grossman D (2010) Coredet: a compiler and runtime system for deterministic multithreaded execution. SIGARCH Comput Archit News 38:53\u201364","journal-title":"SIGARCH Comput Archit News"},{"key":"370_CR3","doi-asserted-by":"crossref","unstructured":"Bienia C, Kumar S, Singh JP, Li K (2008) The parsec benchmark suite: characterization and architectural implications. In: PACT \u201908. ACM, New York, p 72\u201381","DOI":"10.1145\/1454115.1454128"},{"key":"370_CR4","doi-asserted-by":"crossref","unstructured":"Devietti J, Lucia B, Ceze L, Oskin M (2009) Dmp: deterministic shared memory multiprocessing. In: ASPLOS \u201909. ACM, New York, p 85\u201396","DOI":"10.1145\/1508244.1508255"},{"key":"370_CR5","unstructured":"Edwards SA, Tardieu O (2005) Shim: a deterministic model for heterogeneous embedded systems. In: EMSOFT \u201905. ACM, New York, p 264\u2013272"},{"key":"370_CR6","unstructured":"Hower DR, Hill MD (2008) Rerun: exploiting episodes for lightweight memory race recording. In: ISCA \u201908. IEEE Computer Society, Washington, DC, p 265\u2013276"},{"key":"370_CR7","doi-asserted-by":"crossref","unstructured":"Hower D, Dudnik P, Hill M, Wood D (2011) Calvin: deterministic or not? free will to choose. In: HPCA \u201911. p 333\u2013334","DOI":"10.1109\/HPCA.2011.5749741"},{"key":"370_CR8","unstructured":"Lattner C, Adve V (2004) LLVM: a compilation framework for lifelong program analysis & transformation. In: CGO\u2019 04. Palo Alto"},{"key":"370_CR9","doi-asserted-by":"crossref","unstructured":"Lee D, Wester B, Veeraraghavan K, Narayanasamy S, Chen PM, Flinn J (2010) Respec: Efficient online multiprocessor replay via speculation and external determinism. In: ASPLOS\u201910. p 77\u201389","DOI":"10.1145\/1736020.1736031"},{"key":"370_CR10","doi-asserted-by":"crossref","unstructured":"Mushtaq H, Al-Ars Z, Bertels K (2011) Survey of fault tolerance techniques for shared memory multicore\/multiprocessor systems. In: IDT \u201911. p 12\u201317","DOI":"10.1109\/IDT.2011.6123094"},{"key":"370_CR11","doi-asserted-by":"crossref","unstructured":"Mushtaq H, Al-Ars Z, Bertels K (2012) DetLock: portable and efficient deterministic execution for shared memory multicore systems. In: MuCoCoS \u201912, Salt Lake City","DOI":"10.1109\/SC.Companion.2012.98"},{"key":"370_CR12","doi-asserted-by":"crossref","unstructured":"Nethercote N, Seward J (2007) Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of the 2007 programming language design and implementation conference","DOI":"10.1145\/1250734.1250746"},{"key":"370_CR13","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1508284.1508256","volume":"44","author":"M Olszewski","year":"2009","unstructured":"Olszewski M, Ansel J, Amarasinghe S (2009) Kendo: efficient deterministic multithreading in software. SIGPLAN Not 44:97\u2013108","journal-title":"SIGPLAN Not"},{"key":"370_CR14","doi-asserted-by":"crossref","unstructured":"Thies W, Karczmarek M, Amarasinghe SP (2002) Streamit: a language for streaming applications. In: CC \u201902. Springer-Verlag, London, p 179\u2013196","DOI":"10.1007\/3-540-45937-5_14"},{"key":"370_CR15","unstructured":"Tongping Liu EDB, Curtsinger Charlie (2011) Dthreads: efficient deterministic multithreading. In: SOSP \u201911"},{"key":"370_CR16","unstructured":"Weaver V, Dongarra J (2010) Can hardware performance counters produce expected, deterministic results? In: FHPM \u201910. Atlanta"},{"key":"370_CR17","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/225830.223990","volume":"23","author":"SC Woo","year":"1995","unstructured":"Woo SC, Ohara M, Torrie E, Singh JP, Gupta A (1995) The splash-2 programs: characterization and methodological considerations. SIGARCH Comput Archit News 23:24\u201336","journal-title":"SIGARCH Comput Archit News"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0370-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-013-0370-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0370-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,2]],"date-time":"2019-08-02T05:20:15Z","timestamp":1564723215000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-013-0370-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,19]]},"references-count":17,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["370"],"URL":"https:\/\/doi.org\/10.1007\/s00607-013-0370-9","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11,19]]}}}