一种模型驱动的方法以扩展运行时软件性能反模式的检测

性能反模式记录了那些对系统性能产生负面影响的糟糕设计模式。在我们之前的工作中，我们将这些反模式形式化为逻辑谓词，这些谓词基于四个视图进行断言：(i) 静态视图，捕获软件元素（如类、组件）及其之间的静态关系；(ii) 动态视图，表示软件实体元素之间为提供系统功能而发生的交互（如消息）；(iii) 部署视图，描述硬件元素（如处理节点）以及软件实体到硬件平台的映射；(iv) 性能视图，收集特定的性能指标。在本文中，我们提出了一种轻量级的基础设施，能够通过监控在运行时检测性能反模式。所提出的方法预计算这些谓词，并识别那些静态、动态和部署子谓词被当前系统配置验证的反模式，然后在运行时进行性能子谓词的验证。该基础设施利用模型驱动技术生成探针，用于监控性能子谓词并在运行时检测反模式。