{"id":"https://openalex.org/W2164530016","doi":"https://doi.org/10.1145/2150976.2150999","title":"Applying transactional memory to concurrency bugs","display_name":"Applying transactional memory to concurrency bugs","publication_year":2012,"publication_date":"2012-03-03","ids":{"openalex":"https://openalex.org/W2164530016","doi":"https://doi.org/10.1145/2150976.2150999","mag":"2164530016"},"language":"en","primary_location":{"id":"doi:10.1145/2150976.2150999","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2150976.2150999","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems","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/A5037131742","display_name":"Haris Volos","orcid":"https://orcid.org/0000-0002-3777-0012"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Haris Volos","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047454639","display_name":"Andres Jaan Tack","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andres Jaan Tack","raw_affiliation_strings":["Skype Limited, Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Skype Limited, Tallinn, Estonia","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072740120","display_name":"Michael M. Swift","orcid":"https://orcid.org/0000-0002-7926-648X"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael M. Swift","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061448314","display_name":"Shan Lu","orcid":"https://orcid.org/0000-0002-0757-4600"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shan Lu","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5037131742"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":6.6886,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.97042364,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"211","last_page":"222"},"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.9998999834060669,"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.9998999834060669,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.993399977684021,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9908999800682068,"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/atomicity","display_name":"Atomicity","score":0.9072070121765137},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8520773649215698},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.8208318948745728},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.774144172668457},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.7667895555496216},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5314587354660034},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4847245216369629},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.4635068476200104},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4479158818721771},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.443661630153656},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.42768895626068115},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.41209179162979126},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3778921663761139},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.37162134051322937},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.209598571062088},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16857996582984924},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.0788709819316864}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.9072070121765137},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8520773649215698},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.8208318948745728},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.774144172668457},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.7667895555496216},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5314587354660034},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4847245216369629},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.4635068476200104},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4479158818721771},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.443661630153656},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.42768895626068115},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.41209179162979126},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3778921663761139},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.37162134051322937},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.209598571062088},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16857996582984924},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0788709819316864},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2150976.2150999","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2150976.2150999","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.649.3774","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.3774","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pages.cs.wisc.edu/~hvolos/pub/papers/volos-tmbugs-asplos-2012.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.651.1841","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.1841","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://pages.cs.wisc.edu/~swift/papers/asplos12_tmbugs.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5600000023841858}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W178326370","https://openalex.org/W1542975293","https://openalex.org/W1589458582","https://openalex.org/W1591458180","https://openalex.org/W1963520590","https://openalex.org/W1976718875","https://openalex.org/W1986913310","https://openalex.org/W2011624585","https://openalex.org/W2015193657","https://openalex.org/W2021030008","https://openalex.org/W2045506295","https://openalex.org/W2063942383","https://openalex.org/W2076149580","https://openalex.org/W2094222793","https://openalex.org/W2098005317","https://openalex.org/W2100091242","https://openalex.org/W2100627043","https://openalex.org/W2101161997","https://openalex.org/W2101545021","https://openalex.org/W2104413677","https://openalex.org/W2105772643","https://openalex.org/W2107150212","https://openalex.org/W2108140316","https://openalex.org/W2110137598","https://openalex.org/W2110710544","https://openalex.org/W2112143545","https://openalex.org/W2115003448","https://openalex.org/W2119226929","https://openalex.org/W2120785762","https://openalex.org/W2129990308","https://openalex.org/W2132484060","https://openalex.org/W2135430119","https://openalex.org/W2135954168","https://openalex.org/W2138567239","https://openalex.org/W2141222493","https://openalex.org/W2141475351","https://openalex.org/W2142349608","https://openalex.org/W2149089882","https://openalex.org/W2149473197","https://openalex.org/W2150732552","https://openalex.org/W2155500238","https://openalex.org/W2160983664","https://openalex.org/W2161652554","https://openalex.org/W2164264749","https://openalex.org/W2166004747","https://openalex.org/W2169093943","https://openalex.org/W2169611673","https://openalex.org/W2170651063","https://openalex.org/W2182103346","https://openalex.org/W2293756656","https://openalex.org/W2899815326","https://openalex.org/W3142284768","https://openalex.org/W3212830316","https://openalex.org/W4205784557","https://openalex.org/W4210712189","https://openalex.org/W4234703016","https://openalex.org/W4251521742"],"related_works":["https://openalex.org/W4252722439","https://openalex.org/W2172064476","https://openalex.org/W2103847662","https://openalex.org/W3155619820","https://openalex.org/W2783561925","https://openalex.org/W4300145204","https://openalex.org/W2963373502","https://openalex.org/W2912336518","https://openalex.org/W999441564","https://openalex.org/W2063050381"],"abstract_inverted_index":{"Multithreaded":[0],"programs":[1,94,104],"often":[2,45,53],"suffer":[3],"from":[4,16,95],"synchronization":[5,23,214],"bugs":[6,14,44,127,206],"such":[7],"as":[8],"atomicity":[9],"violations":[10],"and":[11,20,50,74,156,163,193],"deadlocks.":[12],"These":[13],"arise":[15],"complicated":[17],"locking":[18,223],"strategies":[19],"ad":[21,212],"hoc":[22,213],"methods":[24,112],"to":[25,64,78,91,189,218,234],"avoid":[26,79,219],"the":[27,34,76,126,172,181,187,197,205,220],"use":[28],"of":[29,33,37,67,113,125,143,171,204,222],"locks.":[30],"A":[31],"survey":[32],"bug":[35],"databases":[36],"major":[38],"open-source":[39],"applications":[40],"shows":[41],"that":[42,51,123,135,168,211],"concurrency":[43,57,106,144],"take":[46],"multiple":[47],"fix":[48,185],"attempts,":[49],"fixes":[52],"introduce":[54],"yet":[55],"more":[56],"bugs.":[58,81,107,145],"Transactional":[59],"memory":[60,175],"(TM)":[61],"enables":[62],"programmers":[63],"declare":[65],"regions":[66],"code":[68],"atomic":[69],"without":[70],"specifying":[71],"a":[72,184,191],"lock":[73],"has":[75],"potential":[77],"these":[80],"Where":[82],"most":[83],"previous":[84],"studies":[85],"have":[86,201],"focused":[87],"on":[88,116],"using":[89,114,194],"TM":[90,115,136,148],"write":[92],"new":[93],"scratch,":[96],"we":[97,121,166],"consider":[98],"its":[99],"utility":[100],"in":[101,196,216],"fixing":[102],"existing":[103],"with":[105,151,157,228],"We":[108,208],"therefore":[109],"investigate":[110],"four":[111],"three":[117],"concurrent":[118],"programs.":[119],"Overall,":[120],"find":[122,167,210],"29%":[124],"are":[128],"not":[129,138],"fixable":[130],"by":[131,179],"transactional":[132,174],"memory,":[133],"showing":[134],"does":[137],"address":[139],"many":[140],"important":[141],"types":[142],"In":[146],"particular,":[147],"works":[149],"poorly":[150],"extremely":[152],"long":[153],"critical":[154],"sections":[155],"deadlocks":[158],"involving":[159],"both":[160],"condition":[161],"variables":[162],"I/O.":[164],"Conversely,":[165],"for":[169],"56%":[170],"bugs,":[173],"offers":[176],"demonstrable":[177],"value":[178],"simplifying":[180],"reasoning":[182],"behind":[183],"or":[186],"effort":[188],"implement":[190],"fix,":[192],"transactions":[195],"first":[198],"place":[199,217],"would":[200],"avoided":[202],"71%":[203],"examined.":[207],"also":[209],"put":[215],"overhead":[221],"can":[224],"be":[225],"greatly":[226],"simplified":[227],"TM,":[229],"but":[230],"requires":[231],"hardware":[232],"support":[233],"perform":[235],"well.":[236]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}