摘要：BUAA_OO_2020_第三单元总结 JML理论基础 简介 JML(Java Modeling Language)是一种用于对JAVA程序进行规格化设计的语言，其通过定义接口所包含方法的行为，来约束实现接口的类的行为。本章作业就是实现课程组提供的用规格定义好的接口，来学习如何根据规格写方法。 JM 阅读全文

摘要：BUAA_OS lab4 难点梳理 lab4体会到了OS难度的飞升。实验需要掌握的重点有以下： 系统调用流程 进程通信机制 fork 本lab理解难度较高，接下来将以以上三部分分别梳理。 系统调用 概念 一般情况下，进程不能存取内核数据。但有的场景必须通过内核执行，因此操作系统设计了陷入异常后调用特 阅读全文

摘要：BUAA_OS lab3 难点梳理 实验难点 进程创建 对于初始化部分，首先需要在pmap.c中修改mips_vm_init()函数，为envs开空间，并map到UENVS空间。 其次，模仿page_init()的做法，将空闲进程控制块串成env_free_list。 至此没有什么理解上的难度。 进 阅读全文

摘要：BUAA_OS lab2 难点梳理 实验重点 所列出的实验重点为笔者在进行lab2过程中认为需要深刻理解的部分。 进行内存访问的流程 熟悉mips内存映射布局，即理解mmu.h内图 二级页表的理解和实现 以下将参考指导书逻辑，对于重难点进行梳理。 内存访问 首先，简易梳理内存访问流程。 TLB根据虚 阅读全文

该文被密码保护。