Data races are covered: https://harmony.cs.cornell.edu/book/#sec-57

Threads+locking introduce data race issues into Harmony's model. As far as I can tell.