Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387360014> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4387360014 abstract "Internet-scale distributed systems often rely on replication to achieve fault-tolerance and load distribution. To provide low latency and high availability, the systems are often required to accept updates on one replica immediately and then propagate the updates among replicas asynchronously. Conflict-free Replicated Data Type (CRDT) is a principled approach to addressing the challenge for these systems to resolve conflicts among concurrent updates. Although many CRDTs have been studied, little research has been done on Conflict-free Replicated Priority Queue (CRPQ), which is a collection of elements that focuses on maintaining element orderings based on their priority values, and can be used in many applications scenarios such as task scheduling and network routing. In this work, we discuss the design rationales of CRPQs and introduce two CRPQ designs: Add-Win CRPQ and Remove-Win CRPQ. The correctness of the designs is formally verified using TLA+. We also demonstrate the effectiveness of our designs by implementing them over Redis. Our evaluation shows that both CRPQs perform well in terms of data consistency and memory overhead." @default.
- W4387360014 created "2023-10-06" @default.
- W4387360014 creator A5011349340 @default.
- W4387360014 creator A5041674680 @default.
- W4387360014 creator A5054710545 @default.
- W4387360014 creator A5086859369 @default.
- W4387360014 date "2023-08-04" @default.
- W4387360014 modified "2023-10-06" @default.
- W4387360014 title "Conflict-free Replicated Priority Queue: Design, Verification and Evaluation" @default.
- W4387360014 cites W1985349143 @default.
- W4387360014 cites W2129388329 @default.
- W4387360014 cites W2132473764 @default.
- W4387360014 cites W2134308710 @default.
- W4387360014 cites W2144232511 @default.
- W4387360014 cites W2151541805 @default.
- W4387360014 cites W2153773928 @default.
- W4387360014 cites W2988838119 @default.
- W4387360014 cites W3114324652 @default.
- W4387360014 cites W3137220996 @default.
- W4387360014 cites W4220783457 @default.
- W4387360014 doi "https://doi.org/10.1145/3609437.3609452" @default.
- W4387360014 hasPublicationYear "2023" @default.
- W4387360014 type Work @default.
- W4387360014 citedByCount "0" @default.
- W4387360014 crossrefType "proceedings-article" @default.
- W4387360014 hasAuthorship W4387360014A5011349340 @default.
- W4387360014 hasAuthorship W4387360014A5041674680 @default.
- W4387360014 hasAuthorship W4387360014A5054710545 @default.
- W4387360014 hasAuthorship W4387360014A5086859369 @default.
- W4387360014 hasConcept C105795698 @default.
- W4387360014 hasConcept C120314980 @default.
- W4387360014 hasConcept C12590798 @default.
- W4387360014 hasConcept C142362112 @default.
- W4387360014 hasConcept C153349607 @default.
- W4387360014 hasConcept C160403385 @default.
- W4387360014 hasConcept C162324750 @default.
- W4387360014 hasConcept C199360897 @default.
- W4387360014 hasConcept C206729178 @default.
- W4387360014 hasConcept C21547014 @default.
- W4387360014 hasConcept C26951474 @default.
- W4387360014 hasConcept C2775937380 @default.
- W4387360014 hasConcept C31258907 @default.
- W4387360014 hasConcept C33923547 @default.
- W4387360014 hasConcept C41008148 @default.
- W4387360014 hasConcept C55439883 @default.
- W4387360014 hasConcept C63540848 @default.
- W4387360014 hasConcept C76155785 @default.
- W4387360014 hasConcept C82876162 @default.
- W4387360014 hasConceptScore W4387360014C105795698 @default.
- W4387360014 hasConceptScore W4387360014C120314980 @default.
- W4387360014 hasConceptScore W4387360014C12590798 @default.
- W4387360014 hasConceptScore W4387360014C142362112 @default.
- W4387360014 hasConceptScore W4387360014C153349607 @default.
- W4387360014 hasConceptScore W4387360014C160403385 @default.
- W4387360014 hasConceptScore W4387360014C162324750 @default.
- W4387360014 hasConceptScore W4387360014C199360897 @default.
- W4387360014 hasConceptScore W4387360014C206729178 @default.
- W4387360014 hasConceptScore W4387360014C21547014 @default.
- W4387360014 hasConceptScore W4387360014C26951474 @default.
- W4387360014 hasConceptScore W4387360014C2775937380 @default.
- W4387360014 hasConceptScore W4387360014C31258907 @default.
- W4387360014 hasConceptScore W4387360014C33923547 @default.
- W4387360014 hasConceptScore W4387360014C41008148 @default.
- W4387360014 hasConceptScore W4387360014C55439883 @default.
- W4387360014 hasConceptScore W4387360014C63540848 @default.
- W4387360014 hasConceptScore W4387360014C76155785 @default.
- W4387360014 hasConceptScore W4387360014C82876162 @default.
- W4387360014 hasFunder F4320321001 @default.
- W4387360014 hasFunder F4320335787 @default.
- W4387360014 hasLocation W43873600141 @default.
- W4387360014 hasOpenAccess W4387360014 @default.
- W4387360014 hasPrimaryLocation W43873600141 @default.
- W4387360014 hasRelatedWork W1520094959 @default.
- W4387360014 hasRelatedWork W189328514 @default.
- W4387360014 hasRelatedWork W1974858599 @default.
- W4387360014 hasRelatedWork W2083990828 @default.
- W4387360014 hasRelatedWork W2158032519 @default.
- W4387360014 hasRelatedWork W2577913821 @default.
- W4387360014 hasRelatedWork W2655578171 @default.
- W4387360014 hasRelatedWork W3013979739 @default.
- W4387360014 hasRelatedWork W3049636605 @default.
- W4387360014 hasRelatedWork W3151684823 @default.
- W4387360014 isParatext "false" @default.
- W4387360014 isRetracted "false" @default.
- W4387360014 workType "article" @default.