[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

randomize/0 doesn't work (fix included)

From: mskala
Subject: randomize/0 doesn't work (fix included)
Date: Sat, 17 Aug 2002 17:55:15 -0400 (EDT)

I have a program that calls randomize/0 in its initialization.  It usually
gets the same random seed, because although randomize/0 is documented as
using "a random value depending on the absolute time", it actually gets
its seed by calling M_Real_Time(), which is the number of milliseconds
since the process started.

If I compile my code and put randomize/0 in the initialization, then as
long as my system load stays reasonably low, the number of milliseconds
between process start and the randomize/0 call will be the same every
time, and so I get the same seed value every time.  That's not what I
want, nor what the documentation leads me to expect.

I suggest changing line 789 of src/EnginePL/machine.c from:



  M_Set_Seed(M_Real_Time() + start_real_time);

That way it uses the current time, as documented.
Matthew Skala
address@hidden                    Embrace and defend.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]