分布式系统的happen-before关系是个偏序关系,并且我们扩展为一个全序关系并用于分布式资源协调问题的求解。但是即使在全序关系下,会有异常情况发生,这里通过同步时钟来避免异常现象。本文解读了Lamport的经典论文,Time, Clocks, and the Ordering of Events in a Distributed System。
Basic Paxos证明
Basic Paxos协议的证明过程
WordPress公式范例
没想到wordpress的latex插件支持的这么好。
写了几个例子,右键"Show Math As" "Tex Commands"可以看原始文本。
Google Spanner论文解读
Google Spanner是google在2012年公开的存储系统,它的最大特点就是数据分布在全球范围内,支持外部一致性的分布式事务。本文依据论文解读了该系统的设计和实现。
Percolator论文阅读笔记
Percolator论文解读,Google用于替换MapReduce做页面索引的系统。
再读Bigtable论文
bigtable论文解读。介绍了基本概念、设计实现和一些细节优化。
再读GFS论文
再读GFS的一些笔记。主要涉及GFS架构、Chunk大小选择的一些折中考量、元数据管理及锁、写数据流程、GFS一致性模型的理解、快照的实现原理、过期失效副本检测等几个问题。
浅谈数据库隔离级别
本文介绍了关系型数据库的隔离性。ANSI标准里面定义了Read Committed, Repeatable Read, Serializable隔离级别,Jim Gray等针对ANSI的标准提出了改进,并介绍了Cursor Stability, Snapshot Isolation等隔离级别。
Why Functional Programming Matters 阅读笔记
本文是 Why Functional Programming Matters(为什么函数式编程很重要)的阅读笔记,用相对通俗的语言解读了这篇论文,并对我觉得重要的一些点做了一些解释。
《挑战程序设计竞赛》读书笔记(六)线段树和RMQ
本文是《挑战程序设计竞赛》中线段树一节的读书笔记。主要介绍了线段树和RMQ(range minimun query)的原理和实现。