Data structureadvanced
Matrix clocks
Also called Wuu-Bernstein matrix clock.
Each process stores its view of every other process's vector clock, enabling safe garbage collection of logs.
Each process stores its view of every other process's vector clock, enabling safe garbage collection of logs.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag J3RKBA Edit this page History Report an error