1. Concurrency Programming (3): Mutexes — Atomicity, Visibility, and Ordering at the Language Level

    Continues with counter++ to explain how mutexes provide atomicity, visibility, and ordering, then compares Java synchronized, Go sync.Mutex, and CPython threading.Lock.

  2. Concurrency Programming (4): Mutex Implementation — From Runtime to CPU

    Follows the real implementation paths of Java synchronized, Go sync.Mutex, and CPython threading.Lock to see how mutexes use atomic operations, memory ordering, waiting, and wakeup.