Personally, I view most invariants as another form of state embedding. It can often be unrolled or duplicated (GPU mailbox) for parallelization, but does not n

Personally, I view most invariants as another form of state embedding. It can often be unrolled or duplicated (GPU mailbox) for parallelization, but does not necessarily exclude out-of-order chip specific atomic operations on semaphores etc. There is a folk song written about Black flies: https://www.youtube.com/watch?v=w2q8jEuH3nk https://www.youtube.com/watch?v=w2q8jEuH3nk =3