We propose architectural support for goal management as part of a special-purpose processor architecture for the efficient execution of Flat Concurrent Prolog. Goal management operations: halt, spawn, suspend and commit are decoupled from goal reduction, and overlapped in the Goal Management Unit. Their efficient execution is enabled using a Goal Cache. We evaluate the performance of the goal management support using an analytic performance model and program parameters characteristic of the System's Development Workload. Most goal management operations are completely overlapped, resulting in a speedup of 2. Higher speedups are obtained for workloads that exhibit greater goal management complexity.
我们提出了目标管理的架构支持,作为专用处理器架构的一部分,以有效执行Flat Concurrent Prolog。目标管理操作:停止,生成,暂停和提交与目标减少分离,并且在目标管理单元中重叠。使用目标缓存可以有效地执行它们。我们使用系统开发工作量的分析性能模型和程序参数特征来评估目标管理支持的性能。大多数目标管理操作是完全重叠的,因此加速比为2。对于表现出更大目标管理复杂性的工作负载,可以获得更高的加速比。 P>
机译:统一并发Prolog中对目标管理的架构支持
机译:用于PARAM的平面并行Prolog编译器
机译:在系统建模中使用平面并发Prolog
机译:在Flat Concurrent Prolog中为紧密耦合的细粒度目标的管理提供架构支持
机译:利用细粒度并发性:超卡处理器设计的分析见解
机译:专业接触型足球运动员赛季内并发肩袖不稳的管理;尊重职业目标!
机译:平面并发PROLOG中的OR-parallel PROLOG
机译:细粒度消息传递并发计算机