[Bro] effects of &synchronized and &mergeable
Siwek, Jonathan Luke
jsiwek at illinois.edu
Tue Jan 15 10:31:28 PST 2013
>> If a host is in the table and one node deletes it while another node
>> increments it, is the resulting value always either 0 or 1, or can
>> the value be old_value + 1?
> Now it's getting tricky and I'm not quite sure off the top of my head,
> but I believe this leads to a race condition and depends on order of
> the operations (per the paper linked to above, we deliberately accept
> race conditions and do a "best effort synchronization").
Was doing some code skimming and found that the "remote_check_sync_consistency" flag and "remote_state_inconsistency" event might be something that can at least be used to check if an operation has led to inconsistent state.
More information about the Bro