To me it sounds like this all is the wrong place to fix these problems, but then again, these problems are extremely hard for the compiler to optimize.

I personally would opt for explicitly separating the reads from the writes, because

a) the flow of the program gets extremely complicated this way (it's hard to read the order in which instructions are executed)

b) it would avoid race conditions (or worst case make them a lot more obvious.)