[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] NTP client integration with MirageOS / Mini-OS



On 19/08/2016 17:50, Hannes Mehnert wrote:
> it is really sufficient to mail to the list, there is no need to send
> the mail to me and cc the list.
> 
> On 19/08/2016 17:04, Thomas Leonard wrote:
>> MCLOCK might have internal state for testing, although a global would
>> work there too if necessary.
> 
> I'm not sure I understand what you mean with "internal state for
> testing" (and what your approach to testing there is - mine is mainly on
> the purely implemented protocol rather than on the effectful layer).

to extend a bit: atm some testing in tcpip [0] uses a
fast_clock/fast_time, which are implementations of clock/time where the
clock ticks faster.  the same approach can be used in the future.  I
don't see how making mclock a device will help for testing.


hannes

0:
https://github.com/mirage/mirage-tcpip/blob/fca996c8f5b427fb48cdb4c8ed4644f27b5209d2/lib_test/test_arp.ml#L6

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.