资源预留模式的锁定和隔离

Question

我需要使用 Spring 和 MariaDB 解决资源预留模式。 问题很简单，我有一张来宾表，用于存储活动的客人姓名，我必须确保活动的客人人数必须小于或等于最大容量。

这是桌子：

create table guest(
    event int,
    name varchar(50)
)
create index event on guest (event);

什么是正确的数据库锁定程序和隔离级别？ 请考虑此代码将在多线程容器中运行。 我选择使用“SELECT...FOR UPDATE”锁定表，以将锁定限制在一个事件行中。

// START TRANSACTION
@Transactional 
public void reserve(int event, String name){
    getJdbc().query("SELECT * FROM guest WHERE id=? FOR UPDATE",event);
    Integer count=getJdbc().queryForObject("SELECT COUNT(*) FROM guest WHERE id=?",Integer.class,event);
    if(count>=MAX_CAPACITY)
        throw new ApplicationException("No room left");
    getJdbc().query("INSERT INTO guest VALUES (?,?)",event,name);
}
// COMMIT

我做了一些测试，似乎我需要 READ_COMMITTED 隔离级别，对吗？ 这是我发现的：

这是我第一次必须更改隔离级别，对此我感到有些惊讶，您能否确认标准 MariaDB 隔离级别 REPETABLE_READ 因这种模式而失败？

Answer 1

问题是，在线程 2 中的事务期间，repeatable_read 保证您看到数据库处于事务开始时的状态。因此，当时尚未完成的交易 1 的影响将被隐藏。 因此，您将始终看到相同数量的记录，独立于其他交易同时进行的操作。所以两个事务都会插入一条记录。

READ_COMMITTED 表示根据文档：“每次一致读取，即使在同一个事务中，也会设置并读取自己的新快照”。新快照意味着，提交的并发事务的结果将被包括在内。

Answer 2

解决问题的建议。这涉及保留一个计数器而不是执行COUNT(*)。 （是的，这违反了没有多余信息的原则。）

CREATE TABLE EventCount ( event ..., ct INT ..., PRIMARY KEY(event) ) ENGINE=InnoDB;

START TRANSACTION;
    INSERT ...;
    UPDATE EventCount
        SET ct = ct + 1
        WHERE event = ?;
    ct = SELECT ct FROM EventCount WHERE event = ?;
    if (ct > max)
    {
        ROLLBACK;
        exit;
    }
COMMIT;

（警告：我尚未验证这是否适用于您的情况。）