1. 并发程序的基本概念

  • 程序顺序性

    • 内部顺序性:CPU严格按照顺序执行指令
    • 外部顺序性:程序员设计程序时往往用顺序设计的思想
  • 顺序程序特性
    • 程序执行的顺序性
    • 计算环境的封闭性: 程序执行时犹如独占资源
    • 计算结果的确定性
    • 计算过程的可再现性
  • 并发进程
    • 无关的并发进程:一组并发进程,在不同变量集上运行
    • 交往的并发进程:一组并发进程,共享某些变量,相互影响
  • 并发进程制约关系
    • 进程互斥:争夺某一个资源
    • 进程同步:共同完成某一个任务,协调先后顺序
    • 发生问题:
      • 与时间有关的错误:结果错误、永远等待
  • 临界区:
    • 临界资源:一次只能被一个进程使用的资源(互斥共享变量)
    • 临界区:是个程序段,是并发进程中与互斥共享变量相关的程序段
    • 相关的临界区:两个进程的临界区有相同的临界资源(必须互斥进入)
    • 问题
      • 多个并发进程访问临界资源存在制约关系
      • 如果两个进程同时处在相关的临界区,会发生与时间有关的错误
    • 临界区管理的要求
      • 一次至多允许一个进程停留在相关临界区
      • 一个进程不能无限制停留在临界区内
      • 一个进程不能无限制等待进入临界区内
    • 临界区嵌套使用

2. 并发程序控制和问题

  • 临界区管理实现:

    • 思路判断锁获取锁要作为原子操作,不然会死锁或时间错误
    • 实现
      • 原子指令:测试并建立锁指令、对换指令(忙式等待,效率不高)
      • 中断控制:进出临界区时开关中断,这样临界区执行时就不会被中断,自然实现了原子性
        • 这个时操作系统的原语,是操作系统解决这个问题的办法
        • 不建议用户程序使用,因为无法保证程序员设计出短小精悍的原语
      • PV操作:用信号量,“申请-等待队列-中断恢复”
    • 生产者消费者问题
  • 进程间通信
    • 信号量:低级通信方式
    • 信件:进程通信机制(直接通信、间接通信)
    • 基于流:多个进程共同使用一个缓冲区
    • RPC:远程过程调用
  • 死锁
    • 概念:两个进程分别等待对方占有的资源
    • 死锁的产生
      • 互斥:进程互斥地使用资源
      • 占有和等待:一个进程得不到资源,就等待且不释放已有资源
      • 不剥夺:进程不能从另一个进程抢走资源
      • 循环等待:每个进程都等待它前一个进程所持有的资源
    • 死锁的防止
      • 破坏上述四个条件之一即可
      • eg. 层次分配:资源分成多个层次,一个进程获得某个资源后只能获得比他层次更高的资源  
    • 死锁的避免:银行家算法
    • 死锁的检测
      • 算法:warshall闭包

