raft
distributed computing
go (golang)
- implemented raft, a distsys consensus algorithm in Go (as seen in ATC2014)
- built KVServer on top with strong consistency guarantees, basic sharding and tolerable to non-byzantine failures.
- YOU WANT TO STAY ON THE PAGE
- YOU WANT TO STAY ON THE PAGE
%%#+=======+#%%%%%%%%%%%%%%%%%%%%%%%@%%%%%%%@%%%%%%%%%%%######+===---+*###=----------:..................................-:.....=............-.....-............=.....--.................................---------=+-=++=--------+####------=############%@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %+.......... -@%%%%%%%%%%%%%%%%%%%%%%%%%@%%@@%%%%%%%%%%%#########+------=#*==---------:..................................=.....=............-.....-...........:-....:-.................................-----=--=+#=====-------=+####*-=--=*############%%@@@@@@@@@@@@@@@@@@@%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ %:=--:.:..--: @%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@%%##########*--------*####*+------:.................................=.....=............-....::...........-.....-..................................----=#**##+----=--==--=*#####**#**#############%%%%%%%%@@@@@@@#=+#@@@%%@@@=:-%+:-*#-:#=:-*:-%-:=@@@@@ %:=::. : +-: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@%%%########%%+---------+####*------:..................................-....-............:....=...........-.....=...................................---=####+----=*+-=########%##########%%######%%%%%%%%%%@@@#-==@#-#@@@%%@@+ #. +: .:+ . +* # @@@@@ %:-::. : +:: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@%%%%%#%%%%%%##**+==-----=####*=--=-:..................................-.... -..........-.... -...........-....-................................... ---###*=----=*#*=########%%%%########%%%%%%%%%%%%%%%%%%@@@#-=+*-=#@@@%%@@%::.*-..==::++::%*.*..:%@@@@ %:----=--=--- @%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@%%%%@@@%%######*------+########-. . ................... ..:... - ... - .- . ..... = :. . ++=+=---=**#############%%@@%%%#####%%@%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ %%=-::::::::-#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@%%%######=-----+########*. - : - - :. .: .-------=###############%%@@@@@%%###%%%%%%%%%%%%%%%%%%%%%%@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@%%########**++-*%%%%%####. - : - - .: .- .::--:. ..:-----=--*#########%%####%%@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%###########=#@@@%#####-. :. : - .. - .: :-----=+--------=*+**##%%##%%%%%@%%%%%@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@#==+*==#==+@@%++++#@@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%###@@@%###%++::::::. - : : : - : .:::---===+*=-------=#######%%%%%%%@%@@@%@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@%* =- :%* .@@=-::-:%@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%###%@@%%%%%*+----:::::. : . : : .. : .:::::---+****+=--=+=+*########%@@%%%@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@: @+: * :@@*-:::=%@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@*+*=+--------:: .::::.. . . : . .. : ..:::.........::------=+******#--=######*=:=##%@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@%@@@@@@@@%%#%@@@ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@#*#####=-------------::::::. . . .. : .: : :::::::----...:-------::+***##*##+=#######--=+*%%@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@%%%@%%%#*=-:-----------:-::::: . : . : . .: .:::::::------:::-----:---***##*+*#########*=++*#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@%##++=:::-----------::::..... . .. .::...:::::---------::------+++==--:::-+*##%%%##%****%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@%%*++=-::-::--------:::::..... . . . ....-:.:::::--::::------:----==+*+---:::-=++*##%@%%%@#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@%#*++-----=##**********+++++=======+--+=-----==--+-----=++++*=++++*+*************----=***=--=-:--=***#%%@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#***+=*=------------:::.... - -. + =. =. +:.....:::-:::----------=++**#*===+=-+=+#@%@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@#***------===------:... .....::::::---------=====+*+**#%+=+##=***%@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#--==----==------:.. .::::::::--------====+=+****#@**#@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%*=+*++---=====--:. ..::::::---==========-=*####@%@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%*##+++-=======:.... :.:::::::===========--==#@%%@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#**+++++====----::: ....::::-----====+++++==++++%@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#****+======------ ....:::-------======+***+++**#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#+=--::-====---- ...::::------===--::---+##*#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+=-----:======- .::--::.::-=======-:-----==+#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%+===----=+++==:. .=########*=.-+==++++------===*%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@ @@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%#+=====-*#+++-. . .=%#%%%%%%%%%%%=**+++##=-=====+*#%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@ @@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@%%%%%%%%%%%%%%@@@@%%%%%%%%%%%%%%*+++==*###*-... .----======-----=######+==+++++#%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@%%%%%%%%%%%%%%%%%@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@ @@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@%%%%%%%%%%%%%@@@@@@@%%%%%%%%%%%%##++*%##*-... .:::-*=:::+=::::-+=+#%##****#%#%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@%%%%%%%%%%%%%%%%%@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@ @@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@%%%%%%%%%%%%@@@@@@@%%%%%@@%%%%#+: #%+==.. ::::-#+ *+::::: .-*%#***#%*%%%%%%%%%%%%@@@@%%%%%%%%@@@@@@@%%%%%%%%%%%%%%%%%%@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@%%%%%%%%%%%%@@@@@@@%%%%@@@@%%%*: %#+=+. :::::-%#==+#*:::::.:-+#%***##*##%%%%%%%%@@@@@%%%%%%%%@@@@@@@%%%%%%%%%%%%%%%%%@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@%%%%%%%%%%%%@@@@@@@%%%%@@@%%%%-.%#=.+ .-:-::-@:---+*::--:::-+#%***##*#%@@@#%%%@@@@@%%%%%%%%@@@@@@@@%%%%%%%%%%%%%%%%@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@%%%%%%%%%%%@@@@@@@@%%%%@@@%#%%+%#-:- :=----=@::::+#-----::-+#%*#***#@@@@###%@@@@@@%%%%%%%@@@@@@@@%%%%%%%%%%%%%%%%@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@%%%%%%%%%%@@@@@@@@%%%%%@@@%#%#%#== .=+****#@++++#%****+::-+#%****#%@@@###%%@@@@@@%%%%%%@@@@@@@@@%%%%%%%%%%%%%%%@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@%%%%%%%%%%@@@@@@@@%%%%%@@@%#%#=-. -==####%@****%%####*-::+#%#*+#%@@@%##%%@@@@@@%%%%%%%@@@@@@@@@%%%%%%%%%%%%%%@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@%%%%%%%%%%%@%#*##@@%%%%%@@%%#%+:::. .=+*#*##@%%%%@%#*##=*::+#%#==+*%@%###%@@@@%+%%%%%%%@@@@@@@@@@%%%%%%%%%%%%%@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@% @@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@%%%%%%%%%%#------=#%%%%%@@@#%%=--- ::-===++++=++++=====::-+##--===+###%%@@@@=-#%%%%%%@@@@@@@@@@@%%%%%%%%%%%%@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@%% @@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@%%%%%%%%%%#-=+--==@%%%%@@@%%%#==- .:::=*#+=*#+-:--=#%%%%%%%%%%%%%%%*#%%%%##****##%%%@@@@#+%%%%%%%@@@@@@@@@@@%%%%%%%%#*+=------+#@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@%% @@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@%%%%%%%%%%#-*####%@%%%%@@@@%@#***#*#%@@%%%@@@%#*###@@@@@@@@@@@@@@####%@@@@@@@@@%%#%%@@@@%%%%%%%@@@@@@@@@@@@%%%%%%%%+------------=*@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@%% @@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%#*%%##@@@%%%%@@@%%#####@@@%##%@@%##**###%@@@@@@@@@@@@@@%##**##%@@@%#%@@@%###%%%%%%%@@@@@@@@@@@@%%%%%%%%*---------=---**#%@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%% @@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%@@@%@@@@@@@@@%###*#%@@@%#**%@@%##**###**##%@@#***%@@%##**##***#%@@@@**%@@@@%####%%@@@@@@@@@@@%%%%%%%%%#=+**===+##**#####@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%% @@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%@@@@@@@@@%###***%@@@%+==*@@@%****###****#%@@#+==+%@@#****###****#%@@@#==*%@@@%#**##%%@@@@@@%%%%%%%%%################%%#%@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%% @@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%@@@@@@%%##***%@@@@#***#@@@@%%##*####**###%@@%#***#@@@%##**####**###%@@@@%**#%@@@@%**###%@@@%%%%%%%%%#%%#####%%%###%%@%%%@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%% @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@%%%%@@@@@@%%##****#%@@@%*+==*@@@@%#*****###**+**%@@%+===+#@@@#*****###******%@@@%+=+*%@@@@%##**###%@@@@%%%@@@@%#%%@@@%%%%%@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%% @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%###***#@@@@@%#***%@@@@@%%####******##%%@@@@#****#@@@@%%#***####*###%%@@@@@%***#%@@@@@%***###%%@@@@@@@@%@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@% @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@%%####***+#@@@@%+-:.:+@@@@#*+++**#***++*+++*@@@%=:..:-#@@@#+++***####***+++#@@@@%=..:+#@@@@%#****###%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@%%%#######%@@@@@@%%%%%%@@@@%%%#%#**###****##%%%@@@@%%%%%%%@@@@%%%###*####***#%#%%@@@@@@%%%%%%@@@@@%#######%%@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@%%###*****#@@@@@@*++=++%@@@@@%###***#####*****##%@@@%*+===+*%@@@@%%#****#####*****##%@@@@@#==++*%@@@@@@#****####%%@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@%%####***++*%@@@@%+=:...=%@@@@%*+++****####****+++*%@@@%+-:..:-++++*#%%*+****####***++++*%@@@@%=..:-=*@@@@@%*++****###%%@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@%%#####****##@@@@@@%*++==+#@@@@@%#*******#####****+*##@@@@@*++== .+*+***######**++*+#%@@@@@%+==++*%@@@@@@##*****###%%%@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@%%%#########%%@@@@@%%%%%%%%%@@@@@%%%#%@%#*#######*#%@#%%%@@@@%%%%%* *%%#**#####**#%@@#%%%%@@@@@%%%%%%%%@@@@@@%%#########%%@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@%%%####******#@@@@@@@%**++++*@@@@@@@%%###****######****##%%@@@@@%#*++- +##****######**#####%@@@@@@@@*++++*#@@@@@@@@#*****####%%%@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@%%%#####****++*%@@@@@@#=-:...:*@@@@@@#*++++****######****++++*%@@@@#=-... ++++****######***++++**%@@@@@%+:...:-+%@@@@@@%*++***######%%@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@%%#####****+++#%@@@@@@#+-:...:-%@@@@@@#**+++****######****+++**#@@%@@*=-:... -*+++*****#####*****+++**#@@@@@@@=...::=*%@@@@@@%#++*****####%%%@@@@@@@@@%%%%%%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%%%%%%@@@@@@@@@@@%%%#####****+++*%@@@@@@%*-:....:*@@@@@@%**++++****#######***+++++*#@@@@@#=:. ..**+++++***#######****+++++#%@@@@@@#-....:-*%@@@@@@@#*++****#####%%%@@@@@@@@@@%%%%%%%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%%%%%@@@@@@@@@@@%%%######****###%@@@@@@@@%#######%@@@@@@%%%%**#*****#######****#*###%@@@%*-: ... . :=+=+****#######******#*#%%@@@@@@@%%#######%@@@@@@@%%%#****#####%#%%@@@@@@@@@@@%%%%%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%@@@@@@@@@@@%%%##############@@@@@@%%%%#######%@@@@@@%####*#@@%##*#####*#*###%@*###%#+=. .= :-+-==- :=#*########*##%@@#####%%@@@@@@########%%%%@@@@@%##*####*#####%%%@@@@@@@@@@@%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%####****#%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%#***#######****#%@@@@@#=--:+%#**#%*==----+***=:::-=*%#++*#######*#**##%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%##***#####%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%#######****+++#@@@@@@@@%#+=--:::-=%@@@@@@@%#***+++****########****+++***#%#@@#@%*==-:==*+#*++*#%@@%#****++****#######****+*****##@@@@@@@@@+--::--=+#%@@@@@@@@%*+++***#######%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%######****++++#@@@@@@@@%*+-:.....-+@@@@@@@@#**+++++****########*****+++++**%@@@@@#+--:..+%#####%%#@@%#*++++++****########***+++++++*%%@@@@@@@#-:....:-+*%@@@@@@@@%++++****######%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%#####******++++#@@@@@@@@%#+--:....:=%@@@@@@@%#**++++******#######******++++**#@@@@@@#+=-:....::=#==-.=%@#*++++++*****######*******+++++*#%@@@@@@@@*:....::==*%@@@@@@@@%*+++******#####%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%######******+++*%@@@@@@@@@#+=:::...:-#@@@@@@@@%**+++++******#*###********+++++**#@@@@@%*+--:....-+-%@= :+%%*+*++++******#######******++++++*%@@@@@@@@@+:...:::-=*%@@@@@@@@%*+++*******######%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%#####******++++*%@@@@@@@@%#+=-:....::+@@@@@@@@%##++*+++******########****+++++++*#%@@@@@%#+-::...:+@%@%+ . .+%#**+++++******####*###*****+++++**#%@@@@@@@@#-:....:-==*%@@@@@@@@@#++++******#####%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%####******+++++*%@@@@@@@@%#*=-::...::-#@@@@@@@@@#*+++++++*****#########****++++++**#@@@@@@%#+-:::..::#-:.-+: =#%%#*+++++++******#####******+++++++*#%@@@@@@@@@*:.....::-+#%@@@@@@@@@#+++++******#####%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%#########****+****#@@@@@@@@@@%#++========*@@@@@@@@@@%###****+*****########*#********####%@@@@@@%#*++======*%*#%#-*%%%#%##****+*****##########*******+***##%@@@@@@@@@%+==--===++*%@@@@@@@@@@%**********########%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%#######******%%%@@@@@@@@@@@%%%%%%%##%%%@@@@@@@@@@@%%%%#*%%###**#######*####**###%+#%%%%%@@@@@@@@@%%%%%%%%####@@* =+%%%*%%%%%%###****#*########*****#%@%+#%%%%%@@@@@@@@@%%%%%%%%%%%%@@@@@@@@@@@%%%%#******#####%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%#######**####**#%%@@@@@@@@@@@@%%%%%%%%%%%%@@@@@@@@@@%%%%%#*@@%%##***########***###%%%+#%%%%%@@@@@@@@@%%%%%%%%%-===+-:= .%%%+%%%%%*@%####**#######****###%@@@**%%%%%%@@@@@@@@@%%%%%%%%%%%%@@@@@@@@@@@%%%%######**#######%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%#######*###%#**###@@@@@@@@%%%#############%@@@@@@@%%%#####*#@@%%##***##########**##%%@**######%@@@@@%%##########=..:..:-+#*=-:-####**@%%###*###############%@@@*+######%%@@@@@@@%############%%%%@@@@@@@@###**####**#######%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%###########*##%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%###**###*#######**####%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%+%#+=:::-+#@@@@@@@@%%######*#######*##*##%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@%###**#########%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@%%%%%%######******###%@@@@@@@@@@@@@@@%%%####**+*#%@@@@@@@@@@@@@%%%%###*******##########*******###%%%@@@@@@@@@@@@%%@@@@@@@@@@@+::-=*#%@@@@@@@@%%###*****###########*****###%%@@@@@@@@@@@@@@@@@@#########%%%@@@@@@@@@@@@@@%%##******#######%%%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@@@@%%%%#######**********+**%@@@@@@@@@@@%#*===--:::-::=%@@@@@@@@@@%#******++***+***###*#######******++*+****#%@@@@@@@@@%%@@@@@@@@@@@@#@@@@@@@@@%##**************#########***************#%%@@@@@@@@@@%+-:::::--===*#%@@@@@@@@@@@#**+**********#######%%%%@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@@@@%%%##%########*****+++*++#@@@@@@@@@@@@%*=--:::...::-*@@@@@@@@@@%%##*++++++*******##########*********+++++*##%@@@@@@@%%%@@@@@@@@@@@@@@@@@@@@@@@%#*+*++++++*****############*******++*++***#%@@@@@@@@@@@*:::...:::--+*%@@@@@@@@@@@@#++++++*****#######%%##%%%@@@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@@@%%%%%%########*****+++=+++#@@@@@@@@@@@%#*=--:...:...:=%@@@@@@@@@@%#*++++++++*******###########******+++++++++##@@@@@@@@@#%@@@@@@@@@@@@@@@@@@@@@@@%#**+++++=++******###########******++++++++**#%@@@@@@@@@@%=:...:...:--=*#%@@@@@@@@@@@%+++=++++****########%%%%%@@@@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@@@@%%%%%########********++++*%@@@@@@@@@@@%%*+-:::.......-#@@@@@@@@@@@%**+++++++++++****###########****+***+++++*+**#@@@@@@@@%####%%@@@@@@@@@@@@@@@@@@@@%***++++**+*******##########*******++*+++++**#%@@@@@@@@@@@#-:......:::-+*%@@@@@@@@@@@@%*+++**+******#######%%%%%%@@@@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@@@@%%%%%%#########****+++++++*@@@@@@@@@@@@%#*+=-::.::...:-+@@@@@@@@@@@@%****++++++******#**########*#******+++++++***#%@@@@@@@%#*+++++**#%###%%%%%@@@@%@@@%#****+++=+++*****############******+++=+++***#%%@@@@@@@@@@@*-..::::.::--+*#%@@@@@@@@@@@@*+++++++****#########%%%%%%@@@@@@@@@@@@@@@@@@ @@@@@@@@@@@@%%%###########********+++++#%@@@@@@@@@@@@%*+=-=-:......:-%@@@@@@@@@@@%#*++++++++****+-----------+#**********++++++++#%%@@@@@@@%#+==-:::::-==++++*#%@@@@@@@@%#***+++++********############********++=+++**##%@@@@@@@@@@@%=-::....:-=-=+*%@@@@@@@@@@@@@#+++++********###########%%%@@@@@@@@@@@@@@@ @@@@@@@@@%%%%%%########********++++++#@@@@@@@@@@@@@%*+=-:......::--*@@@@@@@@@@@@%#****++++++****: .. :::::::::::::::::::---=---==--::... .....--=+*%@@@@@@@@%#*++++++++++********#########*******++++++++++*#%@@@@@@@@@@@@#-.........:-=+*%@@@@@@@@@@@@@%*+++++*********#######%%%%%%@@@@@@@@@@@@ @@@@@@@%%%%%#######************++++%@@@@@@@@@@@@@%*+=--:....::..:+@@@@@@@@@@@@@%#****++++*++****: -*+. ....:--=+*#%@@@@@@@@%****+++++***********########**********+++++****#%@@@@@@@@@@@@@+::.......:--=+*#@@@@@@@@@@@@@%*+++************#######%%%%%@@@@@@@@@@ @@@@%%%%#%%########********+++++*%@@@@@@@@@@@@@%#*=---::...::::-*@@@@@@@@@@@@%##*+++++++++******: .-+#%%*=. .:.:.:.:.:.:.:.::::::.:.:.:.:.:.:.. ...:--=+*#%@@@@@@@@#****+++++++******#*##########*#*******+*++++++***#%@@@@@@@@@@@@%=::......::-==+#%@@@@@@@@@@@@@%*+++++********#+.+#*#=.+#%%%%*==+@@@ @%%%%%%%########****++*+++++++#%@@@@@@@@@@@@@%#*+=-:........::+@@@@@@@@@@@@%%#***++++++++*******: =%%*=: ....:.: . ............ . : : .... ....::=+*#%@@@@@@@@%#*+++++++++***++****############***+++**++++++*+++#%%@@@@@@@@@@@@*:.........::=+*#%@@@@@@@@@@@@@@#+++++++*+**+. :.:*- +##-#::#%@@@% %%%%##%%########*****+++++++*@@@@@@@@@@@@@@%#=---:....:....:=#@@@@@@@@@@@@%##***+++===+++******#: . ... ... ................... .:...:---=*#%@@@@@@@@%#*++*+++++++******###############******++++++++++*#%%@@@@@@@@@@@@@+:...:::...:---=*#%@@@@@@@@@@@@@#+++++++**+ . =##- +=.+*.--:+#%% %%%%%%####********++++++++#@@@@@@@@@@@@@@%**===-::....:::::+@@@@@@@@@@@@@%#*++**++**==+***++*###+:::::::::::=*+****+==**++*+++#%%@@@@@@@@%##+=-::::....:::-===+#%@@@@@@@@%##**+++++++++*+*******##########*******++++++++++**##%@@@@@@@@@@@@@#=::......::-===+*#%@@@@@@@@@@@@@#*++++++= == :*= . =##=-#**#%% %%%%%%%%#**********+++++#@@@@@@@@@@@@@@@#*+==-::::...:::-=%@@@@@@@@@@@@@%%##***++++**********##%%%####%%##**********++++++**##%%@@@@@@@@@#**+=--:::...:::---=+*#%@@@@@@@@@%##***+++++**********##%######%###*********++++++***##%@@@@@@@@@@@@@@*-:::....:::--=+*#%@@@@@@@@@@@@@@%*++++++**+=**-=*#%%%%##%%%%
- OOOOOO I HAVE UR ATTENTION
- OOOOOO I HAVE UR ATTENTION
promela
software verification
SPIN
- used LTL in Promela (SPIN) to verify correctness of concurrent protocols
roblox game development
game dev
lua
- 6+ years of ROBLOX game development as both leader and member, ranging from programming, graphics & UI design, localization. whatever the team needs!
- led team of 2/3 to build my own games fully built in with progression, microtransactions, graphics and the like. currently, i've led and built homework simulator and king of the king of the hills.
- made complete game economy, weapons, bounty, mining and housing systems for a star wars community group (7k+ members). also made custom community-tailored stuff for other communities (e.g. military, aviation).
- worked with team on games like Starship Roleplay with 3M+ unique plays.