From fbcd7542fc741e2a147931e715dd9d024165bc36 Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Mon, 8 Jan 2024 14:25:16 +0000 Subject: [PATCH] fix: removed html file --- presentation/.gitignore | 1 + presentation/presentation.html | 557 --------------------------------- 2 files changed, 1 insertion(+), 557 deletions(-) create mode 100644 presentation/.gitignore delete mode 100644 presentation/presentation.html diff --git a/presentation/.gitignore b/presentation/.gitignore new file mode 100644 index 0000000..2d19fc7 --- /dev/null +++ b/presentation/.gitignore @@ -0,0 +1 @@ +*.html diff --git a/presentation/presentation.html b/presentation/presentation.html deleted file mode 100644 index 789b585..0000000 --- a/presentation/presentation.html +++ /dev/null @@ -1,557 +0,0 @@ -
-

A Paxos implementation

-

Andre Henriques

-
-
-

Basis of the implentation

-

Structure Steps

-
-
-

Steps

-
receive do
-  {:leader_elector, proc} -> ...
-  {:propose, inst, value, t, pid_to_inform} -> ...
-  {:prepare, proc, inst, ballot} -> ...
-  {:nack, inst, ballot} -> ...
-  {:prepared, inst, ballot, accepted_ballot, accepted_value} -> ...
-  {:accept, inst, ballot, value} -> ...
-  {:accepted, inst, ballot} -> ...
-  {:decide, inst, value} -> ...
-end
-
-
-
-

Step 1 - "Requirements"

-

center

-
-
-

Step 2 - "Prepare"

-

center

-
-
-

Step 3 - "Accept"

-

center

-
-
-

Step 4 - "Leader Crash"

-

center

-
-
-

Application

-
-
-

Atomas

-

center top-m

-
-
-

Safety

-
    -
  • If a game state exists, then it was created by a user
    • -
  • The game state can not divert.
    • -
-

Liveness

-
    -
  • Eventually all users will have the same game state
    • -
-
-
-

Questions?

-
-
\ No newline at end of file