MySQL のデータに対してロックフリーでオプティミスティックなロック操作を実装するにはどうすればよいですか?

-- 创建用户表
CREATE TABLE user (
  id INT AUTO_INCREMENT PRIMARY KEY,
  name VARCHAR(100) NOT NULL,
  balance INT NOT NULL
);

-- 插入数据
INSERT INTO user (name, balance)
VALUES ('Alice', 100), ('Bob', 200), ('Charlie', 300);

-- 查询数据
SELECT * FROM user;

-- 无锁化操作示例：Alice向Bob转账100元
BEGIN;
DECLARE @alice_balance INT;
DECLARE @bob_balance INT;
SELECT balance INTO @alice_balance FROM user WHERE name = 'Alice';
SELECT balance INTO @bob_balance FROM user WHERE name = 'Bob';
IF @alice_balance >= 100 THEN
  UPDATE user SET balance = @alice_balance - 100 WHERE name = 'Alice';
  UPDATE user SET balance = @bob_balance + 100 WHERE name = 'Bob';
END IF;
COMMIT;

-- 查询数据
SELECT * FROM user;

-- 创建用户表
CREATE TABLE user (
  id INT AUTO_INCREMENT PRIMARY KEY,
  name VARCHAR(100) NOT NULL,
  balance INT NOT NULL,
  version INT NOT NULL
);

-- 插入数据
INSERT INTO user (name, balance, version)
VALUES ('Alice', 100, 0), ('Bob', 200, 0), ('Charlie', 300, 0);

-- 查询数据
SELECT * FROM user;

-- 乐观锁操作示例：Alice向Bob转账100元
BEGIN;
DECLARE @alice_id INT;
DECLARE @bob_id INT;
DECLARE @alice_balance INT;
DECLARE @bob_balance INT;
SELECT id INTO @alice_id, balance INTO @alice_balance FROM user WHERE name = 'Alice';
SELECT id INTO @bob_id, balance INTO @bob_balance FROM user WHERE name = 'Bob';
IF @alice_balance >= 100 THEN
  UPDATE user SET balance = @alice_balance - 100, version = version + 1 WHERE id = @alice_id AND version = @alice_version;
  UPDATE user SET balance = @bob_balance + 100, version = version + 1 WHERE id = @bob_id AND version = @bob_version;
END IF;
COMMIT;

-- 查询数据
SELECT * FROM user;