剑道

剑道:软件中高效的确定性多线程处理。尽管芯片多处理器已经成为工业标准,开发针对它们的并行应用仍然是一项艰巨的任务。线程化应用程序中固有的非确定性阻碍了并行程序员创建具有可重复结果的并行应用程序的能力,给他们带来了巨大的挑战。因此,并行应用程序比顺序程序更难调试、测试和维护。本文介绍了Kendo:一个新的纯软件系统,它提供了并行应用程序的确定性多线程处理。Kendo通过一种新的动态负载平衡的确定性调度算法,对锁获取和特别声明的非保护读操作进行确定性交错。该算法使用性能计数器跟踪每个线程的进度,以构造一个确定性的逻辑时间,用于计算共享数据访问的交错,该逻辑时间既具有确定性,又提供了良好的负载平衡。剑道可以运行在当今的商品硬件上,同时只会产生适度的性能成本。SPLASH-2应用程序的实验结果表明,在4个处理器上运行时,几何平均开销仅为16%。这种低开销使得即使在部署应用程序之后也可以从Kendo中获益。程序员现在可以开始使用剑道来编写更易于开发、调试和测试的并行应用程序。


zbMATH中的参考文献(参考文献7条)

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

  1. 贝索尔德,蒂莫;农夫,詹姆斯;海因茨,斯特凡;Perregaard,Michael:FICO Xpress Optimizer的并行化(2018)
  2. Shinano,Yuji;海因茨,斯特凡;维格斯克,斯特凡;Winkler,Michael:FiberSCIP——SCIP的共享内存并行化(2018)
  3. 穆斯塔克,哈米德;阿尔阿尔斯,扎伊德;Bertels,Koen:高效且高度可移植的确定性多线程(DetLock)(2014)ioport公司
  4. 托尔科斯滕;拉尔夫斯,特德;Shinano,Yuji:我们能用一百万个核来解一个整数程序吗(2012年)
  5. 周,徐;陆凯;王小平;Li,Xu:在确定性共享内存多处理中开发并行性(2012)ioport公司
  6. 同性恋,大卫;盖伦森,乔尔;奈克,玛雅;叶利克,凯西:雅达:直接并行编程(2011)ioport公司
  7. 吕,李;Scott,Michael L.:面向确定性并行编程的形式语义框架(2011)