{"id":"https://openalex.org/W4205784557","doi":"https://doi.org/10.1145/1190216.1190260","title":"Lock allocation","display_name":"Lock allocation","publication_year":2007,"publication_date":"2007-01-17","ids":{"openalex":"https://openalex.org/W4205784557","doi":"https://doi.org/10.1145/1190216.1190260"},"language":"en","primary_location":{"id":"doi:10.1145/1190216.1190260","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190216.1190260","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},"type":"conference-paper","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/A5061209906","display_name":"Michael Emmi","orcid":"https://orcid.org/0009-0002-6283-5890"},"institutions":[{"id":"https://openalex.org/I4210139270","display_name":"UtopiaCompression (United States)","ror":"https://ror.org/051d4q284","country_code":"US","type":"company","lineage":["https://openalex.org/I4210139270"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Emmi","raw_affiliation_strings":["UC Los Angeles"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC Los Angeles","institution_ids":["https://openalex.org/I4210139270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071914635","display_name":"Jeffrey S. Fischer","orcid":null},"institutions":[{"id":"https://openalex.org/I4210139270","display_name":"UtopiaCompression (United States)","ror":"https://ror.org/051d4q284","country_code":"US","type":"company","lineage":["https://openalex.org/I4210139270"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey S. Fischer","raw_affiliation_strings":["UC Los Angeles"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC Los Angeles","institution_ids":["https://openalex.org/I4210139270"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002412544","display_name":"Ranjit Jhala","orcid":"https://orcid.org/0000-0002-1802-9421"},"institutions":[{"id":"https://openalex.org/I2800935791","display_name":"UC San Diego Health System","ror":"https://ror.org/01kbfgm16","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I2800935791"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ranjit Jhala","raw_affiliation_strings":["UC San Diego"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC San Diego","institution_ids":["https://openalex.org/I2800935791"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081010207","display_name":"Rupak Majumdar","orcid":"https://orcid.org/0000-0003-2136-0542"},"institutions":[{"id":"https://openalex.org/I4210139270","display_name":"UtopiaCompression (United States)","ror":"https://ror.org/051d4q284","country_code":"US","type":"company","lineage":["https://openalex.org/I4210139270"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rupak Majumdar","raw_affiliation_strings":["UC Los Angeles"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UC Los Angeles","institution_ids":["https://openalex.org/I4210139270"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.8464,"has_fulltext":false,"cited_by_count":55,"citation_normalized_percentile":{"value":0.9638632,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"291","last_page":"296"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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":0.9998999834060669,"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.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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8874776363372803},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8315349817276001},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.8242578506469727},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7645554542541504},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.581985354423523},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5539942979812622},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5404172539710999},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.500481367111206},{"id":"https://openalex.org/keywords/posix-threads","display_name":"POSIX Threads","score":0.48182716965675354},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.47109681367874146},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.11984887719154358},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.09450104832649231}],"concepts":[{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.8874776363372803},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8315349817276001},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.8242578506469727},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7645554542541504},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.581985354423523},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5539942979812622},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5404172539710999},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.500481367111206},{"id":"https://openalex.org/C41138395","wikidata":"https://www.wikidata.org/wiki/Q928112","display_name":"POSIX Threads","level":3,"score":0.48182716965675354},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.47109681367874146},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.11984887719154358},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.09450104832649231},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1190216.1190260","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1190216.1190260","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.8100000023841858,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1757559472","https://openalex.org/W1972544179","https://openalex.org/W1986698752","https://openalex.org/W2109875364","https://openalex.org/W2115309705","https://openalex.org/W2119964141","https://openalex.org/W2169611673","https://openalex.org/W4231495260","https://openalex.org/W4235116491","https://openalex.org/W4242949098","https://openalex.org/W6614337950","https://openalex.org/W6676368405","https://openalex.org/W6677030910"],"related_works":["https://openalex.org/W2514134619","https://openalex.org/W2150253789","https://openalex.org/W2354003767","https://openalex.org/W2794226707","https://openalex.org/W4243564818","https://openalex.org/W1553634681","https://openalex.org/W1597438944","https://openalex.org/W3207581897","https://openalex.org/W4205784557","https://openalex.org/W2125675019"],"abstract_inverted_index":{"We":[0,105],"introduce":[1],"lock":[2,24,33,39,83],"allocation,":[3],"an":[4],"automatic":[5,131],"technique":[6],"that":[7,35,46],"takes":[8],"a":[9,23,32,87,151],"multi-threaded":[10],"program":[11,50],"annotated":[12],"with":[13,113],"atomic":[14,67,96],"sections":[15,97],"(that":[16],"must":[17],"be":[18,41],"executed":[19],"atomically),":[20],"and":[21,31,43,56,77,79,115,117],"infers":[22],"assignment":[25],"from":[26],"global":[27],"variables":[28],"to":[29,53,121],"locks":[30,123],"instrumentation":[34],"determines":[36],"where":[37],"each":[38],"should":[40],"acquired":[42],"released":[44],"such":[45],"the":[47,73,82,92,101,134,147],"resulting":[48],"instrumented":[49],"is":[51,63],"guaranteed":[52],"preserve":[54],"atomicity":[55],"deadlock":[57],"freedom":[58],"(provided":[59],"all":[60],"shared":[61],"state":[62],"accessed":[64],"only":[65],"within":[66,150],"sections).":[68],"Our":[69,130],"algorithm":[70,109],"works":[71],"in":[72,124],"presence":[74],"of":[75,103,127,142],"pointers":[76],"procedures,":[78],"sets":[80],"up":[81],"allocation":[84,132],"problem":[85],"as":[86,137],"0-1":[88],"ILP":[89],"which":[90],"minimizes":[91],"conflict":[93],"cost":[94],"between":[95],"while":[98,145],"simultaneously":[99],"minimizing":[100],"number":[102],"locks.":[104],"have":[106,118],"implemented":[107],"our":[108],"for":[110,140,153],"both":[111],"C":[112],"pthreads":[114],"Java,":[116],"applied":[119],"it":[120],"infer":[122],"15K":[125],"lines":[126],"AOLserver":[128],"code.":[129],"produces":[133],"same":[135],"results":[136],"hand":[138],"annotations":[139],"most":[141,154],"this":[143],"code,":[144],"solving":[146],"optimization":[148],"instances":[149],"second":[152],"programs.":[155]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":10}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2022-01-25T00:00:00"}