I'm looking for parallel programs( parallel loops ) that can run in order, but has no message passing between processes, and has lots of synchronization. It should be possible to run the loop in any order, yet producing correct results, even if the result is not the same always.
An example would be a ticket booking system, where the first n threads to jump at the n tickets get it. It may not be the same overall results everytime, but the results are always correct.
Looking for decently huge problems of this type.