Repository files navigation

Rust implementation ofTAPIR

• Safe,async Rust
• IR
  • Unlogged
  • Inconsistent
  • Consensus
  • View changes
  • Recovery
  • Membership change
  • Real network transport
• TAPIR
  • Get
  • Put
  • Prepare
  • Commit
  • Abort
  • Optional linearizability
  • IR sync & merge
  • Prepare retries
  • Coordinator recovery
  • Sharding
  • Persistent storage (e.g.sled)
  • Snapshot read
• Planned extensions
  • Delete key operation
  • Garbage collection
  • Range scan
  • Automatic shard balancing
  • Disaster recovery
• Testing
  • IR lock server (very simple)
  • TAPIR-KV (simple)
  • TAPIR-KV (maelstrom)
  • Exhaustive state enumeration
• Optimizations
  • Reduceclone
  • Reduce allocations
  • Reduce temporary unavailability

Thanks toJames Wilcox for assigning TAPIR as a reading.

Thanks tothe TAPIR authors for answering questions aboutthe paper!

Thanks toKyle atJepsen for clarifying the relativestrength of isolation levels.