Heavy refactoring: implement explicit reliable broadcast