[an error occurred while processing this directive]
School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
Next: Memory Models: Strong Ordering
Up: 10-smp
Previous: Locking: Performance Considerations
Subsections
|
/* counter++; */ |
|
load |
r1, counter |
|
add |
r1, r1, 1 |
|
store |
r1, counter |
|
/* unlock(mutex); */ |
|
store |
zero, mutex |
Relies on all CPUs seeing update of counter
before update of mutex.
- Depends on proper ordering of stores to memory.
Gernot Heiser
2002-10-11
[an error occurred while processing this directive]