课题基金 / 基金详情

先進的型システムに基づく並列プログラミング言語のデバッガ及びメモリ管理の研究

先進的型システムに基づく並列プログラミング言語のデバッガ及びメモリ管理の研究
基于高级类型系统的并行编程语言的调试器和内存管理研究
批准号：
09780245
负责人：
小林 直樹
金额：
$1.54万
依托单位：
The University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1997
资助国家：
日本
项目状态：
已结题
起止时间：
1997 至 1998
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780245/
关键词：
型システム線形型メモリ管理リージョン推論並行プログラミング言語デッドロックリ-ジョン推論

项目摘要

项目成果

小林 直樹的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
本研究では、プログラミング言語のデバッグのサポートやメモリ管理などのランタイムシステムをサポートするための静的型システム・プログラム解析の研究を行った。デバッグのサポートに関しては、昨年度までに構築した並行プログラムのデッドロックフリーダムを保証する型システムを一般化し、その型チェッカを実装した。これにより、昨年度までよりもより広い範囲のプログラムのデッドロックフリーダムの保証を行なうことができ、並行プログラム中の、デッドロックを引き起こす可能性のある場所を静的にこれまで以上に絞り込むことができるようになった。メモリ管理に関しては、「疑似線形型システム」および「リージョン推論によるメモリ管理とガーベジコレクション(GC)の融合」について研究を行なった。「疑似線形型システム」は特定のデータがプログラム実行中に一回しかアクセスされないことを保証できる線形型システムを発展させ、より多くのデータについて静的情報に基づいて自動的にメモリ解放を行なえるように我々が考案した型システムである。本年度はその型システムの定式化および証明、それに基づくプログラム解析システムの実装・評価を行なった。実験結果から、プログラム中で動的に割り当てられるメモリのうち、大部分が本型システムに基づいて(GCなどの手法に頼らずに)自動的に解放できることが確認できた。「リージョン推論によるメモリ管理とGCの融合」では、静的メモリ管理のもう一つの手法であるリージョン推論に基づくメモリ管理方式においてダングリングポインタが生じて通常のGCとの融合が因難であるとされてきた問題を、GC時に型情報を参照することによって解決する方法を定式化し、正当性の証明を行なった。
期刊论文(7)
专著(0)
科研奖励(0)
会议论文
Naoki Kobayashi: "Quasi-Linear Types" Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages (POPL'99). 29 - 42 (1999)
Naoki Kobayashi：“准线性类型”ACM SIGPLAN/SIGACT 编程语言原理研讨会论文集 (POPL99)。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Eijiro Sumii and Naoki Kobayashi: "A Generalized Deadlock-Free Process Calculus" Proceedings of Workshop on High-Level Concurrent Language (HLCL'98),Electronic Notes on Theoretical Computer Science,Elsvier publishers. 16-3. 55-77 (1998)
Eijiro Sumii 和 Naoki Kobayashi：“广义无死锁过程微积分”高级并发语言研讨会论文集 (HLCL98)，理论计算机科学电子笔记，爱思唯尔出版社。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
Naoki Kobayashi: "A Partially Deadlock-free Typed Process Calculus" ACM Transactions on Programming Languages. (印刷中). (1998)
Naoki Kobayashi：“部分无死锁的类型化过程演算”ACM 编程语言汇刊（正在出版）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
A.Igarashi and N.Kobayashi: "Type-Based Analysis of Usage of Communication Channels for Concurrent Programming Languages" Proceedings of SAS'97(Springer Lecture Notes in Computer Science). 1302. 187-201 (1997)
A.Igarashi 和 N.Kobayashi：“基于类型的并发编程语言通信通道使用情况分析”SAS97 论文集（计算机科学中的施普林格讲义）。
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 7 条
    無住道暁と南宋代成立典籍に関する総合的研究
    • 批准号：
      23K00298
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $1.41万
    • 财政年份：
      2023
    • 负责人：
      小林 直樹
    • 依托单位：
      Osaka Metropolitan University
    潜在的カビ毒産生菌種を利用したカビ毒生合成抑制メカニズムの解明
    • 批准号：
      23K05081
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.91万
    • 财政年份：
      2023
    • 负责人：
      小林 直樹
    • 依托单位：
      Azabu University
    偏光分光型マルチスペクトルカメラを用いた目視診断用画像システムの研究開発
    • 批准号：
      23K11878
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $3.08万
    • 财政年份：
      2023
    • 负责人：
      小林 直樹
    • 依托单位：
      Saitama Medical University
    Program Verification Based on Higher-Order Fixpoint Logic
    • 批准号：
      20H00577
    • 项目类别：
      Grant-in-Aid for Scientific Research (A)
    • 资助金额：
      $28.45万
    • 财政年份：
      2020
    • 负责人：
      小林 直樹
    • 依托单位：
      The University of Tokyo
    海外基金