• 2024-05-02mit6.828 - lab1笔记
    安装环境编译qemu1.PC启动打开两个窗口,在第一个窗口中makeqemu-gdb,会启动内核,但在执行第一个指令之前停下;在第二个窗口中makegdb,实时观察第一个窗口中的执行过程。从这里可以观察到:IBMPC在物理地址0x000ffff0开始执行,位于为ROMBIOS保留的64KB区域的最顶部。
  • 2023-05-06manjaro安装obs报错:could not find all required packages: vid.stab>=1.1.1
    问题与解决方法问题pacman-Sobs-studio安装的obs打不开。尝试yay装yay-Sobs-studio-tytan652使用以上指令安装OBS报错:缺少依赖vid.stab>=1.1.1(也可能是:缺少依赖:ffmpeg-obs)然后安装ffmpeg-obs也报错:缺少依赖vid.stab>=1.1.1解决方法sudopacman-Svid.stab(
  • 2023-04-09Burnside
    定义群:\((S,\circ)\),集合\(S\)和二元运算\(\circ\),其中\(\cdot\)满足:封闭性;结合律;存在单位元\(e\);任意元素\(a\)存在逆元\(a^{-1}\).若仅满足存在左单位元和左逆元,可证左右单位元/逆元唯一且相等。交换群/阿贝尔群:满足交换律的群。半群:运算仅要求封闭性和结合律。
  • 2023-04-05STAB算法
    SATB算法思想简介SATB算法的基本思想,可以概括为如下三句话:并发标记之前先给Region内存打个快照,标记线程基于这个快照独立进行标记。应用线程不会直接修改这个快照中的对象,也就是说应用线程不会干扰标记线程的工作。应用线程新分配的对象都认为是活跃对象,实际在下一个并发标记周