验证事务隔离性的过程，CPDA 的这本书里讲得还挺细。用的例子是两个事务同时 update 一张 ORC 表，一个没提交，另一个就得等着。这种场景在数据一致性测试里蛮常见，是你搞 Hive、ORC、事务表的时候，用来验证隔离级别效果还不错。文中还贴了个存储过程写法，PL/SQL 风格的，看起来有点绕，但逻辑清晰：先开一个事务更新值，另一个事务也试着更新，看有没有被阻塞。执行时记得设置下环境变量：set_env('plsql.catch.hive.exception', true)，不然报错信息就打不出来了。