{"id":"https://openalex.org/W2925610405","doi":"https://doi.org/10.1145/3297858.3304047","title":"Lazy Determinism for Faster Deterministic Multithreading","display_name":"Lazy Determinism for Faster Deterministic Multithreading","publication_year":2019,"publication_date":"2019-04-04","ids":{"openalex":"https://openalex.org/W2925610405","doi":"https://doi.org/10.1145/3297858.3304047","mag":"2925610405"},"language":"en","primary_location":{"id":"doi:10.1145/3297858.3304047","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304047","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304047","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304047","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078891664","display_name":"Timothy Merrifield","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Timothy Merrifield","raw_affiliation_strings":["VMware Inc., Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"VMware Inc., Austin, TX, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073547714","display_name":"Sepideh Roghanchi","orcid":null},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sepideh Roghanchi","raw_affiliation_strings":["University of Illinois at Chicago, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031917049","display_name":"Joseph Devietti","orcid":"https://orcid.org/0000-0002-9330-7233"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joseph Devietti","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016588675","display_name":"Jakob Eriksson","orcid":"https://orcid.org/0000-0002-4848-7503"},"institutions":[{"id":"https://openalex.org/I39422238","display_name":"University of Illinois Chicago","ror":"https://ror.org/02mpq6x41","country_code":"US","type":"education","lineage":["https://openalex.org/I39422238"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jakob Eriksson","raw_affiliation_strings":["University of Illinois at Chicago, Chicago, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Chicago, Chicago, IL, USA","institution_ids":["https://openalex.org/I39422238"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5078891664"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.2038,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.76402296,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"879","last_page":"891"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8389992117881775},{"id":"https://openalex.org/keywords/determinism","display_name":"Determinism","score":0.6916702389717102},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.679236650466919},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6578027009963989},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5959845185279846},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5285619497299194},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.5266803503036499},{"id":"https://openalex.org/keywords/parsec","display_name":"Parsec","score":0.48581862449645996},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47716420888900757},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.2478707730770111},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.24750277400016785},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23763570189476013},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1976923942565918}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8389992117881775},{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.6916702389717102},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.679236650466919},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6578027009963989},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5959845185279846},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5285619497299194},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.5266803503036499},{"id":"https://openalex.org/C44060867","wikidata":"https://www.wikidata.org/wiki/Q12129","display_name":"Parsec","level":3,"score":0.48581862449645996},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47716420888900757},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.2478707730770111},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.24750277400016785},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23763570189476013},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1976923942565918},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C150846664","wikidata":"https://www.wikidata.org/wiki/Q7602306","display_name":"Stars","level":2,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3297858.3304047","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304047","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304047","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3297858.3304047","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3297858.3304047","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3297858.3304047","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6000000238418579}],"awards":[{"id":"https://openalex.org/G5261116889","display_name":null,"funder_award_id":"CNS-1320235","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2925610405.pdf","grobid_xml":"https://content.openalex.org/works/W2925610405.grobid-xml"},"referenced_works_count":43,"referenced_works":["https://openalex.org/W1495128589","https://openalex.org/W1498246297","https://openalex.org/W1583210003","https://openalex.org/W1964042491","https://openalex.org/W2015602005","https://openalex.org/W2023999916","https://openalex.org/W2028267160","https://openalex.org/W2036846060","https://openalex.org/W2076588925","https://openalex.org/W2091980304","https://openalex.org/W2099661831","https://openalex.org/W2102740706","https://openalex.org/W2104644701","https://openalex.org/W2105781036","https://openalex.org/W2113658736","https://openalex.org/W2118329536","https://openalex.org/W2118373501","https://openalex.org/W2122514069","https://openalex.org/W2122532513","https://openalex.org/W2123184511","https://openalex.org/W2123930226","https://openalex.org/W2128870271","https://openalex.org/W2134440791","https://openalex.org/W2138074470","https://openalex.org/W2141222493","https://openalex.org/W2145021036","https://openalex.org/W2145467766","https://openalex.org/W2151290553","https://openalex.org/W2152390090","https://openalex.org/W2152885346","https://openalex.org/W2156300775","https://openalex.org/W2158794422","https://openalex.org/W2162257946","https://openalex.org/W2163163794","https://openalex.org/W2168234754","https://openalex.org/W2169875292","https://openalex.org/W2182622856","https://openalex.org/W2281433966","https://openalex.org/W3004250778","https://openalex.org/W4230574494","https://openalex.org/W4235385348","https://openalex.org/W4240363966","https://openalex.org/W4244157805"],"related_works":["https://openalex.org/W2595172197","https://openalex.org/W2152436418","https://openalex.org/W2084856301","https://openalex.org/W2127970246","https://openalex.org/W4382618745","https://openalex.org/W2885125400","https://openalex.org/W2038229768","https://openalex.org/W1001352512","https://openalex.org/W1989889224","https://openalex.org/W1667647204"],"abstract_inverted_index":{"Deterministic":[0],"multithreading":[1],"(DMT)":[2],"fundamentally":[3],"requires":[4],"total,":[5],"deterministic":[6,116,184],"ordering":[7,18,89,104],"of":[8,34,54,85,94,144,150,158,175],"synchronization":[9,13,21,31,35,73],"operations":[10,74],"on":[11,179],"each":[12],"variable,":[14],"i.e.":[15],"a":[16,61,122],"partial":[17,103],"over":[19],"all":[20,30],"operations.":[22,86],"In":[23],"practice,":[24],"prior":[25],"DMT":[26],"systems":[27],"totally":[28],"order":[29,68,84,143],"operations,":[32],"regardless":[33],"variable;":[36],"the":[37,82,95,102,112,148,156,159,180,187],"result":[38],"is":[39,91,97],"severe":[40],"performance":[41,149],"degradation":[42],"for":[43],"highly":[44],"concurrent":[45],"applications":[46],"using":[47],"fine-grained":[48],"synchronization.":[49],"Motivated":[50],"by":[51,79,127],"this":[52,66],"class":[53],"programs,":[55],"we":[56,171],"propose":[57],"lazy":[58,109],"determinism":[59,71,78,110],"as":[60],"way":[62],"to":[63,106,155,177],"go":[64],"beyond":[65],"total":[67],"bottleneck.":[69],"Lazy":[70],"executes":[72],"speculatively,":[75],"and":[76,169],"enforces":[77],"subsequently":[80],"validating":[81],"resulting":[83],"If":[87],"an":[88,142],"violation":[90],"detected,":[92],"part":[93],"computation":[96],"restarted.":[98],"By":[99],"enforcing":[100],"only":[101],"required":[105],"guarantee":[107],"determinism,":[108],"increases":[111],"available":[113],"parallelism":[114],"during":[115],"execution.":[117],"We":[118],"implement":[119],"LazyDet":[120],"via":[121],"pure-software":[123],"runtime":[124,173],"system":[125],"accelerated":[126],"custom":[128],"Linux":[129],"kernel":[130],"support.":[131],"Our":[132],"experiments":[133],"with":[134],"hash":[135],"table":[136],"benchmarks":[137,165],"from":[138,166],"Synchrobench":[139],"show":[140],"roughly":[141],"magnitude":[145],"improvement":[146],"in":[147,161],"lock-based":[151],"data":[152],"structures":[153],"compared":[154],"state":[157],"art":[160],"eager":[162],"determinism.":[163],"For":[164],"PARSEC-2,":[167],"SPLASH-2,":[168],"Phoenix,":[170],"demonstrate":[172],"improvements":[174],"up":[176],"2\u00d7":[178],"programs":[181],"that":[182],"challenge":[183],"execution":[185],"environments":[186],"most.":[188]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}