跳转到内容
Jason's Study

OS / 集群管理 / 系统 · 论文 · 第 1 组

待复核

返回论文全景索引

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

论文Slug难度可信状态简介
AFS 1988 — 客户端缓存 + 回调失效让分布式文件系统真正能扩展afs-1988unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Amoeba — 把整个机房当一台操作系统amoeba-1990unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Ampere — 第三代 Tensor Core 加 TF32 / BF16 / FP64，结构化稀疏 + MIG 重写大模型时代硬件假设ampere-architecture-2020unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Arrakis 2014 — 让操作系统退出数据路径arrakis-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Barrelfish / Multikernel — 把多核机器当成一个小型网络来设计 OSbarrelfish-2009unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Belady 1966 — 缓存替换的理论最优与 FIFO 异常belady-1966unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Blackwell — 双 die NV-HBI + 第二代 Transformer Engine + FP4 让万亿参数训练日常化blackwell-architecture-2024unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Borg — Google 把一万台机器假装成一台borgunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Brook for GPUs — 让显卡第一次能用人话编程brook-2004unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Burgess 2020 RTX ON — Turing 把光线追踪做进硅片burgess-2020-turing-rtunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
BVT 1999 — 让一份调度器同时照顾”急性子”和”老黄牛”bvt-1999unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CXL 3.0 Coherence — 多主机可见的一致性协作cache-coherence-cxl3-2026unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Capsicum — 给 UNIX 进程发”通行证”而不是”万能钥匙”capsicum-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Cell BE — 一颗 CPU 里塞 8 个加速核cell-be-2005unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Coda 1990 — 笔记本拔网线照样写文件，重连后自动合并coda-1990unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
coturn — 帮 WebRTC 穿越 NAT 的开源中转服务器coturnunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
CUDA — 把显卡变成通用并行计算平台cudaunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Stanford DASH — 第一台真跑起来的目录式 CC-NUMA 多处理器dash-numa-1992unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Demikernel 2021 — 微秒级数据中心的 LibOS 架构demikernel-2021unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Denali — 在一台机器上同时跑上千个轻量 VM 的早期实验denali-2002unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Dijkstra 1965 — N 个进程怎么轮流上厕所而且谁也别卡死dijkstra-1965unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Disco — 让没改过的商用 OS 在 64 核大机器上一起跑disco-1997unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
eBPF — 用户写小程序，内核证明安全后再跑ebpfunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
EMQX — Erlang 写的 MQTT broker，单集群扛千万 IoT 长连接emqxunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
EROS — 让 capability 内核跑得跟 Linux 一样快eros-1999unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
ESX Memory 2002 — 让一台机器假装比自己更大的四个魔术esx-memory-2002unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Exokernel — 把抽象推到用户态的极致设计exokernel-1995unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Farsite — 把一群不可信桌面 PC 拼成一台可信文件服务器farsite-2002unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Fermi — 把 GPU 从游戏卡推上超算fermi-architecture-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Firecracker 2020 — 给 serverless 量身定做的极简 microVMfirecracker-2020unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
FlexSC — 把系统调用从同步陷入改成异步队列flexsc-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Frangipani — 把分布式文件系统盖在共享虚拟磁盘上frangipani-1997unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
GFS — 为工作负载反向定制的分布式文件系统gfsunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
ghOSt — 把 Linux 调度策略搬到用户态去写ghost-2021unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
GPUDirect RDMA — 让网卡直接读写 GPU 显存gpudirect-rdma-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Haven — 在不信任的云里给程序造一间安全屋haven-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Hazard Pointers — 多线程下安全释放共享节点hazard-pointers-2004unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Hoare Monitors 1974 — 把锁和等待队列封进一个房间hoare-monitors-1974unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Hopper — Transformer Engine + FP8 + TMA + Thread Block Cluster 把硅片为 LLM 量身定制hopper-architecture-2022unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
HYDRA — 用 capability 把整个内核重做成对象 + 票据hydra-1974unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
io_uring — Linux 让 N 次 IO 摊销到 1 次 syscallio-uringunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
IX 2014 — 用硬件保护做高吞吐低延迟的数据面 OSix-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
jemalloc — 多 arena 让多线程 malloc 不再互相等jemalloc-2006unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
JWT RFC 7519 — 把身份证装进一段可校验的字符串jwt-rfc-7519unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
k3s — 把整个 Kubernetes 装进一个 70 MB 的二进制k3sunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Kepler — 把 GPU 调成深度学习训练默认机型kepler-architecture-2012unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Kustomize — 不写模板也能给 K8s 配置分环境kustomizeunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
KVM 2007 — 把 Linux 内核本身变成 hypervisorkvm-2007unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
L4 — Liedtke 用 12KB 内核反驳”微内核必然慢”l4-1995unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lamport Bakery — 用取号排队解决并发互斥lamport-bakeryunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
LFS 1991 — 把整个磁盘当日志写lfs-1991unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lieberman-Hewitt 1983 — 把对象寿命统计偏斜兑换成有界停顿lieberman-realtime-gcunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Lindholm 2008 Tesla — SM、warp、SIMT 这套词汇的官方出生证明lindholm-2008-teslaunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Linux kernel — 三层解释开源内核如何协作linux-kernelunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
LOCUS 1980 — 让一群机器看起来像同一台机器locus-1980unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
彩票调度 — 用抽奖代替优先级的资源分配lottery-1994unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mach — 把内核拆成消息互通的小服务mach-1986unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mach VM — 把虚拟内存抽象成”对象”，与硬件解耦mach-vm-1987unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
MapReduce — 用户只写两个函数，框架替你扛千节点mapreduceunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Maxwell — 同一工艺节点把性能每瓦翻一倍maxwell-architecture-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
MCS 锁 — 让每个线程自旋在自己的缓存行上mcs-locks-1991unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Medusa — 让大模型自己同时猜好几个 tokenmedusa-2024unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Mermaid — 用文本写图，让代码评审能 diff 流程图mermaidunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Michael-Scott Queue — 用 CAS 做高性能并发队列michael-scott-queueunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
MirageOS 2013 — 应用和内核合体成一个超轻虚拟机mirage-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Hoare Monitors 1974 — 把锁藏进对象里，让并发代码读起来像普通函数monitors-1974unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
MULTICS 1965 — 把计算机做成像电力一样的公共服务multics-1965unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NFS 1985 — 让远程磁盘看起来像本地磁盘nfs-1985unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Nix — 把每个软件包当成纯函数的输出nixunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVLink 2.0 + NVSwitch — 把 16 块 GPU 拼成一台机器nvlink-nvswitch-2018unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVMe — 为 SSD 重写的存储协议nvme-protocol-2017unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
OAuth 2.1 — 把十年 OAuth 实战经验收口成一份能直接用的规范oauth-2.1-rfcunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
OpenCL 2010 — 一份代码同时跑 CPU/GPU/DSP/FPGA 的开放标准opencl-2010unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
OpenSearch — AWS 主导的 Apache 2.0 搜索引擎分叉opensearchunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Pascal P100 — HBM2 + NVLink + FP16 让 Tesla 真正变成 AI 卡pascal-architecture-2016unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
PMFS — 第一个为字节寻址持久内存设计的文件系统persistent-memory-2014unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Plan 9 — 把”一切皆文件”真的做到极致的下一代 UNIXplan9-1995unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
RCU 2001 — 让”读”的代价归零的并发数据结构rcu-2001unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
REST — Fielding 2000 给 Web API 写下的设计宪法rest-fielding-2000unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Saltzer-Schroeder 1975 — 8 条至今教科书还在引的安全设计原则saltzer-schroeder-1975unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Scoop — Windows 上像 Homebrew 一样装命令行工具scoopunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
seL4 — 第一个被数学证明”代码和规范完全一致”的操作系统内核sel4-2009unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
SELinux — 给 Linux 装上不可绕过的安检门selinux-2001unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Intel SGX — 在 CPU 里建一间谁都偷看不了的密室sgx-2013unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
ShellCheck — 帮你抓 Bash 脚本里那些”半夜才发作”的坑shellcheckunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Shenango — 每 5 微秒重新分一次核的中央调度器shenango-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
SKIP LOCKED — 让 Postgres 当任务队列用skip-locked-postgres-9.5unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Slab Allocator 1994 — 内核按对象类型开缓存，不是按字节切slab-1994unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Snap 2019 — Google 把网络栈搬到用户态微内核snap-2019unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Soft Updates — 不写 journal 也能保证文件系统元数据一致soft-updates-1999unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Soltesz 2007 — 容器：比虚拟机轻一档的隔离方案soltesz-2007unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Sprite 1988 — 把一屋子工作站伪装成一台大主机sprite-1988unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
StarRocks — Doris 分叉出来的向量化 CBO 国产 OLAPstarrocksunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
The Datacenter as a Computer — 把机房当成一台巨型计算机system-designunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
NVIDIA Tesla — 把显卡改造成通用并行计算机tesla-architecture-2008unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
THE 1968 — Dijkstra 用分层 + 信号量造出第一个可证明的 OSthe-os-1968unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
TimelineJS — 一张 Google Sheet 直接变成交互时间轴timelinejsunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Stripe Rate Limiters — 工业级令牌桶长什么样token-bucket-stripeunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
Tomasulo 算法 — 让 CPU 自己决定指令的执行顺序tomasulo-1967unknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。
The Tail at Scale — 尾延迟会被规模放大tradeoff-analysisunknownUNVERIFIED暂无独立描述；可先从标题与正文定位开始。

下一组