CXL在这里的作用可以理解为External cache coherent agent，一个带CC的iMC，带宽肯定比NUMA高，但是这个工作只提升了18%，他们的策略是用PMU collect data，然后冷热load 和flush，给个temperature的grading，个人觉得肯定有page coloring那种优秀的算法搞定这件事，比这个数高。
MQSim
最近看的一个高精度multi-queue SSD模拟。
https://blog.csdn.net/Alieon/article/details/109920819
Application-Informed Kernel Synchronization Primitives
一个runtime dynamic profiling/loading guided lock primitive，可以同时兼顾到high/no lock contention的情况。
Continue reading "Application-Informed Kernel Synchronization Primitives"
IOring Windows at first sight and migration to `monoio`
最近在和LemonHX一起写个跨平台下载器，想要的是个延时确定的协程调度器，然后我们就看上了字节开源的monoio，准备贡献一波Windows部分。
主要需要跨平台抽象的部分已经写好了, GAT 刚进主线, 其实感觉贡献这个更经济一点. 字节内好像也没有开始用这个, 只是做了点测试.
Twizzler: a Data-Centric OS for Non-Volatile Memory
A Distributed NVM modeled OS runtime for the arrangement of NVM data structure that
- Does not require explicit (un)loading
- Less serialization (Context available persistent ptr to reduce memcpy).
- Has basic support for security/ share/ crash atomicity
Continue reading "Twizzler: a Data-Centric OS for Non-Volatile Memory"
The A-Z of my Ph.D. Trajectory
On Arrival
- Familiarizing Yourself with Your New Workplace and City. - Move in and buy stuff
- Search for gym/canteen
- good food for celebration/lowering weight food
重读的《Handbook of Model Checking》
此本书大一时就被宋老师隆重推荐，当时还有decision procedure、software foundation和熊英飞老师的程序分析部分。
宇宙中心Ph.D.的经济帐
听说还有人还梦想在计算机宇宙中心加州获得这个世界上最难拿的学位？
这事靠不靠谱？我来给你算一个经济帐。
先说结论，在工资水平方面，我没有我觉得我的博士学位能让我在职业生涯中领先很多。
但是对社会的overall贡献一定是更大的。
OSDI/ATC22 attedency
ATC的容量大改是OSDI的1.5倍吧，有两个track两天的样子，ATC的工业界浓度更高一些，OSDI会选出那种新颖的方向，真的有点像奥斯卡的选奖逻辑。
5分钟看完上科大4年计算机
好奇的看完莫名的来自上科大的计算机入门课CS100，后就想退学了？
上海科技大学的计算机专业只适合一部分人。这种新型学校，风险大，收益也大。
我一直认为一个学校的好坏在于你是否可以真正利用起学校的资源来实现学校名声和自我提升的双赢。
作为一个刚入校就励志想打超算比赛的人，觉得平时的“拔苗助长”还不够大跃进，于是作死多做了很多，但是收益损益很大。但是我想清楚了我想要的东西，只关注我最擅长的部分，大学学的大部分东西随着时间推移一点用都没，所以在要求动作之外，需要不沉溺于浪费时间中。一下所有计算机项目都是单人项目，所以花了很多很多时间。