Re: Proposed change to make cancellations safe - Mailing list pgsql-hackers

From Shay Rojansky
Subject Re: Proposed change to make cancellations safe
Date
Msg-id CADT4RqAoEVJ+8hiy+1ZGZFwjUC0vyE_nxq4Cc+2ur96mr3C2rA@mail.gmail.com
Whole thread Raw
In response to Re: Proposed change to make cancellations safe  (Tom Lane <tgl@sss.pgh.pa.us>)
Responses Re: Proposed change to make cancellations safe  (Tom Lane <tgl@sss.pgh.pa.us>)
List pgsql-hackers
We really do need "cancel up to" semantics for reliable behavior.
Consider the case where the client has sent the query (or thinks it has)
but the server hasn't received it yet.  If the cancel request can arrive
at the server before the query fully arrives, and we don't have "cancel
all messages up through N" semantics, the cancel will not do what the
client expects it to.

Keep in mind that in the case of a cancellation arriving really too early, i.e. before any messages have been received by the server, it will be totally ignored since at the time of reception there's nothing for the server to cancel yet. This may seem a bit exotic, although if you really want to provide air-tight cancellation semantics you could have the server track unfulfilled cancellation requests. In other words, if the server receives "cancel up to X" and is now processing X-5, the cancellation request is kept in memory until X has been duly cancelled.

pgsql-hackers by date:

Previous
From: Christian Ullrich
Date:
Subject: Re: pgsql: Add putenv support for msvcrt from Visual Studio 2013
Next
From: Tom Lane
Date:
Subject: Re: Proposed change to make cancellations safe