CScale – A Programming Model for Scalable and Reliable Distributed Applications

  • Jose Faleiro
  • Sriram Rajamani
  • Kaushik Rajan
  • G. Ramalingam
  • Kapil Vaswani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7539)

Abstract

Today’s connected world demands applications that are responsive, always available, and can service a large number of users. However, the task of writing such applications is daunting, even for experienced developers. We propose CScale, a programming model that attempts to simplify this task. The objective of CScale is to let programmers specify their application’s core logic declaratively without explicitly managing distribution. CScale applications have simple semantics that simplify reasoning about correctness and enable testing and debugging on the single machine. In turn, the CScale runtime manages all aspects of execution of a CScale application on large clusters, including deployment, state management (replication and data partitioning) and fault tolerance. CScale ensures high availability by using distributed wait-free data structures to manage state. CScale does impose some constraints on the kind of operations clients can perform. However, we find that many real-world web applications can be naturally expressed using CScale.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Agrawal, P., Silberstein, A., Cooper, B.F., Srivastava, U., Ramakrishnan, R.: Asynchronous view maintenance for vlsd databases. In: SIGMOD 2009, Stanford InfoLab (June 2009)Google Scholar
  2. 2.
    Faleiro, J., Rajamani, S., Rajan, K., Ramalingam, G., Vaswani, K.: Generalized lattice agreement. In: Principles of Distributed Computing (PODC) (July 2012)Google Scholar
  3. 3.
    Fischer, M.J., Lynch, N., Paterson, M.S.: Impossibility of distributed consensus with one faulty process. Journal of the ACM 32(2), 374–382 (1985)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Lamport, L.: The part-time parliament. ACM Transactions on Computer Systems 16, 133–169 (1998)CrossRefGoogle Scholar
  5. 5.
    Shapiro, M., Preguiça, N., Baquero, C., Zawirski, M.: Convergent and commutative replicated data types. Bulletin of the European Association for Theoretical Computer Science (EATCS) (104), 67–88 (2011)Google Scholar
  6. 6.
    Zhuge, Y., Garcia-molina, H., Wiener, J.L.: The strobe algorithms for multi-source warehouse consistency. In: International Conference on Parallel and Distributed Information Systems, pp. 146–157 (1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jose Faleiro
    • 1
  • Sriram Rajamani
    • 1
  • Kaushik Rajan
    • 1
  • G. Ramalingam
    • 1
  • Kapil Vaswani
    • 1
  1. 1.Microsoft Research IndiaIndia

Personalised recommendations