gydtep

对于老年痴呆，及早的发现和干预是非常重要的，但是筛查和及早干预一直是个难题。在这过程中，AI有没有办法解决或者助力这样的难题？达摩院有一些团队开始在做这样的尝试，能不能把原来靠人工询问、判断的问题通过机器更好地做到。这个问题同样不简单，需要能够捕捉老年人各种各样的情况并做判断，这背后需要非常综合的技术能力。

gydtep

如何解决大的子系统的碳排放问题就变得非常关键。对计算来说，原来大家的认知是数字不会产生碳，但是数字背后是计算，计算也需要电，如何让计算变得更加绿色？这是非常有价值的一个切入点。

gydtep

未来，如何让我们的数字伙伴们变得更加可靠、可信、可用，是我们要解决的问题。阿里巴巴今年专门成立了人工智能治理和可持续发展实验室（AAIG），就是为了解决这些问题。

gydtep

本文基于MySQL 8.0，但在大多数的设计思路上MySQL的各个版本都是一致的。考虑到篇幅有限，以及避免过多信息的干扰，从而能够聚焦Undo Log本身的内容，本文中一笔带过或有意省略了一些内容，包括索引、事务系统、临时表、XA事务、Virtual Column、外部记录、Blob等。

gydtep

本文基于MySQL 8.0，但在大多数的设计思路上MySQL的各个版本都是一致的。考虑到篇幅有限，以及避免过多信息的干扰，从而能够聚焦Undo Log本身的内容，本文中一笔带过或有意省略了一些内容，包括索引、事务系统、临时表、XA事务、Virtual Column、外部记录、Blob等。

gydtep

当一个Page写满后，会调用trx_undo_add_page来在当前的Undo Segment上添加新的Page，新Page写入Undo Page Header之后继续供事务写入Undo Record，为了方便维护，这里有一个限制就是单条Undo Record不跨page，如果当前Page放不下，会将整个Undo Record写入下一个Page。

gydtep

当事务结束（commit或者rollback）之后，如果只占用了一个Undo Page，且当前Undo Page使用空间小于page的3/4，这个Undo Segment会保留并加入到对应的insert/update cached list中。

gydtep

多版本的目的是为了避免写事务和读事务的互相等待，那么每个读事务都需要在不对Record加Lock的情况下， 找到对应的应该看到的历史版本。

gydtep

作为存储历史版本的Undo Record，其中记录的trx_id就是做这个可见性判断的，对应的主索引的Record上也有这个值。当一个读事务拿着自己的ReadView访问某个表索引上的记录时，会通过比较Record上的trx_id确定是否是可见的版本，

gydtep

Undo本身也有自己对应的Redo Log类型：MLOG_UNDO_INIT类型在Undo Page舒适化的时候记录初始化；在分配Undo Log的时候，需要重用Undo Log Header或需要创建新的Undo Log Header的时候，会分别记录MLOG_UNDO_HDR_REUSE和MLOG_UNDO_HDR_CREATE类型的Redo Record；