"Qingqing Zhou" <zhouqq@cs.toronto.edu> writes:
> A wild guess is that when we continue to sleep on the semaphore, magically
> we get it, but how come?
Buggy SysV semaphore support in the kernel, maybe? What platform is
this exactly?
regards, tom lane