POSIX 线程编程（一）简介

2022-05-26 18:52:18

简介

在共享内存的多处理器结构中，可以用线程来实现并行。对于UNIX系统， IEEE POSIX 1003.1c标准规定了C语言线程编程接口的标准。这份标准的实现就是POSIX threads，或者称为Pthreads.

本文开始先介绍线程的基本概念，动机和设计方面的一些考虑。接下来是Pthreads API 的三个主要部分：线程管理，互斥锁和条件变量。本文自始至终会贯穿大量的示例代码来展示如何使用Pthread API的每一部分。

Pthreads 概述

线程是什么?

UNIX进程线程

线程使用并存在在这些进程资源中，线程可以被操作系统调用并独立运行，很大程度上是因为它只复制了很少量的作为可执行代码存在的必须重要资源。
一个线程完成独立的控制流是因为它维护自己拥有的：
- 栈指针
- 寄存器
- 调度优先级
- 待定和阻塞信号集合
- 线程特有的数据
因此，简而言之，在UNIX系统环境中一个线程：
- 存在在一个进程中并使用进程资源
- 只要父进程存在并且操作系统支持就一直拥有自己独立的控制流
- 仅复制独立调度所必须关键资源
- 可以和其他线程共享进程资源
- 如果线程的父进程死掉，则该线程死掉
- 是“轻量级”的因为大多是开销在它的进程创建的时候已经完成了
同一进程的线程间共享资源，导致：
- 一个线程对于共享的系统资源所做的更改（例如关闭一个文件）将会被所有其他的线程发现
- 两个具有相同值的指针指向相同的数据
- 可能读写相同的内层位置，因此要求程序员进行显式的同步

在高性能计算的世界，使用线程的首要目的是实现潜在的程序性能的提升
与创建和管理进程的花费相比，创建一个线程只需要较少的系统开销。管理线程所需要的系统资源原少于管理进程

举例来说，下表是fork() 与 pthread_create()所花时间的对比。

一个进程中的所有线程共享相同的地址空间。在很多情况下线程间通信比进程间通信更高效和容易。
线程应用与非线程应用相比，提供的潜在的性能提升和实际的优势主要通过以下几种方法：
- 通过I/O重叠CPU工作：
- 优先/实时调用：更重要的任务可以优先调用或者中断低优先级的任务
- 异步事件处理：服务不确定频率和交叉存取的事件的任务。举例来说，一个web服务端程序可以在和一个请求传送数据的同时管理新到的请求

设计并行程序需要考虑很多方面：
- 使用什么类型的并行编程模型
- 问题分解
- 负载平衡
- 通信
- 数据依赖关系
- 同步和竞争条件
- 内存问题
- I/O问题
- ...
本文将不对上述问题进行深入的探讨，不过，感兴趣的可以戳这里：Introduction to Parallel Computing
一般来讲，一个程序想要发挥Pthread的优势，必须是可以分离成独立的可以同时运行的子任务如图所示：
适合使用Pthread的程序一般由如下性质：
- 工作可以被多任务同时执行或者数据可以被同时操作
- 潜在的长时间I/O等待阻塞
- 必须响应异步事件
- 一些工作比其他的工作更重要(优先级中断)
一些常见的基于线程的程序模型：
- Manager/worker：manager线程分配任务给其他workers线程。
- Pipeline：一个任务被分成一系列的子任务，每个子任务都被一个不同的线程有序并发的处理。类似汽车装配线
- Peer：有点类似Manager/worker，但是，在主线程建立其他线程之后，就各自工作