Author

Rachel Chen <rachel@chens.email> 2022-08-01 17:55:17 -0700

Parents

b7a640e

Tree

8b917dc

chord: distinguish between node left vs node failed to start;
chord: use mutex for predecessor instead of atomics;
chord: remove padding around finger entries;