Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297195983> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4297195983 abstract "Quiescent consistency is a notion of correctness for a concurrent object that gives meaning to the object's behaviours in quiescent states, i.e., states in which none of the object's operations are being executed. Correctness of an implementation object is defined in terms of a corresponding abstract specification. This gives rise to two important verification questions: membership (checking whether a behaviour of the implementation is allowed by the specification) and correctness (checking whether all behaviours of the implementation are allowed by the specification). In this paper, we show that the membership problem for quiescent consistency is NP-complete and that the correctness problem is decidable, but coNP-hard and in EXPSPACE. For both problems, we consider restricted versions of quiescent consistency by assuming an upper limit on the number of events between two quiescent points. Here, we show that the membership problem is in PTIME, whereas correctness is in PSPACE. Quiescent consistency does not guarantee sequential consistency, i.e., it allows operation calls by the same process to be reordered when mapping to an abstract specification. Therefore, we also consider quiescent sequential consistency, which strengthens quiescent consistency with an additional sequential consistency condition. We show that the unrestricted versions of membership and correctness are NP-complete and undecidable, respectively. When by placing a limit on the number of events between two quiescent points, membership is in PTIME, while correctness is in PSPACE. Finally, we consider a version of quiescent sequential consistency that places an upper limit on the number of processes for every run of the implementation, and show that the membership problem for quiescent sequential consistency with this restriction is in PTIME." @default.
- W4297195983 created "2022-09-27" @default.
- W4297195983 creator A5009644797 @default.
- W4297195983 creator A5012214843 @default.
- W4297195983 date "2015-11-26" @default.
- W4297195983 modified "2023-09-23" @default.
- W4297195983 title "Decidability and Complexity for Quiescent Consistency and its Variations" @default.
- W4297195983 doi "https://doi.org/10.48550/arxiv.1511.08447" @default.
- W4297195983 hasPublicationYear "2015" @default.
- W4297195983 type Work @default.
- W4297195983 citedByCount "0" @default.
- W4297195983 crossrefType "posted-content" @default.
- W4297195983 hasAuthorship W4297195983A5009644797 @default.
- W4297195983 hasAuthorship W4297195983A5012214843 @default.
- W4297195983 hasBestOaLocation W42971959831 @default.
- W4297195983 hasConcept C105795698 @default.
- W4297195983 hasConcept C11413529 @default.
- W4297195983 hasConcept C118615104 @default.
- W4297195983 hasConcept C122377713 @default.
- W4297195983 hasConcept C134026603 @default.
- W4297195983 hasConcept C134306372 @default.
- W4297195983 hasConcept C151201525 @default.
- W4297195983 hasConcept C153269930 @default.
- W4297195983 hasConcept C154945302 @default.
- W4297195983 hasConcept C179799912 @default.
- W4297195983 hasConcept C185429906 @default.
- W4297195983 hasConcept C192034797 @default.
- W4297195983 hasConcept C197685441 @default.
- W4297195983 hasConcept C199360897 @default.
- W4297195983 hasConcept C20528329 @default.
- W4297195983 hasConcept C2776436953 @default.
- W4297195983 hasConcept C2781238097 @default.
- W4297195983 hasConcept C311688 @default.
- W4297195983 hasConcept C31388003 @default.
- W4297195983 hasConcept C33923547 @default.
- W4297195983 hasConcept C41008148 @default.
- W4297195983 hasConcept C55439883 @default.
- W4297195983 hasConcept C80444323 @default.
- W4297195983 hasConceptScore W4297195983C105795698 @default.
- W4297195983 hasConceptScore W4297195983C11413529 @default.
- W4297195983 hasConceptScore W4297195983C118615104 @default.
- W4297195983 hasConceptScore W4297195983C122377713 @default.
- W4297195983 hasConceptScore W4297195983C134026603 @default.
- W4297195983 hasConceptScore W4297195983C134306372 @default.
- W4297195983 hasConceptScore W4297195983C151201525 @default.
- W4297195983 hasConceptScore W4297195983C153269930 @default.
- W4297195983 hasConceptScore W4297195983C154945302 @default.
- W4297195983 hasConceptScore W4297195983C179799912 @default.
- W4297195983 hasConceptScore W4297195983C185429906 @default.
- W4297195983 hasConceptScore W4297195983C192034797 @default.
- W4297195983 hasConceptScore W4297195983C197685441 @default.
- W4297195983 hasConceptScore W4297195983C199360897 @default.
- W4297195983 hasConceptScore W4297195983C20528329 @default.
- W4297195983 hasConceptScore W4297195983C2776436953 @default.
- W4297195983 hasConceptScore W4297195983C2781238097 @default.
- W4297195983 hasConceptScore W4297195983C311688 @default.
- W4297195983 hasConceptScore W4297195983C31388003 @default.
- W4297195983 hasConceptScore W4297195983C33923547 @default.
- W4297195983 hasConceptScore W4297195983C41008148 @default.
- W4297195983 hasConceptScore W4297195983C55439883 @default.
- W4297195983 hasConceptScore W4297195983C80444323 @default.
- W4297195983 hasLocation W42971959831 @default.
- W4297195983 hasLocation W42971959832 @default.
- W4297195983 hasOpenAccess W4297195983 @default.
- W4297195983 hasPrimaryLocation W42971959831 @default.
- W4297195983 hasRelatedWork W1988946128 @default.
- W4297195983 hasRelatedWork W2000116086 @default.
- W4297195983 hasRelatedWork W2039697886 @default.
- W4297195983 hasRelatedWork W2277916570 @default.
- W4297195983 hasRelatedWork W2963364464 @default.
- W4297195983 hasRelatedWork W2964047030 @default.
- W4297195983 hasRelatedWork W4226345199 @default.
- W4297195983 hasRelatedWork W4299737193 @default.
- W4297195983 hasRelatedWork W4324290952 @default.
- W4297195983 hasRelatedWork W1962376575 @default.
- W4297195983 isParatext "false" @default.
- W4297195983 isRetracted "false" @default.
- W4297195983 workType "article" @default.