整理好了！2024年最常见 20 道并发编程面试题（一）

一、线程和进程的区别是什么？

线程和进程是操作系统中用于执行程序的基本单位，它们之间有几个关键的区别：

1. 定义：

   • 进程（Process）是操作系统进行资源分配和调度的一个独立单位，是程序的一次执行实例。每个进程都有自己独立的内存空间，至少一个线程，以及一个或多个子进程。
   • 线程（Thread）是进程中的一个实体，是被系统独立调度和分派的基本单位，比进程更小的能独立运行的基本单位。线程自身基本上不拥有系统资源，只拥有一点在运行中必不可少的资源（如执行栈），但它可以与同属一个进程的其他线程共享进程所拥有的全部资源。

2. 资源拥有：

   • 进程拥有独立的内存空间，一个进程至少有一个线程，每个线程都有自己独立的栈。
   • 线程共享进程的内存空间，包括代码段、数据段和堆。

3. 创建开销：

   • 创建进程的开销比创建线程要大，因为操作系统需要分配独立的内存空间和系统资源。
   • 创建线程的开销相对较小，因为线程共享进程的资源。

4. 通信方式：

   • 进程间通信（IPC）需要特定的机制，如管道、消息队列、共享内存或套接字等。
   • 线程间通信更简单，因为它们共享相同的内存空间，可以直接访问共享变量。

5. 上下文切换：

   • 进程间的上下文切换开销较大，因为涉及到不同的内存空间和可能的CPU状态变化。
   • 线程间的上下文切换开销较小，因为它们共享相同的地址空间。

6. 地址空间：

   • 每个进程有自己的地址空间，进程间的地址空间是相互独立的。
   • 同一进程的所有线程共享相同的地址空间。

7. 执行：

   • 进程是资源分配的最小单位，每个进程都有独立的系统资源。
   • 线程是程序执行的最小单位，线程是进程的一部分，共享进程的资源。

8. 系统调度：

   • 进程是系统资源分配和调度的基本单位，操作系统根据进程分配资源。
   • 线程是CPU调度和执行的基本单位，线程的调度和执行由操作系统或线程库管理。

理解线程和进程的区别对于设计高效、可扩展的软件系统至关重要，因为它们决定了程序的并发能力和资源使用效率。

二、请解释什么是死锁以及如何避免死锁。

什么是死锁？

死锁（Deadlock）是计算机科学中的一种特殊现象，发生在多个进程在运行过程中因争夺资源而造成的一种僵局。当两个或两个以上的进程在执行过程中，因争夺资源而造成的一种相互等待的现象，若无外力作用，这些进程都将无法向前推进。

死锁的必要条件通常包括以下四个，称为死锁的“四骑士”：

1. 互斥条件：资源不能被多个进程共享，只能由一个进程使用。
2. 占有和等待条件：一个进程至少占有一个资源，并且正在等待获取其他进程占有的资源。
3. 不可剥夺条件：已经分配给一个进程的资源，在未使用完之前，不能被强行夺走，只能由该进程自己释放。
4. 循环等待条件：存在一种进程资源的循环等待关系，即进程间形成一种头尾相接的循环链。

如何避免死锁？

避免死锁通常需要破坏上述死锁的四个必要条件之一或多个。以下是一些常见的避免死锁的策略：

1. 破坏互斥条件：

   • 这通常不现实，因为有些资源天生就是不可共享的。

2. 破坏占有和等待条件：

   • 一种方法是要求进程在开始执行前一次性地请求所有需要的资源。如果无法满足，则等待所有资源都可用时再开始执行。

3. 破坏不可剥夺条件：

   • 当一个进程请求一个已被占用的资源时，可以要求该进程释放已占有的资源，待需要的资源全部分配后再重新请求。

4. 破坏循环等待条件：

   • 为所有资源分配一个唯一的编号，规定所有进程必须按照编号的顺序来请求资源。

5. 资源分配图：

   • 通过构建资源分配图来检测是否存在循环等待，如果检测到可能形成循环，则可以采取措施打破循环。

6. 银行家算法：

   • 一种避免死锁的著名算法，通过预先评估进程的资源需求和当前系统的资源分配情况，来决定是否分配资源。

7. 设置超时：

   • 为资源请求设置超时时间，如果进程在超时时间内未能获得所需资源，可以释放已占有的资源并重新尝试。

8. 使用死锁检测算法：

   • 定期检测系统状态，如果发现死锁，采取相应措施，如终止或挂起某些进程。

9. 避免资源一次性分配：

   • 尽量将资源分配给需要它们的进程，而不是一次性分配给一个进程，然后等待它释放。

通过上述方法，可以在一定程度上避免或减少死锁的发生，但完全避免死锁可能需要牺牲一定的系统性能。在实际应用中，通常需要根据具体情况选择最合适的策略。