{"id":"https://openalex.org/W3123335731","doi":"https://doi.org/10.22152/programming-journal.org/2021/5/3","title":"Path-Sensitive Atomic Commit","display_name":"Path-Sensitive Atomic Commit","publication_year":2020,"publication_date":"2020-06-04","ids":{"openalex":"https://openalex.org/W3123335731","doi":"https://doi.org/10.22152/programming-journal.org/2021/5/3","mag":"3123335731"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2021/5/3","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2021/5/3","pdf_url":"https://arxiv.org/pdf/1908.05940v2","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/1908.05940v2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003699689","display_name":"Tim Soethout","orcid":"https://orcid.org/0000-0001-7477-9967"},"institutions":[{"id":"https://openalex.org/I4210148881","display_name":"ING Bank","ror":"https://ror.org/059et9981","country_code":"NL","type":"other","lineage":["https://openalex.org/I4210148881"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Tim Soethout","raw_affiliation_strings":["ING Bank / Centrum Wiskunde & Informatica (CWI), Netherlands"],"affiliations":[{"raw_affiliation_string":"ING Bank / Centrum Wiskunde & Informatica (CWI), Netherlands","institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I4210148881"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014852863","display_name":"Tijs van der Storm","orcid":"https://orcid.org/0000-0001-8853-7934"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tijs van der Storm","raw_affiliation_strings":["Centrum Wiskunde & Informatica (CWI) / Universiteit Groningen, Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI) / Universiteit Groningen, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074526787","display_name":"Jurgen Vinju","orcid":"https://orcid.org/0000-0002-2686-7409"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jurgen Vinju","raw_affiliation_strings":["Centrum Wiskunde & Informatica (CWI) / TU Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica (CWI) / TU Eindhoven, Netherlands","institution_ids":["https://openalex.org/I1341640284"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5003699689"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I4210148881"],"apc_list":null,"apc_paid":null,"fwci":0.3222,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.64740479,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"5","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.978600025177002,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9606000185012817,"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.8362405896186829},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6976656317710876},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.688697874546051},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.6719445586204529},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.6219450831413269},{"id":"https://openalex.org/keywords/two-phase-commit-protocol","display_name":"Two-phase commit protocol","score":0.5485513806343079},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.49186158180236816},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.44714364409446716},{"id":"https://openalex.org/keywords/throughput","display_name":"Throughput","score":0.41806986927986145},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.4179466962814331},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.412209153175354},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3241574764251709},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.32109296321868896},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.29491472244262695},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22194084525108337},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.18752309679985046},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.14414790272712708},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.1290263831615448},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.1262153685092926}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8362405896186829},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6976656317710876},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.688697874546051},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.6719445586204529},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.6219450831413269},{"id":"https://openalex.org/C111009948","wikidata":"https://www.wikidata.org/wiki/Q1067690","display_name":"Two-phase commit protocol","level":5,"score":0.5485513806343079},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.49186158180236816},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.44714364409446716},{"id":"https://openalex.org/C157764524","wikidata":"https://www.wikidata.org/wiki/Q1383412","display_name":"Throughput","level":3,"score":0.41806986927986145},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.4179466962814331},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.412209153175354},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3241574764251709},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.32109296321868896},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.29491472244262695},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22194084525108337},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.18752309679985046},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.14414790272712708},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.1290263831615448},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.1262153685092926},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.22152/programming-journal.org/2021/5/3","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2021/5/3","pdf_url":"https://arxiv.org/pdf/1908.05940v2","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1908.05940","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1908.05940","pdf_url":"https://arxiv.org/pdf/1908.05940","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:cwi.nl:30581","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/30581","pdf_url":"https://ir.cwi.nl/pub/30581/30581.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"The Art, Science, and Engineering of Programming vol. 5 no. 1","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2021/5/3","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2021/5/3","pdf_url":"https://arxiv.org/pdf/1908.05940v2","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3123335731.pdf","grobid_xml":"https://content.openalex.org/works/W3123335731.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W13821285","https://openalex.org/W1504504841","https://openalex.org/W1515932031","https://openalex.org/W1545155892","https://openalex.org/W1565760524","https://openalex.org/W1572571795","https://openalex.org/W1601925768","https://openalex.org/W1828386109","https://openalex.org/W1975637639","https://openalex.org/W1982063824","https://openalex.org/W1985229168","https://openalex.org/W1991199257","https://openalex.org/W2010042648","https://openalex.org/W2011917775","https://openalex.org/W2093709900","https://openalex.org/W2105986479","https://openalex.org/W2106887953","https://openalex.org/W2132220514","https://openalex.org/W2150871235","https://openalex.org/W2209943643","https://openalex.org/W2240667924","https://openalex.org/W2295243699","https://openalex.org/W2403659235","https://openalex.org/W2520189725","https://openalex.org/W2524165724","https://openalex.org/W2535924225","https://openalex.org/W2548153633","https://openalex.org/W2725226870","https://openalex.org/W2737641788","https://openalex.org/W2790475059","https://openalex.org/W2963097596","https://openalex.org/W2979402301","https://openalex.org/W3211000252","https://openalex.org/W4235786307","https://openalex.org/W4240349797","https://openalex.org/W4241375534","https://openalex.org/W4244195636","https://openalex.org/W4288640890"],"related_works":["https://openalex.org/W2088991932","https://openalex.org/W4297564856","https://openalex.org/W2126986415","https://openalex.org/W1969740153","https://openalex.org/W2142572717","https://openalex.org/W2113394194","https://openalex.org/W3013456162","https://openalex.org/W321880970","https://openalex.org/W2114407468","https://openalex.org/W2011596692"],"abstract_inverted_index":{"Context:":[0],"Concurrent":[1],"objects":[2,27,66],"with":[3,34,106],"asynchronous":[4],"messaging":[5],"are":[6,67,104,135,151,233],"an":[7,71],"increasingly":[8],"popular":[9],"way":[10],"to":[11,92,122,138,204,223],"structure":[12],"highly":[13,51,68],"available,":[14,52],"high":[15],"performance,":[16],"large-scale":[17],"software":[18],"systems.":[19],"To":[20],"ensure":[21],"data-consistency":[22],"and":[23,41,108,113,137,156,195,201],"support":[24],"synchronization":[25],"between":[26],"such":[28,55],"systems":[29],"often":[30],"use":[31],"distributed":[32,226],"transactions":[33],"Two-Phase":[35,42],"Locking":[36],"(2PL)":[37],"for":[38,167],"concurrency":[39],"control":[40],"commit":[43],"(2PC)":[44],"as":[45,56,198],"atomic":[46],"commitment":[47],"protocol.":[48],"Inquiry":[49],"In":[50,83],"high-throughput":[53],"systems,":[54],"large":[57],"banking":[58],"infrastructure,":[59],"however,":[60],"2PL":[61],"becomes":[62],"a":[63,75,147,168,177,218],"bottleneck":[64],"when":[65,70],"contended,":[69],"object":[72],"is":[73,143,160,217],"queuing":[74],"lot":[76],"of":[77,80,127,176],"messages":[78,130,150],"because":[79],"locking.":[81],"Approach:":[82],"this":[84,94,142],"paper":[85],"we":[86],"introduce":[87],"Path-Sensitive":[88],"Atomic":[89],"Commit":[90],"(PSAC)":[91],"address":[93],"situation.":[95],"We":[96,163,214],"start":[97],"from":[98],"message":[99],"handlers":[100],"(or":[101],"methods),":[102],"which":[103],"decorated":[105],"pre-":[107],"post-conditions,":[109],"describing":[110],"their":[111,230],"guards":[112],"effect.":[114],"Knowledge:":[115],"This":[116],"allows":[117],"the":[118,125,132,144,181,192],"PSAC":[119,166,190,216],"lock":[120],"mechanism":[121],"check":[123],"whether":[124],"effect":[126],"two":[128],"incoming":[129],"at":[131],"same":[133,193],"time":[134],"independent,":[136],"avoid":[139],"locking":[140],"if":[141,229],"case.":[145],"As":[146],"result,":[148],"more":[149],"directly":[152],"accepted":[153],"or":[154],"rejected,":[155],"higher":[157,208],"overall":[158],"throughput":[159,209],"obtained.":[161],"Grounding:":[162],"have":[164],"implemented":[165],"state":[169],"machine-based":[170],"DSL":[171],"called":[172],"Rebel,":[173],"on":[174,180],"top":[175],"runtime":[178],"based":[179],"Akka":[182],"actor":[183],"framework.":[184],"Our":[185],"performance":[186],"evaluation":[187],"shows":[188],"that":[189],"exhibits":[191],"scalability":[194],"latency":[196],"characteristics":[197],"standard":[199],"2PL/2PC,":[200],"obtains":[202],"up":[203],"1.8":[205],"times":[206],"median":[207],"in":[210],"congested":[211],"scenarios.":[212],"Importance:":[213],"believe":[215],"step":[219],"towards":[220],"enabling":[221],"organizations":[222],"build":[224],"scalable":[225],"applications,":[227],"even":[228],"consistency":[231],"requirements":[232],"not":[234],"embarrassingly":[235],"parallel.":[236]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2021-02-01T00:00:00"}