{"id":"https://openalex.org/W1982078374","doi":"https://doi.org/10.1145/1189736.1189737","title":"Specifying memory consistency of write buffer multiprocessors","display_name":"Specifying memory consistency of write buffer multiprocessors","publication_year":2007,"publication_date":"2007-02-01","ids":{"openalex":"https://openalex.org/W1982078374","doi":"https://doi.org/10.1145/1189736.1189737","mag":"1982078374"},"language":"en","primary_location":{"id":"doi:10.1145/1189736.1189737","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1189736.1189737","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-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/A5035611716","display_name":"Lisa High\u00e1m","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Lisa Higham","raw_affiliation_strings":["The University of Calgary, Calgary, AB, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066263987","display_name":"LillAnne Jackson","orcid":null},"institutions":[{"id":"https://openalex.org/I168635309","display_name":"University of Calgary","ror":"https://ror.org/03yjb2x39","country_code":"CA","type":"education","lineage":["https://openalex.org/I168635309"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Lillanne Jackson","raw_affiliation_strings":["The University of Calgary, Calgary, AB, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Calgary, Calgary, AB, Canada","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023556444","display_name":"Jalal Kawash","orcid":"https://orcid.org/0000-0003-4379-9636"},"institutions":[{"id":"https://openalex.org/I199440890","display_name":"American University of Sharjah","ror":"https://ror.org/001g2fj96","country_code":"AE","type":"education","lineage":["https://openalex.org/I199440890"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Jalal Kawash","raw_affiliation_strings":["American University of Sharjah"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"American University of Sharjah","institution_ids":["https://openalex.org/I199440890"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.866,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":{"value":0.90303146,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"25","issue":"1","first_page":"1","last_page":"1"},"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.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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"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.888809323310852},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.7652627229690552},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.7471858263015747},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.7320225834846497},{"id":"https://openalex.org/keywords/write-buffer","display_name":"Write buffer","score":0.5971823930740356},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5807626247406006},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5521645545959473},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5135241150856018},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5103587508201599},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.5038613677024841},{"id":"https://openalex.org/keywords/out-of-order-execution","display_name":"Out-of-order execution","score":0.4932484030723572},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.460443377494812},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.4540659785270691},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4470599591732025},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.4279632568359375},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41143298149108887},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3599894642829895},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.22247010469436646},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.19180458784103394},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.17293381690979004},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16881120204925537},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.11731678247451782}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.888809323310852},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.7652627229690552},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.7471858263015747},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.7320225834846497},{"id":"https://openalex.org/C89089495","wikidata":"https://www.wikidata.org/wiki/Q8038418","display_name":"Write buffer","level":5,"score":0.5971823930740356},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5807626247406006},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5521645545959473},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5135241150856018},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5103587508201599},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.5038613677024841},{"id":"https://openalex.org/C1793878","wikidata":"https://www.wikidata.org/wiki/Q1153762","display_name":"Out-of-order execution","level":2,"score":0.4932484030723572},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.460443377494812},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.4540659785270691},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4470599591732025},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.4279632568359375},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41143298149108887},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3599894642829895},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.22247010469436646},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.19180458784103394},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.17293381690979004},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16881120204925537},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.11731678247451782},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1189736.1189737","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1189736.1189737","pdf_url":null,"source":{"id":"https://openalex.org/S193109227","display_name":"ACM Transactions on Computer Systems","issn_l":"0734-2071","issn":["0734-2071","1557-7333"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computer Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.94.4434","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.4434","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cpsc.ucalgary.ca/~higham/Research/papers/WriteBuffers.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1481481960","https://openalex.org/W1484993762","https://openalex.org/W1498342204","https://openalex.org/W1532814626","https://openalex.org/W1605093111","https://openalex.org/W1965662337","https://openalex.org/W1970414199","https://openalex.org/W1970655487","https://openalex.org/W1978074610","https://openalex.org/W1989373428","https://openalex.org/W1996208161","https://openalex.org/W2022907112","https://openalex.org/W2026697016","https://openalex.org/W2040068897","https://openalex.org/W2043801088","https://openalex.org/W2047568412","https://openalex.org/W2054739713","https://openalex.org/W2066463092","https://openalex.org/W2070356883","https://openalex.org/W2071457972","https://openalex.org/W2079605740","https://openalex.org/W2082173519","https://openalex.org/W2097465082","https://openalex.org/W2101309537","https://openalex.org/W2101939036","https://openalex.org/W2142912068","https://openalex.org/W2155006989","https://openalex.org/W2164288303","https://openalex.org/W2169832991","https://openalex.org/W2561675875","https://openalex.org/W2611515161","https://openalex.org/W3137220996","https://openalex.org/W3146519985","https://openalex.org/W3149658335","https://openalex.org/W4233037448","https://openalex.org/W6611580688","https://openalex.org/W6629841916","https://openalex.org/W6677890755","https://openalex.org/W7056210342"],"related_works":["https://openalex.org/W118795575","https://openalex.org/W1979030370","https://openalex.org/W2036306661","https://openalex.org/W4250753400","https://openalex.org/W2025301734","https://openalex.org/W1593939529","https://openalex.org/W1885534640","https://openalex.org/W1569741251","https://openalex.org/W2108847887","https://openalex.org/W2505917360"],"abstract_inverted_index":{"Write":[0],"buffering":[1],"is":[2,38,74,100,114,156,180],"one":[3],"of":[4,14,46,50,66,85,88,141,184],"many":[5],"successful":[6],"mechanisms":[7],"that":[8,112,120,128,135,160,181,201],"improves":[9],"the":[10,47,89,105,136,174,203,210],"performance":[11],"and":[12,68,78,94,178],"scalability":[13],"multiprocessors.":[15],"However,":[16],"it":[17,113],"leads":[18],"to":[19,40,76,103,122,147,158,165],"more":[20],"complex":[21,52],"memory":[22,108,117,143],"system":[23],"behavior,":[24],"which":[25,171],"cannot":[26,189,207],"be":[27],"described":[28],"using":[29,187],"intuitive":[30],"consistency":[31,118,186],"models,":[32],"such":[33,51],"as":[34],"Sequential":[35],"Consistency.":[36],"It":[37],"crucial":[39],"provide":[41],"programmers":[42],"with":[43],"a":[44,57,116,126,149,166],"specification":[45,140,205],"exact":[48],"behavior":[49],"memories.":[53],"This":[54],"article":[55],"presents":[56],"uniform":[58],"framework":[59,73,99],"for":[60],"describing":[61],"systems":[62],"at":[63],"different":[64],"levels":[65],"abstraction":[67],"proving":[69],"their":[70],"equivalence.":[71],"The":[72,153],"used":[75,102,157],"derive":[77],"prove":[79],"correct":[80],"simple":[81],"specifications":[82],"in":[83,209],"terms":[84],"program-level":[86],"instructions":[87],"sparc":[90,106,137],"total":[91],"store":[92,96],"order":[93,97,144],"partial":[95],"memories.The":[98],"also":[101],"examine":[104],"relaxed":[107,142],"order.":[109],"We":[110],"show":[111,159],"not":[115,163],"model":[119],"corresponds":[121],"any":[123,182],"implementation":[124,183],"on":[125],"multiprocessor":[127],"uses":[129],"write-buffers,":[130],"even":[131],"though":[132],"we":[133],"suspect":[134],"version":[138],"9":[139],"was":[145],"intended":[146],"capture":[148],"general":[150],"write-buffer":[151,167,212],"architecture.":[152,168],"same":[154],"technique":[155],"Coherence":[161,177],"does":[162],"correspond":[164],"A":[169],"corollary,":[170],"follows":[172],"from":[173],"relationship":[175],"between":[176],"Alpha,":[179],"Alpha":[185,193,204],"write-buffers":[188],"produce":[190],"all":[191],"possible":[192],"computations.":[194],"That":[195],"is,":[196],"there":[197],"are":[198],"some":[199],"computations":[200],"satisfy":[202],"but":[206],"occur":[208],"given":[211],"implementation.":[213]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}