-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathStatusOfPrograms.txt
102 lines (81 loc) · 2.56 KB
/
StatusOfPrograms.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
Leader election, build different topologies and color the leader
----------------------------------------------------------------
-HS Leader election in ring programmed in linear logic
./leader-election/HS-leader-election-linear.meld
Multicore version: Working
Blinky Blocks version: Working
-HS leader election in ring programmed in classical logic
./leader-election/HS-leader-election-classical-j.meld
Multicore version: Working
Blinky Blocks version: Working
./leader-election/HS-leader-election-classical.meld
Not working
-Leader election programmed in linear logic
./leader-election/leader-election-linear.meld
Not working
-Leader election programmed in classical logic logic
./leader-election/leader-election-classical.meld
Multicore version: Working
Blinky Blocks version: Working
./leader-election/leader-election-classical-flavor1.meld
Not working, need help from Seth
-LCR leader election in ring
TODO
Vertex coloring
---------------
TODO
Clocks, ordering of events
--------------------------
-All blocks are changing colors and one process records the state every t
TODO
-Replay a pattern respecting the ordering by tapping the blocks
TODO using Lamport clocks from mutual exclusion
Consensus
---------
They have to agree all on a color randomly chosen
-Consensus election programmed in classical logic
./consensus/consensus.meld
Multicore version: Working
Blinky Blocks version: Working
Shortest path
--------------
Tap two blocks and display the shortest path
./shortest-path/tapping-shortest-path.meld
./shortest-path/tapping-shortest-path-v2.meld
./shortest-path/tapping-shortest-path-vj.meld
Not working
Shortest path
./shortest-path/shortest-path.meld
Multicore version: Working
Blinky Blocks version: TODO
Mutual exclusion
----------------
Only one can have the blue color at a given time
-Lamport mutual execution
./mutual-exclusion/lamport.meld
Multicore version: Working
Blinky Blocks version: Not working
Token passing
-------------
TODO
Two Phase Commit
----------------
TODO
Tree/graph algorithms
---------------------
-Broadcast using linear logic
./tree-alg/broadcast.meld
Multicore version: Working
Blinky Blocks version: Working
Broadcast using classical logic
./tree-alg/broadcast-classical.meld
Multicore version: Working
Blinky Blocks version: Working
Convergecast
TODO
Spanning tree
TODO
Minimum Weight Spanning Tree
./tree-alg/mwst.meld
Multicore version: Working
Blinky Blocks version: TODO