{"id":"https://openalex.org/W2156300775","doi":"https://doi.org/10.1145/2043556.2043588","title":"Efficient deterministic multithreading through schedule relaxation","display_name":"Efficient deterministic multithreading through schedule relaxation","publication_year":2011,"publication_date":"2011-10-23","ids":{"openalex":"https://openalex.org/W2156300775","doi":"https://doi.org/10.1145/2043556.2043588","mag":"2156300775"},"language":"en","primary_location":{"id":"doi:10.1145/2043556.2043588","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2043556.2043588","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015360935","display_name":"Heming Cui","orcid":"https://orcid.org/0000-0001-7746-440X"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Heming Cui","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100908694","display_name":"Jingyue Wu","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jingyue Wu","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020698393","display_name":"John P. Gallagher","orcid":"https://orcid.org/0000-0001-6984-7419"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Gallagher","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000256045","display_name":"Huayang Guo","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Huayang Guo","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056288677","display_name":"Junfeng Yang","orcid":"https://orcid.org/0000-0003-1981-6424"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Junfeng Yang","raw_affiliation_strings":["Columbia University"],"affiliations":[{"raw_affiliation_string":"Columbia University","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5015360935"],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":11.3382,"has_fulltext":false,"cited_by_count":104,"citation_normalized_percentile":{"value":0.98738606,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"337","last_page":"351"},"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.9994999766349792,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8502439260482788},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.7698769569396973},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6781525611877441},{"id":"https://openalex.org/keywords/sync","display_name":"sync","score":0.5805884599685669},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.5768097043037415},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5695112943649292},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5457850694656372},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4607459306716919},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44917863607406616},{"id":"https://openalex.org/keywords/semaphore","display_name":"Semaphore","score":0.42605993151664734},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22266992926597595},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.18323010206222534}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8502439260482788},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.7698769569396973},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6781525611877441},{"id":"https://openalex.org/C3913047","wikidata":"https://www.wikidata.org/wiki/Q1956265","display_name":"sync","level":3,"score":0.5805884599685669},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.5768097043037415},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5695112943649292},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5457850694656372},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4607459306716919},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44917863607406616},{"id":"https://openalex.org/C95203288","wikidata":"https://www.wikidata.org/wiki/Q221682","display_name":"Semaphore","level":2,"score":0.42605993151664734},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22266992926597595},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.18323010206222534},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2043556.2043588","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2043556.2043588","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.227.6834","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.6834","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.columbia.edu/%7Ejunfeng/papers/peregrine-sosp11.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.231.4433","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.4433","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sigops.org/sosp/sosp11/current/2011-Cascais/24-cui-online.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.231.4796","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.4796","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.sigops.org/sosp/sosp11/current/2011-Cascais/printable/24-cui.pdf","raw_type":"text"},{"id":"pmh:oai:hub.hku.hk:10722/207913","is_oa":false,"landing_page_url":"http://hdl.handle.net/10722/207913","pdf_url":null,"source":{"id":"https://openalex.org/S4377196271","display_name":"The HKU Scholars Hub (University of Hong Kong)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I889458895","host_organization_name":"University of Hong Kong","host_organization_lineage":["https://openalex.org/I889458895"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference_Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1547213902","display_name":null,"funder_award_id":"CNS-1117805CNS-1054906 (CAREER)CNS-1012633CNS-0905246","funder_id":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems"},{"id":"https://openalex.org/G8993174218","display_name":null,"funder_award_id":"FA8650-10-C-7024FA8750-10-2-0253","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320337388","display_name":"Division of Computer and Network Systems","ror":"https://ror.org/02rdzmk74"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W11234669","https://openalex.org/W178326370","https://openalex.org/W303139982","https://openalex.org/W1491178396","https://openalex.org/W1497028280","https://openalex.org/W1652742168","https://openalex.org/W1710734607","https://openalex.org/W1721908487","https://openalex.org/W1867761151","https://openalex.org/W1972544179","https://openalex.org/W1978905120","https://openalex.org/W2002479196","https://openalex.org/W2040384644","https://openalex.org/W2040851906","https://openalex.org/W2096155624","https://openalex.org/W2097576663","https://openalex.org/W2100189461","https://openalex.org/W2100889285","https://openalex.org/W2101161997","https://openalex.org/W2105391037","https://openalex.org/W2121766388","https://openalex.org/W2122532513","https://openalex.org/W2123184511","https://openalex.org/W2123524055","https://openalex.org/W2126094482","https://openalex.org/W2130473288","https://openalex.org/W2134440791","https://openalex.org/W2137723287","https://openalex.org/W2138058557","https://openalex.org/W2138378640","https://openalex.org/W2138546883","https://openalex.org/W2142892618","https://openalex.org/W2145087641","https://openalex.org/W2145385214","https://openalex.org/W2145467766","https://openalex.org/W2146280225","https://openalex.org/W2149984854","https://openalex.org/W2153229512","https://openalex.org/W2154698535","https://openalex.org/W2156729262","https://openalex.org/W2158600037","https://openalex.org/W2158794422","https://openalex.org/W2159856414","https://openalex.org/W2162969183","https://openalex.org/W2166841005","https://openalex.org/W2171581420","https://openalex.org/W2171956059","https://openalex.org/W2251066406","https://openalex.org/W2281433966","https://openalex.org/W2293351723","https://openalex.org/W2293881818","https://openalex.org/W2610511123","https://openalex.org/W3137220996","https://openalex.org/W4235385348","https://openalex.org/W4242838928","https://openalex.org/W4243683024","https://openalex.org/W4248655060","https://openalex.org/W4249224771","https://openalex.org/W4250276807","https://openalex.org/W4251803824","https://openalex.org/W4253120409","https://openalex.org/W6610773549"],"related_works":["https://openalex.org/W2365741265","https://openalex.org/W1480590506","https://openalex.org/W18566131","https://openalex.org/W2369027488","https://openalex.org/W2383074485","https://openalex.org/W2183974960","https://openalex.org/W1967221184","https://openalex.org/W2115561485","https://openalex.org/W2538534817","https://openalex.org/W2368907619"],"abstract_inverted_index":{"Deterministic":[0],"multithreading":[1],"(DMT)":[2],"eliminates":[3],"many":[4],"pernicious":[5],"software":[6],"problems":[7],"caused":[8],"by":[9,13],"nondeterminism.":[10],"It":[11],"works":[12],"constraining":[14],"a":[15,55,58,63,93],"program":[16],"to":[17,38],"repeat":[18],"the":[19],"same":[20,27],"thread":[21],"interleavings,":[22],"or":[23,70,85],"schedules,":[24],"when":[25],"given":[26],"input.":[28],"Despite":[29],"much":[30],"recent":[31],"research,":[32],"it":[33],"remains":[34],"an":[35],"open":[36],"challenge":[37],"build":[39],"both":[40],"deterministic":[41,64,96],"and":[42],"efficient":[43],"DMT":[44,59],"systems":[45],"for":[46,98],"general":[47],"programs":[48,103],"on":[49],"commodity":[50],"hardware.":[51],"To":[52],"deterministically":[53],"resolve":[54],"data":[56],"race,":[57],"system":[60],"must":[61],"enforce":[62],"schedule":[65],"of":[66,82],"shared":[67],"memory":[68],"accesses,":[69],"mem-schedule,":[71],"which":[72],"can":[73,89],"incur":[74],"prohibitive":[75],"overhead.":[76],"By":[77],"using":[78],"schedules":[79],"consisting":[80],"only":[81,97],"synchronization":[83],"operations,":[84],"sync-schedule,":[86],"this":[87],"overhead":[88],"be":[90],"avoided.":[91],"However,":[92],"sync-schedule":[94],"is":[95],"race-free":[99],"programs,":[100],"but":[101],"most":[102],"have":[104],"races.":[105]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":22},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":14},{"year":2014,"cited_by_count":16},{"year":2013,"cited_by_count":17},{"year":2012,"cited_by_count":11}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}