具有更松散隔离的一致数据

Question

我们发现了一个关于数据库事务隔离级别的令人困惑的错误。 假设我们有一个业务逻辑将当前库存水平降低给定数量，如下所示：

final int currentStockAmount = stockLevelModel.getAvailableAmount();
currentStockAmount.setAvailableAmount(currentStockAmount - 1); // 1 is just a sample value
modelService.save(currentStockAmount);

我们在高峰期注意到这种逻辑是错误的。 由于高并发，许多库存水平没有适当降低。

我们创建了一个多线程集成测试，以以下方式检查每个隔离级别设置：

    @Test
    public void testWithTransactionIsolationLevelRepeatableRead() {
        final Callable<Void> task = () -> {
            Transaction tx = Transaction.current();
            tx.setTransactionIsolationLevel(Connection.TRANSACTION_REPEATABLE_READ);
            tx.begin();

            // service call, which will lock and decrease the stock

            tx.commit();
            return null;
        };

        runTest(task);
    }

    private void runTest(final Callable<Void> task) {
        final List<Callable<Void>> callableList = new ArrayList<>();
        for (int i=0; i<TASK_COUNT; i++) {
            callableList.add(task);
        }

        try {
            final ExecutorService executor = Executors.newFixedThreadPool(THREAD_COUNT);
            executor.invokeAll(callableList);
            executor.shutdown();
        } catch (InterruptedException e) {
            e.printStackTrace();
        }

        Assert.assertEquals(0, modelService.get(testItemPK).getAvailableAmount());
    }

令我们惊讶的是，当使用最弱的隔离级别时，我们得到了有效的结果： READ_UNCOMMITED和READ_COMMITED 。 REPEATABLE_READ给出了错误的结果。 对此有解释吗？

SERIALIZABLE遇到了死锁。 该项目使用MySQL 8.0。 根据文档，默认隔离级别是REPEATABLE READ 。