行远自迩 登高自卑

摘要： Copy-on-Write Fork As mentioned earlier, Unix provides the fork() system call as its primary process creation primitive. The fork() system call copies 阅读全文

摘要： Introduction In part A we should add multiprocessor support to JOS, implement round-robin scheduling, and add basic environment management system call 阅读全文

摘要： Monte Carlo Integration Monte Carlo integration uses a different perspective from Quadrature Integration to consider the problem of integration. Quadr 阅读全文

摘要： A strategy to quantify embedding layer Basic idea Embedding is mainly in the process of word pre-training. Two embedding methods, word2vec and GloVe, 阅读全文

摘要： From DFA to KMP algorithm DFA In the theory of computation, a branch of theoretical computer science, a deterministic finite automaton (DFA)—also know 阅读全文

摘要： A problem of dimension in Vector Space and It's nullspace A easy Problem This problem from a lemma that is Dimension Counting Theorem \[ dim(V) + dim( 阅读全文

摘要： Pytorch 模型的存储与加载 本文主要内容来自Pytorch官方文档推荐的一篇英文博客, 本文主要介绍了在Pytorch中模型的存储方法, 以及存储形式, 以及Pytorch存储模型正真存储的是模型的什么结构. 以及加载模型的时候, 模型的哪些数据会被加载. 以及加载后的形式. 首先大致讲下三个 阅读全文

摘要： Jensen's inequality 及其应用 对于一个 convex function $f(x)$ , 最常见的形式是: $$ f\left(t x_{1}+(1 t) x_{2}\right) \leq t f\left(x_{1}\right)+(1 t) f\left(x_{2}\rig 阅读全文

摘要： Handling Page Faults 产生却也中断的时候, 需要保留当前的虚拟地址到寄存器 CR2, Exercise 5. Modify trap_dispatch() to dispatch page fault exceptions to page_fault_handler(). You 阅读全文

摘要： Lab3 以后内存出现的问题 对于GCC 7.0 以上的版本在Lab3以后, 会出现 kernel panic at kern/pmap.c:147: PADDR called with invalid kva 00000000 这个错误, 我本身也很疑惑, 明明在 Lab2 代码是正确的, 这里为 阅读全文