Learning.md

CM in Alloy

Alloy Language

• "Software Abtractions: Logic, Language, and Analysis"
• Alloy Github Repository
• Guide to Alloy

Consistency Models

• ($vis,ar$) Framwork

  • "Principles of Eventual Consistency" 前五章
  • "A Generic Specification Framework for Weakly Consistent Replicated Data"

• Causal Consistency

  • "Causal memory: definitions, implementation, and programming"
  • "Causal Consistency: Beyond Memory"

• Sequential Consistency

  • "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs"

• Pipelined Consistency

  • "PRAM: A scalable shared memory"
  • "Update Consistency for Wait-free Concurrent Objects"