Reading 23: Mutual Exclusion

This reading brings together the ideas of concurrency and promises, in the context of an asynchronous abstract data type – an ADT with asynchronous operations that might run concurrently with each other, accessing the same shared (mutable) rep.

Reading 23: Mutual Exclusion Reading 23: Mutual Exclusion Software in 6.031 Safe from bugs Easy to understand Ready for change Correct today and correct in the unknown future. Communicating clearly with future programmers, including future you. Designed to accommodate change without rewriting. Objectives This reading brings together the ideas of concurrency and promises, in the context of an asynchronous abstract data type – an ADT with asynchronous operations that might run concurrently with each other, accessing the same shared (mutable) rep. We will see how this raises the risk of concurren

related reading

• Reading 16: Mutual Exclusionweb.mit.edu
• Reading 15: Promisesweb.mit.edu
• Notes on structured concurrency, or: Go statement considered harmful - njs blogvorpus.org
• Reading 14: Concurrencyweb.mit.edu
• TypeScript Structured Concurrencythecandidstartup.org
• Reading 18: Message-Passing and Networkingweb.mit.edu
• Reading 10: Abstract Data Typesweb.mit.edu
• notes.pdfstudent.cs.uwaterloo.ca
• Introduction to Wait-free Algorithms in C++ Programming - Daniel Anderson - CppCon 2024youtube.com
• A Design Space Exploration of Async/Awaitcel.cs.brown.edu
• Let futures be futureswithout.boats
• What Async Promised and What it Delivered — Causalitycausality.blog