Public Attributes | |||
int | phase | ||
int | sendflag | ||
int | grsize | ||
int | mess_numb | ||
int | mess_flag | ||
int | fault_flag | ||
int | cmd_flag | ||
int | status [MAX_MEMBER] | ||
int | fault_cnt [MAX_MEMBER] | ||
msgtype | message [MAX_MEMBER] |
Definition at line 255 of file total_order_channel.h.
00255 { 00256 00257 int phase; 00258 00259 int sendflag; // type of message sent at curphase 00260 00261 int grsize; // number of members 00262 00263 int mess_numb; // number of senders for the received messages 00264 00265 int mess_flag ; // a MESS has been received at this phase 00266 00267 int fault_flag; // a FAULT has been received at this phase 00268 00269 int cmd_flag; // a CMD has been received at this phase 00270 00271 int status[MAX_MEMBER]; 00272 00273 //see values below 00274 00275 int fault_cnt[MAX_MEMBER]; 00276 00277 // count of FAULT messages for that member ( previous phase ) 00278 00279 msgtype message[MAX_MEMBER]; 00280 00281 // the messages received at this phase; 00282 00283 }
int total_order_channel::phase_buffer::cmd_flag |
Definition at line 269 of file total_order_channel.h.
int total_order_channel::phase_buffer::fault_cnt[MAX_MEMBER] |
Definition at line 275 of file total_order_channel.h.
int total_order_channel::phase_buffer::fault_flag |
Definition at line 267 of file total_order_channel.h.
int total_order_channel::phase_buffer::grsize |
Definition at line 261 of file total_order_channel.h.
int total_order_channel::phase_buffer::mess_flag |
Definition at line 265 of file total_order_channel.h.
int total_order_channel::phase_buffer::mess_numb |
Definition at line 263 of file total_order_channel.h.
msgtype total_order_channel::phase_buffer::message[MAX_MEMBER] |
Definition at line 279 of file total_order_channel.h.
int total_order_channel::phase_buffer::phase |
Definition at line 257 of file total_order_channel.h.
int total_order_channel::phase_buffer::sendflag |
Definition at line 259 of file total_order_channel.h.
int total_order_channel::phase_buffer::status[MAX_MEMBER] |
Definition at line 271 of file total_order_channel.h.