A Survey of Methods for Preventing Race Conditions

Software analysis can be an extremely powerful tool. It has been used to find bugs and ensure program correctness in a large variety of situations. As time goes on, i