RISE Retreat Winter 2018 Poster

.gitignore

*.html
.DS_Store

################################################################################
# vim
################################################################################
# Swap
[._]*.s[a-v][a-z]
[._]*.sw[a-p]
[._]s[a-v][a-z]
[._]sw[a-p]

# Session
Session.vim

# Temporary
.netrwhist
*~
# Auto-generated tag files
tags

README.md

RISE Retreat Winter 2018 Poster

datalog.dedalus

link(a, b) :- .
link(b, c) :- .
link(c, b) :- .
link(c, d) :- .

path(X, Y) :- link(X, Y).
path(X, Y) :- path(X, Z), link(Z, Y).

datalog.dot

digraph G {
    rankdir="LR";
    "a" -> "b";
    "b" -> "c";
    "c" -> "b";
    "c" -> "d";
}

datalog.png

dedalus_plus.dedalus

link(#a, b) :- .
link(#b, c) :- .
link(#c, d) :- .
ignore(#c, d) :- .
path(X, Y) :- link(X, Y), !ignore(X, Y).
path(X, Y) :- path(X, Z), path(Z, Y).

dedalus_s.dedalus

i_do_edb(#a, bride) :- .
i_do_edb(#a, groom) :- .
i_do(X)@async :- i_do_edb(X).
i_do(X)@next :- i_do(X).
runaway() :- !i_do(bride), i_do(groom).
runaway() :- !i_do(groom), i_do(bride).
runaway()@next :- runaway().

non_async_recursive.dedalus

// A simple stratum.
a(X) :- b(X).
b(X) :- a(X).

// Check if a is quiesced.
a1(X) :- a(X).
a2(X)@next :- a1(X).
a_not_quiesced() :-  a1(X), !a2(X).
a_not_quiesced() :- !a1(X),  a2(X).
a_quiesced() :- !a_not_quiesced().

// Do the same for b.
// ...

stratum_done() :- a_quiesced(), b_quiesced().

pdg.png

rise_retreat_2018_poster.key

rise_retreat_2018_poster.pdf

space.dedalus

time.dedalus

to_html.sh

two_phase_vote.key

two_phase_vote.png