05 2022 档案
摘要:Lab2-kmt 花了整个五一三天假期,最后是听了答疑才知道怎么解决栈的数据竞争的.... 痛苦的部分主要是多核 logging 和怎么用 qemu debug 的问题。搞定了这些技术上的难题,剩下就是老老实实写代码了。 设计 spinlock 去观摩了 xv6 的代码,发现不仅要自旋,还得关中断。
阅读全文
摘要:Lab1-pmm 这里不是实验报告,可以随便吐槽和说很多废话吧(大概) 也没有泄漏啥代码,纯纯的唠嗑,应该不违反学术诚信。 感觉这次实验被我做难了....事实上只需要链表就可以实现所有的操作,buddy system 纯纯的没必要,写出来也不容易 debug (也许熟练工可以做到一次对,但是这有啥用
阅读全文
摘要:感觉这部分穿插的有些怪 upd:最后两节课突然就悟了,因为tcs组主要是做这个的...看了看感觉就是硬广,那就学着吧。 Courant-Fischer 对于实对称矩阵 ,其最大特征值 \(\lambda_\max(A)\geq \frac{x^\intercal Ax}{x^\interc
阅读全文
摘要:前置 这一节主要是玩矩阵,为了偷懒只讨论实线性空间 前置 这一节主要是玩矩阵,为了偷懒只讨论实线性空间 内积 二元函数 被称为内积,则其满足: \(\left<ax+by,z\right
阅读全文
摘要:心态崩了,这个 latex 公式支持也太迷幻了。但是不太想管,等啥时候有空整个自己的吧(flag++) 函数逼近 考虑的是对于给定函数 和度量 ,求一个多项式函数 使得 尽可能小。这里不关注特定点上的值,而更在意两
阅读全文