[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Xen-devel] [PATCH 2/3] libxl: ocaml: use int64 for timeval fields in the timeout_register callback
Rob Hoes writes ("RE: [PATCH 2/3] libxl: ocaml: use int64 for timeval fields in
the timeout_register callback"):
> Ian Jackson wrote:
> > You mean it has a 64-bit mantissa, or it's 64 bits big (an IEEE
> > double) ?
>
> 64 bits big, according to the IEEE 754 standard
> (http://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html),
Well, that's too small for a timeval, which has a 32-bit seconds value
(currently using 31 of those bits and heaven help us when we get to
0x80000000) and a ~30-bit nsecs value.
> I guess we can probably get away with 32 bits for that one, based on what we
> know the of the range of possible values. I'd just like to avoid any possible
> trouble, and didn't think those extra bits would cause too much harm.
Right.
Ian.
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel
|
