Gears OS filesystem API
C#/Java の anntotation に変わるもの
static / dynamic
key management
input key registration (peek/take) input data gear (meta で指定する感じ
put / update --- output data gear
データ型の管理 topology manager 経由 / MessagePack
socket management
data receiver/sender thread
remote data gear manager
persistency (load/save/synchronization)
trasport (topology / communication )
goto hoge->fuga(data,next,...);
internace
__code fuga(data,__code next(output,...),...);
2 types of response ( event hook / contination )
waiting multiple keys
acknowledge / peek
physical format ( key indexed message Pack log )
codeGear database
package managet
container image
linkage (codeGear array in Context )
version managment
fork / exec
par goto senantics
dataGearType information
archives
on memory red black tree
名前付きの通信とデータベース
キューでつながったdataGear
これらのAPIのinterfaceを定義する。
それぞれにテストケースを書く
モデル検査を考慮する
効率は優先しない
効率化はメタレベルで