高高。。。。

重点:存储系统/分布式系统

得到数据:

  • 数据模型计算(简单系统)
  • 实现一个操作系统CPU(成本高)
  • 仿真实验

文章类型:

  • 国际会议 10-15slices
  • 期刊论文

做OS研究为其他方面提供支持

一 Advanced OS Overview

Rethink OS Components

1、回顾os的发展历史

2、

3、

  • 单机系统,打通硬件和软件之间的桥梁
    • 内存管理、进程管理、同步机制、文件系统、设备驱动
    • VMM系统虚拟机
  • 安全性
  • 正确性
  • 分布式系统

4、目的

  • 干净的虚拟环境:让进程得到需要的资源去运行
  • 硬件无关
  • 资源相互隔离且可以共享,管理
  • 数据存储、可靠

下面四个是新的要求

  • 保护
  • 实时支持
  • 并行
  • 人机交互

Strategy 战略

  • How do we organize the Os effectively for development,evolution, performance, and security?
  • 我们如何有效地组织操作系统以实现开发、演进、性能和安全性?
  • How do we use multi- processor machines effectively?
  • 我们如何有效地使用多处理器机器?

5、内存管理

目的

  • 虚拟内存:提供了无限物理内存的错觉
  • 交换:根据需要将进程移至磁盘
  • 分页:允许进程仅在内存中运行活动页面
  • 缓冲缓存:加速输入/输出访问

策略

  • 我们如何协调机器以共享内存?
  • 随着内存变得丰富,我们如何简化内存管理?

6、调度

目的

  • 提供了在单个处理器上同时运行多个进程的错觉
  • 上下文切换:改变处理器的关注点
    • 涉及保存和恢复状态
    • 必要时越过内核边界

策略
- 我们如何在同时实现公平性、高吞吐量和响应性?
- 我们如何减少或避免上下文切换的成本?

7、单机:同步管理

目的

  • 提供在任意上下文切换情况下正确执行或协调线程的能力。

策略
- 原子操作:一切或无
- 互斥:一次只允许一个线程进入临界区
- 信号量:基于计数的原子锁
- 避免死锁:避免在资源上形成循环等待。

8、文件系统

目的

  •  文件:数据 + 属性
  • -文件系统服务:
    •   - 组织
    •   - 命名
    •   - 访问
    •   - 同步
    •   - 保护和安全

策略
- 如何使不同的文件系统在一起工作,甚至跨越多台机器?
- 如何为在多台机器上的文件副本提供一致性、可用性和可靠性?
- 如何处理非常大的数据集?

9、单机:I/O 设备
目的

  • - I/O 设备往往比内存速度慢得多
  • - 缓存:将额外的数据存储在内存中,以期望在近期内再次使用

策略
- 如何协调跨多台机器的内存资源以提高性能?
- 如何处理具有新特性的新设备?


Tendency of OS -- Performance

1、趋势

  • 性能
  • 可靠性
  • 正确性

2、然而,操作系统和应用程序能否有效地利用这些核心?

3、常见的OS

加速比:希望随着核数的增加系统性能能够线性增加,但是没有达到这样的效果

这一系列词汇似乎是关于计算机技术和操作系统的。以下是它们的翻译:

- Apache: 一个流行的开源Web服务器软件。
- OLTP: 在计算机科学中指的是联机事务处理,用于处理实时的事务和数据库操作。
- RMS: 可能指"Record Management System",这是一种用于管理记录和数据的系统。
- Windows: 微软的操作系统。
- Linux: 一种开源的类Unix操作系统。
- FreeBSD: 一种类Unix操作系统,是从BSD(Berkeley Software Distribution)发展而来的
- NetBSD: 另一种类Unix操作系统,与FreeBSD有关,但有一些不同的设计目标。
- Solaris: 一种由Oracle公司开发的Unix操作系统。
- Multicore: 多核,指的是一个计算机芯片上拥有多个处理核心。

 tmpfs 是内存中的文件系统,允许多个CPU同时访问一个文件系统

内部核互斥竞争带来的性能陡降

4、结论

  • 没有一个系统在所有方面的微基准测试中都明显优于其他系统。
  • 在应用程序基准测试中,Linux和Solaris表现竞争力,而FreeBSD在性能和可扩展性上都不如它们。
  • 在多核平台上,保护共享数据结构的内核同步是主要的性能瓶颈。

Tendency of OS -- Reliability

1、可靠性:系统或组件在规定条件下在指定时间内执行其所需功能的能力。

  • 通常比仅仅“可用性”更为强大:这意味着系统不仅“运行”,而且还能正确工作。
  • 包括可用性、安全性、容错/耐久性。
  • 必须确保数据在系统崩溃、磁盘崩溃等情况下能够存活。

2、安全问题

