44、基于自动机的自底向上设计与SGX压力测试工具研究

基于自动机的自底向上设计与SGX压力测试工具研究

1 自动机与策略设计方法

在策略设计领域，有基于自动机的方法来对策略进行建模、设计和分析。策略表达式类似布尔表达式，通过¬、∧、∨这三个运算符来组合策略。

不同的策略设计方法有不同的规则假设。有些方法假设规则按优先级递减排序。同时，有观点认为策略设计方法可以形成一个库，设计师可以根据需求从中选择合适的设计方法。

2 Intel SGX技术与Stress - SGX工具简介

2.1 Intel SGX技术概述

最新一代的英特尔处理器（从Skylake微架构开始）引入了软件防护扩展（SGX）指令集。SGX允许程序在硬件飞地（enclaves）内安全执行，创建了一个可信执行环境（TEE）。飞地能够保护代码免受外部威胁，包括特权系统软件。然而，由于该技术较新且相关深入文献较少，验证在飞地内运行代码的性能具有挑战性，尤其是在不同硬件版本或工作负载等变化条件下。此外，CPU供应商发布的微代码更新可能会导致性能下降，且难以及时察觉。

2.2 Stress - SGX工具介绍

Stress - SGX是一个易于使用的压力测试工具，用于评估支持SGX的节点性能。它基于流行的Stress - ng工具开发，只保留了在SGX环境中有意义的工作负载注入器（压力源）。据了解，它是第一个可用于引入混合工作负载（有SGX和无SGX）的工具，能帮助研究人员简化评估设置的设计计划，并且该工具采用GPL许可的免费软件。

2.3 Stress - SGX的应用场景

• 映射集群跟踪行为