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

      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

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

              Created:
              Updated:
              Resolved: