发表于

MIT 6.828笔记

摘要

　　MIT的课程6.828 Operating System Engineering 是一门os实验课程,是2006年后MIT基于Sixth Edition Unix(简称V6)开发的教学用os,受到广泛的赞誉，国内清华的ucore就有参考xv6实现．在学习Operating Systems Concepts的os理论之后，有一个完整的peoject实践是极好的．基于想要深入os的好奇心,这系列博客将记录我的6.828学习笔记.

目标

  1. 实践os的概念, 重点在kernel
  2. 增强C的代码能力
  3. 大型项目的结构组织,源代码的阅读理解

笔记格式

6.828课程涵盖两个方面的主题和对应的学习:

  • xv6 -> 完整的操作系统的理论与设计
  • JOS课程 -> 动手实践完成lab

因此,笔记格式主要为

  • note x: xv6以及理论笔记
  • lab x: project笔记
  • hw x: homework笔记

笔记链接:

Lab:

Homework:

Note

参考链接

  1. MIT 6.868, 2016年课程主页, 所有相关资源(没有lecture video).
  2. OCW课程 MIT的开放课程,2012版.
  3. 课程视频 on youtube

发表于

CS学习update

摘要

在被浙江大学计算机学院拟录取之后, 我现阶段的两个任务是:

    1. 完成本科土木工程的学业,主要是毕业设计
    1. 弥补计算机科学的基础知识和素养,并向研究方向靠拢
      为了能循序渐进的奠定计算机科学的基础,在此记录学习的内容和自己的收获总结.文章更新周期为一周一次, 每周全面的总结一周七天后写成.文章格式为问答式,提出问题并自己解答,以此自检.

周期1: 已学总结与学习计划

时间: 2017/03/20 - 2017/04/01

Q1: 我已学过的计算机科学的专题有哪些?

数学和物理: 微积分, 线性代数, 概率论, 大学物理(电路)
计算机: C/Python, 算法与数据结构,操作系统,网络,组成原理,

下面分别概括各科的情况并确定加强的方向:

1. 微积分
　　以离散的数列和连续的函数为核心,用极限和微分/积分为基础工具,微积分使我学习到严格的推导过程和缜密的计算流程,同时,有两个基本的解决问题的思路:
　　a. 如何通过离散的角度(数列极限)考察连续的函数.
　　例如:考虑函数在一个点(x,y)是否是连续的,这里有三个量:点(x,y)的函数值f(x),左侧无限逼近x的离散的自变量序列{An},和右侧的序列{Bn}.左右两侧对应无穷数列的极限和f(x)相等则证明该点连续.公式如下:
$$f(x)=\lim_{x \to x-}f(x)=\lim_{x \to x+}f(x)$$
　　b. 如何利用连续的概念解决离散的问题.
　　例如: 在数列极限难以求解的问题中,采用连续化为函数的方法,适用范围内,数列极限等于函数极限.公式如下:
$$\lim_{n \to \infty}a_n=\lim_{x \to x_0}f(x)$$
　　微积分对概率论中的连续随机变量,以及任何形式的函数关系(数据科学领域)打下坚实的基础.但考虑到计算机本质上是一个离散的系统,虽然微积分中连续的概念可以指导计算机中离散对连续变量的模拟,但我认为离散数学应该更能奠定计算机的数学基础.加强方向: 离散数学课程 MIT

阅读全文 »