OS线程模型

线程模型

  1. N对1
    内核线程 映射 用户进程, 用户进程里可以启多个线程

  2. 1对1
    内核线程和用户线程 1对1 Linux采用这种方式

  3. N对M
    用户线程被抽象为更轻量的线程, 内核线程和轻量的线程对应

进程间的数据是隔离的,父子进程间存在写时拷贝, 只要明白进程间变量是隔离的即可.

管道是基于文件实现的, 内核分配页做缓冲区, 形成循环列表
有名管道也是基于文件实现.

pthread_join 是阻塞等待线程结束

信号是在软件层面对中断的模拟.

对用户空间占用较大的程序,如cache, 当发生coredump时, 我们可以通过信号的方式, 捕获出错的信号,打印出堆栈, 而不需要
core出整个用户空间. SIGSEGV 11信号 SIGABRT

本地UNIX套接字,不经过外设, 直接使用内存块拷贝

ftok 文件不能删,因为它用的是inode节点,产生key

共享内存比较高效,因为没有内存拷贝

共享内存的同步 -- 一般使用信号量,保护共享内存的数据

共享内存实现方式 -- 队列模式、页模式、哈希模式

共享内存 -- 访问使用偏移量 ,不要用指针

消息队列 -- 内核实现的--不用考虑同步和互斥

信号量 -- 同步原语

文件内存映射, 比共享内存 可靠性高, 把文件映射到进程内存空间中, 不好的地方是回写文件要消耗io, 请求量很大的时候,大量回写会导致性能很差.

文件和锁 文件锁

GNP 通用网络模型
epoll监听文件描述符的状态 利用管道基于文件实现的特性, 监听管道状态, 实现实时通知.

非递归锁 -- 重复加锁,会导致死锁
递归锁 -- 可重复加锁,需释放多次
读写锁 -- 读多写少

多线程模型 - LF 和 半同步半异步
半同步半异步 由于有队列,会引入压队列和出队列的拷贝消耗, 但是有利于框架化,解耦IO和业务逻辑.
LF 比较简单,但是IO和业务耦合.
加锁和解锁 一秒可以几十万次,锁最大的问题是锁的占用时间
能不加锁就不加锁
空间换时间 减小锁的粒度 考虑临界区
避免死锁
性能要求较高的场景下 -- 两个map存储数据,切换,形成无锁方案

多线程更适合计算频繁、通信频繁、组件化、交互式
多进程更稳定

posted @ 2016-12-02 20:54  JinleiZhang  阅读(267)  评论(0编辑  收藏  举报