• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Micro Kernel on Virtual Machines

Research Project

Project/Area Number 10680363
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionKeio University

Principal Investigator

HAGINO Tatsuya  Keio University, Faculty of Environment Information, Associate Professor, 環境情報学部, 助教授 (80201705)

Project Period (FY) 1998 – 1999
Project Status Completed (Fiscal Year 1999)
Budget Amount *help
¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 1999: ¥700,000 (Direct Cost: ¥700,000)
KeywordsJava / Virtual Machines / Operating System / Micro Kernel / Java OS / OS Toolkit
Research Abstract

The goal of this research is to develop an operating system on top of Java virtual machines so that it is independent from underlying hardware and CPU architecture. In particular, we have developed a micro kernel on top of Java virtual machines.
In 1998, we have modified the Java virtual machine to be run as a stand-alone application and replaced BIOS by this modified Java virtual machine so that micro kernels can be developed independently from underlying CPU architecture.
In 1999, we have designed a process model for the Java micro kernel and tried a simple file system for the purpose of verifying our micro kernel mechanisms.
We have also implemented a TCP/IP protocol stack on our Java virtual machine and measured its performance. As for TCP/IP protocol stacks, BSD uses mbuf and X kernel uses graph structure, whereas we have developed a protocol stack which is suitable for Java. Java does not have pointers, so there is no way to point inside data structures. In addition, Java restricts casting between data types. Therefore, we have designed a buffer structure which is suitable for Java and used monitors for thread communication. Since the Java virtual machine is not a native machine, its performance may be a problem, but from our measurements its performance is much better than we have expected.

Report

(3 results)
  • 1999 Annual Research Report   Final Research Report Summary
  • 1998 Annual Research Report
  • Research Products

    (9 results)

All Other

All Publications (9 results)

  • [Publications] 萩野達也・斉藤鉄也: "仮想計算機上のオペレーティングシステムの研究"並列・分散処理研究推進機構 並列分散処理オペレーティングシステム技術. 2. 6-11 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 萩野達也: "PUXとJMKの研究開発"並列・分散処理研究推進機構 成果概要. 72-73 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 立野、斉藤、萩野: "Javaによるプロトコルスタックの実現"情報処理学会SIGOS. (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Tatsuya Hagino, Tetsuya Saito: "Operating System on Virtual Machines"Parallel/Distributed Consortium, Parallel Distributed Opperating System. Vol.2. 6-11 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Tatsuya Hagino: "PUX and JMK"Parallel/Distributed Consortium. 72-73 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] Hiroki Tateno, Tatsuya Hagino: "Design and Implementation of TCP/IP Protocol using Java"IPSJ SIGOS. (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1999 Final Research Report Summary
  • [Publications] 萩野達也: "PUXとJMKの研究開発"並列・分散処理研究推進機構 成果概要. 72-73 (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 立野,斎藤,萩野: "Javaによるプロトコルスタックの実現"情報処理学会SIGOS. (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 萩野達也・斉藤鉄也: "仮想計算機上のオペレーティングシステムの研究" 並列・分散処理研究推進機構 並列分散処理オペレーティングシステム技術. 2. 6-11 (1999)

    • Related Report
      1998 Annual Research Report

URL: 

Published: 1999-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi