mit6 5840 lab2 mit

0 写在前面我从不后悔对别人好，哪怕看错人哪怕被辜负，因为对别人好不是因为别人有多好，而是因为我很好。—杨绛1 RCS定义Radar Cross Section is the area intercepting that amount of power which, if radiated isot ......

不管是计算机组成还是操作系统，**虚拟内存**都是其中的重要内容，所以这一节我会结合 **CSAPP 第九章：虚拟内存** 来一起复习（顺便一说，CSAPP 这一节的 lab 是要求设计一个**内存分配器**，也是很有意思的，有时间一定要把 CSAPP 的 lab 博客也补上！） 这一节主要讨论** ......

0 写在前面最大的幸福，就是确信有人爱你，有人因为你是你而爱你，或更确切地说，尽管你是你，有人仍然爱你。——雨果1 雷达方程简介雷达距离方程包含：目标特性：如目标反射率（雷达横截面）雷达特性：如发射机功率、天线孔径目标和雷达之间的距离：如距离介质的特性：如大气衰减。均匀辐射天线发射球面波的功率密度为 ......

0 写在前面梦想只要能持久，就能成为现实。——杜鲁门·卡波特1 雷达分类地基雷达：爱国者。舰载雷达：宙斯盾。机载雷达：空中预警机。几乎所有的雷达系统都通过大气层和地球表面附近。2 传播对雷达性能的影响大气衰减；地球表面的反射；超视距衍射；大气折射。雷达波束被环境可以衰减、反射和弯曲。2.1 大气衰减 ......

0 写在前面多数人在人潮汹涌的世间，白白挤了一生，从来不知道哪里才是他所想要到达的地方，而有目标的人却始终不忘记自我的方向，所以他能打开出路，走向成功。—罗兰1 解除战争的迷雾通过介绍两次战役，雷达的作用就全天时全天候观测敌军的动向，精准定位军事目标，并进行精确打击。诺曼底登陆：诺曼底登陆：代号“霸 ......

