PR# 18432 Deadlock on simple barrier program

The program implements a simple barrier.

Every process repeatedly:

1) increments the shared variable
2) waits for the 'is_full' query to be true
3) sets itself to done (which will then reset the count of the barrier when all separate objects call 'set_done')

Sometimes it completes, sometimes it deadlocks.

The same algorithm works in other languages, which leads me to believe this is a SCOOP runtime issue. 

Also, if you add some debugging print statements (this may make it harder to find the deadlock) the deadlocks happen with more or less random program states: ie, there's no reason for it to be deadlocked either on a wait-condition or because of processor locking.

Compile the attached code in finalized mode, run it a few times until it deadlocks.

Attachments for problem report #18432