Data races are covered: https://harmony.cs.cornell.edu/book/#sec-57 https://harmony.cs.cornell.edu/book/#sec-57 Threads+locking introduce data race issues into

Data races are covered: https://harmony.cs.cornell.edu/book/#sec-57 https://harmony.cs.cornell.edu/book/#sec-57 Threads+locking introduce data race issues into Harmony's model. As far as I can tell.