Обсуждение: BUG #18294: Manual savepoints do not work with JDBC param cleanupSavepoints=true
BUG #18294: Manual savepoints do not work with JDBC param cleanupSavepoints=true
От
PG Bug reporting form
Дата:
The following bug has been logged on the website: Bug reference: 18294 Logged by: Ondrej Bouda Email address: obouda@gk-software.com PostgreSQL version: 16.1 Operating system: Linux Description: We come across a bug when it is not possible to roll back to a manual savepoint. The rollback fails with error: Error during rollback to savepoint. org.postgresql.util.PSQLException: ERROR: savepoint "SAVE_TEST_01" does not exist Steps to reproduce: 1/ Connect via JDBC with JDBC params autosave=always&cleanupSavepoints=true. 2/ Create a manual savepoint: savepoint SAVE_TEST_01; 3/ Try to roll back => error: rollback to SAVE_TEST_01; Reproduced with: * JDBC driver ver. 42.7.1 * PostgreSQL ver. 16.1 + 15.5 + 14.10 The error occurs when using SQL statements as well as when using the JDBC API for savepoint/rollback (Connection.setSavepoint + Connection.rollback). The documentation for the cleanupSavepoints parameter reads: "Determines if the SAVEPOINT created in autosave mode is released prior to the statement." * https://jdbc.postgresql.org/documentation/use/ * I would understand the doc in the way that it should affect just and only the savepoint created by the driver due to the autosave=true param (therefore, manual savepoints should not be affected).
Re: BUG #18294: Manual savepoints do not work with JDBC param cleanupSavepoints=true
От
Dave Cramer
Дата:
On Mon, 15 Jan 2024 at 06:36, PG Bug reporting form <noreply@postgresql.org> wrote:
The following bug has been logged on the website:
Bug reference: 18294
Logged by: Ondrej Bouda
Email address: obouda@gk-software.com
PostgreSQL version: 16.1
Operating system: Linux
Description:
We come across a bug when it is not possible to roll back to a manual
savepoint.
The rollback fails with error: Error during rollback to savepoint.
org.postgresql.util.PSQLException: ERROR: savepoint "SAVE_TEST_01" does not
exist
Steps to reproduce:
1/ Connect via JDBC with JDBC params
autosave=always&cleanupSavepoints=true.
2/ Create a manual savepoint: savepoint SAVE_TEST_01;
3/ Try to roll back => error: rollback to SAVE_TEST_01;
Reproduced with:
* JDBC driver ver. 42.7.1
* PostgreSQL ver. 16.1 + 15.5 + 14.10
The error occurs when using SQL statements as well as when using the JDBC
API for savepoint/rollback (Connection.setSavepoint +
Connection.rollback).
The documentation for the cleanupSavepoints parameter reads: "Determines if
the SAVEPOINT created in autosave mode is released prior to the
statement."
* https://jdbc.postgresql.org/documentation/use/
* I would understand the doc in the way that it should affect just and only
the savepoint created by the driver due to the autosave=true param
(therefore, manual savepoints should not be affected).
Thank you for the report.
Unfortunately, the way Postgresql works as per
RELEASE SAVEPOINT
releases the named savepoint and all active savepoints that were created after the named savepoint, and frees their resources. All changes made since the creation of the savepoint that didn't already get rolled back are merged into the transaction or savepoint that was active when the named savepoint was created. Changes made after RELEASE SAVEPOINT
will also be part of this active transaction or savepoint.all savepoints made after will be released.
I'm not sure how to solve this problem
Dave
Re: BUG #18294: Manual savepoints do not work with JDBC param cleanupSavepoints=true
От
"David G. Johnston"
Дата:
On Tue, Jan 16, 2024 at 7:46 AM Dave Cramer <davecramer@postgres.rocks> wrote:
On Mon, 15 Jan 2024 at 06:36, PG Bug reporting form <noreply@postgresql.org> wrote:The following bug has been logged on the website:
Bug reference: 18294
Logged by: Ondrej Bouda
Email address: obouda@gk-software.com
PostgreSQL version: 16.1
Operating system: Linux
Description:
We come across a bug when it is not possible to roll back to a manual
savepoint.
The rollback fails with error: Error during rollback to savepoint.
org.postgresql.util.PSQLException: ERROR: savepoint "SAVE_TEST_01" does not
exist
Steps to reproduce:
1/ Connect via JDBC with JDBC params
autosave=always&cleanupSavepoints=true.
2/ Create a manual savepoint: savepoint SAVE_TEST_01;
3/ Try to roll back => error: rollback to SAVE_TEST_01;
Reproduced with:
* JDBC driver ver. 42.7.1
* PostgreSQL ver. 16.1 + 15.5 + 14.10
The error occurs when using SQL statements as well as when using the JDBC
API for savepoint/rollback (Connection.setSavepoint +
Connection.rollback).
The documentation for the cleanupSavepoints parameter reads: "Determines if
the SAVEPOINT created in autosave mode is released prior to the
statement."
* https://jdbc.postgresql.org/documentation/use/
* I would understand the doc in the way that it should affect just and only
the savepoint created by the driver due to the autosave=true param
(therefore, manual savepoints should not be affected).Thank you for the report.Unfortunately, the way Postgresql works as perRELEASE SAVEPOINT
releases the named savepoint and all active savepoints that were created after the named savepoint, and frees their resources. All changes made since the creation of the savepoint that didn't already get rolled back are merged into the transaction or savepoint that was active when the named savepoint was created. Changes made afterRELEASE SAVEPOINT
will also be part of this active transaction or savepoint.all savepoints made after will be released.I'm not sure how to solve this problem
This is already an open item in the correct bug reporting location for the driver.
Ideally at minimum the driver could give the user the option to disable the automatic savepoint on a per-statement basis so that when sending the manual savepoint the user can explicitly choose to not protect it with an automatically released savepoint. Though I haven't and won't be testing this theory myself it seems like it should be doable.
For statements that are just a manual savepoint such a temporary mode switch could be done automatically.
Hack the server to have savepoints that do not get automatically released, but can only be released at commit or by naming them explicitly.
BEGIN;
SAVEPOINT AUTO1
INSERT
RELEASE SAVEPOINT AUTO1
SAVEPOINT AUTO2
SAVEPOINT MANUAL1 FIXED
INSERT
RELEASE SAVEPOINT AUTO2
-- MANUAL1 still exists here
SAVEPOINT AUTO3
INSERT
RELEASE SAVEPOINT AUTO3
RELEASE SAVEPOINT MANUAL1
-- No more savepoints
COMMIT;
The manual bypass per-statement seems like a fairly simple solution to at least provide usability if not the most ideal user experience. Auto-detection would end up being interesting if the statement has multiple commands of which savepoint is just one of them.
Hacking the server seems unlikely to be accepted.
David J.