进程和线程

操作系统(一)

进程和线程的概念,以及为什么要有进程线程,其中有什么区别,它们各自又是怎样同步的

基本概念:
进程是对运行时程序的封装,是系统进行资源调度和分配的基本单位,实现了操作系统的并发:
线程是进程的子任务,是CPU调度和分派的基本单位,用于保证程序的实时性,实现进程内部的并发;线程是操作系统可识别的最小执行
和调度单位.每个线程都独自占用一个虚拟处理器:独自的寄存器组,指令计数器和处理器状态.每个线程完成不同的任务,但是共享同
一地址空间(也就是同样的动态内存,映射文件,目标代码等等),打开的文件队列和其他内核资源.
区别:
1,一个线程只能属于一个进程,一个进程可以有多个线程,但至少有一个线程.线程依赖于进程而存在.
2,进程在执行过程中拥有独立的内存单元,而多个线程共享进程的内存
3,进程是资源分配的最小单位,线程是CPU调度的最小单位.
4,系统开销,由于在创建或撤销进程时,系统都要为之分配或回收资源,如内存空间,I/O设备等.因此,操作系统所付出的开销将显著地
大于在创建或销毁线程时的开销.
5,通信:由于同一进程中有多个线程具有相同的地址空间,它们之间的同步和通信的实现业比较容易.进程间通信IPC,线程间可以直接
读写进程数据段(全局变量)来进行通信–需要进程同步和互斥手段的辅助,以保证数据的一致性,在有的系统中,线程的切换,同步和
通信都无须操作系统内核干预.
6,进程编程调试简单可靠性高,但是创建销毁开销大;线程正相反,开销小,切换速度快,但是编程调试相对复杂;
7,进程间不会相互影响,一个线程挂掉,会导致整个进程挂掉
8,进程适用于多核,多机分布;线程适用于多核;

进程间通信方式
进程间通信主要包括管道,系统IPC(包括消息队列,信号量,信号,共享内存等),以及套接字socket.
1.管道
1).管道主要包括无名管道和命名管道:管道可用于具亲缘关系的父子间进程通信,有名管道除了具有管道具有的性质外,他还允许无
亲缘关系进程间的通信
1.1普通管道PIPE
它是半双工的(即数据只能在一个方向上流动),具有固定的读端和写端
它只能用于具有亲缘关系的进程之间的通信(也就是父子进程或者兄弟进程之间)
他可以看成是一种特殊的文件,对于他的读写也可以使用普通的read,write等函数,但是他不是普通的文件,并且不属于其他任何文
件系统,
1.2命名管道FIFO
1)FIFO可以在无关的进程之间交换数据
2)FIFO有路径名与之相关联,它以一种特殊设备文件形式存在于文件系统中;

2.系统IPC
2.1消息队列
消息队列是消息的链接表,存放在内核中,一个消息队列有一个标识符(即队列ID)来标记;
特点:消息队列是面向记录的,其中消息具有特定的格式以及特定的优先级; 消息队列独立于发送与接受进程.进程终止时,消息队列
及其内容并不会被删除; 消息队列可以实现消息的随机查询,消息不一定由先进先出的顺序读取,也可以按消息的类型读取.

2.2信号量
信号量与已经介绍的IPC结构不同,他是一个计数器,可以用来控制多个进程对共享资源的访问.信号量用于实现进程间的互斥与同步
,而不是用于储存进程间通讯数据.
特点:
1)信号量用于进程间同步,若要在进程间传递数据需要结合共享内存;
2)信号量基于操作系统的PV操作,程序对信号量的操作都是原子操作.
3)每次对信号量的PV操作不仅限于对信号量值加1或减1,而且可以加减任意正整数.
4)支持信号量组.

2.3信号
信号是一种比较复杂的通信方式,用于通知接收进程某个事件已经发生.

2.4共享内存
它使得多个进程可以访问同一块内存空间,不同进程可以及时看到对方进程中对共享内存中数据的更新.这种方式需要依靠某种同步
操作,如互斥锁和信号量等
特点:
1)共享内存是最快的一种IPC,因为进程是直接对内存进行存取
2)因为多个进程可以同时操作,所以需要进行同步
3)信号量+共享内存通常结合在一起使用,信号量用来同步对共享内存的访问

3套接字SOCKET
SOCKET也是一种进程间通信机制,与其他通信机制不同的是,他可以用于不同主机之间的进程通信.

线程间通信方式:
临界区:通过多线程的串行化来访问公共资源或一段代码,速度快,适合控制数据访问;

互斥量:采用互斥对象机制,只拥有互斥对象的机制的线程才有访问公共资源的权限.因为互斥对象只有一个,所以可以保证公共资源
不会被多个线程同时访问

信号量:为控制具有有限数量的用户资源而设计的,它允许多个线程在同一时刻去访问同一资源,但一般需要限制同一时刻访问此资源
的最大线程数目.

事件(信号):通过通知操作的方式来保持多线程同步,还可以方便的实现多线程优先级的比较操作

Linux虚拟地址空间
为了防止不同进程同一时刻在物理内存中运行而对物理内存的争夺和践踏,采用了虚拟内存

虚拟内存技术使得不同进程在运行过程中,它所看到的是自己独自占有了当前系统的4G内存.所有进程共享同一物理内存,每个进程只
把自己目前需要的虚拟内存空间映射并存储到物理内存上.事实上,每个进程创建加载时,内核只是为进程"创建"了虚拟内存的布局,
具体就是初始化进程控制表中内存相关的链表,实际上并不立即就把虚拟内存对应位置的程序数据和代码拷贝到物理内存中,只是建立
好虚拟内存和和磁盘文件之间的映射就好,等到运行到对应程序时,才会通过缺页异常,来拷贝数据.还有进程运行过程中,要动态分配
内存,比如malloc时,也只是分配了虚拟内存,即为这块虚拟内存对应的页表项作相应设置,当进程真正访问到此数据时,才引发缺页异常.