参考来源:操作系统最强面经面试题总结
操作系统引论
操作系统的特性(并共虚异)
- 并发:同一段时间内多个程序执行
- 共享:系统中的资源可以被内存中多个并发执行的进线程共同使用
- 虚拟:通过时分复用以及空分复用(如虚拟内存),把一个物理实体虚拟为多个
- 异步:系统中的进程是以走走停停的方式执行的,且以一种不可预知的速度推进
操作系统的主要功能
- 进程管理
进程控制,进程同步,进程通信和进程调度
- 内存管理
内存分配,内存保护,地址映射,内存扩充
- 设备管理
管理所有外围设备,包括完成用户IO请求,为用户进程分配IO设备,提高IO设备利用率,提高IO速度,方便IO使用
- 文件管理
管理用户文件和系统文件,方便使用的同时保证安全性。包括磁盘存储空间管理,目录管理,文件读写管理以及文件共享及保护
- 提供用户接口
程序接口(如API)和用户接口(如GUI)
各种操作系统的区别
- 批处理操作系统:成批处理、系统吞吐量高、资源利用率高、用户不能敢于作业的执行
- 分时操作系统:多路性、独立性、及时性、交互性
- 实时操作系统:及时响应、快速处理、高可靠性和安全性、不要求系统资源利用率
操作系统的主要组成部分:进程和线程的管理、存储管理、设备管理、文件管理
动态链接库与静态链接库的区别
静态链接库是.lib
格式的文件,一般在工程的设置界面加入工程中。程序编译时,会把lib文件代码加入到程序中,因此会增加代码大小。不能手动移除lib代码。
动态链接库是程序运行时动态装入内存的模块,格式为.dll
,在程序运行是可以随意加载和移除,节省内存空间。
进程与线程
进程和线程,以及它们的区别
- 进程是具有一定独立功能的程序关于某个数据集合上的一次运行活动,是系统进行资源分配和调度的一个独立单位
- 线程是进程的一个实体,是CPU调度和分派的基本单位,它是比进程更小的能独立运行的基本单位
- 一个进程可以有多个线程,多个线程可以并发运行
- 线程基本不拥有系统资源,只拥有一些在运行中必不可少的资源,比如程序计数器、寄存器和栈
- 但线程可以与其他线程共享进程所拥有的全部资源
- 线程可以创建和撤销另一个线程
协程
协程(Coroutines)是一种比线程更加轻量级的存在。协程完全由程序所控制(在用户态执行),带来的好处是性能大幅度的提升。
一个操作系统中可以有多个进程;一个进程可以有多个线程;同理,一个线程可以有多个协程。
协程是一个特殊的函数,这个函数可以在某个地方挂起,并且可以重新在挂起处继续运行。
一个线程内的多个协程的运行是串行的,这点和多进程(多线程)在多核CPU上执行时是不同的。 多进程(多线程)在多核CPU上是可以并行的。当线程内的某一个协程运行时,其它协程必须挂起。
-
线程:抢占式调度
-
协程:协同式调度,避免了无意义的调度,可以提高性能,但程序员必须要自己承担调度的责任。协程也失去了标准线程使用多CPU的能力。
协程切换
由于协程切换是在线程内完成的,涉及到的资源比较少。不像内核级线程(进程)切换那样,上下文的内容比较多,切换代价较大。协程本身是非常轻巧的,可以简单理解为只是切换了寄存器和协程栈的内容。这样代价就非常小。
协程切换的问题
实际上协程只有在等待IO的过程中才能重复利用线程,也就是说协程本质是通过多路复用来完成的。但是有个问题是,协程本身不是线程,只是一个特殊的函数,它不能被操作系统感知到(操作系统只能感知到进程和内核级线程),如果某个线程中的协程调用了阻塞IO,那么将会导致线程切换发生。因此只有协程是不够的,是无法解决问题的。还需要异步来配合协程。
因此,实际上我们可以把协程可以看做是一种用户级线程的实现。
协程+异步才能发挥出协程的最大作用
协程的使用
- 计算型的操作,利用协程来回切换执行,没有任何意义,来回切换并保存状态 反倒会降低性能。
- IO型的操作,利用协程在IO等待时间就去切换执行其他任务,当IO操作结束后再自动回调,那么就会大大节省资源并提供性能,从而实现异步编程(不等待任务结束就可以去执行其他代码)。
用户态和核心态
运行在用户态下的程序,只能受限地访问内存,不允许访问外围设备。占用CPU的能力被剥夺,CPU资源可以被其他程序获取。
运行在内核态下的程序,可以访问内存所有数据,包括外围设备。
用户态切换到内核态的三种方式:
- 系统调用:用户态进程主动要求切换到内核态的一种方式。用户态进程通过系统调用,申请使用操作系统提供的服务程序,以完成工作。
- 异常:当CPU在执行运行在用户态下的程序时,发生了某些事先不可知的异常,会触发由当前运行进程切换到处理此异常的内核相关程序中。因此也就转到了内核态,比如缺页异常。
- 外围设备终端:外围设备完成用户请求的操作后,会像CPU发送相应的中断信号。此时,CPU会暂停执行下一条即将要执行的指令,转而执行与中断信号对应的处理程序。如果先前执行的指令是用户态的程序,那么转换的过程自然就发生了由用户态到内核态的转换。
程序和进程的区别
- 程序是一个静态概念,进程是一个动态概念
- 程序没有并行特征,而进程有并行特征
- 程序不会竞争计算机系统资源,而进程是竞争计算机系统资源的基本单位
- 不同的进程可以包含同一程序,只要该程序所对应的数据集不同