Huayi

Compulsory exercises Lab guidance About easy / moderate / hard Boot xv6 (easy) 启动xv6 在shell中 12$ cd xv6-labs-2021$ make qemu 在xv6 shell中列出文件 1$ ls 在xv6中 Ctrl-p 打印进程信息 Ctrl-a x 退出qemu sleep (easy) 了解系统调用 xv6文档p11 代码实现 code 1234567891011121314151617// sleep.c#include "kernel/types.h"#include "kernel/stat.h"#include "user/user.h"int main(int argc, char *argv[]){ if (argc != 2) { //error fpr...

Course About 介绍有关人工智能的问题，内容包括搜索、优化、学习、神经网络等 Feeling 人工智能在今天已经是一个时代性的话题，仅仅是在这短短的一年之间，我已经见证了它对不同领域的冲击，从AI绘画到ChatGPT,或者是其他的更多方面，真正的AI时代似乎已经到来。以我肤浅的认识，以我在课程中学到的内容还有我粗浅的理解，我确实很难想象神经网络和反向传播，最后居然能训练出ChatGPT这样现象级的人工智能。绘画和CS都是我思考过想要投入其中的行业，我一方面明白人工智能的发展是科技进步的象征，它的应用必将让这个世界走向更加智能和美好的方向，但同时不可阻挡的发展，也正像浪潮一般席卷了从业者。我斗胆自诩为绘画行业的旁观者，又或者是踏入CS半只脚的半吊子，但我却深深体会到了AI所带来的追赶不上和将被替代的压迫感。我在以前无法预知现在的科技发展，而现在也仍然对未来的日子一无所知。我正像几年前的高考那样，迷茫地走向前去。我不知道人工智能的未来，甚至也不知道自己的未来。但即便如此，我还是想要去了解现代的人工智能，了解它的原理和实现，并且尝试去使用它。 Links 课程主页 课...

Introduction GNU Make是GNU项目中的构建工具，构建文件为Makefile。而CMake是更为强大的构建工具，构建文件为CMakeList.txt，CLion使用CMake作为其构建工具。 Feeling Links GNU Make 参考教程 CMake 官方文档 Updating…

Course About 介绍有关计算机组成的问题，内容包括电路设计、RISC-V汇编、CPU流水线等等 Feeling Links 课程主页 课程视频(在主页)

Introduction Git是Linus开发的分布式版本控制工具，而Github是在线代码托管平台 Feeling 我常常觉得git/github对我来说只有git add git commit git push三部曲，别人的git版本控制是有向无环图(DAG), 而我的git是链表😆。但是学会完整的git/github工作流是必要的。 Links Pro Git (一本在线Git学习书籍) 使用练习 常用配置 设置代理 git config --global --get http.proxy 查看http代理服务器 git config --global --get https.proxy 查看https代理服务器 git config --global http.proxy 127.0.0.1:7890 设置http代理服务器 git config --global https.proxy 127.0.0.1:7890 设置https代理服务器 如果代理服务器支持socks5，设置socks5代理 pull request fo...

Reasons to Write a Blog 这个博客是在一年之前建立的，但由于我觉得写博客很累就一直搁置着。在一年多的学习过程中，我时常感觉到遗忘和不知从何而来。前几天在翻找课程攻略时，我发现一个博客的主人曾几年不间断地每天写博客，我当然做不到这样，但是受到了莫大的激励，于是想起了这个博客，想要借此记录自己的学习和生活。不过说到做博客的经验的话，我是一点没有，但由于高中的时候写了不少随笔，因此我是擅长自言自语的。做这个博客，除了减少遗忘以外，更多的是给自己看，给自己一个念想，记录下自己的脚步。另外想说的还是，由于是给自己写的博客，技术纰漏很多，日记式自言自语的话很多，很多评价和感觉不成熟也不专业，很多感情很直接却也真实，看客们权当小孩子的把戏一笑而过。(不过应该也没人会看😆) 📖Site Log 2023/3/28 这几天多上传了几篇，发现文章的属性从学习记录变成随笔、日记和对未来的思考了，本来是督促学习的，现在为了写博客忘记了😆。 2023/3/31 感觉可以把课外阅读书单也加到博客里。 2023/4/24 水了好几篇博客文章，开了一些坑，不知道什么时候能...

Course About 介绍有关软件工程的问题 Links 课程主页 (Updating…)

Catalog description: Design and implementation of operating systems, and their use as a foundation for systems programming. Topics include virtual memory; file systems; threads; context switches; kernels; interrupts; system calls; interprocess communication; coordination, and interaction between software and hardware. A multi-processor operating system for RISC-V, xv6, is used to illustrate these topics. Individual laboratory assignments involve extending the xv6 operating system, for exampl...

Course About 抽象代数I是用代数方法研究代数结构的第一门课。介绍群论、环论、多项式理论和域论的基础知识。先修课程是数学分析和高等代数。 Links 课程主页 课程视频 (Updating…)

Course About 介绍了拓扑空间、连续映射、经典的拓扑不变量以及一些重要的拓扑学定理。 Links 课程主页 课程视频 第1讲 R上的通常拓扑 这节课的开始大致为我们讲述了点集拓扑的背景和点集拓扑学研究的对象，这门课将从$R$上的通常拓扑开始，从具体到抽象一步步地为我们揭开拓扑的本质。 拓扑空间是一个集合 拓扑空间中开集的集合->{开集} 被称为拓扑 点集拓扑学的研究对象是拓扑空间，拓扑，连续映射，同胚映射，拓扑不变量等 本节课建立在$R$上的通常拓扑下 定义1.1 $ 若x\in R, \varepsilon > 0,则以x为圆心,\varepsilon为半径的开球，记作B(x, \varepsilon),定义为B(x, \varepsilon) = \{ y\in R: |y - x| < \varepsilon \}。 $ 这个定义实际上就是$\varepsilon$-邻域的概念，它定义了一个点的“附近”，在后面我们将学习到，这种附近的定义的延伸就是$R$上的通常拓扑，如果换一种“附近”的定义，就会得到不同...