预测具有局部策略的资源的全局使用情况
分布式、并行与集群计算
2011-08-02 v1
摘要
计算资源的有效使用是当前分布式应用的主要关注点。在本文中，我们提出了一种推理资源使用（获取、释放、修订等）的方法，因此所提出的方法能够预测资源的错误使用。考虑到应用-资源交互中局部和全局信息之间的相互作用，我们将资源建模为具有局部策略和全局属性的实体，这些属性控制着整体交互。形式上，我们的模型采用了一种扩展的pi-演算形式，其中包含用于管理资源的原语。我们开发了一种控制流分析，用于计算进程行为的静态近似，从而也计算资源使用的静态近似。
引用
@article{arxiv.1108.0231,
title = {Predicting global usages of resources endowed with local policies},
author = {Chiara Bodei and Viet Dung Dinh and Gian Luigi Ferrari},
journal= {arXiv preprint arXiv:1108.0231},
year = {2011}
}
备注
In Proceedings FOCLASA 2011, arXiv:1107.5847