{"id":"https://openalex.org/W1569626261","doi":null,"title":"Implementing Sequential Consistency in Cache-Based Systems.","display_name":"Implementing Sequential Consistency in Cache-Based Systems.","publication_year":1990,"publication_date":"1990-01-01","ids":{"openalex":"https://openalex.org/W1569626261","mag":"1569626261"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.40.4539","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4539","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://rsim.cs.uiuc.edu/~sadve/Publications/icpp90.ps","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5086111967","display_name":"Sarita V. Adve","orcid":"https://orcid.org/0000-0002-3403-5119","observed_orcids":["https://orcid.org/0000-0002-3403-5119"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sarita V. Adve","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3403-5119","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5102954737","display_name":"Mark D. Hill","orcid":"https://orcid.org/0000-0002-9717-5741","observed_orcids":["https://orcid.org/0000-0002-9717-5741"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mark D. Hill","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-9717-5741","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.4128,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.95948276,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"47","last_page":"50"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9003999829292297,"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":0.9003999829292297,"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.09589999914169312,"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/T10126","display_name":"Logic, programming, and type systems","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/sequential-consistency","display_name":"sequential consistency","score":0.9990000128746033},{"id":"https://openalex.org/keywords/shared-memory-multiprocessors","display_name":"shared-memory multiprocessors","score":0.7910000085830688},{"id":"https://openalex.org/keywords/memory-consistency-models","display_name":"memory consistency models","score":0.6460000276565552}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8490225672721863},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.7983779907226562},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7855446934700012},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.7842445373535156},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.71461421251297},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6529194116592407},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.5145899057388306},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.5058812499046326},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.48799318075180054},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.4362720847129822},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.41286417841911316},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34967607259750366},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.3311212360858917},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.32761305570602417},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.313750684261322},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1160312294960022},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09212186932563782},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.40.4539","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.4539","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://rsim.cs.uiuc.edu/~sadve/Publications/icpp90.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.45.4890","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.4890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.wisc.edu/pub/markhill/Papers/icpp90_seqcon.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.46.6537","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.6537","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.wisc.edu/markhill/Papers/icpp90_seqcon.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.51.4256","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.4256","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.cs.wisc.edu/markhill/Papers/icpp90_seqcon.ps","raw_type":"text"},{"id":"mag:1569626261","doi":null,"is_oa":false,"landing_page_url":"http://ftp.cs.wisc.edu/pub/markhill/Papers/icpp90_seqcon.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4210174133","display_name":"Proceedings of the International Conference on Parallel Processing","issn_l":"0190-3918","issn":["0190-3918","2332-5690"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the International Conference on Parallel Processing","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2039509099","https://openalex.org/W2051789131","https://openalex.org/W2054739713","https://openalex.org/W2092495200","https://openalex.org/W2106626405","https://openalex.org/W2124626043","https://openalex.org/W2152390090","https://openalex.org/W2152450729","https://openalex.org/W3149658335"],"related_works":["https://openalex.org/W7011459730","https://openalex.org/W1595452620","https://openalex.org/W7099022459","https://openalex.org/W1975840504","https://openalex.org/W2365126695","https://openalex.org/W2008409375","https://openalex.org/W1971205894","https://openalex.org/W7097878226","https://openalex.org/W7095904113","https://openalex.org/W7095823449"],"abstract_inverted_index":{"A":[0,126],"model":[1,127],"for":[2,130],"shared-memory":[3,93,116,131],"systems":[4,134],"commonly":[5,135],"(and":[6,136],"often":[7,137],"implicitly)":[8,138],"assumed":[9,139],"by":[10,78,140],"programmers":[11],"is":[12,26,34,48,66,76,103,109],"that":[13,29,56,64,74,85,100],"of":[14,113,128],"sequential":[15,19,118],"consistency.":[16],"For":[17],"implementing":[18,31],"consistency":[20],"in":[21],"a":[22,39,46,69,87],"cache-based":[23],"system,":[24],"it":[25,108],"widely":[27],"believed":[28],"(1)":[30,65],"strong":[32,120],"ordering":[33],"sufficient":[35,80],"and":[36,82,111],"(2)":[37,75],"restricting":[38],"processor":[40,88],"to":[41,89],"one":[42],"sharedmemory":[43],"reference":[44],"at":[45],"time":[47],"practically":[49],"necessary.":[50],"In":[51],"this":[52,101],"paper":[53],"we":[54,62,72,96,105],"show":[55],"both":[57],"beliefs":[58],"are":[59],"false.":[60],"First,":[61],"prove":[63],"false":[67,77],"with":[68],"counter-example.":[70],"Second,":[71],"argue":[73],"giving":[79],"conditions":[81],"an":[83],"implementation":[84,102],"allow":[86],"have":[90],"simultaneous":[91],"incomplete":[92],"references.":[94],"While":[95],"do":[97,106],"not":[98],"demonstrate":[99],"superior,":[104],"believe":[107],"practical":[110],"worthy":[112],"consideration.":[114],"Keywords:":[115],"multiprocessors,":[117],"consistency,":[119],"ordering,":[121],"cache":[122],"coherence.":[123],"1.":[124],"Introduction":[125],"memory":[129],"MIMD":[132],"multiprocessor":[133],"programm...":[141]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}