权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Wide-Area and Distributed Computation Paradigm Based on Concurrent Logic Programming

基于并发逻辑编程的广域分布式计算范式

基本信息

批准号：
11680370
负责人：
UEDA Kazunori
金额：
$ 2.24万
依托单位：
Waseda University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2001
项目状态：
已结题

项目摘要

Concurrent logic languages provide natural mechanisms for describing concurrent computation by introducing dataflow synchronization on single-assignment variables. Previous work on concurrent logic programming focused on efficient parallel computation. Our research, in contrast, focused on distributed, wide-area computation and studied (1) declarative programming under non-uniform computational environments and (2) static analysis for safe distributed programs. Our results can be summarized as follows :1. Seamless distributed implementation - We designed and implemented network-transparent distributed logical variables (single-assignment channels) to transparently interconnect KL1 programs running on non-uniform computational nodes using sockets. We also designed naming service used for the naming and resolution of distributed logical variables. An exception handling mechanism was also designed and implemented.2. Resource management under distributed environments - We designed and implemented a linear type system for concurrent logic programs that statically analyzes data sharing by logical variables. Furthemore, we proposed a novel view of concurrent computation in terms of resource passing, and designed a capability type system that unifies and generalizes mode systems and linearity systems.3. Interpreter technology for code mobility - We designed an intermediate code, called treecode, to realize code mobility between non-uniform nodes, and described its interpreter using Flat GHC.

并发逻辑语言通过在单赋值变量上引入数据流同步，为描述并发计算提供了自然的机制。以往对并发逻辑编程的研究主要集中在高效并行计算上。相反，我们的研究侧重于分布式、广域计算，并研究了(1)非统一计算环境下的声明式编程和(2)安全分布式程序的静态分析。1.无缝分布式实现--我们设计并实现了网络透明的分布式逻辑变量(单赋值通道)，使用套接字透明地互连运行在非统一计算节点上的KL1程序。我们还设计了用于分布式逻辑变量命名和解析的命名服务。设计并实现了异常处理机制。分布式环境下的资源管理-我们设计并实现了一个用于并发逻辑程序的线性类型系统，该系统静态地分析逻辑变量的数据共享。在此基础上，从资源传递的角度提出了一种新的并发计算观点，并设计了统一和推广模式系统和线性系统的能力类型系统。代码迁移的解释器技术--我们设计了一种称为树码的中间代码来实现非均匀节点之间的代码迁移，并用扁平的GHC描述了它的解释器。