Extending Raft Scope: cluster membership changes and understandability

[Illedran]

Hi @ongardie!
We are three students from the University of Trento (me, @MartinBrugnara and @FataHoxha).
Our project for the Distributed Algorithms course was expanding Raft Scope with more features as described in your paper/dissertation, such as cluster membership changes, and making it more understandable in the hope that more students will find it as useful as we did while studying Raft.

You can read our report for the project here: https://github.com/FataHoxha/DA_Report

[ongardie]

Wow, that looks like a lot of work! I didn't think RaftScope would ever get that much attention again :) I look forward to digging into this, but I'm on vacation now. I don't think I'll be able to look through the code until October, sorry.

I did try it out briefly in my browser, but not enough to figure everything out. Is there a way to remove servers?

Also, this might have been easier to do on top of https://runway.systems. Would you have any interest in adding membership changes to https://github.com/ongardie/runway-model-raft ? Your Distributed Algorithms course is probably over, I know :/

[Illedran]

You can remove servers from the modal menu of each server (or by right clicking).
https://runway.systems/?model=github.com/ongardie/runway-model-raft does not seem to be working at the moment, I get this error:
ModelingParseError: Parsing failed in https://raw.githubusercontent.com/ongardie/runway-model-raft/master/raft.model at line 759, col NaN: Expected one of: '!=', '%', '%=', '&&', '(', '*', '*=', '+', '+=', '-', '-=', '.', '/', '/=', ';', '<', '<=', '=', '==', '>', '>=', '[', '{', '||', comment, whitespace