cc-3-2

占坑。。

Read More

introduction to big data system

1-2. introduction

跟传统数据分析处理比起来,有三个明显区别。

Read More

CC(3) 2PL(1)

两阶段锁协议(2 phase lock, 简称2pl)是非常非常重要的一种并发控制的方法。现有的很多商业软件中都使用这种方法。这一章会重点介绍2pl,开始时候介绍单机的2pl,之后经过简单的调整就可以用到多机上。

Read More

Distributed snapshot

这篇文章是介绍Chandy和Lamport关于做分布式系统中snapshot的算法。原论文题为:《Distributed Snapshots: Determining Global States of Distributed Systems

Read More

GFS

这学期上了康总的分布式系统的课程,每一节课学习一两篇分布式的论文。所以这里会有一个系列的文章,介绍这些论文,权当做一个复习资料。

Read More

CC(2) "2. Serializability Theory(下)"

第二章下半部分

Read More

CC(2) "2. Serializability Theory(上)"

本文是《Concurrency Control》的第二章,介绍有关连续性的理论。通过这些理论,我们能够搞明白一个问题,什么情况下concurrency的执行是正确的。很多新的transaction算法都是需要证明该算法是serializable的。

Read More

CC(1) "1. The Problem"

接下里我会写一个系列的博客,介绍concurrency control的相关知识。主要是本人看《concurrency control》这本书的读书笔记。会按照个人的理解,进行浓缩或者扩展。

Read More

lock-free

本文是一个翻译,是一个总结,原链接

Read More

Branch-Prediction

现有大部分的cpu的指令都是流水线的,比较标准的如五级流水。即一条指令还没有执行完毕,把下一条指令加载进来,这样可以充分提高cpu的性能。

Read More