We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Distributed, Parallel, and Cluster Computing

Title: Consistency vs. Availability in Distributed Real-Time Systems

Abstract: In distributed applications, Brewer's CAP theorem tells us that when networks become partitioned (P), one must give up either consistency (C) or availability (A). Consistency is agreement on the values of shared variables; availability is the ability to respond to reads and writes accessing those shared variables. Availability is a real-time property whereas consistency is a logical property. We have extended the CAP theorem to relate quantitative measures of these two properties to quantitative measures of communication and computation latency (L), obtaining a relation called the CAL theorem that is linear in a max-plus algebra. This paper shows how to use the CAL theorem in various ways to help design real-time systems. We develop a methodology for systematically trading off availability and consistency in application-specific ways and to guide the system designer when putting functionality in end devices, in edge computers, or in the cloud. We build on the Lingua Franca coordination language to provide system designers with concrete analysis and design tools to make the required tradeoffs in deployable software.
Comments: 12 pages. arXiv admin note: text overlap with arXiv:2109.07771
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
Cite as: arXiv:2301.08906 [cs.DC]
  (or arXiv:2301.08906v1 [cs.DC] for this version)

Submission history

From: Edward Lee [view email]
[v1] Sat, 21 Jan 2023 06:30:11 GMT (1745kb,D)

Link back to: arXiv, form interface, contact.