On Oct 9, 2011, at 2:53 PM, lars hofhansl wrote: > How frequently does this happen? > I did notice a while ago in the code that scanner ids are drawn just from a > Random number generator.
Really? That doesn’t seem like a good idea. > So in theory it would be possible that multiple concurrent scans draw the > same scanner id. > > Since these are longs, this is astronomically unlikely, though (picking the > same number of 2^64, just does not happen :) ). “Astronomically unlikely” is another way of saying “guaranteed to happen eventually” (if the universe lasts long enough). Correctness should not depend on something being unlikely. joe
