跳转到内容
Jason's Study

分布式系统 · 论文 · 第 1 组

待复核

返回论文全景索引

本分块共 100 条，稳定上限为 100 条。

论文Slug难度可信状态简介
AFD Disagg MoE — 把注意力和 FFN 分开摆的 MoE 推理地图afd-disagg-moeunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Akamai 2002 — 把网站搬到离用户 10 毫秒的地方akamai-2002unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Akamai 2010 — 从内容分发网络长成全球应用平台akamai-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Amber — 把用户数据从 Web 应用里拆出来amber-sigmod-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Apollo — 让两万台机器自己决定谁跑哪个任务apollo-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Windows Azure Storage 2011 — 云对象存储第一次在工业界做到强一致azure-storage-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Bayou — 离线先改本地，再回来和别人合并bayou-1995unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Borg 2015 — Google 把一万台机器假装成一台borg-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Borg / Omega / Kubernetes — Google 调度器三代同源borg-omega-kube-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Brewer CAP — 网络一断电，一致性和可用性只能留一个brewer-cap-2000unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
拜占庭将军问题 — 节点能撒谎时怎么达成一致byzantine-generals-1982unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CAP 十二年后 — Brewer 自己承认”三选二”是误读cap-12-years-later-2012unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Ceph — 让分布式文件系统不靠中心查表ceph-2006unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Chain Replication — 把多副本排成流水线，简单且强一致chain-replication-2004unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Chandy-Lamport 1985 — 分布式系统不停机也能拍一张全家福chandy-lamport-1985unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Chubby — 给凡人用的分布式锁服务chubbyunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CIEL 2011 — 让分布式数据流会自己长出下一步ciel-universal-execution-engine-distributed-data-flow-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Consistent Hashing — 加机器只搬一小部分数据的哈希环consistent-hashing-1997unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
COPS — 大规模跨地域存储如何用得起的代价拿到因果一致cops-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CRAQ — 让链复制每个节点都能读，吞吐线性扩展craq-2009unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CRDT JSON 2017 — 给嵌套 JSON 一套有数学证明的合并算法crdt-json-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CRDT — 让多副本各改各的，最终自动合一crdt-shapiro-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CRDT 形式定义 — SSS 2011 八页浓缩版crdt-sss-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Dapper — Google 大规模分布式系统链路追踪基础设施dapper-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Dataflow Model — 流处理的四问框架dataflow-model-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Byzantine Linearizability — 让拜占庭客户端也像排队办业务distributed-snapshot-byzantine-2026unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
DONAR 2010 — 把 DNS 全球调度写成一道可解的优化题donar-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Drizzle — 让 micro-batch 也能跑出 100ms 延迟drizzle-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
DryadLINQ — 把普通 C# 查询变成集群作业dryadlinq-system-general-purpose-distributed-data-parallel-2008unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
D-Streams — 把流处理伪装成一串很小的批dstreams-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
EPaxos — 没有 leader 的 Paxos，让每个副本平起平坐epaxos-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
f4 — Facebook 把 90 天前的旧图片搬到一个省 40% 存储的仓库f4-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
FaRM — 把一排机器的内存当成一个低延迟仓库farm-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Fast Paxos — 给 Paxos 加一条乐观快车道fast-paxos-2006unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Fidge 1988 — 给每个进程一份”账本向量”，让因果关系变成可判定fidge-1988unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Flexible Paxos — 两阶段不一定都要多数派flexible-paxos-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Apache Flink — 流批一体的单引擎flink-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Flink 异步快照 — 不停机给流处理拍一致照片flink-snapshots-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
FLP 1985 — 一个坏节点就能让异步共识永不终止flp-1985unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
GFS 2003 — 把廉价机器拼成大文件仓库gfs-2003unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Gilbert-Lynch 2002 — 把 CAP 从口号写成数学定理gilbert-lynch-2002unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
HDFS — 把 GFS 用 Java 重写一遍并撑到 25 PBhdfs-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Life Beyond Distributed Transactions — 大规模系统下放弃跨机事务的宣言helland-2007unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
HLC 2014 — 把逻辑时钟和物理时钟合一，让普通服务器也能拍一致快照hlc-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
HotStuff — 让换领导也只花线性消息的 BFT 共识hotstuff-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
IronFleet — 把分布式协议证到一行 bug 都没有ironfleet-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Janus 2016 — 把并发控制和共识捏成一个协议janus-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Jupiter — 把 OT 简化成 client-server，让协同编辑能上工业jupiter-1995unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Kafka NetDB 2011 — 把消息中间件砍成”会写文件的水管”kafka-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Kubernetes — 为什么选声明式 API 加协调环kubernetes-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lamport 1978 — 分布式系统里没有”绝对的同时”lamport-1978unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lamport 逻辑时钟 — 分布式系统里先后顺序怎么说清楚lamport-time-clocks-1978unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TLA — 把状态机和时序逻辑捏成一个公式lamport-tla-1994unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Linearizability 1990 — 让并发对象看起来像一次只执行一个操作linearizability-1990unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Logoot — 给每个字符发一张”永不过期的座位号”logoot-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mattern 1989 — 虚拟时间与全局状态：把分布式时钟变成 N 维笛卡尔积mattern-1989unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Megastore — 把数据切成”小数据库”换跨地域同步复制megastore-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Scaling Memcache at Facebook — 万台缓存怎么不被踩塌memcached-fb-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mencius — 让多台服务器轮流当 Paxos 的 leadermencius-2008unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mesos — 让多种计算框架共用一套集群mesosunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mesos 2011 — 把数据中心切成资源 offer 发给框架自己挑mesos-2011unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NTP 1991 — 用四个时间戳和一棵服务器树，让全互联网的钟差几毫秒mills-ntp-1991unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
MillWheel 2013 — Google 给互联网级流处理装上不漏不重的发动机millwheel-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Naiad — 一套引擎同时跑批处理、流处理和迭代计算naiad-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Naiad — 面向流式数据的及时数据流系统naiad-2013-sospunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Narwhal & Tusk — 把 BFT 共识拆成『谁说过』和『谁先说』两件事narwhal-tusk-2022unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NTP 1991 — 用四个时间戳和一组滤波器，让全网服务器的钟差几毫秒ntp-mills-1991unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Omega 2013 — 让多个调度器同时改一份 cluster 状态omega-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
On-demand Container Loading — Lambda 把大镜像按需搬上车on-demand-container-loadingunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
OT — 多人同时改一份文档，操作随上下文自动改坐标ot-1989unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Paxos — 分布式共识算法paxosunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Paxos 1998 — 古希腊议会寓言里藏的共识协议paxos-1998unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Paxos Made Simple — Lamport 用平直英语把共识协议推导一遍paxos-simple-2001unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
PBFT — 让拜占庭容错从理论变成能跑的工程pbft-1999unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Percolator 2010 — 给 Bigtable 加分布式事务的客户端库percolator-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Piccolo — 用分区表写分布式迭代程序piccolo-building-fast-distributed-programs-with-partitioned-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Pivot Tracing — 让运维事后想测什么就测什么pivot-tracing-2015unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
PNUTS — 介于强一致与最终一致之间的实用一致性pnuts-2008unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Presumed Abort/Commit — 让 2PC 少写日志少发消息的两个默认共识presumed-abort-1986unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Parameter Server — 多机训练前 AllReduce 时代的工业标准ps-li-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Quincy — 把”派活给机器”变成一道最小费用流题quincy-2009unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Raft — 易理解的共识算法raftunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Raft 2014 — 把共识拆成能实现的三件事raft-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Ray 2018 — 把任务和演员放进同一个分布式舞台ray-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
RTP-LLM — 把大模型推理服务做成分阶段工厂rtp-llm-alibabaunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sagas — 长事务拆成一串能”反向走回去”的小事务saga-1987unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sequential Consistency 1979 — 多处理器内存模型的第一个正确性标准sequential-consistency-1979unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sinfonia 2007 — 把分布式协议降级成数据结构操作sinfonia-2007unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Skeen 1981 三阶段提交 — 给 2PC 的阻塞缺陷打补丁skeen-3pc-1981unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
SMR 1990 — 把”容错服务”还原成”多副本一起跑同一台状态机”smr-1990unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Spanner — 全球分布式 SQL 数据库spannerunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Spanner 2012 — 用原子钟和 GPS 给全球数据库发时间戳spanner-2012unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Spark RDD — 用血缘记录重建内存数据spark-rddunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sparrow — 让毫秒级任务也能被精准调度的去中心化调度器sparrow-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Tachyon — 把集群存储推到内存速度，丢了再算回来tachyon-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TAO — Facebook 给十亿人好友列表造的专用图数据库tao-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Tendermint — 把拜占庭共识塞进开放区块链的工程模板tendermint-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TLC — 让 TLA+ 规范可以一键机检的模型检查器tla-yu-tlc-1999unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Trill — 一个引擎同时跑流、批、交互三种分析trill-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Eventually Consistent 2009 — 给互联网规模存储一套’放弃强一致’的官方词汇vogels-eventual-2009unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。

下一组