From c075e2fca2e38b14b8e792a19e8d5d7502345186 Mon Sep 17 00:00:00 2001
From: "Peter J. Keleher" <keleher@cs.umd.edu>
Date: Wed, 6 Dec 2023 14:25:15 -0500
Subject: [PATCH] auto

---
 p6.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/p6.md b/p6.md
index e051349..97144fc 100644
--- a/p6.md
+++ b/p6.md
@@ -159,6 +159,16 @@ only by `Apply()` calls. These calls are immediate for
 non-transactional updates, but *calls for transactional updates are
 delayed until a transaction is known to have committed*.
 
+## Details
+- Start/finish transaction commands should have *oids* matching their *tids*.
+- Distinct transactions should have distinct *tids*.
+- KV and transaction objects should have *oids* should be greater than 0, and of
+  course should be unique across the space of all KV objects and
+  transactions.
+- The leader election record will have *oid* 0. It should be treated
+  the same as any other record by the tango runtime, but will never be
+  the cause of an `apply()` upcall since there are no KV objects w/
+  *oid* 0.
 
 ## Something Else
 Build some other distributed data type on tango. Or do something else cool w/ Raft.
-- 
GitLab