巽竹

Paxos算法 是莱斯利·兰伯特（Leslie Lamport，就是 LaTeX 中的"La"，此人在微软研究院）1990年提出的一种基于消息传递的一致性算法。paxos是目前公认的解决分布式共识问题最有效的算法之一，可以说过去几十年里一切分布式一致性算法都来源于它。我们经常可…

本文主要讲解下最近一直听到的红黑树，看看究竟是什么神仙鬼怪。 简单地理解，二叉树（Binary tree）是每个节点最多只有两个分支（即不存在分支度大于2的节点）的树结构。通常分支被称作“左子树”或“右子树”。 要了解红黑树之前，免不了先看下二叉查找树是什么。 因为20 &#x…

设计java的大叔们为了我们方便的自定义各种同步工具，为我们提供了大杀器AbstractQueuedSynchronizer类，这是一个抽象类，以下我们会简称AQS，翻译成中文就是抽象队列同步器。这家伙老有用了，封装了各种底层的同步细节，我们程序员想自定义自己的同步工具的时候，…

如果我们的业务处在一个非常初级的阶段，并发程度比较低，那么我们可以几年都遇不到一次死锁问题的发生，反之，我们业务的并发程度非常高，那么时不时爆出的死锁问题肯定让我们非常挠头。不过在死锁问题发生时，很多没有经验的同学的第一反应就是成为一只鸵鸟：这玩意儿很高深，我也看不懂，听天由命…

本文主要从共享锁（S锁）和独占锁（X锁）出发，详细说明两种锁的加锁机制，以及死锁如何产生。 上一篇文章中我们已经讲解了共享锁和独占锁的基本概念，我这边再详细将一下。 共享锁 Shared Locks （S 锁） 从名字就可以看出来它允许共享，共享的意思是当你给某个事物加上锁后，…

book表中，我们创建了3个索引，id 主键索引， idx_name 和 idx_author_name 2个非主键索引。 从定义来讲，主键索引就是聚簇索引，而非主键索引就是二级索引。一般情况下所有都是BTREE+ 结构的，除非特别指定所有为HASH结构。 BTREE +有文章…

可以查看到change buffer 的相关信息。 author_1 有主键索引，和一个index_name 的二级索引。 这个语句需要修改 2 个页面的数据。 第一处 是 聚簇索引 中的 id =1 条中的数据。 第二处 是 修改二级索引的 name 的数据。 页6 和 页 …

引入了Buffer Pool 之后的确给数据的读写提升了效率。当然也同时带来了问题。 我的账户余额有200块钱，发工资那天公司汇进来5000块钱。 我们知道执行更新后，数据只是放在Buffer Pool 中，磁盘文件中还是老数据。可是偏偏倒霉，这时候服务器断电了，内存中的数据一…

现在有两张表，一张 shool表，一张 student表。 各插入1000条数据 （使用STRAIGHT_JOIN） 是防止Mysql 优化器自动优化，具体优化逻辑此处不展开，后续有机会详聊。 可以看到student 为 驱动表， school 为 被驱动表. 首先对stude…