【重学计算机】操作系统D6章:并发程序设计的更多相关文章

  1. 【重学计算机】操作系统D1章:计算机操作系统概述

    1. 计算机软硬件系统 冯诺伊曼结构 以运算单元为核心,控制流由指令流产生 程序和数据存储在主存中 主存是按地址访问,线性编址 指令由操作码和地址码组成 数据以二进制编码 其他:参考<重学计算机 ...

  2. 【重学计算机】操作系统D3章:存储管理

    1. 存储管理的基本概念 逻辑地址:用户地址,从零开始编号 一维逻辑地址:(地址) 二维逻辑地址:(段号: 段内地址) 主存储器的复用方式 按分区:主存划分为多个固定/可变分区,一个程序占一个分区 按 ...

  3. 重学js之JavaScript 面向对象的程序设计(创建对象)

    注意: 本文章为 <重学js之JavaScript高级程序设计>系列第五章[JavaScript引用类型]. 关于<重学js之JavaScript高级程序设计>是重新回顾js基 ...

  4. 【重学计算机】操作系统D4章:设备管理

    1. IO的控制方式 演进过程:轮询 --> 中断 --> DMA --> IO通道 经典布局:南北桥 PS:详见<计算机组成原理> 2. IO的实现 软件实现层次:硬件 ...

  5. 【重学计算机】操作系统D2章:处理器管理

    1. 指令与处理器模式 指令执行周期:取指.译码.执行 指令分类(根据权限) 特权指令:只能被操作系统内核使用(启动IO,置PC值) 非特权指令:所有程序都能使用 处理器模式: 共有四种:0内核模式, ...

  6. 【重学计算机】操作系统D5章:文件系统

    1. 文件系统 文件系统概述 文件的组织: 逻辑结构:流式.记录式 物理结构:顺序.连接.直接.索引 文件的存取:顺序.直接.索引 文件的控制:逻辑控制.物理控制 文件的使用:打开.关闭.读.写.控制 ...

  7. 【重学计算机】机组D6章:中央处理器

    1. CPU的组成与功能 2. 数据通路 概念:执行部件间传送信息的路径,分共享通路(总线)和专用通路 抽象模型:时钟驱动下,A --> 组合逻辑 --> B D触发器定时模型: 时钟触发 ...

  8. 【重学计算机】机组D4章:存储系统

    1. 存储系统层次结构 主存速度缓慢的原因:主存增速与CPU不同步,执行指令期间多次访问主存 主存容量不足的原因: 存在制约主存容量的技术因素:如由CPU.主板等相关技术指标规定了主存容量 应用对主存 ...

  9. 【重学计算机】计组D1章:计算机系统概论

    1.冯诺依曼计算机组成 主机(cpu+内存),外设(输入设备+输出设备+外存),总线(地址总线+数据总线+控制总线) 2.计算机层次结构 应用程序-高级语言-汇编语言-操作系统-指令集架构层-微代码层 ...

随机推荐

  1. WPF 如何绘制不规则按钮,并且有效点击范围也是不规则的

    最近在做一个东西,如地图,点击地图上的某一区域,这一区域需要填充成其他颜色.区域是不规则的,而且点击该区域的任一点,都能够变色.普通的按钮只是简单的加载一幅图肯定是不行的.查了很多资料,终于把它搞定了 ...

  2. JS根据经纬度获取地址信息

    <!DOCTYPE HTML> <html> <head> <meta http-equiv="Content-Type" content ...

  3. Objective-C 快速入门--基础(三)

    1.OC有几种方式创建字符串对象?如:如何创建一个字符串对象:@“Baby”. OC中有3种方式创建字符串对象: 示例:main.m文件中: 控制台输出: 2.OC中如何获取字符串的长度? OC中获取 ...

  4. mySQL中删除unique key的语法

    CREATE TABLE `good_booked` (  `auto_id` int(10) NOT NULL auto_increment,  `good_id` int(11) default ...

  5. RabbitMQ 主题(Topic)

    我们进步改良了我们的日志系统.我们使用direct类型转发器,使得接收者有能力进行选择性的接收日志,,而非fanout那样,只能够无脑的转发. 虽然使用direct类型改良了我们的系统,但是仍然存在一 ...

  6. 辅助的写与数据库交互的XML文件的类

    现在企业级WEB应用中与数据库交互的XML文件都是通过插件自动生成的,不过有些时候修改比较老的项目的时候也是需要手动的来做这一动作的!如下代码就是一个实现上述的功能的辅助类,在此记录一下以备后用! p ...

  7. C++中new和malloc

    1.malloc的工作原理: malloc使用一个数据结构(链表)来维护分配空间链表的构成:分配的空间/上一个空间的数据/下一个空间/空间大小等信息.    对malloc分配的空间不要越界访问,因为 ...

  8. javacript参数传递表单验证

    <!doctype html> <html> <head> <meta charset="utf-8"> <style typ ...

  9. scrapy_items

    为什么要items? 当数据量多的时候,没有统一的数据管理,统一格式化麻烦 items中除了能添加字段,还能做什么? 1. 进行预先处理 2. 对从items出去的数据进行处理 3. 写上sql语句逻 ...

  10. java自动化-数据驱动juint演示,上篇

    本文旨在帮助读者介绍,一般的全自动化代码接口,并简单介绍如何使用数据驱动来实现简单的自动化 在经过上述几个博客介绍后,相信读者对自动启动执行一个java编译过的class有了一定了解,也完全有能力去执 ...