Mercurial > hg > Gears > GearsAgda

comparison Todo.txt @ 709:6a805c8c1e53

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 03 May 2022 18:34:47 +0900
parents 7bacba816277
children c588b77bc197
comparison
equal deleted inserted replaced
708:4761b08c4bd6 709:6a805c8c1e53
1 <<<<<<< working copy 1 Sun May 1 15:04:57 JST 2022
2
3 Model checking
4
5 goto 先の番号を stub に書くのは変
6
7 　　process : context が別々
8 　　thread : context 一緒、goto 先が異なる
9 context は共有 実行は codeGear は atomic
10 shared file descriptor など
11
12 single phils direct connection single thread
13 no shared data
14
15 multi process phils separate process
16 shared context
17
18 multi threaded phils shared process
19 serate next
20 atomic codeGear execution
21 　　
22
2 Thu May 17 15:26:56 JST 2018 23 Thu May 17 15:26:56 JST 2018
3 24
4 findNode -> replaceNode -> getRedBlackTree だが 25 findNode -> replaceNode -> getRedBlackTree だが
5 26
6 findNode -> P0 -> replaceNode -> P1 -> getRedBlackTree 27 findNode -> P0 -> replaceNode -> P1 -> getRedBlackTree
7 28
8 という形で証明しても良い。一挙に証明するのは,可能だろうけど、良くないはず。 29 という形で証明しても良い。一挙に証明するのは,可能だろうけど、良くないはず。
9 30
10 ||||||| base
11 =======
12
13
14 >>>>>>> destination
15 Sun May 6 17:54:50 JST 2018 31 Sun May 6 17:54:50 JST 2018
16 32
17 do1 a $ \b -> do2 b next を、do1 と do2 に分離することはできる? 33 do1 a $ \b -> do2 b next を、do1 と do2 に分離することはできる?
18 34
19 35