Supplemental Material for Lecture 6: Concurrency handle_signal() -ERESTART_RESTARTBLOCK LWN article struct restart_block Examples: futex model checking