Excelsior's Washington, DC, center is located on M Street NW. The block is bounded to the south by L Street NW, to the west by 21st Street NW, and to...

1. Excelsior's Washington, DC, center is located on M Street NW. The block is bounded to the south by L Street NW, to the west by 21st Street NW, and to the east by 20th Street NW. All streets are one-way, creating a counter-clockwise pattern surrounding the block. Traffic in DC is notoriously awful and cars typically block the box, that is, they enter the intersection when the traffic on the other side is not clear and end up blocking traffic on the perpendicular street (shown in diagram below). 

a.  Explain that the four necessary conditions for deadlock are present in this scenario.

b.  What rule could the city implement that would avoid this situation in the future? Explain.

2.  Show that your student scheduling program from last week is deadlock-free.

3.  Add a rule to the dining philosopher's problem that would ensure that it is deadlock-free.

4.  Can an OS detect whether a process is starving? If yes, explain how. If not, explain why not.

5.  Is deadlock possible in a system involving only one process? Explain why or why not.