diff --git a/notes/pics/lock-protocol-2.png b/notes/pics/lock-protocol-2.png
index 27bdabbd..c37a6bc2 100644
Binary files a/notes/pics/lock-protocol-2.png and b/notes/pics/lock-protocol-2.png differ
diff --git a/notes/pics/next-key-locks.png b/notes/pics/next-key-locks.png
index 94cf0dee..cb623375 100644
Binary files a/notes/pics/next-key-locks.png and b/notes/pics/next-key-locks.png differ
diff --git a/notes/pics/readview.png b/notes/pics/readview.png
index 29b01451..049d2005 100644
Binary files a/notes/pics/readview.png and b/notes/pics/readview.png differ
diff --git a/tools/diagram/src/lock-protocol-2.svg b/tools/diagram/src/lock-protocol-2.svg
index f95291b4..7c9cd905 100644
--- a/tools/diagram/src/lock-protocol-2.svg
+++ b/tools/diagram/src/lock-protocol-2.svg
@@ -4,14 +4,14 @@
.title { fill: #777; }
.sub { fill: #888; }
.note { fill: #C38F8A; }
- .flow { stroke: #666; stroke-width: 1.3; fill: none; marker-end: url(#arrow); }
+ .flow { stroke: #555; stroke-width: 1.1; fill: none; marker-end: url(#arrow); }
.wait { stroke-dasharray: 4 3; }
- .box { fill: #9BC4CB; }
+ .box { fill: #9CCBC6; }
.shadow { fill: #B8B8B8; }
-
+
@@ -20,52 +20,39 @@
T1
T2
-
-
lock-x A
-
read A=10
-
write A=20
-
rollback
-
unlock-x A
-
-
-
lock-s A
wait
-
obtain
-
read A=10
-
unlock-s A
-
diff --git a/tools/diagram/src/next-key-locks.svg b/tools/diagram/src/next-key-locks.svg
index 67b8b28e..6d3eab8a 100644
--- a/tools/diagram/src/next-key-locks.svg
+++ b/tools/diagram/src/next-key-locks.svg
@@ -1,45 +1,45 @@