thotf

摘要： 第六项拆弹集合了1-5所有的内容，所以看起来比较复杂，本文只对此进行分析 地址401106 将数据按顺序入栈。 40117 - 401121 判断输入的第一个数减1是否是无符号<=5的值，因为是无符号，所以输入的每个数必须大于0，不然计算后会得到大于5的值 跳转到401128 eax ：0下标的值 阅读全文

摘要： FaRM以及乐观锁并发控制 讨论FaRM1的原因，因为它是事务和Replication以及数据分片这块最后一片paper，这依然是一个开放的研究领域。人们对这块的性能依旧不满意，人们在性能和一致性方面，人们想要做出一定的取舍。这些新的具备RDMA能力的NIC拥有巨大的性能潜力，从而激发了人们写出这篇 阅读全文

摘要： 这是一个很少见的例子，提供了针对分布范围很广的分离数据的分布式，这些数据可能分散在整个internet下不同的数据中心。 希望使用的原因： 我们希望使用分布式事务，保证程序的正确性 并且希望将数据分散在网络上获得容错 以次确保每个想要使用该书记肚饿人的附近都有该数据的一分副本 spanner 至少使 阅读全文

摘要： 分布式事务主要有两部分组成。第一个是并发控制（Concurrency Control）第二个是原子提交（Atomic Commit）。 之所以提及分布式事务，是因为对于拥有大量数据的人来说，他们通常会将数据进行分割或者分片到许多不同的服务器上。假设你运行了一个银行，你一半用户的账户在一个服务器，另一 阅读全文

摘要： 本文重点 缓存一致性、分布式事务、分布式故障恢复 设计和功能之间的关联。 缓存一致性是指，如果我缓存了一些数据，之后你修改了实际数据但是并没有考虑我缓存中的数据，必须有一些额外的工作的存在，这样我的缓存才能与实际数据保持一致。 Frangipani就是一个网络文件系统（NFS，Network Fil 阅读全文

摘要： Aurora 的发展史 https://mit-public-courses-cn-translatio.gitbook.io/mit6-824/lecture-10-cloud-replicated-db-aurora/10.1-aurora-bei-jing-li-shi 最早是EC2，装满服务 阅读全文

摘要： CRAQ是对于一个叫链式复制（Chain Replication）的旧方案的改进。Chain Replication实际上用的还挺多的，有许多现实世界的系统使用了它，CRAQ是对它的改进。CRAQ采用的方式与Zookeeper非常相似，它通过将读请求分发到任意副本去执行，来提升读请求的吞吐量，所以副 阅读全文

摘要： 什么是线性一致性 是一种强一致性的标准，一个系统的执行历史是一系列的客户端请求，或许这是来自多个客户端的多个请求。如果执行历史整体可以按照一个顺序排列，且排列顺序与客户端请求的实际时间相符合，那么它是线性一致的。 线性一致是一个非常以客户端为中心的定义，它表明客户端应该看到怎样的请求顺序。 一个历史 阅读全文

摘要： lab2 C 实现的就是持久化非常简单，在mit提供的框架中，持久化是存储在内存中。 首先看论文 需要持久化的元素。 根据lab2C的描述中我们可以知道需要实现的函数： persist 持久化 readPersist 读取持久化数据 实现方式也给了例子非常简单： func (rf *Raft) pe 阅读全文

摘要： lab2 说明： https://pdos.csail.mit.edu/6.824/labs/lab-raft.html 参考博客： https://zhuanlan.zhihu.com/p/514512060 https://blog.csdn.net/weixin_45938441/articl 阅读全文