Mercurial > hg > Document > Growi

comparison user.md @ 2:b6c284fd5ae4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
backup 2020-12-16
author autobackup
date Wed, 16 Dec 2020 15:11:16 +0900
parents e12992dca4a0
children fc9bf2ada0a1
comparison
equal deleted inserted replaced
1:145f69454ad5 2:b6c284fd5ae4
1 # Gears OSにおける multi threadにおけるプログラム検証
2 1
3 # 要約
4 * CbC は処理の移行を goto 用いて行い、データ構造はdate gearにより保持する事でプログラムの処理をcode gear毎の独立したものにする。
5 * Geas OS はCbCで記述されおり、処理を変更する事なく処理の間に自由にメタ処理を挟む事ができる、これにスケジューラーを挟む事でマルチスレッド処理などが可能となる。
6 * メタ計算部分にモデルチェッキングを入れる事でプログラムを実行しながらにして証明することが可能となる。