raft
一、Raft算法概述
不同于Paxos算法直接从分布式一致性问题出发推导出来，Raft算法则是从多副本状态机的角度提出，用于管理多副本状态机的日志复制。Raft实现了和Paxos相同的功能，它将一致性分解为多个子问题：Leader选举（Leader election）、日志同步（Log replication）、安全性（S...
Rdsn Task
2019-10-11
一、global相关
service_spec: global specification
成员变量：
std::vector
成员函数： bool init() 1.从配置文...
Rdsn Rpc
2019-09-27
整体结构：
上层逻辑处理
| ...
Leveldb
2019-09-21
Log files
log文件保存一系列的最新更新，每次更新都追加到当前的log文件中，当log文件达到其预定义的size上限时，其将会被转换成sorted table（*.ldb），并且创建一个新的log文件用于接收更新。在内存中保存当前log文件的副本(memtable)，每次读都会查阅一次memtable，以便每次读取的时候都可以...
Rdsn Http
2019-09-18
http请求：http://ip:port/
http_service:
- 成员变量：std::map<std::string, http_callback> _cb_map，保存了method pat...
Volatile
2019-09-16
Q: Why do we use volatile keyword?
A: Consider this code:
int some_int = 100;
...
Atomic Memory Order
2019-08-30
虽然是六种类型，但是理解了四种同步的情形基本就差不多了。
对于单线程来说，编译器会在不影响程序执行结果的前提下对原子语句顺序进行重排，同时有些弱序cpu(spark是弱序，但x86是强序)也会对指令执行顺序进行重排。但是>这种重拍对于多线程来说可能就会造成问题。
-
Sequential consistency: 即对于...
lsm
2019-08-26
- 导引
随着activity flow(活动流)管理系统中的long-lived(长生命期)事务的商业化使用，针对事务日志记录提供索引化的访问需求也在逐步增长。传统的，事务日志机制主要专注于失败和恢复，需要系统能够在偶然的事务回滚中可以回退到一个相对近期的正常历史状态，而恢复的执行则通过批量化的顺序读取完成。然而，随着系统需要管理越来越多的复...