...
| Code Block |
|---|
Thread 1: register 0 = flags Thread 1: register 0 &= ~mask(flag1) Thread 2: register 0 = flags Thread 2: register 0 &= ~mask(flag2) Thread 1: register 0 |= 1 << shift(flag1) Thread 1: flags = register 0 Thread 2: register 0 |= 2 << shift(flag2) Thread 2: flags = register 0 |
Compliant Solution (bit-field, C++11 and
...
later,
...
mutex)
This compliant solution protects all accesses of the flags with a mutex, thereby preventing any data races.
...