You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
sicp-all-tasks/sicp/3_002e46

7 lines
325 B

Exercise 3.46: Suppose that we implement
test-and-set! using an ordinary procedure as shown in the text, without
attempting to make the operation atomic. Draw a timing diagram like the one in
Figure 3.29 to demonstrate how the mutex implementation can fail by
allowing two processes to acquire the mutex at the same time.