QuickLex公司 swMATH ID: 23063 软件作者： Chang，Yen-Jung；维杰·加格。 描述： QuickLex：分布式计算一致全局状态枚举的快速算法。验证并发和分布式程序执行的正确性很困难，因为它们由于进程调度顺序不同而表现出不确定性行为。谓词检测可以通过预测特定于用户的条件（谓词）在给定并发或分布式计算的任何全局状态下是否为真来缓解此问题。该方法是可预测的，因为它从观察到的执行路径生成推断出的全局状态，然后检查这些全局状态是否满足谓词。谓词检测方法的一个重要部分是全局状态枚举，它生成给定计算的一致全局状态，包括推断的状态。Cooper和Marzullo给出了第一个基于宽度优先策略（BFS）的枚举算法。后来，人们提出了许多算法来提高空间和时间复杂度。在现有的算法中，Jegou等人提出的Tree算法具有最小的时间复杂度，并且需要（O（|P|）空间，这与计算的大小（P\）成线性关系。在本文中，我们提出了一种快速算法QuickLex，以按词法顺序枚举全局状态。QuickLex需要的空间比\（O（|P|）\小得多。从我们的实验来看，Tree算法需要比QuickLex多（2-10）倍的内存空间。此外，尽管QuickLex的渐近时间复杂度高于Tree，但QuickLex比Tree快4倍。原因是QuickLex最糟糕的时间复杂性只发生在实际中不常见的计算中。此外，Tree构建在linked-lists上，QuickLex可以使用整数数组实现。与现有的词法算法（Lex）相比，QuickLex速度快7倍，使用的内存量几乎与Lex相同。最后，我们使用QuickLex为并发程序实现了一个并行和在线谓词检测器，它可以检测程序中的数据竞争和不变量冲突。 主页： http://users.ece.utexas.edu/~garg/dist/opodis15.pdf 关键词： 一致的全局状态;分布式算法;分布式计算 相关软件： j预测器;阿维奥;快速通道;C触发器;潘尼洛普;ASM公司 引用于： 3文件 全部的 前5名7位作者引用 2 维杰·加格。 1 塔萨迪·布阿迪 1 张延忠 1 希曼舒·乔汉 1 西蒙·库姆斯 1 努林，Lhouari 1 亚历山大·特米尔 0连载引用 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文