Add article
This commit is contained in:
parent
28584759b8
commit
dcb4db843d
BIN
latex/paxos_made_moderately_working.pdf
Normal file
BIN
latex/paxos_made_moderately_working.pdf
Normal file
Binary file not shown.
@ -1,15 +0,0 @@
|
||||
\begin{Verbatim}[commandchars=\\\{\}]
|
||||
\PYG{k}{class} \PYG{n+nc}{Legislator}
|
||||
\PYG{p}{\PYGZob{}}
|
||||
\PYG{k}{public}\PYG{o}{:}
|
||||
\PYG{n}{Legislator}\PYG{p}{(}\PYG{k}{const} \PYG{n}{LegislatorConfig}\PYG{o}{\PYGZam{}} \PYG{n}{config}\PYG{p}{);}
|
||||
\PYG{n}{LegislatorConfig} \PYG{n}{config\PYGZus{}}\PYG{p}{;}
|
||||
|
||||
\PYG{k}{private}\PYG{o}{:}
|
||||
\PYG{n}{Ledger} \PYG{n}{ledger}\PYG{p}{;}
|
||||
\PYG{p}{\PYGZcb{};}
|
||||
\PYG{k}{using} \PYG{n}{shared\PYGZus{}legislator} \PYG{o}{=} \PYG{n}{std}\PYG{o}{::}\PYG{n}{shared\PYGZus{}ptr}\PYG{o}{\PYGZlt{}}\PYG{n}{Legislator}\PYG{o}{\PYGZgt{}}\PYG{p}{;}
|
||||
|
||||
\PYG{k}{extern} \PYG{n}{shared\PYGZus{}legislator} \PYG{n}{self}\PYG{p}{;}
|
||||
\PYG{k}{extern} \PYG{n}{std}\PYG{o}{::}\PYG{n}{unordered\PYGZus{}map}\PYG{o}{\PYGZlt{}}\PYG{n}{std}\PYG{o}{::}\PYG{n}{string}\PYG{p}{,} \PYG{n}{shared\PYGZus{}legislator}\PYG{o}{\PYGZgt{}} \PYG{n}{legislators}\PYG{p}{;}
|
||||
\end{Verbatim}
|
||||
@ -1,101 +0,0 @@
|
||||
|
||||
\makeatletter
|
||||
\def\PYG@reset{\let\PYG@it=\relax \let\PYG@bf=\relax%
|
||||
\let\PYG@ul=\relax \let\PYG@tc=\relax%
|
||||
\let\PYG@bc=\relax \let\PYG@ff=\relax}
|
||||
\def\PYG@tok#1{\csname PYG@tok@#1\endcsname}
|
||||
\def\PYG@toks#1+{\ifx\relax#1\empty\else%
|
||||
\PYG@tok{#1}\expandafter\PYG@toks\fi}
|
||||
\def\PYG@do#1{\PYG@bc{\PYG@tc{\PYG@ul{%
|
||||
\PYG@it{\PYG@bf{\PYG@ff{#1}}}}}}}
|
||||
\def\PYG#1#2{\PYG@reset\PYG@toks#1+\relax+\PYG@do{#2}}
|
||||
|
||||
\expandafter\def\csname PYG@tok@w\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.73,0.73}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@c\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@cp\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.74,0.48,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@k\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@kp\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@kt\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.69,0.00,0.25}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@o\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@ow\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nb\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nf\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nc\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nn\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@ne\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.82,0.25,0.23}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nv\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@no\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.53,0.00,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nl\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.63,0.63,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@ni\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@na\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.49,0.56,0.16}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nt\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@nd\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@s\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@sd\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@si\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@se\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.73,0.40,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@sr\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@ss\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@sx\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@m\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@gh\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@gu\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.50,0.00,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@gd\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.63,0.00,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@gi\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.63,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@gr\endcsname{\def\PYG@tc##1{\textcolor[rgb]{1.00,0.00,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@ge\endcsname{\let\PYG@it=\textit}
|
||||
\expandafter\def\csname PYG@tok@gs\endcsname{\let\PYG@bf=\textbf}
|
||||
\expandafter\def\csname PYG@tok@gp\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@go\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.53,0.53,0.53}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@gt\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.27,0.87}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@err\endcsname{\def\PYG@bc##1{\setlength{\fboxsep}{0pt}\fcolorbox[rgb]{1.00,0.00,0.00}{1,1,1}{\strut ##1}}}
|
||||
\expandafter\def\csname PYG@tok@kc\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@kd\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@kn\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@kr\endcsname{\let\PYG@bf=\textbf\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@bp\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@fm\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@vc\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@vg\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@vi\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@vm\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@sa\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@sb\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@sc\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@dl\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@s2\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@sh\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@s1\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@mb\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@mf\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@mh\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@mi\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@il\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@mo\endcsname{\def\PYG@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@ch\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@cm\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@cpf\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@c1\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYG@tok@cs\endcsname{\let\PYG@it=\textit\def\PYG@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
|
||||
\def\PYGZbs{\char`\\}
|
||||
\def\PYGZus{\char`\_}
|
||||
\def\PYGZob{\char`\{}
|
||||
\def\PYGZcb{\char`\}}
|
||||
\def\PYGZca{\char`\^}
|
||||
\def\PYGZam{\char`\&}
|
||||
\def\PYGZlt{\char`\<}
|
||||
\def\PYGZgt{\char`\>}
|
||||
\def\PYGZsh{\char`\#}
|
||||
\def\PYGZpc{\char`\%}
|
||||
\def\PYGZdl{\char`\$}
|
||||
\def\PYGZhy{\char`\-}
|
||||
\def\PYGZsq{\char`\'}
|
||||
\def\PYGZdq{\char`\"}
|
||||
\def\PYGZti{\char`\~}
|
||||
% for compatibility with earlier versions
|
||||
\def\PYGZat{@}
|
||||
\def\PYGZlb{[}
|
||||
\def\PYGZrb{]}
|
||||
\makeatother
|
||||
|
||||
@ -1,101 +0,0 @@
|
||||
|
||||
\makeatletter
|
||||
\def\PYGdefault@reset{\let\PYGdefault@it=\relax \let\PYGdefault@bf=\relax%
|
||||
\let\PYGdefault@ul=\relax \let\PYGdefault@tc=\relax%
|
||||
\let\PYGdefault@bc=\relax \let\PYGdefault@ff=\relax}
|
||||
\def\PYGdefault@tok#1{\csname PYGdefault@tok@#1\endcsname}
|
||||
\def\PYGdefault@toks#1+{\ifx\relax#1\empty\else%
|
||||
\PYGdefault@tok{#1}\expandafter\PYGdefault@toks\fi}
|
||||
\def\PYGdefault@do#1{\PYGdefault@bc{\PYGdefault@tc{\PYGdefault@ul{%
|
||||
\PYGdefault@it{\PYGdefault@bf{\PYGdefault@ff{#1}}}}}}}
|
||||
\def\PYGdefault#1#2{\PYGdefault@reset\PYGdefault@toks#1+\relax+\PYGdefault@do{#2}}
|
||||
|
||||
\expandafter\def\csname PYGdefault@tok@w\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.73,0.73}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@c\endcsname{\let\PYGdefault@it=\textit\def\PYGdefault@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@cp\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.74,0.48,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@k\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@kp\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@kt\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.69,0.00,0.25}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@o\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@ow\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nb\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nf\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nc\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nn\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@ne\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.82,0.25,0.23}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nv\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@no\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.53,0.00,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nl\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.63,0.63,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@ni\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.60,0.60,0.60}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@na\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.49,0.56,0.16}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nt\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@nd\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.67,0.13,1.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@s\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@sd\endcsname{\let\PYGdefault@it=\textit\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@si\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@se\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.40,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@sr\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.40,0.53}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@ss\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@sx\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@m\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@gh\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@gu\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.50,0.00,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@gd\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.63,0.00,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@gi\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.63,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@gr\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{1.00,0.00,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@ge\endcsname{\let\PYGdefault@it=\textit}
|
||||
\expandafter\def\csname PYGdefault@tok@gs\endcsname{\let\PYGdefault@bf=\textbf}
|
||||
\expandafter\def\csname PYGdefault@tok@gp\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.00,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@go\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.53,0.53,0.53}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@gt\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.27,0.87}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@err\endcsname{\def\PYGdefault@bc##1{\setlength{\fboxsep}{0pt}\fcolorbox[rgb]{1.00,0.00,0.00}{1,1,1}{\strut ##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@kc\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@kd\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@kn\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@kr\endcsname{\let\PYGdefault@bf=\textbf\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@bp\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.50,0.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@fm\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.00,0.00,1.00}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@vc\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@vg\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@vi\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@vm\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.10,0.09,0.49}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@sa\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@sb\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@sc\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@dl\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@s2\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@sh\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@s1\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.73,0.13,0.13}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@mb\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@mf\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@mh\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@mi\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@il\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@mo\endcsname{\def\PYGdefault@tc##1{\textcolor[rgb]{0.40,0.40,0.40}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@ch\endcsname{\let\PYGdefault@it=\textit\def\PYGdefault@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@cm\endcsname{\let\PYGdefault@it=\textit\def\PYGdefault@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@cpf\endcsname{\let\PYGdefault@it=\textit\def\PYGdefault@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@c1\endcsname{\let\PYGdefault@it=\textit\def\PYGdefault@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
\expandafter\def\csname PYGdefault@tok@cs\endcsname{\let\PYGdefault@it=\textit\def\PYGdefault@tc##1{\textcolor[rgb]{0.25,0.50,0.50}{##1}}}
|
||||
|
||||
\def\PYGdefaultZbs{\char`\\}
|
||||
\def\PYGdefaultZus{\char`\_}
|
||||
\def\PYGdefaultZob{\char`\{}
|
||||
\def\PYGdefaultZcb{\char`\}}
|
||||
\def\PYGdefaultZca{\char`\^}
|
||||
\def\PYGdefaultZam{\char`\&}
|
||||
\def\PYGdefaultZlt{\char`\<}
|
||||
\def\PYGdefaultZgt{\char`\>}
|
||||
\def\PYGdefaultZsh{\char`\#}
|
||||
\def\PYGdefaultZpc{\char`\%}
|
||||
\def\PYGdefaultZdl{\char`\$}
|
||||
\def\PYGdefaultZhy{\char`\-}
|
||||
\def\PYGdefaultZsq{\char`\'}
|
||||
\def\PYGdefaultZdq{\char`\"}
|
||||
\def\PYGdefaultZti{\char`\~}
|
||||
% for compatibility with earlier versions
|
||||
\def\PYGdefaultZat{@}
|
||||
\def\PYGdefaultZlb{[}
|
||||
\def\PYGdefaultZrb{]}
|
||||
\makeatother
|
||||
|
||||
@ -73,9 +73,8 @@ It is then specified that the parliament had bad acoustics, the only way for leg
|
||||
The application layer of our message will be further detailed when will talk of the protocol.
|
||||
|
||||
\section{Design concerns}
|
||||
Let's put the basis of our implementation, we will only detail here what is relevant for the protocl, all the socket, events or configuration isn't interesting here so we will only focus on the protocol in itself by making abstraction of everything else.
|
||||
Let's put the basis of our implementation, we will only detail here what is relevant for the protocol, all the socket, events or configuration isn't interesting here so we will only focus on the protocol in itself by making abstraction of everything else.
|
||||
|
||||
\subsection{Legislator class}
|
||||
Let's build our first class, the Legislator, as stated in the assumptions it contains a ledger and some volatile data for the algorithm but we do not know them yet.
|
||||
\begin{code}
|
||||
class Legislator
|
||||
@ -103,7 +102,6 @@ You will also notice 2 global variables, a map between the name of the legislato
|
||||
|
||||
We will add a lot of methods in this class, it is really our central point.
|
||||
|
||||
\subsection{Decree class}
|
||||
We then have the Decree class.\\
|
||||
It is simply a value object containing an int. The decree will only be an int here.
|
||||
|
||||
@ -135,9 +133,12 @@ Rather than going into the maths of why this works I will try to build a strong
|
||||
|
||||
So let's consider ballot B with number 4 for decree D. Given the success of B, every legislators in B's quorum voted for it by definition of a successful ballot.\\
|
||||
Let's now consider ballot C with number 5 whose decree is yet to be determined. C's quorum contains at least one legislator in common with B's quorum (because of $B2(\beta)$).\\
|
||||
Since every legislator in B's quorum voted in B for decree D, we can immediatly deduct that at least one legislator in C's quorum previously voted in B for decree D. B being the earliest ballot before C, the decree of C MUST be D to satisfie $B3(\beta)$
|
||||
Since every legislator in B's quorum voted in B for decree D, we can immediatly deduct that at least one legislator in C's quorum previously voted in B for decree D. B being the earliest ballot before C, the decree of C MUST be D to satisfie $B3(\beta)$.
|
||||
|
||||
\subsection{The basic protocol}
|
||||
Take a moment to think about it, it means that once a ballot succeeded, every later ballot will be for the same decree, if a legislator was not in the parliament at the time the decree was originally passed, he would still learn its existence thanks to the new ballots, holding the same decree.
|
||||
|
||||
\pagebreak
|
||||
\subsection{The preliminary protocol}
|
||||
We can derive a protocol from the requirement that $B1(\beta)-B3(\beta)$ remain true where $\beta$ is the set of all ballots that were or are being conducted.\\
|
||||
Each legislator could initiate a ballot by choosing its number, decree and quorum. The choice derive directly from the need to maintain $B1(\beta)-B3(\beta)$.
|
||||
|
||||
@ -147,8 +148,368 @@ legislator B will have 1, 4, 7 ... and legislator C will have 2, 5, 8 ...
|
||||
|
||||
To maintain $B2(\beta)$ we can simply choose the quorum as any majority set among the legislators.\\
|
||||
|
||||
$B3(\beta)$ requires that the legislator initiating the ballot knows the decree every legislators in the quorum voted for. To do this will have to exchange messages
|
||||
$B3(\beta)$ requires that the legislator initiating the ballot knows the decree every legislators in the quorum voted for. To do this we will have to exchange messages with the legislators in the quorum.\\
|
||||
Let's now address what messages exactly must be sent to conduct a ballot.
|
||||
|
||||
\begin{itemize}
|
||||
\item 1: Legislator l chooses to initiate a new ballot, he do so by choosing a new ballot number b among those still available to him and send a NextBallot(b) message to some set of legislators (in practice we will send it to all the legislators)
|
||||
\item 2: Upon receiving a NextBallot(b), legislator m sends a LastVote(b, v) to l where v is the vote with the largest ballot number less than b that m has cast, it is the latest vote from m before ballot b. A vote is composed of a ballot number, a decree and a voter. If m never voted before b we will consider both the ballot number and the decree of the vote to be -1.\\
|
||||
Here, m has to take notes in his ledger to remember the votes he had cast.
|
||||
One thing that we must be careful of is that the set of ballot can change, since legislator l is going to use v as the latest vote from m until b. This means that uppon sending a LastVote(b, v), legislator m MUST NOT cast any vote for ballots between v's ballot and b. Otherwise the value of v used by l will be outdated and we will break the consistency.
|
||||
\item 3: After receiving a LastVote(b, v) message from a majority set Q of legislators, legislator creates a new ballot with number b, quorum Q. The decree d is chosen to satisfie $B3(\beta)$, if no legislator in the quorum casted a vote before this (i.e. there are no successful ballots before b), we will make d being equal to b. It is simply an implementation choice, it could be anything but it is the thing we want to synchronize, so here, we will actually synchronize the number of the first sucessful ballot.\\
|
||||
l then record the new ballot in the notes of his ledger and send a BeginBallot(b, d) to every legislator in Q.
|
||||
\item 4: Upon receiving a BeginBallot(b, v), legislator m decides wether or not to cast his vote in ballot number b. He may refuse to do so if this violate a promise implied by a previous LastVote message. If he decides to vote, he sends a Voted(b, m) message to l and record his vote in his ledger.\\
|
||||
Note that legislator m has the option not to vote if he wants to. Every steps in this protocol are actually facultative, even if not responding to a message will surely prevent progress, it cannot break consistency as it cannot make $B1(\beta)-B3(\beta)$ false. This way, even if a legislator leaves the parliament in the middle of a ballot, it cannot break consistency.
|
||||
\item 5: if legislator l has received a Voted(b, m) message from every legislator m in Q, he writes d in his ledger and sends a Success(d) message to every legislators.
|
||||
\item 6: Upon receiving a Success(d) message, a legislator enters decree d in his ledger.
|
||||
\end{itemize}
|
||||
|
||||
This is a lot to digest, take a deep breath, we will not dive into the implmentation of this right now, they are some restrictions we can apply in order to ease the implementation of this and I also think it is time to address some design again.\\
|
||||
The multiple restrictions will result in the basic protocol so that's where we are going to talk about this.\\
|
||||
Concerning design, we can start to think about what the messages we will send will look like.\\
|
||||
I decided to use a format really similar to HTTP, first because it allows me to reuse code from another project, but also because it is really easily scalable.\\
|
||||
A message will be composed of a method and a set of headers. To put it simply the method will be the type of the message and headers will the parameters. A complete message will look like this:
|
||||
|
||||
\begin{shell}
|
||||
BeginBallot
|
||||
receiver: m
|
||||
sender: l
|
||||
ballot: 4
|
||||
decree: 2
|
||||
|
||||
\end{shell}
|
||||
|
||||
So when I said headers were a set, you can obviously see that I lied, it is in fact a map, it will allow us to easily recover key information in the message. I will not dive into the parsing and the serialization of such messages because we do not care, just know that the end of the message is marked by an empty line.\\
|
||||
Also note the receiver header, I put it in every message automatically upon sending it and its value is the name of the legislator who will receive the message, this is solely for debuging and logging purposes, to see where the message is actually going.
|
||||
|
||||
\pagebreak
|
||||
\subsection{The basic protocol}
|
||||
The preliminary protocol require every legislator to record the number of every ballot he initiated, every vote he has cast and every LastVote message he has sent. That's a lot of information to keep track of without even considering how hard it might be to implement.\\
|
||||
To answer this problem, the basic protocol is a restriction of the preliminary protocol.\\
|
||||
This means that every action in the basic protocol is allowed by the preliminary protocol (the reverse is wrong), since the preliminary protocol maintains the consistency condition, so does the basic one.
|
||||
|
||||
For the basic protocol, every legislator l has to keep track in his ledger of:
|
||||
|
||||
\begin{itemize}
|
||||
\item lastTried[l]: The number of the last ballot that l tried to initiate (we will take the liberty to put -1 if no such ballot exists as every ballot has a positive number in our implementation)
|
||||
\item prevVote[l]: The vote cast by p in the highest-numbered ballot in which he voted
|
||||
\item nextBal[l]: The largest value of b for which l has sent a LastVote(b, v)
|
||||
\end{itemize}
|
||||
|
||||
The preliminary protocol allows legislator l to conduct any number of ballots concurrently, the basic protocol only allow one, he will ignore every message concerning a ballot different from the last he initiated.\\
|
||||
In the premilimary protocol a LastVote(b, v) sent by m was the promise to not vote for any ballot between v's ballot and b. In the basic protocol, it represents the stronger promise to not vote for any ballot numbered lower than b. This might prevent m from casting a vote in step 4 that he would have been allowed to cast in the preliminary protocol but as we saw, the preliminary protocol still allows m to not cast a vote even if he is allowed to so the basic protocol is does require m to perform an action forbidden by the preliminary protocol.
|
||||
|
||||
It would be pointless to rewrite the previous protocol and simply change some words so I will dive into the code right now, I recommand to take a look at the preliminary algorithm so you can get a better grasp of its progression.\\
|
||||
I purposely removed some details in the code (logs, definitions of certain abstractions ...) to make the code lighter, certain abstractions have rather confusing implementations because I'm a terrible developer, but also because they contain optimizations that will be addressed in the complete protocol, yet I think the name of the fonctions will be good enough for you to understand their goal.
|
||||
\subsubsection{Step 1}
|
||||
\begin{code}
|
||||
void Legislator::initiate_ballot()
|
||||
{
|
||||
//this attribute keeps tracks of wether or not the ballot has begun
|
||||
has_started = false;
|
||||
//This attribute is a map of the previous votes of the quorum,
|
||||
//it is updated after receiving a LastVote
|
||||
quorum_previous_votes.clear();
|
||||
int new_ballot_number = get_next_ballot_id();
|
||||
//we set lastTried[l] to the newly initiated ballot
|
||||
ledger.set_last_tried(new_ballot_number);
|
||||
send_next_ballot(new_ballot_number);
|
||||
}
|
||||
void Legislator::send_next_ballot(int ballot)
|
||||
{
|
||||
std::string ballot_string = std::to_string(ballot);
|
||||
Message message;
|
||||
message.set_method("NextBallot");
|
||||
message.add_header("ballot", ballot_string);
|
||||
message.add_header("sender", self->config_.name);
|
||||
for (auto legislator : legislators)
|
||||
message.send(legislator.second);
|
||||
}
|
||||
\end{code}
|
||||
|
||||
\subsubsection{Step 2}
|
||||
|
||||
\begin{code}
|
||||
//Step 2
|
||||
void Legislator::receive_next_ballot(Message message)
|
||||
{
|
||||
std::string ballot_str = *message.get_header("ballot");
|
||||
int ballot = std::stoi(ballot_str);
|
||||
receive_next_ballot(ballot, *message.get_header("sender"));
|
||||
}
|
||||
|
||||
void Legislator::receive_next_ballot(int ballot, std::string sender)
|
||||
{
|
||||
int next_ballot = ledger.next_bal(); //get nextBal[m]
|
||||
if (ballot <= next_ballot) //ignore the message if the ballot is outdated
|
||||
return;
|
||||
ledger.set_next_bal(ballot); //Set nextBal[m] to b
|
||||
Vote previous_vote = ledger.prev_vote(); //Get the last vote before b
|
||||
send_last_vote(ballot, previous_vote, sender);
|
||||
}
|
||||
|
||||
void Legislator::send_last_vote(int ballot, Vote previous_vote,
|
||||
std::string sender)
|
||||
{
|
||||
std::string ballot_string = std::to_string(ballot);
|
||||
std::string vote_ballot_id_string
|
||||
= std::to_string(previous_vote.ballot_id);
|
||||
std::string decree_string = std::to_string(previous_vote.decree.decree);
|
||||
Message message;
|
||||
message.set_method("LastVote");
|
||||
message.add_header("ballot", ballot_string);
|
||||
message.add_header("vote_ballot_id", vote_ballot_id_string);
|
||||
message.add_header("decree", decree_string);
|
||||
message.add_header("sender", self->config_.name);
|
||||
message.send(legislators[sender]);
|
||||
|
||||
}
|
||||
\end{code}
|
||||
So here, legislator m receives a NextBallot, if he already responded to a NextBallot from a later ballot (whose ballot number is higher), m discards the message because the ballot is considered to be outdated, as a recall responding to a NextBallot(b) is a promise to never vote for a ballot earlier than b, it only makes sense to discard it now before even be able to vote.\\
|
||||
If b is indeed a newer ballot, then m retrieves its last vote and sends it to legislator l.
|
||||
|
||||
\pagebreak
|
||||
\subsubsection{Step 3}
|
||||
\begin{code}
|
||||
void Legislator::receive_last_vote(Message message)
|
||||
{
|
||||
std::string ballot_str = *message.get_header("ballot");
|
||||
std::string vote_ballot_id_str = *message.get_header("vote_ballot_id");
|
||||
std::string sender = *message.get_header("sender");
|
||||
int ballot = std::stoi(ballot_str);
|
||||
int vote_ballot_id = std::stoi(vote_ballot_id_str);
|
||||
int vote_decree = std::stoi(*message.get_header("decree"));
|
||||
|
||||
if (ballot != ledger.last_tried() || has_started)
|
||||
return;
|
||||
|
||||
Decree decree;
|
||||
decree.decree = vote_decree;
|
||||
Vote vote;
|
||||
vote.decree = decree;
|
||||
vote.legislator = sender;
|
||||
vote.ballot_id = vote_ballot_id;
|
||||
|
||||
quorum_previous_votes.insert(std::pair<std::string, Vote>
|
||||
(sender, vote));
|
||||
unsigned int quorum_size = quorum_previous_votes.size();
|
||||
unsigned int nb_legislators = legislators.size();
|
||||
if (quorum_size > nb_legislators / 2)
|
||||
receive_enough_last_vote();
|
||||
}
|
||||
|
||||
void Legislator::receive_enough_last_vote()
|
||||
{
|
||||
has_started = true;
|
||||
int ballot = ledger.last_tried();
|
||||
std::string ballot_str = std::to_string(ballot);
|
||||
|
||||
Vote max_vote;
|
||||
max_vote.ballot_id = -1;
|
||||
for (auto legislator_vote_pair : quorum_previous_votes)
|
||||
{
|
||||
Vote current_vote = legislator_vote_pair.second;
|
||||
if (current_vote.ballot_id > max_vote.ballot_id)
|
||||
max_vote = current_vote;
|
||||
}
|
||||
Decree decree;
|
||||
if (max_vote.ballot_id != -1)
|
||||
decree = max_vote.decree;
|
||||
else
|
||||
decree.decree = ballot;
|
||||
send_begin_ballot(ballot, decree);
|
||||
}
|
||||
\end{code}
|
||||
There is actually a lot of things going on here, first I will not show the definition of \textbf{send\_begin\_ballot(int, Decree);} as it is really straightforward, it is basically the same thing than NextBallot but we send it only to the quorum and that we also send a decree.
|
||||
|
||||
The first thing we check when we receive a LastVote is wether or not it is for the ballot we are currently conduction (this ballot is marked by lastTried[l]).\\
|
||||
We also need to check that we did not already start the ballot, we do not want to send a BeginBallot every time we receive a LastVote when you actually had a large enough quorum to send a BeginBallot beforehand, even though it doesn't impact consistency, it still add too much information in the logs.\\
|
||||
After checking the ballot is valid, we register the vote in a map of the legislator names and their respective last vote. We then check the size of the map, if the number of elements is greater than half of the total number of legislators, it means that a majority of legislators responded with a LastVote, we can now enter the actual step 3: find the decree and send a BeginBallot.\\
|
||||
We first mark the ballot has started, any incoming LastVote for this ballot will be discarded as the quorum just has beem established.\\
|
||||
We then simply check which vote was the latest among the last votes of the quorum and choose the corresponding decree, if no legislator previously voted we arbitrarily choose the ballot number as the new decree.
|
||||
|
||||
\subsubsection{Step 4}
|
||||
|
||||
\begin{code}
|
||||
void Legislator::receive_begin_ballot(Message message)
|
||||
{
|
||||
std::string ballot_string = *message.get_header("ballot");
|
||||
std::string decree_string = *message.get_header("decree");
|
||||
std::string sender = *message.get_header("sender");
|
||||
|
||||
int ballot = std::stoi(ballot_string);
|
||||
int decree = std::stoi(decree_string);
|
||||
receive_begin_ballot(ballot, decree, sender);
|
||||
}
|
||||
|
||||
void Legislator::receive_begin_ballot(int ballot, int decree_id,
|
||||
std::string sender)
|
||||
{
|
||||
int next_ballot = ledger.next_bal();
|
||||
if (ballot != next_ballot)
|
||||
return;
|
||||
Vote vote;
|
||||
vote.ballot_id = ballot;
|
||||
Decree decree;
|
||||
decree.decree = decree_id;
|
||||
vote.decree = decree;
|
||||
ledger.set_prev_vote(vote);
|
||||
|
||||
send_voted(ballot, decree, sender);
|
||||
}
|
||||
|
||||
void Legislator::send_voted(int ballot, Decree decree, std::string receiver)
|
||||
{
|
||||
Message message;
|
||||
message.set_method("Voted");
|
||||
message.add_header("ballot", std::to_string(ballot));
|
||||
message.add_header("sender", self->config_.name);
|
||||
message.add_header("decree", std::to_string(decree.decree));
|
||||
message.send(legislators[receiver]);
|
||||
}
|
||||
\end{code}
|
||||
When receiving a BeginBallot(b, d), we first check if we should cast our vote in the ballot, indeed casting a vote might break a promise from an earlier LastVote, so we need to make sure that b is greater or equal to nextBal[m]. You might notice that we also ignore the message if nextBal[m] is greater than b, the reason is simple: this case is not supposed to ever happen, indeed m can receive a BeginBallot(b, v) only if m is part of the quorum of b, which mean it sent a LastVote(b) previously which mean that nextBallot[m] was previously set to b (but can be bigger if an other ballot was initiated right after).\\
|
||||
Even though this case is supposed to never happen, we still handle the possibility by ignoring the message.
|
||||
|
||||
Once we checked that we could indeed cast the vote, we cast it and send Voted.
|
||||
|
||||
\subsubsection{Step 5}
|
||||
|
||||
\begin{code}
|
||||
void Legislator::receive_voted(Message message)
|
||||
{
|
||||
std::string ballot_str = *message.get_header("ballot");
|
||||
std::string sender = *message.get_header("sender");
|
||||
std::string decree_str = *message.get_header("decree");
|
||||
Decree decree;
|
||||
decree.decree = std::stoi(decree_str);
|
||||
|
||||
receive_voted(std::stoi(ballot_str), decree, sender);
|
||||
}
|
||||
|
||||
void Legislator::receive_voted(int ballot, Decree decree, std::string voter)
|
||||
{
|
||||
if (ballot != ledger.last_tried())
|
||||
return;
|
||||
quorum_previous_votes.erase(voter);
|
||||
if (quorum_previous_votes.size() == 0)
|
||||
receive_enough_voted(ballot, decree);
|
||||
}
|
||||
|
||||
void Legislator::receive_enough_voted(int ballot, Decree decree)
|
||||
{
|
||||
ledger.set_decree(decree);
|
||||
send_success(decree);
|
||||
}
|
||||
|
||||
void Legislator::send_success(Decree decree)
|
||||
{
|
||||
Message message;
|
||||
message.set_method("Success");
|
||||
message.add_header("decree", std::to_string(decree.decree));
|
||||
|
||||
for (auto legislator : legislators)
|
||||
message.send(legislator.second);
|
||||
}
|
||||
\end{code}
|
||||
When we receive a Voted message for the good ballot, we erase the voter from the quorum, once the quorum is empty, it means that all the quorum has voted, and we can send a Success.
|
||||
|
||||
\pagebreak
|
||||
\subsubsection{Step 6}
|
||||
|
||||
\begin{code}
|
||||
void Legislator::receive_success(Message message)
|
||||
{
|
||||
std::string decree_str = *message.get_header("decree");
|
||||
Decree decree;
|
||||
decree.decree = std::stoi(decree_str);
|
||||
receive_success(decree);
|
||||
}
|
||||
|
||||
void Legislator::receive_success(Decree decree)
|
||||
{
|
||||
ledger.set_decree(decree);
|
||||
}
|
||||
\end{code}
|
||||
Nothing surprising here.
|
||||
|
||||
The basic protocol derive directly from the preliminary protocol and maintains the consistency condition, however we have no guarantee of the progress condition as no legislator is forced to ever initiate a ballot.\\
|
||||
The complete protocol, derived from the basic protocol, addresses this problem.
|
||||
|
||||
|
||||
\subsection{The complete protocol}
|
||||
The progress condition requires that a legislator eventually performs step 1 but we still need to think of the frequency of the ballots. Indeed, initiating too many ballots can prevent progress. If legislator l initiates a ballot number b larger than any other ballot, the LastVote(b, v) from legislator m in step 2 will prevent m from voting in any previously initiated ballot. If new ballots continually initiated with increasing ballot numbers before the previous ballots have a chance to succeed, then no progress can be made.\\
|
||||
The main idea introduced by the complete protocol is that only one legislator can initiate ballot, and that only he can decide of the appropriate time to do so.\\
|
||||
This legislator is called the president. The election process is irrelevant but it must occur frequently to make sure the president didn't leave the parliament, we obviously need to change the president in such cases.
|
||||
|
||||
So as I mentionned earlier the complete protocol is in fact irrelevant in our case, the reason being that for visualisation purposes, I decided to let the ballot initiation process between the hands of the user, to initiate a ballot, you must send a SIGTSTP to the process of the server.\\
|
||||
The problem of president and ballot frequency are now completely in the hands of the user who is totally able to simulate the complete protocol by hand.\\
|
||||
However, the complete protocol still addresses an interesting optimization regarding presidency change. (in our case, when the user will send ballots from multiple legislators).\\
|
||||
This is linked to the way we choose the next ballot number, the basic protocol specifies that legislator l must initiate a ballot with a number higher than lastTried[l], however, by doing so we have no guarantee that this will be higher than an already passed successful ballot that was initiated by someone else.\\
|
||||
To handle the latter possibility, legislator l had to learn about any ballot number higher than lastTried[l] that was conducted before he became president.\\
|
||||
|
||||
At the start of the basic protocol I promised an optimization and this what this is all about. Instead of simply taking a ballot number higher than lastTried[l], we actually look if an higher numbered ballot as been initiated by someone else, this ballot number will be stored in nextBal[l].
|
||||
\begin{code}
|
||||
int Legislator::get_next_ballot_id()
|
||||
{
|
||||
int previous_ballot_id = ledger.last_tried();
|
||||
if (previous_ballot_id == -1)
|
||||
previous_ballot_id = config_.ballot_partition_id - legislators.size();
|
||||
int last_voted_ballot = ledger.next_bal();
|
||||
while (last_voted_ballot > (int)legislators.size() + previous_ballot_id)
|
||||
previous_ballot_id += legislators.size();
|
||||
return previous_ballot_id + legislators.size();
|
||||
}
|
||||
\end{code}
|
||||
|
||||
This is only a simple optimization not presented in the original algorithm, the reason it is not presented is because it actually is useless because one problem remains et that response to this problem also handle the above case, but yet, this optimization allow to save a few message sending.
|
||||
|
||||
So the problem that remains is that legislator m was conduction ballots while legislator l was outside of the parliament, then legislator l would not have any way to know these ballots in his personnal ledger. If its first action after entering the parliament (before receiving any message) was to initiate decree, he will have a lot of troubles to find a suitable ballot number.
|
||||
|
||||
To solve this, the complete protocol proposes to send a message in response to a NextBallot(b) or BeginBallot(b, d) instead of ignoring it when b is inferior or equal to nextBal[m].\\
|
||||
This message contains the value of nextBal[m], legislator l, can then update its value of lastTried[l] before re-initiating a ballot.
|
||||
|
||||
\begin{code}
|
||||
//Is called in receive_next_ballot and receive_begin_ballot
|
||||
//instead of ignoring the message
|
||||
void Legislator::send_higher_ballot(int ballot, std::string receiver)
|
||||
{
|
||||
Message message;
|
||||
message.set_method("HigherBallot");
|
||||
message.add_header("ballot", std::to_string(ballot));
|
||||
message.send(legislators[receiver]);
|
||||
}
|
||||
|
||||
void Legislator::receive_higher_ballot(Message message)
|
||||
{
|
||||
std::string ballot_str = *message.get_header("ballot");
|
||||
receive_higher_ballot(std::stoi(ballot_str));
|
||||
}
|
||||
|
||||
void Legislator::receive_higher_ballot(int ballot)
|
||||
{
|
||||
int last_tried = ledger.last_tried();
|
||||
if (last_tried > ballot)
|
||||
return;
|
||||
|
||||
while (last_tried + (int)legislators.size() < ballot)
|
||||
last_tried += legislators.size();
|
||||
|
||||
ledger.set_last_tried(last_tried);
|
||||
initiate_ballot();
|
||||
}
|
||||
\end{code}
|
||||
|
||||
\pagebreak
|
||||
|
||||
\section{Conclusion and opening on the multi-decree parliament}
|
||||
As I said the implementation is incomplete, I presented here the complete single-decree synod protocol. However the original paper presents the multi-decree parliament protocol which directly derives from the single-decree. Its goal is of course to synchronize not one but multiple decrees between legislators.\\
|
||||
This have obviously much more applications than the single-decree protocol but I did not implement it yet, I do not want to risk myself continuing this article on a subject I did not experience myself, but maybe you will be able to understand it by yourself by reading the original paper.\\
|
||||
I hope this article gave you the keys you needed to understand the Paxos algorithm with a more pragmatic and intuitive approach.\\
|
||||
I will probably implement the multi-decree parliament some day on the same repository, but for now I will have to let you search for it, but do not be scared, it is in fact fairly simple as, I quote,\\
|
||||
|
||||
"The Paxons never bothered writing a precise description of the parliamentary protocol because it was so easily derived from the Synod protocol."
|
||||
|
||||
|
||||
|
||||
\end{document}
|
||||
|
||||
Loading…
Reference in New Issue
Block a user