|
| Description: | Multiple processing elements may attempt to connect to the same processing element. When a target conflict occurs in the communication pattern, there are two possible solutions. The first solution consists in requiring that each connection to that target is made in a separate cycle -- precisely as the hardware would resolve the conflict. The second solution lies in determining if the conflict represents a race condition. The definition of a router[] construct in MPL is in such a way that these races can be resolved by simply picking an arbitrary "winner" and eliminating all other communications that were involved in the race. In order to solve the race condition caused by two threads, it is no different here. The two users are causing two threads to access the account database at the same time. |