3、威胁分析

  • 我们试图保护什么?(为什么?)
  • 这些资产存在哪些漏洞?
  • 谁可能(意外地)利用漏洞?
  • 我们如何防范特定威胁?
  • 我们为防范它愿意付出多少代价?

4、核心技术问题

  • 控制对计算机和数据资源的访问
  • 控制访问权限从持有者传递到持有者的方式,从人到人,从程序到程序
  • 防止恶意行为和错误破坏控制措施

5、系统安全技术

Tendency of OS -- Correctness + Summary

1、正确性及总结

2、如何确保成程序是正确的,要给出不同层面的定义

3、保证正确性面临的挑战

组件来自不同的来源
- 手动编写的汇编:C/C++
- 类型安全的语言:Java, C#
- Go, Rust
- 领域特定语言(DSL)

许多不同的特性
- 代码加载
- 控制抽象

  •   jmp(goto)/函数
  •   异常/中断
  •   进程/线程

- 内存更新

  •  类型保持更新
  •  类型更改更新
  •  指针算术 (c语言特有的)

4、总结

AlM(Abstract Machine Language)机器

  • 低级
  • 能够实现中断处理程序和线程库

程序逻辑

  • 遵循分离逻辑中的局部推理
  • 通过内存所有权转移对cli/sti、switch、block/unblock进行建模
  • 能够对不同的锁和条件变量实现进行认证

二 OS Architecture &Structure 操作系统架构与结构

2.1 Overview

1、为什么研究架构与结构

  • 对于 用户/开发者
    • 关注点:是否方便实用,方便学习,可靠,速度
  • 对于 系统架构师/开发者
    • 关注点:方便设计、实施、维护;灵活性、可靠性、没有错误、有效性

2、历史

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/259737.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

鸿蒙开发运用ArkUI基础-实操显式动画

利用ArkUI组件不仅可以实现属性变化引起的属性动画,也可以实现父组件状态变化引起子组件产生动画效果,这种动画为显式动画。效果如图所示: 代码结构解读 ├──entry/src/main/ets // 代码区 │ ├──common │ │ └──…

css 美化滚动条

