61、网络物理架构合成：模型、约束与调度

网络物理架构合成：模型、约束与调度

1. 系统组件与约束概述

1.1 基本组件

在系统建模中，我们考虑了多种基本组件，具体如下：
| 组件类型 | 数量范围 | 说明 |
| ---- | ---- | ---- |
| 机柜（Cabinets） | 8 - 22 个 | 提供处理器、电池备份单元等各种资源 |
| 应用程序（Applications） | 177 - 257 个 | 也称为托管功能或作业 |
| 全局内存空间（GMSs） | 70 - 288 个 | 允许应用程序共享内存 |
| 虚拟链接（Virtual Links） | 1000 - 2000 个 | 用于聚合和多播消息，是发布 - 订阅网络的一部分 |
| 消息（Messages） | 10000 - 20000 条 | 用于应用程序、传感器和其他组件之间的通信 |

1.2 资源利用约束

机柜提供多种资源，包括 CPU 时间、RAM 内存、ROM 内存、非易失性内存、缓冲区以及虚拟链接的收发带宽。同时，机柜对可接收和传输的虚拟链接数量有限制。托管功能、全局内存空间、虚拟链接和消息都会消耗这些资源。我们的元模型包含约束条件，确保任何资源的使用总和不超过可用资源量。

1.3 托管功能分配约束

托管功能需要根据资源利用约束映射到机柜，同时还需满足以下类型的约束：
- 固定机柜约束 ：特定的托管功能必须映射到特定的机柜。
- 分离约束 ：给定集合中的任意一对托管功能不能位于同一个机