如 第 44.8 节 所述,从数据库访问导致的错误中恢复可能会导致一些操作在其中一个操作失败之前成功,并且在从该错误中恢复后,数据处于不一致的状态。PL/Tcl 以显式子事务的形式为这个问题提供了解决方案。
考虑一个实现两个帐户之间转账的函数
CREATE FUNCTION transfer_funds() RETURNS void AS $$ if [catch { spi_exec "UPDATE accounts SET balance = balance - 100 WHERE account_name = 'joe'" spi_exec "UPDATE accounts SET balance = balance + 100 WHERE account_name = 'mary'" } errormsg] { set result [format "error transferring funds: %s" $errormsg] } else { set result "funds transferred successfully" } spi_exec "INSERT INTO operations (result) VALUES ('[quote $result]')" $$ LANGUAGE pltcl;
如果第二个 UPDATE
语句导致引发异常,此函数将记录失败,但第一个 UPDATE
的结果仍将提交。换句话说,资金将从 Joe 的帐户中提取,但不会转入 Mary 的帐户。这是因为每个 spi_exec
都是一个单独的子事务,并且只有其中一个子事务被回滚。
要处理此类情况,您可以将多个数据库操作包装在一个显式子事务中,该子事务将作为一个整体成功或回滚。PL/Tcl 提供了一个 subtransaction
命令来管理此操作。我们可以将我们的函数重写为
CREATE FUNCTION transfer_funds2() RETURNS void AS $$ if [catch { subtransaction { spi_exec "UPDATE accounts SET balance = balance - 100 WHERE account_name = 'joe'" spi_exec "UPDATE accounts SET balance = balance + 100 WHERE account_name = 'mary'" } } errormsg] { set result [format "error transferring funds: %s" $errormsg] } else { set result "funds transferred successfully" } spi_exec "INSERT INTO operations (result) VALUES ('[quote $result]')" $$ LANGUAGE pltcl;
请注意,为此目的仍然需要使用 catch
。否则,错误将传播到函数的顶级,从而阻止对 operations
表进行所需的插入。subtransaction
命令不会捕获错误,它只确保在其作用域内执行的所有数据库操作在报告错误时一起回滚。
显式子事务的回滚发生在包含的 Tcl 代码报告的任何错误上,而不仅仅是源自数据库访问的错误。因此,在 subtransaction
命令内引发的常规 Tcl 异常也会导致子事务回滚。但是,包含的 Tcl 代码的非错误退出(例如,由于 return
)不会导致回滚。