当div内容溢出容器定义的高度时,滚动条显示,并美化默认的滚动条样式 div 容器 <divclass"content">内容 </div>css 样式 /* 问话区域 滚动条 */ .content {overflow: auto;height: 662px;padding: 25px;scrollbar-width: thin; /* 设置滚动条宽度 */bo…

四川云汇优想教育咨询有限公司电商服务靠谱吗

随着抖音电商的兴起&#xff0c;越来越多的商家开始关注这一领域。四川云汇优想教育咨询有限公司作为一家专注于电商服务的企业&#xff0c;也受到了广泛的关注。那么&#xff0c;四川云汇优想教育咨询有限公司的抖音电商服务靠谱吗&#xff1f;下面我们将从多个方面进行深入剖…

大模型赋能“AI+电商”,景联文科技提供高质量电商场景数据

据新闻报道&#xff0c;阿里巴巴旗下淘天集团和国际数字商业集团都已建立完整的AI团队。 淘天集团已经推出模特图智能生成、官方客服机器人、万相台无界版等AI工具&#xff0c;训练出了自己的大模型产品 “星辰”&#xff1b; 阿里国际商业集团已成立AI Business&#xff0c;…

在线教育(内部)培训系统搭建,提供高效便捷的学习体验

我国一直是教育大国&#xff0c;不管是国民义务教育&#xff0c;还是学历提升、职业证书等&#xff0c;我国教育行业一直处于兴盛不衰的地步。 随着互联网信息化的发展&#xff0c;在线教育培训系统逐渐在教育行业得到重视。根据数据显示&#xff0c;我国在线教育市场规模将达…

拼图游戏

第一步是创建项目 项目名自拟 第二部创建个包名 来规范class 然后是创建类 创建一个代码类 和一个运行类 代码如下&#xff1a; package heima;import java.awt.event.ActionEvent; import java.awt.event.ActionListener; import java.awt.event.KeyEvent; import jav…

探索泰勒级数在机器学习中的作用:从函数逼近到模型优化

一、介绍 泰勒级数是数学中的一个基本概念&#xff0c;在机器学习领域有着重要的应用。本文将探讨泰勒级数的基础知识、它在机器学习中的相关性以及一些具体应用。 揭开复杂性&#xff1a;利用泰勒级数增强机器学习应用的理解和效率。 二、理解泰勒级数 在数学中&#xff0c;泰…

Leetcode—128.最长连续序列【中等】

2023每日刷题&#xff08;六十四&#xff09; Leetcode—128.最长连续序列 实现代码 class Solution { public:int longestConsecutive(vector<int>& nums) {unordered_set<int> s;for(auto num: nums) {s.insert(num);}int longestNum 0;for(auto num: s) …

Python Opencv实践 - 手部跟踪

使用mediapipe库做手部的实时跟踪&#xff0c;关于mediapipe的介绍,请自行百度。 mediapipe做手部检测的资料&#xff0c;可以参考这里&#xff1a; MediaPipe Hands: On-device Real-time Hand Tracking 论文阅读笔记 - 知乎论文地址&#xff1a; https://arxiv.org/abs/2006…

Shell三剑客:awk(简介)

一、前言 AWK 是一种编程语言&#xff0c;用于在linux/unix下对文本和数据进行处理。数据可以来自标准输入、一个或多个文件&#xff0c;或其它命令的输出。它支持用户自定义函数和动态正则表达式等先进功能&#xff0c;是linux/unix下的一个强大编程工具。它在命令行中使用&a…

3 - Electron app BrowserWindow对象-关于窗口

优雅的打开应用~ 当加载缓慢&#xff0c;打开应用的一瞬间会出现白屏&#xff0c;以下方法可以解决 const mainWindow new BrowserWindow({ show: false }) mainWindow.once(ready-to-show, () > {mainWindow.show() }) 设置背景颜色 const win new BrowserWindow({ b…

VueCron使用方法

1&#xff09;什么是vueCron Vue Cron 是基于 Vue.js 的定时任务管理组件&#xff0c;它提供了一种简单易用的方式来设定和管理定时任务。Vue Cron 提供了一个类似于 Linux crontab 的界面&#xff0c;用户可以通过它来创建、编辑和删除定时任务。 2&#xff09;安装依赖及应…

FreeCodeCamp--数千免费编程入门教程,非盈利性网站,质量高且支持中文

在浏览话题“Github上获得Star最多的项目”时&#xff0c;看到了FreeCodeCamp&#xff0c;顾名思义--免费编程营地&#xff0c;于是就做了些调研&#xff0c;了解了下这是个什么项目 这是一个致力于推动编程教育的非营利性组织&#xff0c;团队由来自世界各地的杰出的技术开发…

如何将图片转为PDF

问题描述&#xff1a;如何将图片转为PDF&#xff0c;有时需要将纸质文档扫描成PDF&#xff0c;然后上传到网上。 解决办法&#xff1a;平时使用的方法是将图片插入到word文件中&#xff0c;然后将图片设置为浮于文字下方&#xff0c;然后调整图片的大小&#xff0c;铺满整个wo…

SMART PLC MODBUS-RTU通信(多台同一设备通信优化写法)

MODBUS通信基础介绍请查看下面文章链接: https://rxxw-control.blog.csdn.net/article/details/133755924https://rxxw-control.blog.csdn.net/article/details/133755924多台同一设备的MODBUS-RTU通信,我们在编写轮询程序的时候,可以采用站号变址的方式实现。 1、轮询状态…

[Linux] Haproxy负载均衡集群

一、Haproxy知识 1.1 常用的负载均衡调度器 软件通常使用开源的LVS、Haproxy、 Nginx LVS性能最好&#xff0c;但是搭建相对复杂&#xff1b;Nginx 的upstream模块支持群集功能&#xff0c;但是对群集节点健康检查功能不强&#xff0c;高并发性能没有Haproxy好。 硬件一般使用…

java中常用的加密算法总结

目前在工作中常用到加密的一些场景&#xff0c;比如密码加密&#xff0c;数据加密&#xff0c;接口参数加密等&#xff0c;故通过本文总结以下常见的加密算法。 1. 对称加密算法 对称加密算法使用相同的密钥进行加密和解密。在Java中&#xff0c;常见的对称加密算法包括&…

2023_Spark_实验三十二:消费Kafka数据并保存到MySQL中

实验目的&#xff1a;掌握Scala开发工具消费Kafka数据&#xff0c;并将结果保存到关系型数据库中 实验方法&#xff1a;消费Kafka数据保存到MySQL中 实验步骤&#xff1a; 一、创建Job_ClickData_Process 代码如下&#xff1a; package examsimport org.apache.kafka.clien…

阶段十-springsecurity总结

jwt认证流程 SpringSecurity 认证过程 第一步&#xff1a; 创建一个类实现UserDetailsService接口&#xff0c;重写其中的方法 通过重写 public UserDetails loadUserByUsername(String username) 方法 从数据库校验用户输入的用户名 配置SecurityConfig Bean注入 Passwor…

【C++题目速刷】二分查找

【C题目速刷】二分查找 一、二分查找1、题目链接2、解题3、代码 二、在排序数组中查找元素的第一个和最后一个位置1、题目链接2、解题3、代码4、算法模板 三、x的平方根1、解题链接2、解题3、代码 四、搜索插入位置1、题目链接2、解题3、代码 五、山脉数组的峰顶索引1、题目链接…