Csr2011 june17 12_00_morin

  • 232 views
Uploaded on

 

  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
232
On Slideshare
0
From Embeds
0
Number of Embeds
1

Actions

Shares
Downloads
1
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

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