Upcoming SlideShare
×

# Csr2011 june17 12_00_morin

367 views

Published on

0 Likes
Statistics
Notes
• Full Name
Comment goes here.

Are you sure you want to Yes No
• Be the first to comment

• Be the first to like this

Views
Total views
367
On SlideShare
0
From Embeds
0
Number of Embeds
9
Actions
Shares
0
2
0
Likes
0
Embeds 0
No embeds

No notes for slide

### Csr2011 june17 12_00_morin

1. 1.                      
2. 2.        repeat: repeat: f[1] ← true; f[2] ← true; Turn ← 2; Turn ← 1; wait (f[2] = false wait (f[1] = false or Turn = 1); or Turn = 2); Critical Section(1); Critical Section(2); f[1] ← false; f[2] ← false; 
3. 3.          f[1]←true f[2]←true Turn←1 Turn←2 Turn=2 C.S.(2) f[2]←false f[2]=false C.S.(1) 
4. 4. ✔ ☛               
5. 5.                •     R     D •     P •     ∈      ⊆ P •     ∈  •     ⊆  •      ∈       •        R → D •                R D   
6. 6.         ∈           ∈     •         •           •              →  •          •            •        ∈ R       
7. 7.             • P  R  •     ∈         
8. 8.     ∈         •   ∩    ∅ •  ∩  ∪    ∅  •  ∩  ∪    ∅                              
9. 9.                                 →        ∈                ∈                       ∈                            
10. 10.                                 ∈    ∈                              ↓    ∈              ∈   LS   S        
11. 11. ✔ ✔   ☛            
12. 12.       L                   
13. 13.     ✂   ✂                     
14. 14.                ∀    → ∃  ∧   ∀     → ∃  ∧   ∀     ∧   →   
15. 15.                 ∈                  ∈ N ∪   L      ∈ L L                
16. 16. ✔ ✔   ✔     ☛       
17. 17.                    
18. 18.              ;            
19. 19.                        ∅           ∩   ∅                                              SMC      
20. 20.                                                          ∪      ∪          ∪  ∪    ∈          
21. 21.                   ;                  A    →             → ⊆   SMC             ⊆       
22. 22. ✔ ✔   ✔     ✔   ☛    
23. 23.                         →      ∈          →       ∈    ∈    ∈     •      •     
24. 24.     L A     A         →→                                      
25. 25.                                       →→                                   
26. 26. •                             •                  •           •          
27. 27. 
28. 28.                      ∈             ∈    →       
29. 29.     ✂   ✂   ✂                    
30. 30.     ✂   ✂   ✂                        
31. 31.                                                                                 