49、异步网络中的通用资源分配算法解析

异步网络中的通用资源分配算法解析

1. 通用资源分配问题概述

在异步网络中，通用资源分配问题涉及多个用户对资源的请求和使用，需要满足一系列正确性条件，以确保资源的合理分配和系统的稳定运行。

1.1 问题定义

问题定义与之前类似，使用显式资源规范和排除规范的概念。假设用户自动机与之前相同。系统需要保证的基本正确性条件包括：
- 格式良好性 ：在任何执行中，对于任何用户 Ui 与系统 A 之间的交互子序列，对于 Ui 来说是格式良好的。
- 排除性 ：不存在可达的系统状态，使得处于临界区域的用户集合属于排除规范 g 中的集合。
- 进展性 ：
- 尝试区域进展 ：在公平执行的任何时刻，如果至少有一个用户处于尝试区域 T 且没有用户处于临界区域 C ，那么在稍后的某个时刻，会有用户进入临界区域 C 。
- 退出区域进展 ：如果至少有一个用户处于退出区域 E ，那么在稍后的某个时刻，会有用户进入剩余区域 R 。

对于显式资源规范，还考虑独立进展性：
- 尝试区域独立进展 ：如果 Ui 处于尝试区域