posted by system || 1402 views

PaPEC 2014 : First workshop on the Principles and Practice of Eventual Consistency


When Apr 13, 2014 - Apr 13, 2014
Where Amsterdam, The Netherlands
Submission Deadline Jan 27, 2014
Categories    software

Call For Papers

Strong consistency is easy to understand, but it requires synchronisation, which has a high cost and does not tolerate partial system failure or network partitions well. Hence, the past decade has seen renewed interest in an alternative - Eventual Consistency (EC) - where data is accessed and modified without coordination. Many production systems guarantee only EC, including NoSQL databases, key-value stores and cloud storage systems. EC improves responsiveness and availability, updates propagate more quickly, and enables less coordination-intensive and often less complex protocols.

EC is crucial for scalability but represents an unfamiliar design space. Conflicts and divergence are possible, making them hard to program against, while metadata growth and maintaining system-wide invariants can also become problematic. As more developers interact with and program against distributed storage systems, understanding and managing these trade-offs becomes increasingly important.

Although EC remains poorly understood, there has recently been considerable momentum in the research and development community: the past several years have seen the (re)introduction of useful concepts, such as replicated data types, monotonic programming, causal consistency, red-blue consistency, novel proof systems, etc., designed to allow improve efficiency, programmability, and overall operation of weakly consistent stores.

This workshop aims to investigate the principles and practice of Eventual Consistency. It will bring together theoreticians and practitioners from different horizons: system development, distributed algorithms, concurrency, fault tolerance, databases, language and verification, including both academia and industry. In order to make EC computing easier and more accessible, and to address the limitations of EC and explore the design space spectrum between EC and strong consistency, we will share experience with practical systems and from theoretical study, to investigate algorithms, design patterns, correctness conditions, complexity results, and programming methodologies and tools.

Relevant discussion topics include:

Design principles, correctness conditions, and programming patterns for EC.
Techniques for eventual consistency: session guarantees, causal consistency, operational transformation, conflict-free replicated data types, monotonic programming, state merge, commutativity, etc.
Consistency vs. performance and scalability trade-offs: guiding developers, controlling the system.
Analysis and verification of EC programs.
Strengthening guarantees: transactions, fault tolerance, security, ensuring invariants, bounding metadata memory, and controlling divergence, without losing the benefits of EC.
Platform guarantees vs. application involvement: guiding developers, controlling the system.

Related Resources

ECML-PKDD 2017   European Conference on Machine Learning and Principles and Practice of Knowledge Discovery
ICSA 2018   International Conference on Software Architecture
POPL 2017   44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ICKSE--EI, Scopus 2018   2018 4th International Conference on Knowledge and Software Engineering (ICKSE 2018)--EI Compendex, Scopus
CP 2017   The 23rd International Conference on Principles and Practice of Constraint Programming
ICSA 2018   International Conference on Software Architecture
PODC 2017   ACM Symposium on Principles of Distributed Computing
CIbSE 2018   Conferencia Iberoamericana de Software Engineering
KR 2018   16th International Conference on Principles of Knowledge Representation and Reasoning
PODS 2017   36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems