Bruce Momjian br...@momjian.us writes:
On Mon, Jul 22, 2013 at 07:32:20PM -0400, Tom Lane wrote:
We could for instance keep the high half as tv_sec, while making the low
half be something like (tv_usec 12) | (getpid() 0xfff). This would
restore the intended ability to reverse-engineer the
On Mon, Jul 22, 2013 at 07:32:20PM -0400, Tom Lane wrote:
Andres Freund and...@2ndquadrant.com writes:
On 2013-07-22 15:55:46 -0400, Robert Haas wrote:
And why is that?
The comment above tells: while the lower half is the XOR of tv_sec and
tv_usec.
Yeah, the code doesn't match the
Hi
in void
BootStrapXLOG(void)
* to seed it other than the system clock value...) The upper half of
the
* uint64 value is just the tv_sec part, while the lower half is
the XOR
* of tv_sec and tv_usec. This is to ensure that we don't lose
uniqueness
*
On Mon, Jul 22, 2013 at 6:45 AM, didier did...@gmail.com wrote:
Hi
in void
BootStrapXLOG(void)
* to seed it other than the system clock value...) The upper half of
the
* uint64 value is just the tv_sec part, while the lower half is the
XOR
* of tv_sec and
On 2013-07-22 15:55:46 -0400, Robert Haas wrote:
On Mon, Jul 22, 2013 at 6:45 AM, didier did...@gmail.com wrote:
Hi
in void
BootStrapXLOG(void)
* to seed it other than the system clock value...) The upper half of
the
* uint64 value is just the tv_sec part, while
Andres Freund and...@2ndquadrant.com writes:
On 2013-07-22 15:55:46 -0400, Robert Haas wrote:
And why is that?
The comment above tells: while the lower half is the XOR of tv_sec and
tv_usec.
Yeah, the code doesn't match the comment; this mistake seems to be
aboriginal.
I don't think it