本文详细介绍Redis事务的实现，以及涉及到主从复制的情况。由于持久化涉及Redis文件系统RIO，所以也会对RIO进行介绍。
这是Redis源码分析的系列文章的第四篇，前三篇分别是

1. Redis底层对象实现原理分析
2. Redis Sentinel实现原理分析
3. Redis持久化机制实现

本文介绍MySQL InnoDB下索引、查询的实现以及优化。

本文介绍MySQL InnoDB下锁的实现以及优化。

【未完待续】

Redis持久化机制包括AOF和RDB两种：

1. RDB保存二进制形式的数据库快照。
2. AOF以协议文本的方式，记录数据库写入的指令。

本文详细介绍这两种方式的实现，以及涉及到主从复制的情况。由于持久化涉及Redis文件系统RIO，所以也会对RIO进行介绍。
作为Redis源码分析的系列文章，本文使用的版本和Redis底层对象实现原理分析、Redis Sentinel实现原理分析等文章是相同的。

长沙游记

介绍 Bash

本文介绍 Paxos 算法，包含 Basic Paxos，以及 Raft 作者提出的一个 Multi Paxos 的工程化实现方案。此外，还就 Raft 作者给出的 Paxos 习题进行探讨。

GCC 是 C 和 C++ 的编译器，GLIBC 是 C 库，两个是不同的 Repo。编译顺序是先 GCC 再 GLIBC，这是因为编译 GLIBC 时对 GCC 的版本有要求。

pthread_rwlock系列函数是pthread库的读写锁函数。随着版本的不同，它的实现也不同。
本篇的组织是：

1. 前置知识
   1. GCC的扩展内联汇编
   2. Futex
2. 2.17和2.30两个版本的lowlevellock的实现
3. 2.17和2.30两个版本的pthread_rwlock的实现
   我们的结论是：
   旧版GLIBC使用lowlevellock实现pthread_rwlock；
   新版GLIBC使用原子操作实现pthread_rwlock。
   因此具有不同的ABI

本文介绍在一个较老的环境下编译 V8 引擎，并全静态地链接到既有的游戏服务上。原因是我们需要一个很新的能支持 WebAssembly 的 JS 引擎。经过调研，我们认为使用 V8 是最好的。

游戏服务使用 GCC4.4.6，这是一个非常老的版本，甚至不能完整支持 C++11 标准。而即使是很老版本的 V8 都需要完整的 C++11 支持(GCC 4.8+)。进一步地，最新版本的 V8 需要 C++14 标准的支持：

• v8.h 中出现了诸如 std::remove_cv_t 的 C++14 的标准库函数
• C++14标准编译出来的库也没办法直接和原游戏的目标文件进行链接

因此我们的方案是将游戏中对 V8 强依赖的模块升级成 C++14 标准，主要步骤如下：

1. 从源码构建 GCC 和 GLIBC
2. 从源码构建 V8 静态库 v8_monolith.a
3. 将 V8 静态库、libc++、GLIBC 和游戏模块全静态链接