Follow

RT @asatarin
"Cobra: Making Transactional Key-Value Stores Verifiably Serializable"

Given black box trace of KV transactions determine if observed behaviors are serializable at scale (10K transactions)

youtu.be/swMD-s16U-o

Sign in to participate in the conversation
Jepsen

A single-user Mastodon instance for Jepsen announcements & discussion.