dfsm: Use a normal distribution for transition timeouts
authorPhilip Withnall <philip@tecnocode.co.uk>
Sun, 5 Feb 2012 12:41:15 +0000 (12:41 +0000)
committerPhilip Withnall <philip@tecnocode.co.uk>
Sun, 5 Feb 2012 12:41:15 +0000 (12:41 +0000)
commitb2f7fff389b772f5149510473e62f7780ae1bd59
tree81ed1a74db90933e5d573308bc5dbdbbc527a921
parent8fd068e1490548061183155e77800e01f4fabc5b
dfsm: Use a normal distribution for transition timeouts

This tightens the peak around 100ms timeouts which should reduce the number
of times we pointlessly wait longer periods between transitions.

This uses the Box–Muller method to generate values from a normal
distribution, and adds a dependency on libm.
Makefile.am
configure.ac
dfsm/dfsm-object.c
dfsm/dfsm-probabilities.c
dfsm/dfsm-probabilities.h