本文是 Why Functional Programming Matters（为什么函数式编程很重要）的阅读笔记，用相对通俗的语言解读了这篇论文，并对我觉得重要的一些点做了一些解释。
Why Functional Programming Matters 阅读笔记
LockFree数据结构的内存回收性能测试 阅读笔记
最近在搞性能优化，读了一篇挺有意思的相关论文。
Performance of memory reclamation for lockless synchronization
这篇论文测试了几种LockFree数据结构的内存回收性能和简单的分析。
Data Storage Management in Cloud Environment
这是一篇综述性质的文章，讲的是云计算环境的数据存储，这里先罗列下文章目录结构。
Introduction
Overview
A Comparison of Data-Intensive Networks
Terms and Definitions
Data-intensive Application
Architecture, Goals and Chanllenges of Intra-Cloud Storage
Architecture, Goals and Chanllenges of Inter-Cloud Storage
Data Model
Data Structure
Data Abstraction
Data Access Model
...
《挑战程序设计竞赛》读书笔记（三）图算法 图搜索 最短路 最小生成树
本文是《挑战程序设计竞赛》读书笔记的第三篇，主要涉及图算法，图的搜索，单源最短路和所有点对的最短路Floyd算法，最小生成树算法。文中解释了Roadblocks问题：求出图中指定的起点s和终点e之间次短路（第二短的路径）；Conscription招兵问题。
浅析分布式一致性模型
本文讲述分布式系统的一致性模型
Anna KVS中的Lattice是什么？
Anna KVS官网对Anna的特性总结得非常到位：1. Crazy Fast, 2. Super-Scalable, 3. Flexibly Consistent。这里只关注Flexibly Consistent这一项，讲讲Anna是怎么实现灵活的consistency的。这篇博客算是论文导读，详细内容读者仍要仔细阅读论文原文 Anna: A KVS For Any Scale。
Lattice是什么，基于格怎么实现灵活的多种一致性，漫谈Consistency和Isolation Level。
How to Architect a Query Compiler Revisited
How to Architect a Query Compiler, Revisited》 SIGMOD'168
数据库执行一个查询的流程包括前端语法解析、优化器以及后端解释执行。语言编译器的流程与之类似，除了最后一步会编译成机器码执行，DBMS一般还是解析执行的。
在相当长一段时间内，硬盘IO是主要的性能瓶颈，计划的解释执行有利于移植，因此将解释执行替换成编译执行没有太大必要。但NVM硬件发展和业务对AP型查询需求增多，使得很多时候查询是...
Cwinux源码解析（五）
介绍Cwinux中关于Reactor模式的具体实现。
Spanner: Becoming a SQL System论文阅读笔记
继2012年在OSDI年发表了Spanner论文《Spanner: Google’s Globally-Distributed Database》之后，Google在SIGMODE'17上发表了第二篇关于Spanner的论文《Spanner: Becoming a SQL System》。从整个的数据库系统角度看，2012年那篇讲是的Spanner的下半部分Storage Engine的一些feature：数据自动分区和全球部署、多副本Paxos高可用、支持外部一致性的分布式事务。2017年这篇主要讲是讲数据库的上半部分...
Redis简介
Redis 是完全开源免费的，遵守BSD协议，是一个高性能的key-value数据库。
Redis 与其他 key - value 缓存产品有以下三个特点：
Redis支持数据的持久化，可以将内存中的数据保存在磁盘中，重启的时候可以再次加载进行使用。
Redis不仅仅支持简单的key-value类型的数据，同时还提供list，set，zset，hash等数据结构的存储。
Redis支持数据的备份，即master-slave模式的数据备份。
产品特征
...