Mercurial > hg > Papers > 2022 > ikki-master

comparison Paper/chapter/abstract.tex @ 24:90e6ac8805e2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tweak
author ichikitakahiro <e165713@ie.u-ryukyu.ac.jp>
date Thu, 10 Feb 2022 10:03:41 +0900
parents 55a0fd236f78
children 4b8ae0488000
comparison
equal deleted inserted replaced
23:9a6609a2f987 24:90e6ac8805e2
17 17
18 \chapter*{Abstract} 18 \chapter*{Abstract}
19 In our laboratory, we are developing GearsOS, an operating system for verifying the reliability of operating systems, which aims to compensate for scalability and reliability by separating user-level and meta-level descriptions. 19 In our laboratory, we are developing GearsOS, an operating system for verifying the reliability of operating systems, which aims to compensate for scalability and reliability by separating user-level and meta-level descriptions.
20 GearsOS is written in Continuation based C (CbC) and has the programming concept of Gears. 20 GearsOS is written in Continuation based C (CbC) and has the programming concept of Gears.
21 Since GearsOS is still under development, it is currently implemented as a language framework, and there are many functions that need to be implemented in order to run as an OS, one of which is a distributed file system. 21 Since GearsOS is still under development, it is currently implemented as a language framework, and there are many functions that need to be implemented in order to run as an OS, one of which is a distributed file system.
22 One of them is a distributed file system. The distributed file system of GearsOS uses the distributed framework Christie, which is developed by our laboratory. 22 The distributed file system of GearsOS uses the distributed framework Christie, which is developed by our laboratory.
23 Christie has a different programming concept called "Gear" from GearsOS, and implements communication by connecting a DataPool called DataGearManager to a socket between nodes. 23 Christie has a different programming concept called "Gear" from GearsOS, and implements communication by connecting a DataPool called DataGearManager to a socket between nodes.
24 The files in GearsOS are structured in the same way as DataGearManager, so that they are not only files but also correspond to the communication process itself. 24 The files in GearsOS are structured in the same way as DataGearManager, so that they are not only files but also correspond to the communication process itself.
25 In this study, we used Christie's DataGearManager as a file and configured the API for its communication. 25 In this study, we used Christie's DataGearManager as a file and configured the API for its communication.
26 26
27 The file system of GearsOS should be configured in such a way that it can incorporate implementations that solve the problems of conventional file systems. 27 The file system of GearsOS should be configured in such a way that it can incorporate implementations that solve the problems of conventional file systems.