×

重温ComBack方法:缓存策略和延迟重复检测扩展。 (英语) Zbl 1266.68048号

Jensen,Kurt(编辑)等人,《Petri网和其他并发模型事务处理III。柏林:施普林格出版社》(ISBN 978-3-642-04854-8/pbk)。计算机科学5800课堂讲稿。《期刊副刊》,189-215(2009)。
总结:ComBack方法是一种显式状态空间搜索算法的内存缩减技术。它通过状态重构增强了散列压缩,以实时解决散列冲突,从而确保状态空间的完全覆盖。在本文中,我们提供了两种降低由状态重建引起的运行时代价的方法:一组实现中提出的缓存方法的策略[M.韦斯特加德等,Lect。注释计算。科学。4546, 445–464 (2007;Zbl 1226.68066号)],以及通过延迟重复检测的扩展,该扩展允许将重建分组在一起以节省冗余工作。
关于整个系列,请参见[Zbl 1177.68011号].

MSC公司:

64岁以下 分布式系统
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部