【论文阅读】Tigon: A Distributed Database for a CXL Pod
一 核心内容 本论文提出了名为 Tigon，一种基于 CXL Pod 的分布式内存数据库。 论文作者注意到 CXL 标准在强缓存一致性实现上 Snoop Filter 记录的缓存行信息过大、现有 CXL 硬件实现通常仅仅支持一小部分内存的缓存一致性，充分利用这一点划分了 HWcc 和 SWcc 区域，通过在 SWcc 中存储松散一致性的实际数据、在 HWcc 中存储高频同步原语的方式，高效地在…
【论文速读】CtXnL: A Software-Hardware Co-designed Solution for Efficient CXL-Based Transaction Processing
一 核心内容 论文作者提出了一种名为 CtXnL 的软硬件协同方案，通过区分元数据与记录数据不同程度的缓存一致性要求，降低了分布式处理系统中的开销。 CtXnL 通过 View Shim 机制将同一份数据的副本安排在不同的地址，从而巧妙骗过 CXL 的 Snoop Filter 避免其启动广播，再通过 GSync 一次性提交写回。同时，CtXnL 还设计了 VF/VBF 过滤器来避免无谓的访存操…
【论文阅读】Strata: A Cross Media File System
本文中的 NVM (Non-Volatile Memory) 和 上一篇 NOVA 中的 NVMM (Non-Volatile Main Memory) 是相同的概念。 一 核心内容 论文作者提出了一种名为 Strata 的多层次文件系统，同时管理 NVM/SSD/HDD 等多种存储系统结构层次。Strata 为用户态、内核态、存储层次进行了职责划分，进一步为 NVM/SSD/HDD 的多层存储…
【论文阅读】NOVA: A Log-structured File System for Hybrid Volatile/Non-volatile Main Memories
一 核心内容 论文作者提出了一种名为 NOn- Volatile memory Accelerated (NOVA) 的日志结构文件系统 (log- structured file system, LFS) 以最大化 NVMM 和 DRAM 同时存在的混合存储系统的效率。 NOVA 充分利用 NVMM 的随机访问特性，从传统 LFS 中放宽了局部性限制，从而实现了日志数据分离、日志链表来避免传统…
SICP 第二章(构造数据抽象)
复合数据 在实际的程序设计中(模拟数学或现实系统), 操作(过程)要应用到的数据往往不是一个单独的基本类型数据, 而是多个基本类型数据复合起来的: 例如分数是由分子和分母确定起来的, 单一的分子和分母都不能称为分数. 而将分子和分母以某种方式复合起来比单独管理分子和分母具有更强的可读性, 减少了编码中的精力消耗; 同时加强分子和分母之间的关系(分子和分母的关系应当强于这两个符号之于别的数据的关系…
CSAPP3e第五章(优化程序性能)
第五章 优化程序性能(摘要与注解) 我错了,我明天一定把这一篇补完 我对了,我今天把这一篇补完了 感觉是本书最难理解和应用的一章, 所以得多花点功夫尽可能深入理解了然后写的好一点 影响优化的细节 有些问题导致编译器不敢放开手脚优化, 所以一味依赖编译器优化是不可行的 常见的影响优化的问题(可能在极端情况下, 优化后的程序与优化前的执行结果不同): 内存别名使用(两个指针实际指向同一地址, 看似相…
CSAPP Cache Lab 笔记
现代计算机通过每一层都是下一层的缓存的抽象构建出存储器的层次结构, 依据程序的局部性原理巧妙解决了存取信息的速度远小于 CPU 处理速度的问题. 前置知识可看: CSAPP3e第六章(存储器层次结构) | Amiriox’s Storage Cache lab 分为两个部分: 第一部分写一个模拟程序, 模拟缓存的行为; 如果对缓存的原理和行为理解透了难度不高, 主要难点是必须用 C 写 第二部分…
SICP 第一章(构造过程抽象)
程序设计需要考虑的基本元素 基本的表达形式: 基本的数据表达 与 基本的过程表达 组合的方法: 将基本表达组合起来构成复合的元素, 如 Lisp 的组合式 抽象的方法: 为复合对象命名, 从一个新的抽象层次操作非基本单元 在 lisp (SICP 使用 scheme 方言) 中有如下体现:
占位 -- 2025 年终总结
该写点什么呢？退役，折腾 lecture，迷茫，比较，怀念，自我批判，一些微妙的改变 等期末周过去，放假再写吧。毕竟传统是在除夕前后去写年终总结。 (UPD 大年初二: 完全没有写年终总结的动力, 总体来说这是最辛苦的一年, 却是我评价最低的一年) 以下是草稿，
高三到大一下的总结
技能水平 知识类: 组成原理, 操作系统, 算法与数据结构均有涉猎, 对一些在各个领域重要主题如并发有了更深的理解 技能类: 对较大型项目的源代码阅读; LLM 辅助学习流; 缺陷仍然在大型工程的组织, 对实际工程应用的经验缺乏 还有就是能接触到的信息源太少了, 眼界太窄. 但是行动力和进度基本都在按计划推进 以及对心理问题几乎是无能为力的状态, 只能硬顶着靠力大砖飞, 至少能维持住学习
组件化操作系统
设计与实现 oscamp 第三节阶段总结. 由于部分操作系统原理性质的内容在二阶段中已经学过了, 因此总结主要针对两部分: 新概念: ArceOS 在传统内核上的创新 老概念: 与 rCore 的实现不同的部分, 以及分析原因 为什么要组件化? ArceOS 的优势区间在于快速针对特定领域构建出一个最合适的内核, 主要解决的痛点就是”从头开发一个操作系统太繁琐”, 而”现成的方案并不完全适用于应…