创建两个表格进行比较：

create table t1(id integer primary key);
create table t2(id integer primary key, num integer);
insert into t1 values (0),(3),(6),(9);
insert into t2 values (0, 0), (3, 3), (6, 6), (9, 9);

启动事务tx1并对表t1执行锁定读取：

start transaction;
select * from t1 where id >=3 and id < 8 for update;

tx1持有的锁如下所示：

现在回滚tx1，启动事务tx2并对表t2执行锁定读取：

start transaction;
select * from t2 where id >=3 and id < 8 for update;

tx2持有的锁如下所示：

tx2的行为符合我对mysql锁定模型的理解，为什么tx1要锁定表t1中的每个索引记录？
===============更新================
现在使用explain，我看到了一些不同之处：

===============更新2 ================
正如@Bill Karwin的回答所指出的，type: index意味着扫描整个索引树，参见ref连接类型。
但是，如果我再插入一行：insert into t1 values (12)，则连接类型更改为type: range，并且不会锁定所有索引记录！

我猜mysql源代码中有一些内部怪癖。