Eric Blake writes:
> On 09/25/2015 08:00 AM, Markus Armbruster wrote:
>> The event throttling state machine is hard to understand. I'm not
>> sure it's entirely correct. Rewrite it in a more straightforward
>> manner:
>>
>> State 1: No event sent recently (less than evconf->rate ns ago)
>>
>>
On 09/25/2015 08:00 AM, Markus Armbruster wrote:
> The event throttling state machine is hard to understand. I'm not
> sure it's entirely correct. Rewrite it in a more straightforward
> manner:
>
> State 1: No event sent recently (less than evconf->rate ns ago)
>
> Invariant: evstate->timer
