1. A code generator for generating, from code in a program, native code executable by a computer system, the code generator comprising: A. a code portion receiver configured to receive a portion of the program code for which the native executable code is to be generated B. a synchronization statement detector configured to determine whether the received program code portion includes a statement for synchronizing access by multiple execution threads to at least one variable contained within the obtained code; and C. a native code generator configured to, in response to positive determination by said synchronization statement detector, generate native code for the synchronization statement including a wait-free synchronization construct to synchronize access to the at least one variable.