TL;DR 什么也没学到

课程首页

Coursera-课程-A, B, C

介绍当中说，本课程主要内容是FP，并且顺道讨论一下程序语言的设计。

UW官方上面的课程只有Slides和assignments，video不提供。Coursera有video，但是 …

什么是Ceph

Ceph是一个可扩展的，高性能的分布式存储系统。提供了三种不同类型的接口以适应不同的应用场景：

• block-based: 块存储，可以用做VM的虚拟磁盘
• object-based: 对象 …

本文使用了一种概率算法，不是正解，只求骗分。

题意

原题

给一个长度为n的数组A[1...n]。

现在有q个查询请求（q <= 1e5），每个请求给定一个长度为m的子数组A …

背景

MIT6.824是一个用来学习分布式系统的非常好的资源。其中第二个课程作业就是关于Raft算法。

由于在工作中涉及到分布一致性算法的调研，接触了paxos/raft算法。然后被@neutronest安利了一发，于是开始 …

PacificA是一个框架

虽然在题目中我们把Paxos、Raft和PacificA并列，但是Paxos和Raft在论文中称自己为一种“算法”（algorithm）；而PacificA对自己的定位是一种通用的，强一致的数据同步框架。

在论文中，作者提到现有的可证明的数据同步协 …

什么是类型擦除

对于Python这种动态类型语言来说，是不存在“类型擦除”这个概念的。Python对象的行为并不由接口定义，而是由“当前方法和属性的集合”决定。

所以，以下的代码是完全合 …

背景

Win10里面的WSL（Windows Subsystem For Linux)算是一个开发神器了，虽然功能不是100%完善，但是对于轻度开发已经足够了。现在我的日常开发，就是一个 …

书接上文 - Multi Paxos

在上一篇文章中，我们提到了Basic Paxos和Multi Paxos的异同。在Paxos Made Simple论文中，作者提到了Multi Paxos的一种实现。这个实现允许我们对一个连续的数 …

一致性协议 - Paxos

在分布式系统当中，我们往往需要保持节点之间的一致性。在绝大多数情况下，我们需要让系统中的节点相 …

背景

之前一直在用七牛云的存储做图床（简称白嫖）。但是免费的午餐必然不会长久，七牛要求所有bucket都要绑定备案过的域名，否则就停掉你的bucket的外链。这 …