高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究

研究具有程序演化支持的通用系统，保证高级并行语言的各个安全方面

基本信息

批准号：
13780203
负责人：
五十嵐淳
金额：
$ 1.41万
依托单位：
Kyoto University (2002)The University of Tokyo (2001)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2002
项目状态：
已结题

项目摘要

ここ数年のインターネットおよびWorld Wide Web(WWW)の普及,また並列計算機の普及に伴い分散/並列環境上でのプログラミング技術が注目を集めている。本研究では,分散/並列プログラミングにおける様々な安全性(デッドロック/競合状態が起きないこと,計算資源が正しく使われること)を保証するための統一的な枠組みを構築することを目的としている.本年度の研究成果は以下の通り.1.オブジェクト指向言語の再利用性を安全に高めるための言語機構の考案.近年,Javaなどで書かれたオブジェクト指向プログラムの汎用性を高めるための言語機構として,汎用クラス(generics)という,クラス定義中の型情報をパラメータ化できる機構が実用化されつつある.これにより,リスト・木などの汎用データ構造の記述において再利用性が高められることが知られている.しかし,従来のオブジェクト指向言語に備わっていた型に基づく再利用の機構である部分型との統合についてはあまり研究されてこなかった.本年度の研究では汎用クラスのための新しい部分型の機構を提案した.具体的には,核言語とその型システム・意味論を形式化し,提案する機構が型安全であることを証明した.これにより,プログラムの汎用性・再利用性がさらに高まり,従来のプログラムを汎用クラスを使って書き換える際に生じがちであった,型の制限による困難も緩和されると考えられる.

近年来，随着互联网和万维网(WWW)的普及以及并行计算机的普及，分布式/并行环境中的编程技术已经引起人们的关注。本研究的目的是构建一个统一的框架来保证分布式/并行编程中的各个安全方面（死锁/竞争条件、计算资源的正确使用）。今年的研究成果如下： 1.面向对象的安全可重用性。语言近年来，作为一种增加用Java和其他语言编写的面向对象程序的通用性的语言机制，一种称为泛型的机制已经被开发出来，它可以在类定义中参数化类型信息，并已投入实际使用。这允许通用数据（例如列表和树）众所周知，在描述数据结构时可以提高可重用性。但是，对于集成子类型的研究很少，这是传统面向对象语言中提供的基于类型的重用机制，在今年的研究中，我们提出了一种新的部分。通用类的类型机制。具体来说，我们形式化了核心语言、其类型系统和语义，并证明了所提出的机制是类型安全的。这进一步增加了程序的通用性和可重用性，并使传统程序更加通用。使用类重写时容易出现的类型限制带来的困难将得到缓解。