Read: proc.c (sleep(), wakeup(), exit(), kill() and wait()), sys_wait(), sys_exit(), sys_kill().
You are to turn in this homework at the beginning of lecture. Please write up your answers to the questions below and hand them in to a 6.828 staff member at the beginning of lecture.
Remember in lecture 7 we discussed locking a linked list implementation. The insert code was:
struct list *l; l = list_alloc(); l->next = list_head; list_head = l;and if we run the insert on multiple processors simultaneously with no locking, this ordering of lines can cause one of the inserts to be lost:
CPU1 CPU2 struct list *l; l = list_alloc(); l->next = list_head; struct list *l; l = list_alloc(); l->next = list_head; list_head = l; list_head = l;
In this case, CPU2's new list element will be lost when CPU1 updates list_head. Adding a lock that protects the final two lines of insert() makes the read and write of list_head atomic, so that this ordering is impossible.
The reading for this lecture includes the implementation of sleep() and wakeup(), which processes running in the kernel use to coordinate with each other. Usually one process waits for something to happen by calling sleep(), and another process later indicates that the event has occured by calling wakeup(). For example, a read() on an empty pipe involves a sleep() to wait for input; a later write() to the pipe calls wakeup().
One problem that the sleep() and wakeup() implementations avoid is races in which process A has decided to sleep but has not quite gone to sleep, at which point process B calls wakeup() but doesn't see that A is sleeping and thus does not wake A up. If it were possible for this to occur, A would have missed the event it was sleep()ing for, and its sleep() might never terminate.
Read the code with this in mind.
(Answer and hand in.)
1. How does the proc_table_lock help avoid this problem? Give an ordering of instructions (like the above example for linked list insertion) that could result in a wakeup being missed if the proc_table_lock were not used. You need only include the relevant lines of code.
2. sleep is also protected by a second lock, its second argument, which need not be the proc_table_lock. Look at the example in ide.c, which uses the ide_lock. Give an ordering of instructions that could result in a wakeup being missed if the ide_lock were not being used. (Hint: this should not be the same as your answer to question 2. The two locks serve different purposes.)
This completes the homework.