找到那棵树——回顾 2025

记不清是小学几年级,也分不清是在阅读题还是文摘里,我曾瞥见一篇神文。它娓娓道来、文采飞扬,讲述加缪撞死在他家门口的悬铃木后的故事。作者祖父在车祸原址上收费让人参观,而作者在祖父的影响下捧起书本,又在祖父离世后独自啃起加缪与存在主义,最终挥斧砍断了那棵树。那时我还没学会分辨虚构与真实,以为这是发生在法国的真人真事。我既想搞懂文章在说什么,又好奇加缪是谁——可所有追问,都在课间十分钟的疯跑笑闹里,散得无踪无影。 ...

2026 1月 03 · 2 分钟 · vaaandark

容器热迁移技术基础

容器热迁移是我这次毕业设计的题目,也和我目前在云厂商的工作比较接近。 技术基础 一开始的参考资料是 CIRU 的官网和相关的一些论文,但是后来看到了 Kubernetes 的 2022 年的一篇官方博客,发现 checkpoint 功能已经在 1.30 版本稳定了,我将以此功能为基础实现容器热迁移。 ...

2025 4月 12 · 2 分钟 · vaaandark

双城记——2024 回顾

2024 年过得真快,我的本科也过得飞快,已经是十二月末了,再有五六个月我就毕业了,而且我已经打了半年多的工了。相比心态上的转变,生活工作方式和节奏的变化则是真真切切而且无法回避的。 ...

2024 12月 27 · 4 分钟 · vaaandark

求 n 个数中前 k 小的数

面试时遇到的一道题:给出给出 n 个数,求出前 k 小的数字。 输入是 n + 1 行: 第一行是 n 和 k 之后 n 行是这个数列 输出是 k 个数。 当时没想出来怎么做,直接嗯排序,然后输出,OJ 的时限比较宽容,竟然过了😄。 ...

2024 3月 27 · 2 分钟 · vaaandark

2021 年八月杂感【补档】

首发于知乎 我从未对很少阅读近三十年的文学作品感到遗憾,因为我并没有从那些已经加入作协的“主流”作家那里汲取过营养,我觉得作家不靠稿费而是靠体制的工资生活是一件奇怪而又羞耻的事情。 ...

2024 3月 16 · 4 分钟 · vaaandark

华科 OS 实验的 RISC-V 代理内核是如何启动的?

代码仓库为 hustos riscv-pke 以下内容基于 lab2 代码 入口在哪? 入口为 kernel/machine/mentry.S 的 _mentry ,它调用了 kernel/machine/minit.c 的 m_start(uintptr_t hartid, uintptr_t dtb) ,两个参数并没有在 _mentry 中设置,这是因为 spike 会自动设置 a0 寄存器为 CPU id ,设置 a1 寄存器为设备树字符串,这刚好也符合 RV 的传参规则。 ...

2024 3月 02 · 2 分钟 · vaaandark

MIT6.S081 Lab:Fixup Xargs

昨天朋友跟我说我的 MIT6.S081 lab1 的 xargs 命令的代码无法通过,看到他的测试方法才知道原来是这样测试的,感觉之前写的测的都太简略了。 例如测试 xargs 命令这一关可以这样测试: ...

2024 2月 26 · 1 分钟 · vaaandark

恶补 CPU 知识之 Cache 和 TLB

即是知识回顾,也是最近学到知识的拓展延伸。 ARMv6 Manual: “The only architecturally-guaranteed way to invalidate all aliases of a physical address from a VIPT instruction cache is to invalidate the entire instruction cache.” Cache 的基本情况 Cache 也就是缓存,作为高速的 CPU 和低速的内存之间的缓冲,用于加速访问。 ...

2024 2月 18 · 6 分钟 · vaaandark

恶补 CPU 知识之分支预测

前因 最近看了一篇介绍 Ventana 的 Veyron V1 核心的博客 HotChips 2023: Ventana 不寻常的 Veyron V1 ,里面出现了很多我没听说过或者不甚了解的名词,在阅读这篇博客和查找资料的过程中,我学到了很多新的 CPU 知识。 ...

2024 2月 18 · 5 分钟 · vaaandark

Pthread

赛博考古:Linux 支持 POSIX 线程标准的前世今生 线程是什么 操作系统能够进行运算调度的最小单位。在一般的操作系统上,它被包含在进程之中,是进程中的实际运作单位。 ...

2023 12月 23 · 6 分钟 · vaaandark