We are excited to host John Valois speaking on Wait-Free Synchronization
How do we implement data structures in a shared memory environment? The conventional answer is to use mutual exclusion, but this approach does not behave well when we encounter delays or failures in the critical section, forcing other processes to wait.
Wait-Free Synchronization by Maurice Herlihy (https://cs.brown.edu/~mph/Herlihy91/p124-herlihy.pdf) explores an idea which ensures that operations complete in finite time regardless of the relative speeds of other processes. We’ll see a connection to the ubiquitous consensus problem and a framework for understanding what synchronization primitives are necessary and sufficient for implementing a given object, culminating in a method for implementing any object in a wait-free manner.
John Valois is a Managing Director at BlackRock where he works on core platform engineering.
**Doors open at 6:30 pm**; the presentations will begin right around 7:00 pm; and, yes, there will be refreshments of all kinds and pizza.
You'll have to check-in with security with your Name/ID. Definitely sign-up if you’re going to attend–unfortunately people whose names aren’t entered into the security system in advance won’t be allowed in.
After John's presentation, we will open up the floor to discussion and questions.
**Talks are always recorded on video and released ~2 weeks after the meetup.**
We hope that you'll read some of the papers and references before the meetup, but don't stress if you can't. If you have any questions, thoughts, or related information, please visit #pwlnyc (https://paperswelove.slack.com/messages/pwlnyc/) on slack (http://papersweloveslack.herokuapp.com/), our GitHub repository (https://github.com/papers-we-love/papers-we-love), or add to the discussion on this event's thread.