Random.setRandomSeed() does not create a unique seed

XMLWordPrintableJSON

    • Fully Compatible
    • ALL
    • Hide 
      for (i=0;i<3;i++) { print(new Date()); Random.setRandomSeed(); }

      Thu Oct 01 2015 17:03:00 GMT-0400 (EDT)
      setting random seed: 1443733380232
      Thu Oct 01 2015 17:03:00 GMT-0400 (EDT)
      setting random seed: 1443733380232
      Thu Oct 01 2015 17:03:00 GMT-0400 (EDT)
      setting random seed: 1443733380233

      Show
      for (i=0;i<3;i++) { print( new Date()); Random.setRandomSeed(); } Thu Oct 01 2015 17:03:00 GMT-0400 (EDT) setting random seed: 1443733380232 Thu Oct 01 2015 17:03:00 GMT-0400 (EDT) setting random seed: 1443733380232 Thu Oct 01 2015 17:03:00 GMT-0400 (EDT) setting random seed: 1443733380233
    • Build B (10/30/15), Build C (11/20/15)
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      The shell function Random.setRandomSeed() is not reliable to set a random seed, since it relies on new Date().getTime()), which is only a millisecond based value.

        1. random_seed-SERVER-20727.sh
          0.8 kB
          Jonathan Abrahams

              Assignee:
              Jonathan Reams
              Reporter:
              Jonathan Abrahams (Inactive)
              Votes:
              0 Vote for this issue
              Watchers:
              4 Start watching this issue

                Created:
                Updated:
                Resolved: