Rainer Tammer <pgsql(at)spg(dot)schulergroup(dot)com> writes:
> The semop() should be interrupted by SIGINT, right?
Yeah. Note that we're expecting the SIGINT handler to do a longjmp,
so that it doesn't matter whether or not the semop would choose to
resume waiting after a signal. But it has to execute the handler.
regards, tom lane