{"id":"https://openalex.org/W1955372300","doi":"https://doi.org/10.1109/icppw.2002.1039754","title":"Specifying synchronization in distributed shared memory programs","display_name":"Specifying synchronization in distributed shared memory programs","publication_year":2003,"publication_date":"2003-06-25","ids":{"openalex":"https://openalex.org/W1955372300","doi":"https://doi.org/10.1109/icppw.2002.1039754","mag":"1955372300"},"language":"en","primary_location":{"id":"doi:10.1109/icppw.2002.1039754","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icppw.2002.1039754","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. International Conference on Parallel Processing Workshop","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/A5102753086","display_name":"G. Singh","orcid":"https://orcid.org/0000-0002-5005-7078"},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"G. Singh","raw_affiliation_strings":["Computing and Information Sciences, Kansas State University, Manhattan, KS, USA","Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA"],"affiliations":[{"raw_affiliation_string":"Computing and Information Sciences, Kansas State University, Manhattan, KS, USA","institution_ids":["https://openalex.org/I189590672"]},{"raw_affiliation_string":"Dept. of Comput. & Inf. Sci., Kansas State Univ., Manhattan, KS, USA","institution_ids":["https://openalex.org/I189590672"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102753086"],"corresponding_institution_ids":["https://openalex.org/I189590672"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.13801812,"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":"375","last_page":"382"},"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.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"}},"topics":[{"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/T10054","display_name":"Parallel Computing and Optimization Techniques","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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.994700014591217,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8082903623580933},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.7574586868286133},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.7274389266967773},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.7016515731811523},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6831164956092834},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.6654863357543945},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6407480239868164},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5975273847579956},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.5815836787223816},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5670902132987976},{"id":"https://openalex.org/keywords/eventual-consistency","display_name":"Eventual consistency","score":0.5356001853942871},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.5046378374099731},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4617486298084259},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4586588740348816},{"id":"https://openalex.org/keywords/causal-consistency","display_name":"Causal consistency","score":0.4455031454563141},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.4441632926464081},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.4294455051422119},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.328332781791687},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.15156549215316772},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11814886331558228},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10609984397888184},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.08570334315299988}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8082903623580933},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.7574586868286133},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.7274389266967773},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.7016515731811523},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6831164956092834},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.6654863357543945},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6407480239868164},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5975273847579956},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.5815836787223816},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5670902132987976},{"id":"https://openalex.org/C34422012","wikidata":"https://www.wikidata.org/wiki/Q6125872","display_name":"Eventual consistency","level":4,"score":0.5356001853942871},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.5046378374099731},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4617486298084259},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4586588740348816},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.4455031454563141},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.4441632926464081},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.4294455051422119},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.328332781791687},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.15156549215316772},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11814886331558228},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10609984397888184},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.08570334315299988},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","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},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icppw.2002.1039754","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icppw.2002.1039754","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. International Conference on Parallel Processing Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1544746240","https://openalex.org/W1579785083","https://openalex.org/W1968335271","https://openalex.org/W1973317281","https://openalex.org/W2029414465","https://openalex.org/W2044902313","https://openalex.org/W2051789131","https://openalex.org/W2054739713","https://openalex.org/W2065180040","https://openalex.org/W2066463092","https://openalex.org/W2097113145","https://openalex.org/W2101309537","https://openalex.org/W2102584610","https://openalex.org/W2108731379","https://openalex.org/W2116649658","https://openalex.org/W2143238865","https://openalex.org/W2152390090","https://openalex.org/W2176864362","https://openalex.org/W2914620247","https://openalex.org/W3004250778","https://openalex.org/W4231769592","https://openalex.org/W4250753400","https://openalex.org/W4252151651","https://openalex.org/W6657725327","https://openalex.org/W6667058741","https://openalex.org/W6759260517"],"related_works":["https://openalex.org/W2949587676","https://openalex.org/W4292345996","https://openalex.org/W2144153901","https://openalex.org/W2322874084","https://openalex.org/W3102338602","https://openalex.org/W2287614524","https://openalex.org/W4297824651","https://openalex.org/W4254952258","https://openalex.org/W2160357235","https://openalex.org/W246909719"],"abstract_inverted_index":{"Several":[0],"notions":[1,47],"of":[2,12,81,87,111,119,141,149],"consistency":[3,17,46,83,121,143,158],"have":[4],"been":[5],"proposed":[6],"to":[7,27,33,51,59,63,99,151,167],"provide":[8,48],"a":[9,97,146],"consistent":[10],"view":[11],"the":[13,22,65,79,109,124],"shared":[14,28],"memory.":[15],"A":[16],"notion":[18,80],"imposes":[19],"constraints":[20,39,42,62],"on":[21],"order":[23,132],"in":[24,67,130],"which":[25,68],"updates":[26,69],"variables":[29],"are":[30,74,127],"made":[31,75,128],"visible":[32,129],"various":[34],"processes.":[35,116],"We":[36,55,77,136,154],"classify":[37],"such":[38,53,88],"as":[40,161],"intra-process":[41],"and":[43,103],"many":[44],"existing":[45],"flexible":[49],"mechanisms":[50],"specify":[52,60,104],"constraints.":[54,91,170],"may":[56],"also":[57,137],"need":[58],"inter-process":[61,169],"restrict":[64],"sequence":[66],"issued":[70],"by":[71],"different":[72,115],"processes":[73],"visible.":[76],"propose":[78],"invariant":[82,106,120,142,157],"that":[84,123,133,144,156],"allows":[85],"specification":[86],"interprocess":[89],"synchronization":[90,152,165],"For":[92],"this":[93],"propose,":[94],"we":[95],"allow":[96],"programmer":[98],"label":[100],"program":[101],"operations":[102,113,126],"an":[105,131,139],"I":[107],"constraining":[108],"execution":[110],"labeled":[112,125],"at":[114],"The":[117],"implementation":[118,140],"ensures":[122],"satisfies":[134],"I.":[135],"give":[138],"involves":[145],"mechanical":[147],"translation":[148],"invariants":[150],"code.":[153],"show":[155],"simplifies":[159],"programming":[160],"it":[162],"eliminates":[163],"application-level":[164],"code":[166],"enforce":[168]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}