Happytreat · April 2, 2021 06:44
diff --git a/lease_race_condition_1.txt b/lease_race_condition_1.txt
 # Credits to https://pdos.csail.mit.edu/6.824/notes/l-memcached.txt

 k not in cache
 C1 get(k), misses
 C1 v1 = read k from DB
  C2 writes k = v2 in DB
  C2 delete(k)
 C1 set(k, v1)
 now mc has stale data, delete(k) has already happened
 will stay stale indefinitely, until k is next written
	# Credits to https://pdos.csail.mit.edu/6.824/notes/l-memcached.txt

	k not in cache
	C1 get(k), misses
	C1 v1 = read k from DB
	C2 writes k = v2 in DB
	C2 delete(k)
	C1 set(k, v1)
	now mc has stale data, delete(k) has already happened
	will stay stale indefinitely, until k is next written