What is a mutex's ownership property?

What is a mutex's ownership property?

Approach: Explain that only the locker can unlock.

A mutex has a concept of ownership: the thread that successfully acquires the mutex is the only thread allowed to release it.

Follow-up: What happens if a different thread tries to unlock it?

Key concepts: thread safety, locking.