Mercurial > hg > Document > Growi

diff user/ikkun/slide/2020.4.14.md @ 0:e12992dca4a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
init from Growi
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Wed, 16 Dec 2020 14:05:01 +0900
parents
children b6c284fd5ae4
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/user/ikkun/slide/2020.4.14.md	Wed Dec 16 14:05:01 2020 +0900
@@ -0,0 +1,6 @@
+# Gears OSにおける multi threadにおけるプログラム検証
+
+# 要約
+* CbC は処理の移行を goto 用いて行い、データ構造はdate gearにより保持する事でプログラムの処理をcode gear毎の独立したものにする。
+* Geas OS はCbCで記述されおり、処理を変更する事なく処理の間に自由にメタ処理を挟む事ができる、これにスケジューラーを挟む事でマルチスレッド処理などが可能となる。
+* メタ計算部分にモデルチェッキングを入れる事でプログラムを実行しながらにして証明することが可能となる。　
\ No newline at end of file