如第 44.6.2 节所述,从数据库访问导致的错误中恢复可能会导致一种不理想的情况,即某些操作在其中一个操作失败之前成功,并且在从该错误中恢复后,数据会处于不一致的状态。PL/Python 以显式子事务的形式为这个问题提供了一个解决方案。
考虑一个实现两个账户之间转账的函数
CREATE FUNCTION transfer_funds() RETURNS void AS $$ try: plpy.execute("UPDATE accounts SET balance = balance - 100 WHERE account_name = 'joe'") plpy.execute("UPDATE accounts SET balance = balance + 100 WHERE account_name = 'mary'") except plpy.SPIError as e: result = "error transferring funds: %s" % e.args else: result = "funds transferred correctly" plan = plpy.prepare("INSERT INTO operations (result) VALUES ($1)", ["text"]) plpy.execute(plan, [result]) $$ LANGUAGE plpython3u;
如果第二个 UPDATE
语句导致引发异常,则此函数将报告错误,但第一个 UPDATE
的结果仍将被提交。换句话说,资金将从 Joe 的帐户中提取,但不会转移到 Mary 的帐户中。
为了避免此类问题,您可以将您的 plpy.execute
调用包装在显式子事务中。plpy
模块提供了一个辅助对象来管理显式子事务,该对象使用 plpy.subtransaction()
函数创建。由此函数创建的对象实现上下文管理器接口。使用显式子事务,我们可以将我们的函数重写为
CREATE FUNCTION transfer_funds2() RETURNS void AS $$ try: with plpy.subtransaction(): plpy.execute("UPDATE accounts SET balance = balance - 100 WHERE account_name = 'joe'") plpy.execute("UPDATE accounts SET balance = balance + 100 WHERE account_name = 'mary'") except plpy.SPIError as e: result = "error transferring funds: %s" % e.args else: result = "funds transferred correctly" plan = plpy.prepare("INSERT INTO operations (result) VALUES ($1)", ["text"]) plpy.execute(plan, [result]) $$ LANGUAGE plpython3u;
请注意,仍然需要使用 try
/except
。否则,异常将传播到 Python 堆栈的顶部,并导致整个函数因 PostgreSQL 错误而中止,因此 operations
表不会插入任何行。子事务上下文管理器不会捕获错误,它仅保证在其作用域内执行的所有数据库操作将以原子方式提交或回滚。子事务块的回滚发生在任何类型的异常退出时,而不仅仅是那些由数据库访问引起的错误。在显式子事务块中引发的常规 Python 异常也会导致子事务回滚。
如果您发现文档中有任何不正确的地方,与您对特定功能的体验不符或需要进一步澄清,请使用此表单报告文档问题。