这节课主要介绍 OS 的顶层设计以及 OS 启动流程和系统调用流程 前置知识：要求阅读 xv6 book chapter2 和 xv6 源码： [kernel/proc.h](https://github.com/mit-pdos/xv6-riscv/blob/riscv/kernel/proc.h ......

CV技术大牛何恺明正式加入MIT CV大神回归学界，何恺明宣布加入 MIT 根据官宣内容，何恺明将于2024年加入MIT的电子工程和计算机科学系（EECS）。EECS是MIT最大的学术部门，也是世界著名的计算科学和AI研究科系。这里云集了众多计算机科学和AI领域的知名人物，包括MIT App Inv ......

# lab util ## sleep 1. 介绍：主要用来熟悉下环境以及代码结构。 > - See `kernel/sysproc.c` for the xv6 kernel code that implements the `sleep` system call (look for `sys_s ......

Logging layer file system 设计的一大重要问题就是 crash recovery。这是因为文件系统操作往往涉及向磁盘多次写入，而几次写入之后的 crash 可能导致磁盘上的文件系统处于一个不一致的状态。 For example, suppose a crash occurs ......

Overview 文件系统的设计目标就是组织和存储数据，文件系统一个比较重要功能是持久化，即重启之后，数据不会丢失。xv6 通过把数据存储在 virtio disk 上来实现持久化。 文件系统设计的几大挑战： The file system needs on-disk data structures ......

引入 当我们针对文件系统讨论 logging 或者 journal 时，其实是在讨论同一件事，二者是同义词。 这一部分主要是讨论 Linux 的 ext3 文件系统，它相比 ext2，可以就说就是加了一层 logging，其他基本没有改变。我们要关注 ext3 与 xv6 的文件系统的不同之处，重点 ......

## [百紫祭] 洛谷P5840做题笔记 [luogu传送门](https://www.luogu.com.cn/problem/P5840) 前置芝士：AC自动机，树上差分，树剖求LCA，树状数组。 ### 前言 一篇笔记需要一张头图。 ![](https://images.cnblogs.com ......

Logging layer file system 设计的一大重要问题就是 crash recovery。这是因为文件系统操作往往涉及向磁盘多次写入，而几次写入之后的 crash 可能导致磁盘上的文件系统处于一个不一致的状态。 For example, suppose a crash occurs ......

Overview 文件系统的设计目标就是组织和存储数据，文件系统一个比较重要功能是持久化，即重启之后，数据不会丢失。xv6 通过把数据存储在 virtio disk 上来实现持久化。 文件系统设计的几大挑战： The file system needs on-disk data structures ......

Raft实现思路+细节(2B) 任务分解 2B中最主要的任务就是进行日志的复制。Raft是一个强领导人的系统，这意味着所有的日志添加都是由领导人发起的，与之相类似的，还有很多其他的结论（它们都是比较显然的），读者可以自行证明。 我们可以这样地分解复制日志的过程 我们首先需要完善Raft结构体的内容。 ......

# MapReduce  ## 实验 ### 干嘛 实现一个分布式的 MapRed ......

# Raft实现思路+细节 ## 2A ### 任务分解 总体来说，2A中主要的任务就是选出领导人，在选出领导人的时候，我们要遵循下图。 ![image-20230721094031857](C:\Users\18221\AppData\Roaming\Typora\typora-user-imag ......

Multiplexing xv6 通过将 cpu 从一个进程切换到另一个进程来实现 multiplex（多路复用），进程的切换会在两种情形下发生： xv6 的 sleep 与 wakeup 机制在进程等待 IO 完成或者等待子进程退出又或者在 sleep 系统调用中等待的时候切换进程。 xv6 会周 ......

why lock 防止多核并行运行下的 race condition 导致的错误。 内核中的数据是典型的 concurrently-accessed 的数据。 race condition and how the lock avoid it A race condition is a situati ......

目前课程官网能够查到 2020,2021.2022 秋季的课程表，但是视频都是 2020 年录制的那一版 简单复习+回顾下自己的 OS 学习之旅 ## 参考资料： 官网：https://pdos.csail.mit.edu/6.828/2022/schedule.html 视频翻译：https:// ......

概述 这一章主要聚焦于，我们利用 virtural memory 和 page fault 这两个机制，能够实现一些什么样的有意思的优化。 虚拟内存的有两大优势： Isolation，保证每个进程都有它自己的虚拟地址空间，写自己的虚拟地址处的数据不会破坏其他进程的数据； Levle of indir ......

# 引言 ## 操作系统的目标 + abstract H/W `抽象化硬件` + multiplex `多路复用` + isolation `隔离性` + sharing `共享（进程通信，数据共享）` + security / access control `安全性/权限控制` + perform ......

# 相关信息 课程链接: https://pdos.csail.mit.edu/6.824/schedule.html Next Step: - 7.18 LEC 2 - 7.17 MapReduce paper, LEC 2 Preparation - 7.16 MapReduce video # ......

# MIT 6.5840 2023 Lab 4 Shard KV Server TaskA, TaskB, Challenge ## 前言 这波是终于写完了MIT 6.5840 的所有lab了。lab均是独立完成，没有任何参考，哈哈，还是挺有成就感的。lab4其实在上周就已经写完了，不过比较懒，拖了 ......

系统调用 Lab1 主要是基于提供的系统调用接口来编写一些小工具程序，而 Lab2 则是要我们自己实现系统调用，并提供系统调用的接口。 以本次 Lab 要我们实现的 trace 调用为例，说明一下系统调用的流程： 在 user/trace.c 的第 $15$ 行，调用了属于 system call ......

系统调用 Lab1 主要是基于提供的系统调用接口来编写一些小工具程序，而 Lab2 则是要我们自己实现系统调用，并提供系统调用的接口。 以本次 Lab 要我们实现的 trace 调用为例，说明一下系统调用的流程： 在 user/trace.c 的第 $15$ 行，调用了属于 system call ......

Trap 机制 程序运行往往需要完成用户空间和内核空间的切换，每当： 程序执行系统调用（system call）； 程序出现了 page fault 等错误； 一个设备触发了中断； 都会发生这样的切换。 这里用户空间切换到内核空间通常被称为 trap，因此有时候我们会说程序“陷入”到内核态。trap ......

$k$ 固定的版本：。 先转成 Cyclic Distance 的版本：对于所有 $k$，求出选 $2k$ 个点，最大的 $\sum_{i=1}^{k} dis(p_i,p_{i\bmod k+1})$。 首先可以猜测一个结论：选 $x+1$ 个点的最优方案是在选 $x$ 个点的方案上加一个点。 实 ......

Raft算法介绍 这是对Raft算法的一个粗略介绍，来源是Raft (thesecretlivesofdata.com) 前置 首先，我们定义一个节点为一台存储数据的服务器。 我们在体系中有很多这样的节点，也可以有一些客户来发送信息（例如值）给服务器。 显然的，如果只有一个节点，那么一致性(cons ......

Paging hardware 总的来说，Xv6 的虚拟内存到物理内存的映射方式与 x64 是一致的，都是使用页表来进行映射。区别在于，Xv6 只使用了三级页表，而 x64 则是使用四级页表，另外，二者的页表层级的命名也有区别，对 Xv6 来说，最高级的页表是 L3（其地址存放于寄存器 satp 中 ......