首页/论文/1312.4454

arXiv 1312.44542013-12-19cs.PL

在余代数逻辑程序设计中开发并行性

Exploiting Parallelism in Coalgebraic Logic Programming

Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们提出了一个并行实现的共代数逻辑编程（CoALP）的程序设计语言围棋。CoALP最初是为了反映逻辑程序设计的共代数语义而引入的，其共代数推导算法具有共递归性和并行性。在这里，我们讨论如何影响我们的并行实现的逻辑编程的共代数语义。

英文摘要：

We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism. Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

共代数逻辑程序设计：从语义到实现

Coalgebraic Logic Programming: from Semantics to Implementation

共归纳定义，例如无限流的定义，通常可以用优雅的逻辑程序来描述，但是对于那些SLD-反驳没有价值的定义，因为SLD-推导会陷入无限循环。这样的定义引起了惰性共递归推导和并行性的问题，因为这样的逻辑程序的执行可以同时具有递归和共递归特性。观察语义学和共代数语义学已经被用来抽象地研究它们。方案拟订工作往往是单独进行的，而且通常是以执行为主导的。在这里，我们给出了一个连贯的语义为主导的帐户的问题，从抽象的范畴理论语义，发展coalgebra，自然产生的树，并着手实现一个新的方言，CoALP，逻辑编程，其特点是由看守懒惰corecursion和并行。

2013-12-23cs.PL

PopPy: 在Python复合AI应用中机会性地利用并行性

PopPy: Opportunistically Exploiting Parallelism in Python Agentic Workflows

University of Pennsylvania（宾夕法尼亚大学）；Independent Researcher（独立研究者）；University of California, Los Angeles（加州大学洛杉矶分校）

本文提出PopPy系统，通过识别Python应用中调用外部组件的并行化机会，从而在复合AI应用的端到端延迟上实现6.4倍的加速，同时保持顺序程序语义。

2026-10-06cs.AIcs.DCcs.PL

存在约简的Polly多面体排序

Polly's Polyhedral Scheduling in the Presence of Reductions

多面体模型提供了强大的数学抽象，以实现关于给定优化目标的循环嵌套的有效优化，例如，利用并行性。未利用的约简属性是多面体优化器假设并行禁止依赖的常见原因。据我们所知，在任何生产编译器中都没有多面体循环优化器提供对约简的支持。在本文中，我们表明，利用并行减少可以导致显着的性能提高。我们给出了一个精确的，依赖性为基础的，减少的定义和讨论的方法来扩展多面体优化利用减少计算的结合性和交换性。我们在Polly多面体优化器中实现了一种支持约简的调度方法，并在标准的Polybench 3.2基准套件上对其进行了评估。我们能够检测和建模所有52个算术减少，并实现加速高达2.21 $\times$的四核机器上利用多维减少的BiCG基准。

2015-05-28cs.DCcs.PL

量子循环程序的软件流水

Software Pipelining for Quantum Loop Programs

我们提出了一种方法进行软件流水线量子循环程序，利用并行和跨迭代。我们重新定义了程序优化中有用的概念，包括数组别名，指令依赖性和资源冲突，这次是在量子程序的优化中。使用重新定义的概念，我们提出了一个软件流水算法，利用量子循环程序的并行级。然后在一些测试用例上对优化方法进行评估，包括流行的应用程序，如QAOA，并与几个基线结果进行比较。评估结果表明，我们的方法优于循环优化只利用循环优化的机会，减少循环程序的总深度接近最佳的程序深度通过全循环展开，同时产生更小的代码大小。据我们所知，这是优化具有这种循环控制流的量子程序的第一步。

2020-12-23cs.ARcs.PLquant-ph

PALS：Beowulf集群上的有效有序性

PALS: Efficient Or-Parallelism on Beowulf Clusters

本文介绍了PALS系统的发展，Prolog的实现能够有效地利用或分布式存储器平台上的并行性-特别是Beowulf集群。PALS使用了一种新的技术，称为增量堆栈分裂。所提出的技术建立在堆栈分裂方法的基础上，该方法先前由作者描述并在共享内存系统上进行了实验验证，这反过来又是在各种并行逻辑和约束系统中使用的堆栈复制方法的演变-例如，缪斯，雅普，和佩妮。PALS系统是第一个基于栈分裂方法的Prolog分布式或并行实现。给出的结果证实了这种方法的优越性，作为一个简单而有效的技术，从共享内存到分布式内存系统的过渡。PALS扩展堆栈分裂相结合，它与增量复制，该文件提供了一个描述的PALS的实施，包括如何处理分布式调度的细节。我们还研究了有效支持顺序敏感谓词的方法（例如，副作用）在堆栈分裂方案的上下文中。从运行PALS共享内存和Beowulf系统的实验结果进行了介绍和分析。

2006-07-09cs.DCcs.PL

多核上Prolog或并行执行的不同分割策略比较

On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores

许多或并行Prolog模型，利用隐式并行已被提出在过去。可以说，最成功的模型之一是共享内存体系结构的环境复制。随着多核架构的可用性和普及性不断提高，恢复该领域的知识体系并重新设计先前的计算模型以评估其在新架构上的性能是有意义的。在这项工作中，我们专注于实施分割策略或并行Prolog执行多核，为此，我们开发了一个框架，顶部的YapOr系统，集成和支持五种替代分割策略。我们的实现共享底层的执行环境和大多数的数据结构用于实现或在YapOr并行。特别是，我们利用了YapOr的基础设施来支持增量复制和调度，我们只做了最小的修改。因此，我们认为，所有这些共同的支持功能，使我们能够在这五个替代分裂策略之间进行第一次和公平的比较，因此，更好地了解他们的优点和缺点。

2013-01-31cs.PL

更多相关论文收起更多论文

从动态应用程序跟踪中自动并行提取内核

Automated Parallel Kernel Extraction from Dynamic Application Traces

现代程序运行时由称为内核的重复代码段主导。内核通过增加内存局部性、增加数据并行性和利用内核之间的生产者-消费者并行性来加速-这需要专用于特定类别的内核的硬件。对这种硬件进行编程可能很困难，需要在代码中识别和注释内核，或者将其翻译为特定于域的语言。本文介绍了一种技术，自动本地化并行内核的动态应用程序跟踪，促进进一步的代码优化。动态跟踪收集快速而紧凑。通过优化，它只会导致9倍的时间膨胀和每秒1兆字节的文件大小，解决了对这种方法的重大批评。核提取是准确的，并在对数存储器内的线性时间内执行，检测广泛的核。这种方法在16个库中得到了验证，包括10，507个内核实例。为了验证我们检测到的内核的准确性，我们编写了五个测试程序，这些程序跨越了传统的内核定义，并被认证为包含所有预期的内核。

2020-01-27cs.DCcs.PL