Programming Language Memory Models Memory Models, Part 2

The program attempts to send a message in x from thread 1 to thread 2, using done as the signal that the message is ready to be received, using done as the signal that the message is ready to be received.