Homework 5

Please submit <b>a text file</b> with the answers to the following questions from the concurrency textbook.

6.2: write BUTLER FSP and ||DINERS_BUTLER FSP. Show the execution of Check->Safety for the ||DINERS_BUTLER process.

6.4: simple problem but make sure your discussion relates to the four necessary and sufficient conditions for deadlock in both the original and modified FSP.

7.1: another simple problem but be sure to explain what you did to find the answer.

7.2: note you do NOT need to specify the FSP for the LIFT system. You just need to create the requested safety property

7.3: note: the CARPARK example is on page 81. Start with that model unmodified then write the requested safety and progress properties. Be sure to answer the question about whether starvation occurs.

You may NOT work in teams on this assignment. Please write the honor code statement as a comment at the top of at least one of your source code files. The honor code statement is:

On my honor as a University of Colorado at Boulder student, I have neither given nor received unauthorized assistance on this work.

Deadline: This assignment is due by 11:59 PM on Thursday, April 16th.

This assignment is worth 40 points: 6.4 and 7.1 are worth five points each, the others are ten points each.

Kenneth M. Anderson, 2009