花生炒花生

这篇博客的灵感主要来源于 Git Commit Object 和 GoLang Context，两者在使用中都算是不可变对象……

简单来说，协变就和面向对象概念中的多态一样，指可以使用父类型引用指向子类型实例的情况。 首先，对于 C → * 来说都是不行的，因为 f 调用函数时参数类型可能是 B 或 B 的其他子类型，而 C → * 只支持 C 类型的入参。 然后，对于 * → A 来说也是不行的，因为 …

我的书是《算法 第 4 版》，上面的 KMP 是基于 DFA 实现的，而 Google 出来的大多是基于 PMT 的，似乎是《算法导论》那本书上的。 虽然实现方式咋一看是不一样的，但是了解了一番后，发现，两个实现思路是一样的，难怪都叫 KMP 算法。 这篇博客的主要内容就是 K…

MVCC 多版本并发控制，顾名思义，是用于实现并发控制的一种机制，而在数据库中，并发控制往往是针对 事务 来进行的，因此， 在了解 MVCC 之前应该先对事务具有一定的了解。 同时，MVCC 只在 RC(READ COMMITTED) 和 RR(REPEATABLE READ)…

在学习 JUC 的过程中我发现，JUC 这个包下面的文档写的十分的好，清楚又易于理解，这篇博客便是参考 JUC 中和 Executor 框架相关的一些类文档汇总出来的。 当然了，Executor 框架涉及到的类还是不少的，全部汇总的话时间成本太高，有点亏，所以这里主要就集中在了…

在 Java 中，动态代理是一个很常用的功能，虽然说一般不需要自己直接去用，但是了解它们是怎么回事还是很有必要的。 这篇博客的主要内容便是 JDK 动态代理和 CGLIB 动态代理的简单使用和理解。 上面的例子中，目标接口为 [TargetInterfaceA, TargetI…

最开始听到偏向锁、轻量级锁和重量级锁的概念的时候，我还以为是 Java 中提供了相应的类库来实现的，结果了解后才发现， 这三个原来是虚拟机底层对 synchronized 代码块的不同加锁方式。 因此，不了解这三者的概念其实是不影响 synchronized 的使用的（大概），…

第一次接触异步编程这个概念是在 Python 里面，去年的时候就因为不清楚 Python 中异步编程的实现原理找了很多资料研究，但最后也没有搞得很清楚。 当时我那个心情啊，太曲折了，于是乎决定找个时间在研究一下 Python 中的异步，这便是这篇博客的由来。 我先后接触过了 P…

数次试图入坑 LaTeX，但是都因为 LaTex 中各种复杂的概念被劝退，但是，在前两天，我感觉我似乎成功入坑了，所以，准备把我入坑过程中遇到的问题总结下来。 首先需要明白的是，TeX(LaTeX) 是一个页面排版系统，因此除了 TeX 这个标记语言本身以外，还涉及到了一些其他…