RaftEx.ServerProc (raft_ex v0.1.0)

View Source

Gen_statem process managing a RaftEx server lifecycle. This is a partial implementation showing the structure. Full implementation would mirror ra_server_proc.erl closely.

Summary

Functions

await_condition(arg1, _, state)
candidate(evt_type, old_state, state0)
cast_command(server_id, cmd)
command(server_loc, cmd, timeout)
follower(evt_type, old_state, state0)
leader(evt_type, old_state, state0)
local_state_query(server_loc, spec, timeout)
ping(server_id, timeout)
post_init(arg1, arg2, state)
pre_vote(evt_type, old_state, state0)
query(server_loc, query_fun, atom, options, timeout)
receive_snapshot(arg1, _, state)
recover(arg1, old_state, state0)
recovered(arg1, old_state, state0)
start_link(config)
state_query(server_loc, spec, timeout)
terminating_follower(arg1, _, state)
terminating_leader(arg1, _, state)
transfer_leadership(server_id, target, timeout)
trigger_election(server_id, timeout)

Functions

await_condition(arg1, _, state)

candidate(evt_type, old_state, state0)

cast_command(server_id, cmd)

command(server_loc, cmd, timeout)

follower(evt_type, old_state, state0)

leader(evt_type, old_state, state0)

local_state_query(server_loc, spec, timeout)

ping(server_id, timeout)

post_init(arg1, arg2, state)

pre_vote(evt_type, old_state, state0)

query(server_loc, query_fun, atom, options, timeout)

receive_snapshot(arg1, _, state)

recover(arg1, old_state, state0)

recovered(arg1, old_state, state0)

start_link(config)

state_query(server_loc, spec, timeout)

terminating_follower(arg1, _, state)

terminating_leader(arg1, _, state)

transfer_leadership(server_id, target, timeout)

trigger_election(server_id, timeout)