23、线程分配协议：死锁避免策略解析

线程分配协议：死锁避免策略解析

1. 引言

在许多分布式实时嵌入式（DRE）系统中，线程分配和死锁避免是至关重要的问题。本文将介绍几种死锁避免协议，并研究它们在不同场景下防止死锁的能力。这些协议通过对调用图进行注解来实现，主要考虑了两种注解方式：高度（height）和局部高度（local height）。

2. 基本概念

• 注解函数 ：协议由注解函数α : V → N+ 参数化，该函数将所有调用图的节点映射到正自然数。直观上，注解提供了完成对应节点任务所需的资源（这里指线程）的度量。
• 高度和局部高度定义 ：
  • 高度（Height） ：给定调用图G，节点n的高度h(n)定义为：
    [
    h(n) =
    \begin{cases}
    1, & \text{如果n是叶子节点}\
    1 + \max{h(m) | n \to m}, & \text{否则}
    \end{cases}
    ]
    其中n → m表示m是n的子节点。
  • 局部高度（Local Height） ：给定调用图G，节点n = f : r的局部高度lh(f : r)定义为：
    [
    lh(f : r) =
    \begin{cases}
    1, & \text{如果f : r是叶子节点}\
    1 + \max{lh(g : s) | f : r \to^+