2019-03-05

Mar 6 In-Class Exercise Thread.

Post your solutions to the March 6 In-Class Exercise to this thread.
Best,
Chris
Post your solutions to the March 6 In-Class Exercise to this thread. Best, Chris
2019-03-06

-- Mar 6 In-Class Exercise Thread
Resource Description for inclassasync.jpg Processor 0:
 Choose R1
 Wait for lock
 Get R1 Lock
 Read R=0 t=1 (case b)
 write B=0 T=1
 Release R1 Lock
 Go to R2, get R2 Lock
 Read R=# (case a)
 Halt
Processor 1
 Choose R1
 Get Lock (Ahead of Processor 0)
 Read R=0 T=0 (case e)
 Random bit 0
 Write R=B=0, T=t=1
 Release R1 lock
 Go to R2, get R2 lock
 Read R=0 T=0 (case c)
 Write # and halt and release R2 lock
(Edited: 2019-03-06)
((resource:inclassasync.jpg|Resource Description for inclassasync.jpg)) Processor 0: Choose R1 Wait for lock Get R1 Lock Read R=0 t=1 (case b) write B=0 T=1 Release R1 Lock Go to R2, get R2 Lock Read R=# (case a) Halt Processor 1 Choose R1 Get Lock (Ahead of Processor 0) Read R=0 T=0 (case e) Random bit 0 Write R=B=0, T=t=1 Release R1 lock Go to R2, get R2 lock Read R=0 T=0 (case c) Write # and halt and release R2 lock

-- Mar 6 In-Class Exercise Thread
Resource Description for 20190306_141542.jpg
((resource:20190306_141542.jpg|Resource Description for 20190306_141542.jpg))

-- Mar 6 In-Class Exercise Thread
Asynchronous-CPP simulation by Joseph Lee and Tim Chow
Resource Description for Screen Shot 2019-03-06 at 2.48.27 PM.png
Resource Description for Screen Shot 2019-03-06 at 2.48.47 PM.png
(Edited: 2019-03-06)
Asynchronous-CPP simulation by Joseph Lee and Tim Chow ((resource:Screen Shot 2019-03-06 at 2.48.27 PM.png|Resource Description for Screen Shot 2019-03-06 at 2.48.27 PM.png)) ((resource:Screen Shot 2019-03-06 at 2.48.47 PM.png|Resource Description for Screen Shot 2019-03-06 at 2.48.47 PM.png))

-- Mar 6 In-Class Exercise Thread
Partner: Yaoyan 
 
C[0] = (0,0), C[1] = (0,0) 
 
P[0] chooses C[0], P[1] chooses C[1]
P[0] reads from C[0]
T[0] = 0, t[0] = 0, B[0] = 0, R[0]
Case e)
B[0] = 0, T[0] = 1, t[0] = 1, R[0] = 0
C[0] = (1, 0) 
 
P[1] reads from C[1]
T[1] = 0, t[1] = 0, B[1] = 0, R[1] = 0
Case e)
B[1] = 0, T[1] = 1, t[1] = 1, R[1] = 0
C[1] = (1, 0) 
 
P[1] reads from C[0]
T[1] = 1, t[1] = 1, B[1] = 0, R[1] = 0
Case e)
B[1] = 1, T[1] =2, t[1] = 2, R[1] = 1
C[0] = (2, 1) 
 
P[1] reads from C[1]
T[1] = 2, t[1] = 1, B[1] = 1, R[1] = 0
Case c)
C[1] = (3, #)
P[1] halts 
 
P[0] reads C[1]
T[0] = 1, t[0] = 3, B[0] = 0, R[0] = #
Case a)
P[0] halts
(Edited: 2019-03-06)
<pre> Partner: Yaoyan C[0] = (0,0), C[1] = (0,0) P[0] chooses C[0], P[1] chooses C[1] P[0] reads from C[0] T[0] = 0, t[0] = 0, B[0] = 0, R[0] Case e) B[0] = 0, T[0] = 1, t[0] = 1, R[0] = 0 C[0] = (1, 0) P[1] reads from C[1] T[1] = 0, t[1] = 0, B[1] = 0, R[1] = 0 Case e) B[1] = 0, T[1] = 1, t[1] = 1, R[1] = 0 C[1] = (1, 0) P[1] reads from C[0] T[1] = 1, t[1] = 1, B[1] = 0, R[1] = 0 Case e) B[1] = 1, T[1] =2, t[1] = 2, R[1] = 1 C[0] = (2, 1) P[1] reads from C[1] T[1] = 2, t[1] = 1, B[1] = 1, R[1] = 0 Case c) C[1] = (3, #) P[1] halts P[0] reads C[1] T[0] = 1, t[0] = 3, B[0] = 0, R[0] = # Case a) P[0] halts </pre>
2019-03-10

-- Mar 6 In-Class Exercise Thread
Resource Description for exercise.jpg
((resource:exercise.jpg|Resource Description for exercise.jpg))

-- Mar 6 In-Class Exercise Thread
Resource Description for IMG_0628.JPG
((resource:IMG_0628.JPG|Resource Description for IMG_0628.JPG))

-- Mar 6 In-Class Exercise Thread
((resource:March6thInClass-converted.pdf|Resource Description for March6thInClass-converted.pdf))

-- Mar 6 In-Class Exercise Thread
Resource Description for 2019.jpg
((resource:2019.jpg|Resource Description for 2019.jpg))

-- Mar 6 In-Class Exercise Thread
Resource Description for IMG_20190306_141350.jpg
((resource:IMG_20190306_141350.jpg|Resource Description for IMG_20190306_141350.jpg))
[ Next ]
X