tree acb201ccbba7083a9a8c816b0ec2d579cdf6dae3
parent 12e49466bb42ec78c53437fe4e14149750cefa82
author Junxiao Shi <git@mail1.yoursunny.com> 1402729294 -0700
committer Junxiao Shi <git@mail1.yoursunny.com> 1403051679 -0700

core: unify randomization

Non-security randomizations are changed to use boost::random,
with a global random number generator.

refs #1369

Change-Id: I5000fd02f170fa47058af790e2bea767f9c65650