Video Lecture

Remember to open the English subtitle on Youtube: eLearn link of the video lecture

• My benchmark code in my lecture can be found here. No need to look at them or run them if you are not interested.
• xv6 implements spinlock using test-and-set, similar to what we’ve introduced in the video.

Readings

• Textbook: Chapter 6: Page 59~64 (6.1 ~ 6.3)
• Textbook: Introduction to Multi-threading: Page 6~13
• (Optional) Textbook: Multithreaded Counter Page 1~6: The textbook introduce the sloppy counter as “approximate counter”. We refer to the same thing from this amazing classic system paper. The paper is very well written, read it if you are brave.

Learning Objectives

I understand the following concepts:

• critical section, race condition, mutual exclusion
• atomic operation
• mutex locks v.s spinlock trade-off and usecase
• cache line bouncing
• false sharing and its remedy
• how sloppy counter works
• how spinlock is implemented with test
• how sleep lock is implemented