TL;DR combinator 函数必须不含自由变量，combinator 之间可以组合 Y combinator 解决了匿名函数不能递归调用自身的问题 （在不能给函数命名的 lambda caculus 中也可以递归了） What is Combinator? A combinator is just a lambda expressions with no free varia...

https://jyywiki.cn/OS/2024/labs/M4.md 今年在追番蒋炎岩老师的 NJU OS 2024spring。因为之前已经做过不少 os lab，所以这次不打算做 os lab，但是发现 jyy 的非 OS lab 设计得都非常有意思，所以决定做一下。 以前我从来没有思考过 crepl 要怎么实现，没想到利用 gcc 就可以如此容易的实现一个 crepl，以前没怎么...

起因之前听到群里有人在问条件变量的实现，发现自己对这方面一无所知。 先复习一下 xv6内核中用到了两种锁，自旋锁和睡眠锁。 自旋锁先看看实现 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354// Acquire the lock.// Loop...

使用了 Elog 一键同步飞书文档上编写的博客文章到 hexo 仓库，以后博文迁移到飞书文档上编写。 发现这玩意好像也不是很好用，感觉可以自己写一个。不过感觉有点浪费时间，算了。 该博文同步自飞书文档

CS 公开课 北大编译实践 算是编译器方面的一个启蒙，不过感觉连入门都算不上 CMU 15-213 CSAPP 其实课刷得有点马虎，不过把 lab 过完了 这课早晚得再过一遍 MIT 6.S081 对系统内核理解 0 的突破，也学着读了一些英文论文 参加了清华组织的 rcore 开源操作系统训练营，混了个结营证书 因为是实习期间做的，所以其实有点水，不过实验都做完了，...

2023.12.18~12.24因为游戏账号被封了一个月所以开始写周报 push 自己学习的第一周（ 看到学弟在学 6.824，说实话有点慌，真得 push 一下自己了 学习 & 工作 完成 CS106B 的 assignment 1，2 目前为止都是一些很简单的内容，还没有涉及到我比较想学的部分 参加了 Datenlord 的 mit 体系结构公开课学习社区 学习的课程是 6...

在做到 xv6 的最后一个 lab 时，我终于忍受不了满屏的爆红，着手开始配置代码高亮。参考 https://zhuanlan.zhihu.com/p/501901665 配置 Intellisense，然后我遇到了一个问题： make clean && bear — make qemu 生成空 compile_commands.json 我 google 查了一下，目...

MIT 6.s081 lecture 17 个人总结笔记 参考: https://mit-public-courses-cn-translatio.gitbook.io/mit6-s081/lec17-virtual-memory-for-applications-frans https://pdos.csail.mit.edu/6.828/2020/readings/appel-l...

下文中没有具体说明的场景均描述 xv6 文件系统的实现 好吧 我们就来详细捋一捋 fs 组成// todo 事务 Transaction 事务在用数据库的时候就已经经常用到了，但是没想到文件系统也有事务。从文件系统的事务实现中我们也可以管中窥豹数据库的事务是怎么实现的，数据库的 crash recovery 是如何保证的。 xv6事务的作用是保证一组磁盘写操作的原子...

2023.7～9月总结从北京回来了，实习基本算告一段落了。至少线下实习告一段落了，能不能继续线上还得等结论。借此机会把 2023.7 ～ 9 月做的事情总结一下： 7月原本计划暑假里好好的把 xv6 给刷了，但是学长突然给了我快手实习的内推，于是暂时搁置了 cs 的学习，全心全意准备面试。一面自我感觉还算可以，但快手那边似乎是因为 hc 的问题迟迟不肯安排二面，鸽了我很长一段时间。这段时间最...