Not sure what concept is this. Anyone does? E.g. context switch test and set etc
Can only be accessed via two indivisible -atomic) operations wait (S)[ while S
