《信息安全与设计》第四章学习笔记

第四章 并发编程

并行计算导论

  • 顺序算法与并行算法
    • 顺序算法:所有步骤通过单个任务依次执行,每次执行一个步骤,当所有步骤执行完成时,算法结束。
    • 并行算法:cobegin-coend代码块来指定独立任务,所有任务都是并行执行的,紧接着代码块的下一个步骤将只在所有这些任务完成之后执行。
  • 并行性与并发性
    • 真正的并行执行只能在多个处理组件的系统中实现,比如多处理器或多核系统。
    • 在单CPU系统中,并发性是通过多任务处理实现的。

线程

  • 原理
    • 一个操作系统(OS)包含许多并发进程。
  • 线程的优点
    • 线程创建和切换速度更快
    • 线程的响应速度更快
    • 线程更适合并行运算
  • 线程的缺点
    • 线程需要来自用户的明确同步
    • 许多库函数可能对线程不安全
    • 在单CPU系统上,使用线程解决间题实际上要比使用顺序程序慢,这是由在运行时创建线程和切换上下文的系统开销造成的

线程操作

  • 线程的执行轨迹与进程类似,线程可在内核模式或用户模式下执行。
  • 在用户模式下,线程在进程的相同地址空间中执行,但每个线程都有自己的执行堆栈。

线程管理函数

  • 创建线程
    () int pthread_create (pthread_t *pthread_id,pthread_attr_t *attr, void * (*func) (void *), void *arg); ()
    * 线程ID

    int pthread_equal(pthread_t t1,pthread_t t2);

    如果是不同的线程,则返回0,否则返回非0
    * 线程终止
    线程函数结束后,线程即终止,或者,线程可以调用函数int pthraad_exit (void *status)进行显式终止,其中状态是线程的退出状态。
    * 线程连接
    一个线程可以等待另一个线程的终止, 通过:
    int pthread_join (pthread_t thread, void **status__ptr);
    终止线程的退出状态以status_ptr返回。

线程同步

* 互斥量
在 Pthread中,锁被称为互斥量,意思是相互排斥。
  * 静态方法:`pthreaa—mutex_t m = PTHREAD_MUTEX_INITIALIZER `,定义互斥量 m, 并使用默认属性对其进行初始化。
  * 动态方法,使用 pthread_ mutex _init() 函数
  * 线程通过互斥量来保护共享数据对象
* 死锁预防
  * 互斥量使用封锁协议。如果某线程不能获取互斥量,就会被阻塞,等待互斥量解锁后再继续。在任何封锁协议中,误用加锁可能会产生一些问题。最常见和突出的问题是死锁。死锁是一种状态,在这种状态下,许多执行实体相互等待,因此都无法继续下去。
  * 有多种方法可以解决可能的死锁问题,其中包括死锁预防、死锁规避、死锁检测和恢复等。在实际系统中,唯一可行的方法是死锁预防,试图在设计并行算法时防止死锁的发生。一种简单的死锁预防方法是对互斥量进行排序,并确保每个线程只在一个方向请求互斥量,这样请求序列中就不会有循环。
 * 条件变量
    * 作为锁,互斥量仅用于确保线程只能互斥地访问临界区中的共享数据对象。条件变量提供了一种线程协作的方法。条件变量总是与互斥量一起使用。在Pthread中,使用类型pthread_cond_t来声明条件变量,而且必须在使用前进行初始化。
    * 静态方法: `pthread_cond_t con= PTHREAD_COND_INITIALIZER; ` 定义一个条件变屾con,并使用默认属性对其进行初始化。
    * 动态方法:使用pthread_cond_init()函数,可通过attr参数设置条件变量。为简便起见,我们总是使用NULLattr参数作为默认属性。
 * 信号量
   * 信号量是进程同步的一般机制。
   * 信号量是一种数据结构:
struct sem{
  int value;
  struct process *queue
}s;   
  • 屏障
    • 线程连接操作允许某线程(通常是主线程)等待其他线程终止。
    • 在pthread中可以采用的机制是屏障以及一系列屏障函数。

苏格拉底挑战

  • 线程:






  • 线程同步







遇到的困难与解决

  • 问题:顺序算法与并行算法之间的区别与联系是什么,在编程中有什么用
  • GPT的回答:

实践

  • 生产者-消费者问题