Andres Freund <andres@anarazel.de> writes:
> Without yet having analyzed this deeply, could it actually be that the
> reason is that sem_post/wait aren't proper memory barriers? On a glance
> the symptoms look like values have been modified without proper locks...
Hmm, possible ...
regards, tom lane
