Synchronization

If sharing of resources between threads is not handled in a careful, controlled fashion, the result is usually a big mess. This is especially the case in operating system kernels, where faulty sharing can crash the entire machine. PintOS provides several synchronization primitives to help out.

---

Table of contents

• Disabling Interrupts
• Semaphores
• Locks
• Monitors
• Readers-writers Locks
• Optimization Barriers