"It is clear from the AECL documentation on the modifications that the software allows concurrent access to shared memory, that there is no real synchronization

"It is clear from the AECL documentation on the modifications that the software allows concurrent access to shared memory, that there is no real synchronization aside from data stored in shared variables, and that the "test" and "set" for such variables are not indivisible operations. Race conditions resulting from this implementation of multitasking played an important part in the accidents." To think all the reasons I ever disliked working with raw threads, could kill someone. I know it was 1984 but if software did this today, the developers would be torn limb to limb as this is practically an interview problem.