基于迁移的同步
摘要：多核和众核系统中的一个基本挑战是正确执行并发访问共享数据。现有同步机制的一个常见缺点是由于共享数据在访问的核之间传输而导致数据局部性的丧失。在实时系统中，这一点尤为重要，因为对数据访问时间的了解对于确立执行时间限制和保证满足截止时间至关重要。本文提出了我们先前概述的迁移基础同步（MBS）方法的改进，以及它的首个实际实现。MBS的核心概念是用控制流迁移来代替数据迁移，以实现具有保证数据局部性的同步内存访问。这导致临界区执行时间更短、更可预测。由于MBS可以用作传统锁的替代品，因此可以在不改动代码的情况下在旧应用程序中使用。我们进一步研究了获得的数据局部性如何改善最坏情况定时分析的结果，并导致执行和响应时间的更紧密的界限。我们推论了MBS与现有同步方法的相似性以及它如何使我们能够重复使用现有的分析技术。最后，我们评估了我们的原型实现，表明MBS可以像传统的锁定机制一样利用数据局部性，带来类似的开销。
作者：Stefan Reif, Phillip Raffeck, Luis Gerhorst, Wolfgang Schr"oder-Preikschat, Timo H"onig
论文ID：2202.09365
分类：Operating Systems
分类简称：cs.OS
提交时间：2022-02-22