{"id":"https://openalex.org/W1987465195","doi":"https://doi.org/10.1145/1148109.1148138","title":"Translating between itanium and sparc memory consistency models","display_name":"Translating between itanium and sparc memory consistency models","publication_year":2006,"publication_date":"2006-07-30","ids":{"openalex":"https://openalex.org/W1987465195","doi":"https://doi.org/10.1145/1148109.1148138","mag":"1987465195"},"language":"en","primary_location":{"id":"doi:10.1145/1148109.1148138","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1148109.1148138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures","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/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, Canada","[The University of Calgary, Calgary, Canada]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Calgary, Calgary, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"[The University of Calgary, Calgary, Canada]","institution_ids":["https://openalex.org/I168635309"]}]},{"author_position":"last","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, Canada","[The University of Calgary, Calgary, Canada]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Calgary, Calgary, Canada","institution_ids":["https://openalex.org/I168635309"]},{"raw_affiliation_string":"[The University of Calgary, Calgary, Canada]","institution_ids":["https://openalex.org/I168635309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8537,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.7186451,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"170","last_page":"179"},"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.9998000264167786,"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.9998000264167786,"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.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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9950000047683716,"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.843040943145752},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6219537854194641},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5991771221160889},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5803973078727722},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.553199827671051},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.5152276158332825},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5145901441574097},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.4894903898239136},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4243013262748718},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4225804805755615},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07723551988601685}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.843040943145752},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6219537854194641},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5991771221160889},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5803973078727722},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.553199827671051},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.5152276158332825},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5145901441574097},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.4894903898239136},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4243013262748718},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4225804805755615},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07723551988601685},{"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/1148109.1148138","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1148109.1148138","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth annual ACM symposium on Parallelism in algorithms and architectures","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4099999964237213,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W43827892","https://openalex.org/W1593091446","https://openalex.org/W1605442685","https://openalex.org/W1857467995","https://openalex.org/W1982078374","https://openalex.org/W1987465195","https://openalex.org/W2026697016","https://openalex.org/W2041118012","https://openalex.org/W2054739713","https://openalex.org/W2079605740","https://openalex.org/W2101309537","https://openalex.org/W2104932676","https://openalex.org/W2132412204","https://openalex.org/W2152390090","https://openalex.org/W4205241946","https://openalex.org/W4206635466","https://openalex.org/W6675536193","https://openalex.org/W6675870058"],"related_works":["https://openalex.org/W2123855908","https://openalex.org/W4290062159","https://openalex.org/W2971748376","https://openalex.org/W2497440208","https://openalex.org/W2275529935","https://openalex.org/W3010022189","https://openalex.org/W2374240972","https://openalex.org/W4301894417","https://openalex.org/W2150223718","https://openalex.org/W1555579555"],"abstract_inverted_index":{"Our":[0],"general":[1,220],"goal":[2],"is":[3,95,120],"to":[4,11,59,212,238],"port":[5],"programs":[6,55,149,221],"from":[7],"one":[8,62,71,111],"multiprocessor":[9],"architecture":[10],"another,":[12],"while":[13],"ensuring":[14],"that":[15,46,56,80,166,240],"each":[16],"program's":[17],"semantics":[18],"remains":[19],"unchanged.":[20],"This":[21],"paper":[22],"addresses":[23],"a":[24,133,151],"subset":[25],"of":[26,37,47,64,73,84,89,91,99,101,126,135,153,169,178,187,199,201],"the":[27,31,48,87,97,102,115,118,170,173,176,185,191,197,208,227,233],"problem":[28],"by":[29],"determining":[30],"relationships":[32],"between":[33,122,196],"memory":[34,143],"consistency":[35],"models":[36],"three":[38,82],"Sparc":[39,112,127,148],"architectures,":[40],"(TSO,":[41],"PSO":[42],"and":[43,45,70,108,142,146,160,193,214],"RMO)":[44],"Itanium":[49,54,129],"architecture.":[50,113],"First":[51],"we":[52],"consider":[53],"are":[57],"constrained":[58],"have":[60],"only":[61,106],"load-type":[63],"instruction":[65,74,155],"in":[66,75,81,222,236],"{load,":[67],"load":[68,107,137,159],"_acquire},":[69],"store-type":[72],"{store,":[76],"store_release}.":[77],"We":[78,163],"prove":[79],"out":[83],"four":[85],"cases,":[86],"set":[88,98,119],"computations":[90,100,200,243],"any":[92,167,181],"such":[93],"program":[94,104,229,235],"exactly":[96],"\"same\"":[103],"(using":[105],"store)":[109],"on":[110],"In":[114],"remaining":[116],"case":[117,177,186],"nested":[121],"two":[123],"natural":[124],"sets":[125,198],"computations.Real":[128],"programs,":[130],"however,":[131],"use":[132,150],"mixture":[134,168],"load,":[136],"acquire,":[138],"store,":[139],"store":[140,161],"release":[141],"fence":[144],"instructions,":[145],"real":[147],"variety":[152],"barrier":[154,182],"as":[156,158],"well":[157],"instructions.":[162],"next":[164],"show":[165],"loadtypes":[171],"or":[172,180],"store-types":[174],"(in":[175,184],"Itanium)":[179],"instructions":[183],"Sparc)":[188],"completely":[189],"destroys":[190],"clean":[192],"simple":[194],"similarities":[195],"these":[202,218],"systems.":[203],"Thus":[204],"(even":[205],"without":[206],"considering":[207],"additional":[209],"complications":[210],"due":[211],"register":[213],"control":[215],"dependencies)":[216],"transforming":[217],"more":[219,231],"either":[223],"direction":[224],"requires":[225],"constraining":[226],"transformed":[228],"substantially":[230],"than":[232],"original":[234],"order":[237],"ensure":[239],"no":[241],"erroneous":[242],"can":[244],"arise.":[245]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}