Make trasher use a well defined random number generator and allow the seed to...

Make trasher use a well defined random number generator and allow the seed to be specified on teh cmd line.


git-svn-id: file:///var/local/repositories/ffmpeg/trunk@22228 9553f0bf-9b14-0410-a0b8-cfaf0461ba5b

tools/trasher.c

@@ -24,13 +24,18 @@
 #include <time.h>
 #include <inttypes.h>
 
+static uint32_t state;
+static uint32_t ran(void){
+    return state= state*1664525+1013904223;
+}
+
 int main(int argc, char** argv)
 {
     FILE *f;
     int count, maxburst, length;
 
-    if (argc < 4){
-        printf("USAGE: trasher <filename> <count> <maxburst>\n");
+    if (argc < 5){
+        printf("USAGE: trasher <filename> <count> <maxburst> <seed>\n");
         return 1;
     }
 
@@ -41,16 +46,15 @@ int main(int argc, char** argv)
     }
     count= atoi(argv[2]);
     maxburst= atoi(argv[3]);
-
-    srandom (time (0));
+    state= atoi(argv[4]);
 
     fseek(f, 0, SEEK_END);
     length= ftell(f);
     fseek(f, 0, SEEK_SET);
 
     while(count--){
-        int burst= 1 + random() * (uint64_t) (abs(maxburst)-1) / RAND_MAX;
-        int pos= random() * (uint64_t) length / RAND_MAX;
+        int burst= 1 + ran() * (uint64_t) (abs(maxburst)-1) / UINT32_MAX;
+        int pos= ran() * (uint64_t) length / UINT32_MAX;
         fseek(f, pos, SEEK_SET);
 
         if(maxburst<0) burst= -maxburst;
@@ -59,7 +63,7 @@ int main(int argc, char** argv)
             continue;
 
         while(burst--){
-            int val= random() * 256ULL / RAND_MAX;
+            int val= ran() * 256ULL / UINT32_MAX;
 
             if(maxburst<0) val=0;