本文介绍了Leslie Lamport的“TLA+入门”课程中的事务提交和两阶段提交算法，强调在分布式系统中，多个资源管理器需一致决定事务的提交或中止，以确保所有资源管理器达到相同状态，遵循稳定性和一致性原则。

本文介绍了MySQL中的全文索引及其插入过程。全文索引基于倒排索引，支持关键词搜索文档。插入时，文档分词并缓存，分为写入行记录、事务提交和刷脏三个阶段。事务提交时，分词结果添加到缓存，达到阈值后刷新到磁盘，系统崩溃后可恢复缓存数据。