操作系统(RISC-V)
共128课时 1天5小时17分12秒秒
简介
操作系统是计算机系统中负责管理各种软硬件资源的核心系统软件,为应用软件运行提供良好的环境。掌握操作系统的基本原理及其核心技术是研究型大学计算机专业本科毕业生的基本要求。 本课程是计算机专业核心课,以主流操作系统为实例,以教学操作系统ucore为实验环境,讲授操作系统的概念、基本原理和实现技术,为学生从事操作系统软件研究和开发,以及充分利用操作系统功能进行应用软件研究和开发打下扎实的基础。
向勇,博士,清华大学计算机系副教授,自2000年开始从事操作系统课的教学工作,科研方向包括无线自组网、计算机支持的协同工作和操作系统,曾主持或参与国家自然科学基金项目《支持多信道的自组网及其与Internet 互连的研究》和《多协作方式集成模型与环境研究》、863项目《车载自组网及其在智能导航中的应用》、核高基项目《开源操作系统内核分析和安全性评估:Linux体系结构及内核功能模块间关系分析》,以及多项企业合作项目,近5年发表10余篇论文(SCI检索2篇, EI检索5余篇)。
陈渝,男,博士,清华大学计算机系副教授、中国计算机学会普适计算专委会副主任,系统软件专委委员,清华大学信息技术研究院操作系统研究中心负责人。主要科研方向:操作系统、系统安全,嵌入式系统,普适计算、高性能计算等。在操作系统相关领域的国际会议如VEE, ICPP, CLUSTER, PACT, MASCOTS, ICPADS等,和国际期刊,如 IEEE Computer, ACM TACO,CCPE, TCJ,发表了学术论文,共计发表论文50余篇,申请专利6项。作为项目负责人承担了核高基子项目3项,国家863项目1项,国家科技支撑计划1项,自然科学基金项目2项,以及国际合作项目6项等。负责研发操作系统分析工具,OS kernel bug分析平台,SkyEye嵌入式系统模拟仿真环境软件系统,ucore教学操作系统等。承担清华大学计算机系本科和研究生的操作系统课程,翻译和出版6本操作系统与嵌入式系统等教材。获省部级一等奖3次,二等奖2次。
陈渝,男,博士,清华大学计算机系副教授、中国计算机学会普适计算专委会副主任,系统软件专委委员,清华大学信息技术研究院操作系统研究中心负责人。主要科研方向:操作系统、系统安全,嵌入式系统,普适计算、高性能计算等。在操作系统相关领域的国际会议如VEE, ICPP, CLUSTER, PACT, MASCOTS, ICPADS等,和国际期刊,如 IEEE Computer, ACM TACO,CCPE, TCJ,发表了学术论文,共计发表论文50余篇,申请专利6项。作为项目负责人承担了核高基子项目3项,国家863项目1项,国家科技支撑计划1项,自然科学基金项目2项,以及国际合作项目6项等。负责研发操作系统分析工具,OS kernel bug分析平台,SkyEye嵌入式系统模拟仿真环境软件系统,ucore教学操作系统等。承担清华大学计算机系本科和研究生的操作系统课程,翻译和出版6本操作系统与嵌入式系统等教材。获省部级一等奖3次,二等奖2次。
章节
- 课时1:课程概述 (5分56秒)
- 课时2:教学安排 (12分27秒)
- 课时3:什么是操作系统 (15分9秒)
- 课时4:为什么学习操作系统,如何学习操作系统 (18分43秒)
- 课时5:操作系统实例 (16分6秒)
- 课时6:操作系统的演变 (9分44秒)
- 课时7:操作系统结构 (10分26秒)
- 课时8:OS实验概述 (14分51秒)
- 课时9:从OS角度看计算机系统 (16分0秒)
- 课时10:从OS角度看RISC-V (12分47秒)
- 课时11:Rust语言与系统编程 (16分9秒)
- 课时12:RISC-VCPU启动 (9分8秒)
- 课时13:RISC-VCPU启动进一步分析 (15分47秒)
- 课时14:基本概念与原理 (14分2秒)
- 课时15:硬件架构支持 (10分48秒)
- 课时16:中断处理机制–Overview (6分3秒)
- 课时17:中断处理机制–Detail-1 (5分23秒)
- 课时18:中断处理机制–Detail-2 (9分9秒)
- 课时19:中断处理机制–Detail-3 (8分6秒)
- 课时20:中断处理机制–Summary (5分8秒)
- 课时21:系统调用 (16分43秒)
- 课时22:计算机体系结构和内存层次 (13分33秒)
- 课时23:地址空间和地址生成 (14分28秒)
- 课时24:连续内存分配 (14分37秒)
- 课时25:碎片整理 (6分35秒)
- 课时26:伙伴系统 (10分45秒)
- 课时27:SLAB分配器 (22分20秒)
- 课时28:非连续内存分配的需求背景 (8分20秒)
- 课时29:段式存储管理 (5分23秒)
- 课时30:页式存储管理 (7分51秒)
- 课时31:页表概述 (8分10秒)
- 课时32:快表和多级页表 (6分48秒)
- 课时33:RISC-V页映射机制 (15分47秒)
- 课时34:使能RISC-V页表 (12分53秒)
- 课时35:虚拟存储的需求背景 (9分30秒)
- 课时36:覆盖和交换 (11分37秒)
- 课时37:局部性原理 (9分22秒)
- 课时38:虚拟存储概念 (5分1秒)
- 课时39:虚拟页式存储 (12分52秒)
- 课时40:缺页异常 (9分6秒)
- 课时41:RISC-V缺页异常 (15分4秒)
- 课时42:页面置换算法的概念 (8分39秒)
- 课时43:最优算法、先进先出算法和最近最久未使用算法 (21分44秒)
- 课时44:时钟置换算法和最不常用算法 (20分16秒)
- 课时45:Belady现象和局部置换算法比较 (12分48秒)
- 课时46:页表自映射 (21分57秒)
- 课时47:工作集置换算法 (15分28秒)
- 课时48:缺页率置换算法 (7分45秒)
- 课时49:抖动和负载控制 (4分27秒)
- 课时50:面向缓存的页替换算法-FBR (19分16秒)
- 课时51:面向缓存的页替换算法-LRU-K2Q (12分57秒)
- 课时52:面向缓存的页替换算法-LIRS (29分22秒)
- 课时53:进程的概念 (8分5秒)
- 课时54:进程控制块 (5分40秒)
- 课时55:进程状态 (12分0秒)
- 课时56:三状态进程模型 (5分5秒)
- 课时57:挂起进程模型 (6分6秒)
- 课时58:线程的概念 (12分1秒)
- 课时59:用户线程 (4分47秒)
- 课时60:内核线程 (5分52秒)
- 课时61:进程地址空间与熔断(meltdown)漏洞 (26分9秒)
- 课时62:进程切换 (16分31秒)
- 课时63:进程创建 (23分46秒)
- 课时64:进程加载 (7分43秒)
- 课时65:进程等待与退出 (11分28秒)
- 课时66:rCore进程和线程控制 (22分38秒)
- 课时67:处理机调度概念 (5分37秒)
- 课时68:调度准则 (10分30秒)
- 课时69:先来先服务、短进程优先和最高响应比优先调度算法 (15分2秒)
- 课时70:时间片轮转、多级反馈队列、公平共享调度算法和ucore调 (20分12秒)
- 课时71:实时调度 (10分28秒)
- 课时72:优先级反置 (6分33秒)
- 课时73:rCore调度框架 (14分51秒)
- 课时74:对称多处理与多核架构 (10分51秒)
- 课时75:多处理器调度概述 (18分20秒)
- 课时76:O(1)调度 (19分45秒)
- 课时77:CFS调度 (19分53秒)
- 课时78:BFS调度算法 (17分42秒)
- 课时79:背景 (12分51秒)
- 课时80:现实生活中的同步问题 (19分35秒)
- 课时81:临界区和禁用硬件中断同步方法 (6分39秒)
- 课时82:基于软件的同步方法 (12分22秒)
- 课时83:高级抽象的同步方法 (11分22秒)
- 课时84:信号量 (12分18秒)
- 课时85:信号量使用 (13分28秒)
- 课时86:管程 (15分45秒)
- 课时87:哲学家就餐问题 (9分24秒)
- 课时88:读者-写者问题 (13分0秒)
- 课时89:Rust语言中的同步机制 (20分25秒)
- 课时90:死锁概念 (11分20秒)
- 课时91:死锁处理方法 (12分58秒)
- 课时92:银行家算法 (10分24秒)
- 课时93:死锁检测 (9分30秒)
- 课时94:并发错误检测 (20分45秒)
- 课时95:进程通信概念 (8分26秒)
- 课时96:信号和管道 (8分27秒)
- 课时97:Linux信号机制 (21分36秒)
- 课时98:消息队列和共享内存 (7分4秒)
- 课时99:D-Bus机制 (15分47秒)
- 课时100:Binder机制 (25分31秒)
- 课时101:文件系统和文件 (6分48秒)
- 课时102:文件描述符 (13分31秒)
- 课时103:目录、文件别名和文件系统种类 (14分12秒)
- 课时104:虚拟文件系统 (6分23秒)
- 课时105:文件缓存和打开文件 (10分1秒)
- 课时106:文件分配 (14分57秒)
- 课时107:空闲空间管理和冗余磁盘阵列RAID (14分44秒)
- 课时108:FAT文件系统 (17分31秒)
- 课时109:EXT4文件系统-历史 (9分46秒)
- 课时110:EXT4文件系统-支持大容量存储 (7分47秒)
- 课时111:EXT4文件系统-支持恢复异常 (28分34秒)
- 课时112:ZFS文件系统 (30分57秒)
- 课时113:IO特点 (9分2秒)
- 课时114:IO结构 (8分22秒)
- 课时115:IO数据传输 (8分5秒)
- 课时116:磁盘调度 (13分35秒)
- 课时117:LinuxIO子系统 (19分58秒)
- 课时118:Linux内核错误分析 (23分49秒)
- 课时119:用rust写操作系统-系统编程语言rust (42分10秒)
- 课时120:用rust写操作系统-rust与操作系统开发 (16分53秒)
- 课时121:Background (31分30秒)
- 课时122:FuturesinRust (18分10秒)
- 课时123:Generatorsandasyncawait (12分6秒)
- 课时124:Self-ReferentialStructs&Pin (13分38秒)
- 课时125:WakerandReactor (21分22秒)
- 课时126:Overview (23分6秒)
- 课时127:HowVMMworks-CPU (25分27秒)
- 课时128:HowVMMworks-memory&IO (15分0秒)
热门下载
[资料]-JIS B8350-2-2003 Hydraulic fluid power-Test code for determination of airborne noise levels-Par
[资料]-JIS F7203-1998 Shipbuilding-Bilge mud boxes for machinery spaces and tunnels-General design cha
热门帖子