大卫·哈雷尔;阿米尔·坎特;凯兹，盖伊 放松行为程序中的同步约束。 （英语） 兹比尔1406.68016 McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-45220-8/pbk）。计算机科学课堂讲稿8312，355-372（2013）。 概要：在行为编程中，程序由称为行为线程的单独模块组成，每个模块代表系统允许、必需或禁止的行为的一部分。程序的执行是这些线程之间的一系列同步，其中在每个同步点选择要执行的事件。因此，执行速度由最慢的线程决定。我们为此类程序提出了一种即时执行机制，该机制基于这样一种认识，即即使不等待较慢的线程进行同步，通常也可以预测同步点的结果。这使得速度更快的线程可以继续不间断地运行，而速度较慢的线程可以在稍后赶上。因此，紧急执行可以提高系统性能，更好地支持程序的模块化设计，以及在多台机器上分发程序的能力。它还允许将行为编程应用于以前超出其范围的各种问题。我们通过具体的例子来说明该方法，这些例子是在C（^{++}）的行为编程框架中实现的。关于整个系列，请参见[Zbl 1277.68016号]. MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：行为编程;同步;急切执行;模块化设计;分布式设计 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人，Lect。注释计算。科学。8312，355--372（2013；Zbl 1406.68016） 全文： 内政部