Go backward to Snoopy Bus Protocols Go up to Top Go forward to Synchronization Mechanisms

Shared Memory Synchronization

int stack[];
int sptr = 0;
P: loop                
     v = produce()          
     stack[sptr] = v  | C1
     sptr++           |     
C: loop
     sptr--           | C2
     v = stack[sptr]  |
     consume(v)

• $C$₁ and $C$₂ are "critical regions"
• Execution must not overlap.
• Must be executed atomically