临时数据库 swMATH ID: 33343 软件作者： Herlihy，M。；耶·列夫。 描述： tm_db：事务程序的通用调试库。事务内存（TM）作为新兴多核体系结构上并发程序的编程API，受到了广泛关注。如果事务性编程模型要实现其简化编写正确且可伸缩的并发程序问题的承诺，调试器就必须改变。本文介绍了一个开源库tm_db，它为调试器提供了对事务程序的通用调试支持。该库帮助调试器为程序员提供通用的事务调试功能，而不依赖于特定的TMpsilas运行时内部构件。此外，它还为TM设计者提供了一个定义良好的接口，用于事务调试支持。我们讨论了我们认为对调试事务性程序至关重要的基本调试功能，库如何提供这些功能，以及它们如何集成到通用调试基础结构中。 主页： https://ieeexplore.ieee.org/document/5260557 相关软件： 航空工业组织；TM单元；ALPBench公司；ConTest公司；蠕虫工作台；采矿台；巴黎证券交易所；Specomp公司；李-TM；溅水-2；印章；橡皮擦；STM台架7；veriSoft软件 引用于： 1文件 4位作者引用 1 费伯，帕斯卡 1 克里斯托夫·费泽尔 1 文森特·格拉莫利 1 德林·哈曼奇 连载1篇 1 并行与分布式计算杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文