6.824 lab1 mit 824
线性代数导论MIT第二章知识点下
2.3--2.7的知识点 1.使用矩阵消元 2.消元矩阵 3.行交换矩阵 4.增广矩阵 2.4 矩阵运算规则 行与列 方块矩阵与方块乘法 舒尔补充 2.5逆矩阵 乘积AB的逆矩阵 高斯乔丹消元法计算A^(-1) A的逆矩阵 A=LU分解 消元法的时间消费： 转置和排列 内积的意义 排列矩阵 ......
MIT实验警示:人类或需要人工智能辅助才能理解复杂逻辑
人类在复杂逻辑理解上天赋的缺陷是必须承认的事实。AI是人类用来弥补自身缺陷的新工具。软件行业的突破必须得到语言和逻辑工具的支持。人工智能时代的核心价值观应该是人机协作、共生共荣,而非置人于技术之下。 ......
Segformer: 高效自注意力/MIT encoder
NIPS21 SegFormer: Simple and Efficient Design for Semantic Segmentation with Transformers pytorch实现 网络架构：轻量化decoder，各层只经过MLP和上采样到同一分辨率；主要依靠较重的encoer来获 ......
【操作系统MIT 6.1810（2022版）笔记】Lab实验：环境搭建——以Ubuntu20.04为例
感觉环境搭建没有别人说的那么难。 我是双系统用户（Win+Ubuntu20.04），所以直接在Ubuntu上搭建了。听别人说不要用Ubuntu18.04搭建，不知道为什么 参考链接： 官网环境搭建教程 环境搭建 打开终端，输入以下命令并回车运行 sudo apt-get install git bu ......
【操作系统MIT 6.1810笔记】xv6讲义：第一章
第1章-操作系统接口（Operating system interfaces） 设计一个好的接口是困难的：“简单易用的接口” vs “强大复杂的接口功能”是一对主要矛盾。 解决这一矛盾的主要方式：设计可组合在一起以提供更广泛用途的少量机制。 kernel xv6系统中，每个进程（process）包含 ......
线性代数导论MIT第二章知识点
线性代数导论MIT第二章求解线性方程组 1.向量与线性方程组 2.不同角度看方程式 也就是矩阵的乘法原型： 以行来看方程式就是原式 以列来看方程式 以矩阵来看方程式 3.消元法的概念 4.消元法的崩溃 两条线互相平行就无法消元 两条线无限多的点 5.3x3的矩阵消元法 6.从A到U的消元法（U指的上 ......
Mit6.828 Lab2
lab2 提交lab1代码的时候，出现了合并冲突的问题，使用git status，发现问题出现在init.c文件与lab分支的文件产生冲突，修改后成功提交。 lab2中多出来了以下几个文件 inc/memlayout.h kern/pmap.c kern/pmap.h kern/kclock ......
mit6.828 - lab3笔记
lab3主要内容是 完成进程管理的初始化 完成中断管理的初始化 完成pagefault的中断处理 PartA 初始化envs，内存映射数组，类似内存管理的pages 在 mem_init中预留 envs 的位置，并映射 初始化 envs 数组的内容 完成 env创建功能，涉及 加载用户代码 load ......
mit6.828 - lab3练习笔记
Part A Exercise 1 练习 1. 修改 `kern/pmap.c` 中的 `mem_init()` ，分配并映射 `envs` 数组。该数组由 `Env` 结构的 `NENV` 实例组成，分配方式与分配页面数组类似。与页面数组一样，支持 `envs` 的内存也应在 `UENVS`（定义 ......
Mit 6.828 lab1 第三部分
Part3 The Kernel 利用虚拟内存解决位置依赖问题 当您检查上述引导加载器的链接地址和加载地址时，它们完全匹配，但内核的链接地址（由 objdump 打印）和加载地址之间存在（相当大的）差异。回去检查一下这两个地址，确保你能看到我们在说什么。(链接内核比引导加载器更复杂，所以链接地址 ......
Mit 6.828 Lab1 第二部分
Part2 The Boot Loader 个人电脑的软盘和硬盘被划分为 512 字节的区域，称为扇区。扇区是磁盘的最小传输粒度：每次读取或写入操作必须有一个或多个扇区大小，并在扇区边界对齐。如果磁盘是可启动的，第一个扇区称为启动扇区，因为这是启动加载程序代码所在的位置。当 BIOS 发现可引导 ......
MIT 6.828 Lab1 Part1
Part 1：PC Bootstrap 第一个练习的目的是向你介绍 x86 汇编语言和 PC 启动过程，并让你开始使用 QEMU 和 QEMU/GDB 调试。在这部分实验中，你不必编写任何代码，但为了加深理解，你还是应该做一遍，并准备好回答下面的问题。 x86汇编入门 如果您还不熟悉 x86 ......
Lab1:数据组织基础方法及创新应用（基础）
1.数组定义及简单使用 1）分别定义一个 int 型一维数组和二维数组，并通过输出验证各种初始化方法； #include<bits/stdc++.h> using namespace std; #define ll long long const int INF = 0x3f3f3f3f,N=5; ......
CS144-lab1
Checkpoint 1 Writeup 该lab要根据首字母索引来对收到的字符串进行重组，还原为原始数据(字符串可能乱序到达，可能有重叠) 思路是将按顺序并小于可用容量的字符串(可能是部分子串)直接推流到输出流，将失序但在可用容量内的字符串放入本地buffer。 考虑到最好用首字符索引对收到的字符 ......
mit6.824lab2B raft
lab2b的内容主要是关于raft之中日志存储，相较于上一个2a的话，这一个部分主要实现的是日志的同步性以及当集群中存在较大规模断连之后的重新选举Leader。 2023/10/8 22:10 目前实现的结果是通过了一部分测试，但是对于TestFailNoAgree2B这个测试有通过的问题。 在最后 ......
mit6.824lab2A-Raft
写在前面 最近更新的可能会比较慢，因为分布式系统这个部分到目前还是为爱发电。上个月是在开学考试的阶段，接下来可能会受一些项目或者学习课程安排上的影响，不过这个内容会坚持下去的。 lab2A的内容主要是关于Raft中server选举的实现，论文中的Figure2以伪代码的格式给出了很多较为详尽的解释， ......
Lab1：Linux内核编译及添加系统调用（详细版）
实验一：Linux内核编译及添加系统调用（HDU） 花了一上午的时间来写这个，良心制作，发现自己刚学的时候没有找到很详细的，就是泛泛的说了下细节地方也没有，于是自己写了这个，有点长，如果你认真的看完了，也应该是懂了。 一、前期准备工作 需要准备虚拟机上安装Ubuntu，笔者安装的是Ubuntu18. ......
xv6 进程切换中的锁：MIT6.s081/6.828 lectrue12：Coordination 以及 Lab6 Thread 心得
引言 这节课和上一节xv6进程切换是一个完整的的进程切换专题，上一节主要讨论进程切换过程中的细节，而这一节主要讨论进程切换过程中锁的使用，所以本节的两大关键词就是"Coordination"（协调）和 "lost wakeup" Coordination 就是有关出让CPU，直到等待的事件发生再恢复 ......
类比半导体ADX824驱动
#ifndef _ADX824_H_ #define _ADX824_H_ #define ADX82X_PWDN_HIGH #define ADX82X_PWDN_LOW #define ADX82X_RESET_HIGH #define ADX82X_RESET_LOW #define ADX8 ......
Codeforces Round 824 (Div. 2) B. Tea with Tangerines
有 \(n\) 块橘子皮，第 \(i\) 块大小为 \(a_i\) 。在一部操作中可以把一块橘子皮分成两块，即这块橘子皮为 \(x\) ，让 \(x\) 变为 \(y, z(x = y + z)\) 。 希望对于任意两块橘子皮，他们相差严格小于两倍。即两块中更小的为 \(x\) ，更大的为 \(y\ ......
ACID 6.824
# go style协程 ## 先看一下使用样例 ```cpp int main() { // 创建一个 Channel Channel chan(1); // 开启一个协程往 Channel 里发送数据 Go { for (int i = 0; i > i) { LOG_DEBUG Schedul ......
MIT-Missing-Semester
MIT-Missing-Semester ## 1.shell `cd -` 返回之前的目录 `>>` 输出重定向为追加而不是覆盖 目录权限：`r` 查看目录文件列表，`w` 在目录中重命名、删除、创建文件，`x` 搜索权限，是否允许进入该目录 `tee FILENAME` 将输入内容同时输出至标准 ......
xv6 中的进程切换：MIT6.s081/6.828 lectrue11：Scheduling 以及 Lab6 Thread 心得
# 絮絮叨 这两节主要介绍 xv6 中的**线程切换**，首先预警说明，这节课程的容量和第 5/6 节：[进程的用户态到内核态的切换](https://www.cnblogs.com/looking-for-zihuatanejo/p/17644000.html)一样，**细节多到爆炸**，连我自己 ......
MIT 18.06 线性代数 - 23微分方程,exp(At)
# 微分方程和$e^{At}$ ## 微分方程$\frac{\mathrm{d}u}{\mathrm{d}t}=Au$ 本讲主要讲解解一阶方程（first-order system）一阶导数（first derivative）常系数（constant coefficient）线性方程，上一讲介绍了如 ......