操作系统入门系列-MIT6.828(操作系统工程)学习笔记(四)---- C语言与计算机架构(Programming xv6 in C)

本文主要是介绍操作系统入门系列-MIT6.828(操作系统工程)学习笔记(四)---- C语言与计算机架构(Programming xv6 in C),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

系列文章目录

操作系统入门系列-MIT6.S081(操作系统)学习笔记(一)---- 操作系统介绍与接口示例
操作系统入门系列-MIT6.828(操作系统工程)学习笔记(二)----课程实验环境搭建(wsl2+ubuntu+quem+xv6)
操作系统入门系列-MIT6.828(操作系统工程)学习笔记(三)---- xv6初探与实验一(Lab: Xv6 and Unix utilities)
操作系统入门系列-MIT6.828(操作系统工程)学习笔记(四)---- C语言与计算机架构(Programming xv6 in C)


文章目录

  • 系列文章目录
  • 前言
  • 一、计算机中存储模型的软件抽象
    • 1.硬件层次
    • 2.操作系统层次
    • 3.编译器层次
  • 二、C语言
    • 1.为什么使用C语言编写操作系统
    • 2.使用C语言容易犯的内存错误
    • 3.如何学习C语言


前言

本节对应的是MIT 6.828课程第二节:Programming xv6 in C
PPT的链接如下:Programming xv6 in C
本文沿着PPT的思路,主要讲解了学习操作系统,所涉及到的计算机底层架构与C语言的相关知识,知识的细节并未涉及,仅仅是在表面提出一些宏观的描述,具体知识细节需要专门学习相关课程。


一、计算机中存储模型的软件抽象

文章中将存储模型的分层结构进行了如下软件抽象:
在这里插入图片描述

1.底层是由存储芯片与IO设备组成的物理存储结构,是硬件
2.之后将这些硬件,通过软件抽象统一到一个地址空间中,方便寻址(其中IO设备可能与存储芯片被分别统一到两个地址空间)
3.之后在统一连续的地址空间上划分相应的区域,也就是“段”。其中最核心的涉及就是栈和堆
4.在这些基础上,就有了各种各样的编程语言,更高级的编程语言有了垃圾回收、ARC、智能指针等机制

1.硬件层次

CPU与硬件开发板上的诸多外设交互的载体便是总线,下图均描述总线结构。
在这里插入图片描述
在这里插入图片描述
需要注意的是,总线并不是简单的一根线或者是几根线,它更多的是一种协议。协议中包含了数据、控制信号、权限等,类似于TCP/IP协议,根据这些内容,总线上的CPU、IO设备、内存,就可以实现有序的数据交互:
具体的知识可以参考博客:
揭秘计算机内部通信:探秘数据、地址与控制信号的奥秘
cpu 是如何工作的

2.操作系统层次

从操作系统的角度看待计算机中的存储模块,那便是一整块的存储空间(IO与内存统一寻址情况)。那么操作系统如何能够拥有这样的“视角”,可以忽略复杂的总线通信和多种多样的外围设备,原因是CPU内部的机制实现了该层抽象。
细节的知识可以参考博客:
CPU 地址空间分配原理分析

在这里插入图片描述
CPU可以通过简单的汇编指令读写地址空间的单元,每个单元是8 bits。
有下面几点需要注意:

1.由于考虑到可以通过增加或者减少RAM芯片来增加或者减少实际内存。所以CPU提前抽象出了足够大的地址空间,以便于之后的扩充
2.可以映射到硬件的地址可以被访问;不能映射到硬件的地址无法被访问
3.地址单元有三种权限:读(W)、写(W)、执行(X),这样不管是代码还是数据,都可以统一的存储到存储空间

之后的课程会深入了解该层次,并且讨论page(页)与cache的连续性问题

3.编译器层次

该层次个人理解就是C语言与汇编语言的层次,也可以是编译器的层次。将内存空间分为了多个区域,如下图:
在这里插入图片描述
其中,heap是堆空间,用来存放动态分配的内存,如malloc函数分配的内存;stack是栈空间,函数调用后就会进入栈空间,里面存放着属于该函数的局部变量;data是存放全局数据;text是存放代码。

其中栈空间的运行方式可以简单如下图:

在这里插入图片描述

二、C语言

C语言具体的语法内容就不在此处赘述,相信各位读者也已经很好的掌握。需要注意的有关C语言的知识点是Undefined behavior。可以参考文章:
C 未定义行为(Undefined behavior)

1.为什么使用C语言编写操作系统

(1)适用于底层编程

1.可以直接操作地址空间,相比于一些语言将地址空间的操作进行了抽象和封装
2.可以轻松地访问各种各样的硬件设备,因为众多硬件设备都对C语言有很好的支持

(2)内核完全控制内存分配

1.可以使用 C 语言直接构建内存分配器
2.没有垃圾回收机制

(3)执行效率高

1.是编译语言,不是解释性语言,不需要解释器,直接以机器指令执行。

2.使用C语言容易犯的内存错误

