US7434212B2 - Method and Apparatus to Guarantee Type and Initialization Safety in Multithreaded Programs