PastSet

• Structured shared memory

  • Elements
    • Each element:
      • Causally ordered tuples of the same template
      • Each tuple:
        • Set of variables

• RW of tuples

  • move
  • observe
  • cut

• Allocation of shared memory

  • enter
  • leave

• Causal consistency

• Can do semaphores, message passing, barriers, rendezvous, pipes

Previous slide

Next slide

Back to first slide

View graphic version