线程

产生死锁的四个必要条件

  1. 互斥条件：一个资源只能被一个进程使用
  2. 请求与保持条件：一个进程因请求资源而阻塞时，对已经获得的资源保持不放
  3. 不剥夺条件：进程已经获得资源不能 强行剥夺
  4. 循环等待条件：若干个进程之间形成一种头尾相接的循环等待资源

只要有一个不满足，就不会发生死锁

算法

红黑树的特点：

  1. 节点是红色或者是黑色的
  2. 根是黑色的
  3. 叶子节点都是黑色的
  4. 红色节点的叶子节点都是黑色的
    1. 红色节点的父亲 节点都是黑色的
    2. 从根节点到叶子节点所有的路径上不能有两个连续的红色节点
  5. 从任意节点到叶子节点所有路径都包含相同数目的黑色节点、

image-20230504195702445

image-20230504195503384