[PATCH 0/4] tsan fixes

[Emilio Cota]

Hi,

Here are some fixes for tsan issues that I've encountered.

The most important patch is 3/4, which allows us to run tsan for
non-trivial workloads.

Thanks,
                Emilio