Arrakis: The Operating System is the Control Plane 和 IX 同样是 OSDI 14 的文章,Arrakis 应该也是 Dune 沙丘里的名字吧,但好像不是同一批人 Adam Belay Standford 的人做的,应该很类似。 同样是用虚拟化技
IX: A Protected Dataplane Operating System for High Throughput and Low Latency OSDI 2014, Dune 的衍生,同样利用硬件虚拟化 VT-x 技术。IX 最重要的是 Data Plane 和 Control Plane 分离了。 不得不说这类型的论文阅读起来太费劲了。 Abstract 传统
Dune: Safe User-level Access to Privileged CPU Features 是 MIT OS 课上的讲座,也是一篇很有意思的论文,很类似 exokernel,不过更像是内核上的功能,利用虚拟化使得进程可以访问一些内
Exokernel: An Operating System Architecture for Application-Level Resource Management 微内核?搜了一下发现上交的操作系统课甚至会讲这篇论文,但这篇论文也太早了 1995 年的,MIT 6828 (现 6.1810) 应该也会讲 Abstract operating system abstractions such as interprocess com- munication
Scalability! But at what COST? 比较短的 paper,之前也略有看过,主要讲主流分布式框架在多机器上存在 COST(不是成本) 问题,并不一定能比单机更好。是很有意思的
The Multikernel: A New OS Architecture for Scalable Multicore Systems SOSP 09 的文章,提出了 MultiKernel 分布式系统,网络架构是如何做通信、消息传递的。 ABSTRACT 商用计算机越来越多的 processor cores 和多样化的架构,内存、互联 、
Mini-LSM Week 1 Day3 Week1 Day3 的内容,实现 SST block 编解码和 iterator Task 1: Block Builder 前两章实现了 LSM 在内存中的结构,现在实现 on-disk 的结构,即 Block 块。 Blocks 一般 4-KB 大小(可能因存储介质不同),和
DuckDB: an Embeddable Analytical Database 读一下 DuckDB 的论文,对 OLAP 没什么了解,但论文很短也可以看看。 ABSTRACT SQLite 应用很广,unobtrusive in-process data management 是有必要的,但目前没有系统做 这样的
Go 并发编程实战 https://time.geekbang.org/column/intro/100061801 挺好的实战教程 资源并发访问问题 使用 10 个线程对变量 counter 进行增加,每个增加 10000,结果最后是 10 * 10000 吗? 互斥锁 临界区就是一个被共
CatSQL: Towards Real World Natural Language to SQL Applications NL2SQL, text to SQL 是很有趣的方向。有 DL 方法也有现在的 LLM 微调。 ABSTRACT rule-based 或者 Deep Learning 方法,要么无法通用,或者存在语法/语义错误/无法执行。 本文提