TM单元

可扩展事务内存测试台。事务内存(Transactional memory,TM)是一种很有前途的抽象方法,因为它将所有同步复杂性隐藏在并发应用程序的程序员面前。更具体地说,TM范式的复杂性从应用程序编程转移到TM编程。因此,专家程序员现在已经开始寻找理想的TM,它将为所有并发应用程序带来一次性的性能。研究人员最近发现了TMs可能面临的许多问题。令人惊讶的是,从来没有TMs在这些场景中进行过测试。在这篇论文中,我们提出了第一个迄今为止的TM测试台。我们提出了一个框架TMunit,它提供了一种特定于领域的语言来快速编写TM工作负载,从而使我们的测试套件易于扩展。我们的可重复语义测试通过可重复的反例表明,现有的TMs不满足最近的一致性标准。我们的性能测试确定了众所周知的TMs执行不同的工作负载。最后,额外的测试表明一些工作负载阻止了争用管理器的进展。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献(参考,第1条标准)

显示结果1到3,共3个。
按年份排序(引用)

  1. Gramoli,Vincent;Guerraoui,Rachid;Trigobakis,Vasileios:(\mathrmTM^2\mathrmC):多核软件事务性内存(2018)
  2. Diedona,Diego;Felber,Pascal;Harmanci,Derin;Romano,Paolo;Schenker,Jörg:确定事务性内存应用程序中的最佳并行级别(2015)ioport公司
  3. Harmanci,Derin;Gramoli,Vincent;Felber,Pascal;Fetzer,Christof:可扩展事务性内存测试床(2010)