Tim Coppieters
ABSTRACT
Cloud Types is an interesting EC model that closely integrates its consistency model with the programming language, rendering EC programming more feasible for the average programmer. We have created an open implementation of the model in a JavaScript end-to-end implementation that can act both as an experimental platform for researchers and as an open EC model for the web. Furthermore we are experimenting with additions to the model such as an RDBM-like authorization system in combination with Views in order to give more control over the state and to allow partitioning.
- S. Burckhardt, M. Fähndrich, D. Leijen, and B. P. Wood, "Cloud types for eventual consistency," in Proceedings of the 26th European Conference on Object-Oriented Programming, ECOOP'12, (Berlin, Heidelberg), pp. 283--307, Springer- Verlag, 2012. Google Scholar
Digital Library
- N. Preguica, J. Marques, M. Shapiro, and M. Letia, "A commutative replicated data type for cooperative editing," in Distributed Computing Systems. ICDCS '09. 29th IEEE International Conference on, pp. 395--403, 2009. Google ScholarDigital Library
- E. Bertino, P. Samarati, S. Jajodia, "An Extended Authorization Model for Relational Databases," in IEEE Transactions on Knowledge and Data Engineering, vol. 9, no. 1, pp. 85--101, January-February, 1997. Google ScholarDigital Library
- D. B. Terry, A. J. Demers, K. Petersen, M. Spreitzer, M. Theimer, and B. W. Welch, "Session guarantees for weakly consistent replicated data," in Proceedings of the Third International Conference on Parallel and Distributed Information Systems, PDIS '94, (Washington, DC, USA), pp. 140--149, IEEE Computer Society, 1994. Google ScholarDigital Library
- D. B. Terry, "Replicated data consistency explained through baseball," in Communications of the ACM, vol. 56, pp. 82--89, Dec. 2013. Google ScholarDigital Library
- M. Serrano, E. Gallesio, and F. Loitsch. "Hop: a language for programming the web 2.0," in OOPSLA Companion. 2006.Google Scholar
Index Terms
- An open implementation of cloud types for the web
Recommendations
Modeling web applications infrastructure with ASMs
We describe via Abstract State Machines the major ingredients of contemporary web applications: a web browser running JavaScript programs and a web server dispatching requests to one of several modules, each one representing a class of established web ...
On the transition from the web to the cloud
WSE '13: Proceedings of the 2013 IEEE 15th International Symposium on Web Systems Evolution (WSE)Although in principle two independent technologies, cloud computing is closely associated with the web in contemporary web applications. Such applications, usually developed using web frameworks, are increasingly often deployed on servers that reside in ...
A framework for dynamic inter-device task dispatch with eventual consistency
Programming '18: Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of ProgrammingThe Internet of Things (IoT) allows various things like mobile devices and electronic appliances to communicate over network. Inter-device apps can share data between devices and dispatch specific tasks to other devices to utilize their resources. The ...
Comments