Csr2011 june17 12_00_morin

367 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
367
On SlideShare
0
From Embeds
0
Number of Embeds
9
Actions
Shares
0
Downloads
2
Comments
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.                                                                                 

×