Differences

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

--- sim:start [2022/07/17 10:43] – [Namespace sim::rand] rajit
+++ sim:start [2022/08/01 15:31] – [Namespace sim::rand] rajit
@@ Line 29: / Line 29: @@
 <code act>
-export template<pint ID; pbool LOOP; pint W>
+template<pint ID; pbool LOOP; pint W>
 defproc file_source(chan!(int<W>) O);
 </code>
@@ Line 35: / Line 35: @@
 <code act>
-export template<pint ID; pbool LOOP; pint W>
+template<pint ID; pbool LOOP; pint W>
 defproc check_sink(chan?(int<W>) I);
 </code>
@@ 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>