{"id":"https://openalex.org/W1999109804","doi":"https://doi.org/10.1145/1993806.1993837","title":"Fork-consistent constructions from registers","display_name":"Fork-consistent constructions from registers","publication_year":2011,"publication_date":"2011-06-06","ids":{"openalex":"https://openalex.org/W1999109804","doi":"https://doi.org/10.1145/1993806.1993837","mag":"1999109804"},"language":"en","primary_location":{"id":"doi:10.1145/1993806.1993837","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1993806.1993837","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing","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/A5035802190","display_name":"Matthias Majuntke","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Matthias Majuntke","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036725281","display_name":"Dan Dobre","orcid":null},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dan Dobre","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079786056","display_name":"Neeraj Suri","orcid":"https://orcid.org/0000-0003-1688-1167"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technical University of Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Neeraj Suri","raw_affiliation_strings":["Technische Universit\u00e4t Darmstadt, Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Darmstadt, Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5035802190"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":1.10064899,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.77220733,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"209","last_page":"210"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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":1.0,"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.998199999332428,"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/T11424","display_name":"Security and Verification in Computing","score":0.9914000034332275,"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/fork","display_name":"Fork (system call)","score":0.9355096817016602},{"id":"https://openalex.org/keywords/linearizability","display_name":"Linearizability","score":0.8850799202919006},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.776721179485321},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.5316873788833618},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5059840083122253},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.42136022448539734},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4169183671474457},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.4137420058250427},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37548327445983887},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3301534950733185},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2970547676086426},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17562657594680786},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10838791728019714}],"concepts":[{"id":"https://openalex.org/C40523978","wikidata":"https://www.wikidata.org/wiki/Q14675","display_name":"Fork (system call)","level":2,"score":0.9355096817016602},{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.8850799202919006},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.776721179485321},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.5316873788833618},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5059840083122253},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.42136022448539734},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4169183671474457},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.4137420058250427},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37548327445983887},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3301534950733185},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2970547676086426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17562657594680786},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10838791728019714},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1993806.1993837","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1993806.1993837","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7099999785423279}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W15308973","https://openalex.org/W200023006","https://openalex.org/W201372435","https://openalex.org/W1483112201","https://openalex.org/W1522992924","https://openalex.org/W1586207826","https://openalex.org/W1733036499","https://openalex.org/W1995128373","https://openalex.org/W2001266526","https://openalex.org/W2071226137","https://openalex.org/W2080288192","https://openalex.org/W2085407655","https://openalex.org/W2095950283","https://openalex.org/W2100309652","https://openalex.org/W2100487606","https://openalex.org/W2101939036","https://openalex.org/W2106797866","https://openalex.org/W2114349788","https://openalex.org/W2117442303","https://openalex.org/W2144274712","https://openalex.org/W2147500445","https://openalex.org/W2147515467","https://openalex.org/W2167282885","https://openalex.org/W2167680229","https://openalex.org/W2204731804","https://openalex.org/W2275530856","https://openalex.org/W2611515161"],"related_works":["https://openalex.org/W1553228708","https://openalex.org/W3046493460","https://openalex.org/W2751115287","https://openalex.org/W3135491762","https://openalex.org/W2019951415","https://openalex.org/W2914645210","https://openalex.org/W2937118960","https://openalex.org/W2147500445","https://openalex.org/W1999109804","https://openalex.org/W1483112201"],"abstract_inverted_index":{"So":[0],"far,":[1],"all":[2,43],"implementations":[3],"providing":[4],"fork-consistent":[5,21],"semantics":[6],"are":[7,31,79,101],"based":[8],"on":[9],"objects":[10,23],"with":[11],"read-modify-write":[12],"capabilities":[13],"(also":[14],"termed":[15],"servers).":[16],"We":[17,64],"propose":[18],"constructions":[19,39],"of":[20,60,73,91],"shared":[22,37,93],"from":[24],"single-writer":[25],"multiple-reader(SWMR)":[26],"read/write":[27],"base":[28,44],"registers,":[29],"that":[30,95],"strictly":[32],"weaker":[33],"than":[34],"servers.":[35],"Our":[36],"object":[38],"provide":[40],"linearizability":[41],"if":[42,57],"registers":[45,61,100],"behave":[46],"correctly,":[47],"and":[48,85],"gracefully":[49],"degrade":[50],"to":[51,81],"either":[52],"fork-linearizability":[53,56],"or":[54],"weak":[55,88],"any":[58],"number":[59],"fails":[62],"Byzantine.":[63],"make":[65],"the":[66,99],"following":[67],"contributions:":[68],"(a)":[69],"A":[70],"fork-linearizable":[71,89],"construction":[72],"a":[74,87,92],"universal":[75],"type":[76],"where":[77],"operations":[78],"allowed":[80],"abort":[82],"under":[83],"concurrency,":[84],"(b)":[86],"implementation":[90],"memory":[94],"ensures":[96],"wait-freedom":[97],"when":[98],"correct.":[102]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}