Suwa shrine

2024-04-28 1.3k 字 4 分钟

In Search of an Understandable Consensus Algorithm (Extended Version)

Raft究竟做什么？众所周知，一个可靠的分布式系统需要冗余。因为一个人是很容易出错的，这时候需要一群人来帮忙纠错。这就是分布式系统的可靠性。当一个机器出现故障或者错误，那么其他机器需要帮助这个机器进行恢复。那么阅读实验文档，Raft也干这么一件事。Raft是一个用于分布式系统的状态机协议，这个协议维护一个数据的完整副本，也就是说每一个机器，都拥有一组数据或者叫状态。Raft将客户端请求组织成一个序列，称为日志，并确保所有副本服务器看到相同的日志。每个副本按日志顺序执行客户端请求，将其应用于服务状态的本地副本。由于所有实时副本都看到相同的日志内容，它们都以相同的顺序执行相同的请求，因此继续具有相

2024-04-19 1k 字 4 分钟

MIT_6.824:PA1-MapReduce

由于最近事情比较多，但是又想刷一下6.824的实验，慕名已久了，于是就看了一下实验手册和大佬分享的代码。在这里写了一点自己的个人感悟。什么是MapReduce分布式计算的核心就是有一个主节点，驱动若干个副节点进行计算。MapReduce是一种非常特殊的分布式计算策略，因为所有的副节点都会执行相同的map操作和reduce操作。map操作和reduce操作之间是有一个barrier，做完map才能做reduce。map和reduce操作都可以自己人为定义的。但是需要满足一个条件。map操作需要收集若干条数据，生成若干条key-value对，reduce操作负责合并这些key-value对。对于

2024-04-17 5.2k 字 18 分钟

Stanford CS143 PA

词法分析flex用法flex可以用于词法分析。一个flex文件可以分成2个部分：引导区和规则区（我起的名）引导区的内容会原封不动地放到.c文件中。规则区是由若干个规则组成的区域，flex的目的就是为了把规则区的内容进行解释，变成词法分析的.c文件中。（理论：正则表达式转化为NFA，然后再转化为DFA）。规则区的每一个规则由三部分组成<执行状态><正则式><匹配规则>。在规则区内部可以执行两种特殊的操作，一种是正则式的宏定义，例如[0-9] DIGIT是将0-9的数字定义成DIGIT。一种是状态声明%START STATE，表示声明了一个新的状态，叫做STA

2023-09-13 3.4k 字 12 分钟

南大pa

PA1南大pa是一个设计非常巧妙而且指引非常足的一个实验，由于其指引已经很足了，我在这里不会写实验具体是怎么做的，具体写一下我的思考。开天辟地的篇章程序的执行可以看成是一个有限状态机，每一个时刻可能对应一个状态。状态可以用程序计数器的值来进行表述，在不同的状态下，执行的指令和存储器的值也是不一样的，每一个状态可以指令一个访存或者计算指令。不同的程序是不同的状态机。 RTFSCpa的实验分成三个部分，一个是基础的nemu，nemu本质上是一个硬件模拟，它并不承担软件的部分，它为其他的部份提供硬件层面上的支持。对于其他的部份来说，他们会天真的认为自己是在一个真实的计算机进行执行，但是这一切都是n

2023-02-09 31.6k 字 135 分钟

MIT_6.S081_xv6.Information 集合

1:Operating System Overview1 xv6系统的启动过程:1.1xv6引导器当x86系列的PC机启动的时候,首先会执行BIOS程序,BIOS程序一般会存放在固定的ROM中,一般在磁盘固定扇区中.BIOS 的作用是在启动时进行硬件的准备工作,接着BIOS程序会把控制权递交给操作系统.具体来说,BIOS会把控制权递交给从引导扇区中的固定的代码中(BIOS会把引导扇区存储的代码加载到内存0x7c00处),接着引导程序会把操作系统内核载入到内存中,控制权递交给内核,程序是M态的. 在xv6系统,引导程序由汇编引导程序和代码引导程序. 1.2 内核态进入用户态阅读kernel.as

2023-02-08 16.4k 字 68 分钟

MIT_6.s081_Lab

1:Xv6 and Unix utilities运行环境:Ubuntu 20.04 qemu 在做6.s081的实验之前我们首先要先下载Xv6操作系统以及qemu虚拟机: 1sudo apt-get install git build-essential gdb-multiarch qemu-system-misc gcc-riscv64-linux-gnu binutils-riscv64-linux-gnu Lab1_1:Boot xv6运行并安全退出xv6系统: 运行的方法很简单:cd进xv6的文件夹里面,然后输入`make qemu`即可,输入完之后就是进入了xv6的系统里面了退

2023-02-07 5.7k 字 24 分钟

CMU14-445 Lab

Lab1.Buffer Pool这是CMU数据库系列的第一个实验,第一个实验需要我们完成关于Buffer的一些功能.在完善Buffer的功能之前,我们先了解一下buffer的一些基本知识. buffer在这里面和操作系统很像,是主存和辅存的缓冲地带,我们需要完成的是两个特别重要的数据结构,一个是Disk Manager,用我的话说就是页表,一个是LRU Replacer,这个数据结构研究,在缓冲地带满的时候我们应该替换谁进入到辅存.这两个数据结构所存储的信息单位量是一样的(也就是说这两个数据结构都存储了n个块[你也可以认为是“页”]的信息).两个数据结构通过Pin和Unpin来互相作用. 实验

2023-02-06 6.7k 字 31 分钟

Stanford CS144 Lab

Lab0.Warm Up1 Networking by hand这一个部分主要是体验一些基本的应用层协议,主要是HTTP协议和SMTP协议. Both of these tasks rely on a networking abstraction called a reliable bidirectional in-order byte stream: you’ll type a sequence of bytes into the terminal, and the same sequence of bytes will eventually be delivered, in the sa

2023-02-06 9.4k 字 49 分钟

Rustilings 练习笔记

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136

2022-06-06 727 字 2 分钟

南大ics面试记录

由于自己水平比较菜,就只敢报个软件所,不敢报lambda,4月份我投了自己的简历,当时不会写statement,statement就写了大概100多个字,太水了2333,然后5月24号通知我去面试,5月25号参加的面试.由于南大是强委员会的学校,所以说组面是比较轻松愉快的,也就是持续问了20分钟而已.但我还是在此给大家分享一下问题吧. 下面先抛一个简历:水平比较菜不要吐槽捏.当然了交给老师的简历肯定是加相片和真实姓名的. 面试我的老师是徐经纬副研究员,主要的方向是AI(查谷歌学术查到的),主要是教算法这个本科生课程,但是好巧不巧,我的算法水平非常不好,凭着自己的记忆回忆一下面试的流程吧: 第一