nyaaar's Blog

请停止食用麦当劳,多加运动。

continuation 与 call/cc

总结FPSICP

这两个函数式中的概念很重要又有些难以理解,我在这里理解理解。

Y 组合子的推导过程

SchemeFP

再推一遍仍然令人感叹啊,define 也能被实现了,就像是公理突然退化成了定理一样,整个推导过程也令人头晕。

五种 IO 模型与它们背后的消耗

操作系统

不同的 IO 模型之间有什么区别?在逐渐演进的过程中,哪些问题得到改善了,哪些没有?我们应该怎么选择自己业务逻辑应该使用的 IO 模型?

MySQL 的幻读与 MVCC,锁

database

众所周知,数据库的事务隔离级别有四种,后一种解决了前一种所存在的一种并发性问题。MySQL 默认隔离级别为 RR,可重复读,而它额外做了一些操作来防止幻读,但又没完全防止,不然它就是串行化了。那么它是怎么做的呢?