Mercurial > hg > Papers > 2021 > anatofuz-master

comparison paper/chapter/abstract.tex @ 91:4232c9dc1431

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Fri, 05 Feb 2021 19:09:08 +0900
parents 7f5bb7c5b433
children
comparison
equal deleted inserted replaced
90:a93c2401753b 91:4232c9dc1431
23 CbCを用いて、拡張性と信頼性を両立するOSであるGearsOSを開発している。 23 CbCを用いて、拡張性と信頼性を両立するOSであるGearsOSを開発している。
24 24
25 GearsOSの開発ではノーマルレベルのコードとメタレベルのコードの両方が必要であり、メタレベルの計算の数は多岐にわたる。 25 GearsOSの開発ではノーマルレベルのコードとメタレベルのコードの両方が必要であり、メタレベルの計算の数は多岐にわたる。
26 GearsOSの開発を進めていくには、メタレベルの計算を柔軟に扱うAPIや、 自動でメタレベルの計算を作製するGearsOSのビルドシステムが必須となる。 26 GearsOSの開発を進めていくには、メタレベルの計算を柔軟に扱うAPIや、 自動でメタレベルの計算を作製するGearsOSのビルドシステムが必須となる。
27 本研究ではGearsOSの信頼性と拡張性の保証につながる、メタ計算に関するAPIについて考察し、言語機能などの拡張を行った。 27 本研究ではGearsOSの信頼性と拡張性の保証につながる、メタ計算に関するAPIについて考察し、言語機能などの拡張を行った。
28 また、メタ計算を自動生成しているトランスコンパイラを改良し、従来のGearsOSのシステムよりさらに柔軟性が高いものを考案した。 28 また、メタ計算を自動生成しているトランスパイラを改良し、従来のGearsOSのシステムよりさらに柔軟性が高いものを考案した。
29 \chapter*{Abstract} 29 \chapter*{Abstract}
30 In order to guarantee the reliability of an application, the reliability of the underlying OS must be highly guaranteed. 30 In order to guarantee the reliability of an application, the reliability of the underlying OS must be highly guaranteed.
31 The source code of an OS is huge, and there are bugs such as parallel processing that can only be discovered by actually running the OS. 31 The source code of an OS is huge, and there are bugs such as parallel processing that can only be discovered by actually running the OS.
32 It is impossible to verify all the functions of an OS by testing. 32 It is impossible to verify all the functions of an OS by testing.
33 33