{"id":"https://openalex.org/W2034531215","doi":"https://doi.org/10.1145/1073970.1074011","title":"Efficient algorithms for verifying memory consistency","display_name":"Efficient algorithms for verifying memory consistency","publication_year":2005,"publication_date":"2005-07-18","ids":{"openalex":"https://openalex.org/W2034531215","doi":"https://doi.org/10.1145/1073970.1074011","mag":"2034531215"},"language":"en","primary_location":{"id":"doi:10.1145/1073970.1074011","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1073970.1074011","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 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/A5064237338","display_name":"Chaiyasit Manovit","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chaiyasit Manovit","raw_affiliation_strings":["Sun Microsystems, Sunnyvale, CA","[Sun Microsystems, Sunnyvale, CA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sun Microsystems, Sunnyvale, CA","institution_ids":[]},{"raw_affiliation_string":"[Sun Microsystems, Sunnyvale, CA]","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086483307","display_name":"Sudheendra Hangal","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sudheendra Hangal","raw_affiliation_strings":["Sun Microsystems India Private Limited, Bangalore, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sun Microsystems India Private Limited, Bangalore, India","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3762,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.88595859,"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":"245","last_page":"252"},"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.9998000264167786,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8326489925384521},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.738222599029541},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7270715832710266},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6894634962081909},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.6172404885292053},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5762958526611328},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5286512970924377},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.5239943265914917},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5184409618377686},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.46831756830215454},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.442534863948822},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.35247641801834106}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8326489925384521},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.738222599029541},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7270715832710266},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6894634962081909},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.6172404885292053},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5762958526611328},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5286512970924377},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.5239943265914917},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5184409618377686},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46831756830215454},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.442534863948822},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.35247641801834106},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1073970.1074011","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1073970.1074011","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 annual ACM symposium on Parallelism in algorithms and architectures","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.112.5077","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.5077","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://xenon.stanford.edu/~hangal/spaa05_tsotool.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":24,"referenced_works":["https://openalex.org/W30156377","https://openalex.org/W43827892","https://openalex.org/W80790317","https://openalex.org/W181588126","https://openalex.org/W1502765706","https://openalex.org/W1538906572","https://openalex.org/W1561501726","https://openalex.org/W1595452620","https://openalex.org/W1975840504","https://openalex.org/W1993990180","https://openalex.org/W2025301734","https://openalex.org/W2029601347","https://openalex.org/W2054739713","https://openalex.org/W2092955140","https://openalex.org/W2105945277","https://openalex.org/W2111491143","https://openalex.org/W2137650676","https://openalex.org/W2143246735","https://openalex.org/W2151304642","https://openalex.org/W2170846240","https://openalex.org/W2172293999","https://openalex.org/W3137220996","https://openalex.org/W4246076178","https://openalex.org/W4253491093"],"related_works":["https://openalex.org/W2036306661","https://openalex.org/W4317827391","https://openalex.org/W2999610704","https://openalex.org/W1496676675","https://openalex.org/W2110339542","https://openalex.org/W2497938157","https://openalex.org/W2086167999","https://openalex.org/W1496461377","https://openalex.org/W1524267037","https://openalex.org/W1606518252"],"abstract_inverted_index":{"One":[0],"approach":[1],"in":[2,32,72,98,109],"verifying":[3,38],"the":[4,19,69,82,96,115,119,131,138],"correctness":[5],"of":[6,42,55,64,84,95,103,117,121],"a":[7,43,62,89,93,153],"multiprocessor":[8],"system":[9],"is":[10,24,47],"to":[11,26,144,152],"show":[12],"that":[13,36,67],"its":[14],"execution":[15,45],"results":[16],"comply":[17],"with":[18,88,130],"memory":[20,136],"consistency":[21],"model":[22],"it":[23],"meant":[25],"implement.":[27],"It":[28],"has":[29,106],"been":[30,107],"shown":[31],"prior":[33],"work,":[34],"however,":[35],"accurately":[37],"such":[39,157],"compliance":[40,70],"even":[41],"single":[44],"result":[46],"an":[48,52,73],"NP-complete":[49],"problem,":[50],"for":[51],"unlimited":[53],"number":[54],"processors.":[56],"In":[57],"this":[58],"paper,":[59],"we":[60],"present":[61],"suite":[63],"post-mortem":[65],"algorithms":[66,80,105,127],"perform":[68],"check":[71],"efficient,":[74],"although":[75],"not":[76],"exhaustive,":[77],"manner.":[78],"Our":[79],"employ":[81],"concept":[83],"vector":[85],"clocks":[86],"together":[87],"heuristic":[90],"made":[91],"from":[92,148],"variation":[94],"problem":[97],"P":[99],"class.":[100],"An":[101],"implementation":[102],"these":[104],"successful":[108],"efficiently":[110],"detecting":[111],"several":[112],"bugs":[113],"during":[114],"course":[116],"validating":[118],"design":[120],"commercial":[122],"microprocessors":[123],"and":[124],"systems.Although":[125],"our":[126],"are":[128],"presented":[129],"Total":[132],"Store":[133],"Order":[134,161],"(TSO)":[135],"model,":[137],"ideas":[139],"can":[140],"also":[141],"be":[142],"applied":[143],"other":[145],"models":[146],"ranging":[147],"Sequential":[149],"Consistency":[150],"(SC)":[151],"more":[154],"relaxed":[155],"one":[156],"as":[158],"Relaxed":[159],"Memory":[160],"(RMO).":[162]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}