1.在free(释放)存储空间后使用它
2.重复释放一个存储空间
3.在使用内存时忘记初始化(申请的内存中并不一定是0)
4.对数组空间之外的元素操作(缓存溢出)
5.忘记释放动态分配的内存(内存泄漏)
6.强制转换一个对象到错误的变量类型
7.忘记检查动态分配的内存是否成功
8.使用指向堆栈上位置的指针

3.如何学习C语言

可以参考博客,该博客是美国大学一个教授讲该如何教学生C语言,我们可以从老师的角度来进行C语言的学习,更加的有效
Teaching C
缺点是该博客是英文版,可能后续会进行翻译。


这篇关于操作系统入门系列-MIT6.828(操作系统工程)学习笔记(四)---- C语言与计算机架构(Programming xv6 in C)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1029435

相关文章

python使用fastapi实现多语言国际化的操作指南

《python使用fastapi实现多语言国际化的操作指南》本文介绍了使用Python和FastAPI实现多语言国际化的操作指南,包括多语言架构技术栈、翻译管理、前端本地化、语言切换机制以及常见陷阱和... 目录多语言国际化实现指南项目多语言架构技术栈目录结构翻译工作流1. 翻译数据存储2. 翻译生成脚本

Java深度学习库DJL实现Python的NumPy方式

《Java深度学习库DJL实现Python的NumPy方式》本文介绍了DJL库的背景和基本功能,包括NDArray的创建、数学运算、数据获取和设置等,同时,还展示了如何使用NDArray进行数据预处理... 目录1 NDArray 的背景介绍1.1 架构2 JavaDJL使用2.1 安装DJL2.2 基本操

Go语言中三种容器类型的数据结构详解

《Go语言中三种容器类型的数据结构详解》在Go语言中,有三种主要的容器类型用于存储和操作集合数据:本文主要介绍三者的使用与区别,感兴趣的小伙伴可以跟随小编一起学习一下... 目录基本概念1. 数组(Array)2. 切片(Slice)3. 映射(Map)对比总结注意事项基本概念在 Go 语言中,有三种主要

C语言中自动与强制转换全解析

《C语言中自动与强制转换全解析》在编写C程序时,类型转换是确保数据正确性和一致性的关键环节,无论是隐式转换还是显式转换,都各有特点和应用场景,本文将详细探讨C语言中的类型转换机制,帮助您更好地理解并在... 目录类型转换的重要性自动类型转换(隐式转换)强制类型转换(显式转换)常见错误与注意事项总结与建议类型

MySQL 缓存机制与架构解析(最新推荐)

《MySQL缓存机制与架构解析(最新推荐)》本文详细介绍了MySQL的缓存机制和整体架构,包括一级缓存(InnoDBBufferPool)和二级缓存(QueryCache),文章还探讨了SQL... 目录一、mysql缓存机制概述二、MySQL整体架构三、SQL查询执行全流程四、MySQL 8.0为何移除查

Go语言利用泛型封装常见的Map操作

《Go语言利用泛型封装常见的Map操作》Go语言在1.18版本中引入了泛型,这是Go语言发展的一个重要里程碑,它极大地增强了语言的表达能力和灵活性,本文将通过泛型实现封装常见的Map操作,感... 目录什么是泛型泛型解决了什么问题Go泛型基于泛型的常见Map操作代码合集总结什么是泛型泛型是一种编程范式,允

微服务架构之使用RabbitMQ进行异步处理方式

《微服务架构之使用RabbitMQ进行异步处理方式》本文介绍了RabbitMQ的基本概念、异步调用处理逻辑、RabbitMQ的基本使用方法以及在SpringBoot项目中使用RabbitMQ解决高并发... 目录一.什么是RabbitMQ?二.异步调用处理逻辑:三.RabbitMQ的基本使用1.安装2.架构

Android kotlin语言实现删除文件的解决方案

《Androidkotlin语言实现删除文件的解决方案》:本文主要介绍Androidkotlin语言实现删除文件的解决方案,在项目开发过程中,尤其是需要跨平台协作的项目,那么删除用户指定的文件的... 目录一、前言二、适用环境三、模板内容1.权限申请2.Activity中的模板一、前言在项目开发过程中,尤

C语言小项目实战之通讯录功能

《C语言小项目实战之通讯录功能》:本文主要介绍如何设计和实现一个简单的通讯录管理系统,包括联系人信息的存储、增加、删除、查找、修改和排序等功能,文中通过代码介绍的非常详细,需要的朋友可以参考下... 目录功能介绍:添加联系人模块显示联系人模块删除联系人模块查找联系人模块修改联系人模块排序联系人模块源代码如下

基于Go语言实现一个压测工具

《基于Go语言实现一个压测工具》这篇文章主要为大家详细介绍了基于Go语言实现一个简单的压测工具,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录整体架构通用数据处理模块Http请求响应数据处理Curl参数解析处理客户端模块Http客户端处理Grpc客户端处理Websocket客户端