IcyF's Blog

学习《组合数学》慕课课程的时候学到第二类 Stirling 数，慕课中讲得比较浅尝辄止；网上查了一圈，感觉没有对它的性质描述特别全面的资料。权当是写一份考试复习资料，写篇文章整理一下。

购入了新电脑，把 Hexo 博客迁移了过来。水一篇博文当做是 Hexo 正确工作的测试。

由于研究生宿舍不熄灯了，所以打定主意购买了台式机；但是我毕竟没有自己组装的心情和能力，所以直接买了品牌主机。体验还行。

这是一篇论文阅读笔记。

FlatStore 是一个面向 NVM 的单机键值存储引擎，适用于小规模键值对和写密集的应用场景。它使用 batching 的思想，降低刷写次数从而降低延迟。测试结果显示 FlatStore 比已有的系统快 2.5 ~ 6.3 倍。

毕设还差一周就要 DDL 了。由于之前摸鱼划水过于严重，这几天花了很长时间去调毕设中的 bug，发现踩了一些奇妙的坑。这篇文章就是为了记录其中一个：使用 RDMA Send 操作时必须 poll 掉对应的 CQE，否则会出问题。

一句话：Cloudflare 真香。

作为一个实打实的老年退役 OI 水人，每每看到新型骗分数据结构的时候，我都是非常兴奋的。

今天见到了一个神奇的数据结构，名叫 Chtholly Tree。

寒假咸在家，虽说毕设任务当头，但还是忍不住摸鱼。于是就随便写一写。

这是一篇水文。

日语课论文还没写完，开题答辩 PPT 刚刚做完第三稿等着导师回复，忙里偷闲来水篇文章。

编译原理的最后一个课程实验有两个选题，其中一个是基于 LLVM 中间表示配合 Z3 一起进行数组访问越界检查。由于另一个题目是手写垃圾回收，给了份 Go 语言代码作为编程范本和性能对照，我实在是懒得研究 Go 的语言特性、内存分配机制、垃圾回收机制这些东西，于是毅然决然的选了 LLVM + Z3 这个实验。

这个实验给我的感受就是有无数的坑。

这是一篇水文。

做编译原理课程实验，要求基于 joeq 反编译出的三地址码做 Java 程序中的冗余 NULL_CHECK 消除。我们知道 JVM 在对对象做一些操作前，需要检查它是否为 null（例如：调用虚函数、给数组成员赋值）；但是有的时候，我们可以在编译期确定某个对象在某个时刻一定不是 null，从而可以消除一些 NULL_CHECK 语句。实验要求中提到我们可以内卷可以实现扩展功能，举的例子里提到可以基于 IFCMP_A 来做这件事，我感到很有意思，就做了一做。

最近需要在 Ceph 上部署 pytorch 然后做一些测试，来决定接下来干什么。由于只是做测试，所以只找学长要了一台服务器，打算架设一个单节点的 Ceph。由于我太菜，历经千辛万苦才成功部署，特地记一下部署的过程。

话说我已经建过一次博客了，但是后来因为不想水文章所以直接 remove 掉了整个 repository……

那这次我能不能继续水下去呢。