Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
add `Event`; use it to fix race in Distributed setup #29623
In my mind, an "event" is something that happens at a point in time, while a "condition" is something that can persist for a while. But as far as I can tell common terminology reverses them, and an event is level-triggered while a condition is edge-triggered. Go figure.
Would it be too disruptive/confusing for us to use the terminology in a saner way than is conventional?