看穿黑箱：在监控资源约束下通过队列追踪事务

考虑在分布式系统中追踪事务进展的监控资源最优分配问题，该系统被建模为排队网络。考虑了两种形式的监控信息，即局部唯一的事务标识符，以及事务在每个处理队列的到达和离开时间戳。假设所有队列都有时间戳，但在没有标识符的情况下，只能实现不精确的追踪，因为并行处理可能导致乱序离开。另一方面，标识符可以实现精确追踪，但没有适当的检测手段则无法获得。给定一个检测预算，只能选择一部分队列来生成标识符，而其余队列则不得不使用时间戳进行不精确的追踪。目标是优化分配检测预算以最大化整体追踪精度。挑战在于，最优分配策略取决于不同队列基于时间戳的追踪精度，而这与到达和服务过程以及排队规则有复杂的依赖关系。我们通过预测不同队列基于时间戳的追踪精度的顺序，提出了两种简单的分配启发式算法。我们通过队列的随机比较概念，推导了这些启发式算法达到最优性的充分条件。模拟表明，即使参数偏离这些条件，我们的启发式算法也接近最优。