RE: Cosmic ray hits integerset

Hi, Asking out of pure technical curiosity about "the rhinoceros" - what kind of animal is it ? Physical box or VM? How one could get dmidecode(1) / dmesg(1) / mcelog (1) from what's out there (e.g. does it run ECC or not ?)

-J.

> -----Original Message-----
> From: Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>
> Sent: Tuesday, June 22, 2021 4:21 PM
> To: Thomas Munro <thomas(dot)munro(at)gmail(dot)com>
> Cc: pgsql-hackers <pgsql-hackers(at)postgresql(dot)org>
> Subject: Re: Cosmic ray hits integerset
>
> On 2021-Jun-22, Thomas Munro wrote:
>
> > Hi,
> >
> > Here's a curious one-off failure in test_integerset:
> >
> > +ERROR: iterate returned wrong value; got 519985430528, expected
> > +485625692160
>
> Cosmic rays indeed. The base-2 representation of the expected value is
> 111000100010001100011000000000000000000
> and that of the actual value is
> 111100100010001100011000000000000000000
>
> There's a single bit of difference.