Differences

This shows you the differences between two versions of the page.

--- sim:start [2022/07/17 06:43]
rajit [Exported processes]
+++ sim:start [2022/08/01 11:31]
rajit [Namespace sim::rand]
@@ Line 42: / Line 42: @@
 ===== Namespace sim::rand =====
-The ''sim::rand'' namespace contains support for random number generation, and includes the definition of a random source.
+The ''sim::rand'' namespace contains support for random number generation, and includes the definition of a number of processes that use this random number generation functionality. The underlying random number generator used is a pseudo-random number generator, and hence the sequence of "random" numbers is deterministic. To ensure that these numbers remain unchanged on different platforms, we use a local mirror of the ''rand_r'' function from glibc.
 <code act>
@@ Line 48: / Line 48: @@
 defproc source(chan!(int<W>) O);
 </code>
-This defines a source whose output is generated using the underlying C library's pseudo-random number generator.
+This defines a source whose output is generated using the underlying library's pseudo-random number generator.
 <code act>