| Project/Area Number |
16K00103
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Kochi University of Technology |
|---|
Principal Investigator |
Ugawa Tomoharu 高知工科大学, 情報学群, 准教授 (50423017)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
岩崎 英哉 電気通信大学, 大学院情報理工学研究科, 教授 (90203372)
高野 保真 青山学院大学, 理工学部, 助教 (70780550)
|
|---|
| Project Period (FY) |
2016-04-01 – 2019-03-31
|
| Project Status |
Completed (Fiscal Year 2018)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2018: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2017: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 仮想機械 / 組込みシステム / モデル検査 / ごみ集め / JavaScript / ガーベージコレクション / コンパイラ / ドメイン特化言語 / ガベージコレクション / 言語処理系 / プログラミング言語処理系 |
|---|
| Outline of Final Research Achievements |
We developed lightweight JavaScript virtual machine (VM) suitable for embedded systems used in Internet of Things (IoT). Our approach was to generate a VM of a subset of JavaScript specialised for each application automatically. Our achievements include followings. (1) The mechanism and optimisation algorithms to generate a specialised VM that accepts restricted datatypes as operands of operators. (2) A compacting garbage collection algorithm and a verification method of its implementation. (3) A model checking library to check behaviour of algorithms on weak memory consistency model CPUs. We implemented those results in a JavaScript VM generator eJSTK.
|
| Academic Significance and Societal Importance of the Research Achievements |
近年、アプリケーションの実行中にプロファイリングを行い、それに従って最適化しながらコンパイルするjust-in-time (JIT)コンパイルという技術を、VM自身に適用してアプリケーションに特化されたVMを実行時に構築する研究が成功を収めている。本研究は、それを組込みシステムに応用するために、アプリケーション実行前にVMを特化させるという可能性を示した。また、VMの開発にいくつかのソフトウェア検証技術を導入し、それらの有用性を示した。
|
