在支付执行中，预算检查与预留需要原子化，否则并发请求可能导致超支。