文章

本文概述 Facebook F4 面向温数据对象存储的架构设计，以及纠删码和跨机房容错方案。

本文总结 Facebook Haystack 针对图片热存储场景的单机对象存储引擎设计与优化思路。

本文介绍 Raft 的选主与日志复制机制，并对其与 Paxos 在理解和实现上的差异做了讨论。

本文概述 Paxos 的核心 safety 性质、提议流程，以及单条法案共识问题的基本推导。

梳理 Amazon Dynamo 论文中的一致性、复制、冲突处理与路由设计，并总结其为高可用 Key-Value 存储做出的关键工程取舍。

本文梳理 C++ 中 const 的三种常见用法，分析其语义混淆与局限，并讨论 constexpr 等替代思路。

在老赵的博客上看到这样一道题，觉得非常有意思，难度适中，非常适合作面试题。试着用自己的方法解释清楚这道题的解法。

很多人都不明白，不同的编程语言具有不同的表述能力，这就是我们为什么有了汇编之后还需要更高级的编程语言。在软件规模愈发庞大的现在，C 和 C++ 语言表述能力的不足越发的明显了。我们应该尽可能的选用高级的编程语言完成我们的任务，在需要性能的地方，使用 Profiling，而不是在…

实际使用中会有需要提前检测出是否会发生算数溢出，C# 语言中提供了 checked 关键字来解决这一问题，C/C++ 语言又该怎样做呢？本文从汇编语句的层面，对几种检查加法溢出的方法进行了比较和分析。受实验环境和个人知识所限，本文的应用范围仅限于 X86-64 体系结构。

现在一谈到补码，很多人都会立刻说补码就是反码加一，虽然没说错，但是却没说到点子上。我更希望能够听到有人说补码就是负数对应原码的表示方式。这篇文章主要论述补码的本质，以及有符号整数二进制表示的原因。