Hi,
Christophe Leroy <[email protected]> writes:
> Benchmark from vdsotest:
I assume you also ran the verification/correctness parts of vdsotest...? :-)
Hi,
Le 19/08/2019 à 18:37, Nathan Lynch a écrit :
> Hi,
>
> Christophe Leroy <[email protected]> writes:
>> Benchmark from vdsotest:
>
> I assume you also ran the verification/correctness parts of vdsotest...? :-)
>
I did run vdsotest-all. I guess it runs the verifications too ?
Christophe
Christophe Leroy <[email protected]> writes:
> Hi,
>
> Le 19/08/2019 à 18:37, Nathan Lynch a écrit :
>> Hi,
>>
>> Christophe Leroy <[email protected]> writes:
>>> Benchmark from vdsotest:
>>
>> I assume you also ran the verification/correctness parts of vdsotest...? :-)
>>
>
> I did run vdsotest-all. I guess it runs the verifications too ?
It does, but at a quick glance it runs the validation for "only" 1
second per API. It may provide more confidence to allow the validation
to run across several second (tv_sec) transitions, e.g.
vdsotest -d 30 clock-gettime-monotonic-coarse verify
Regardless, I did not see any problem with your patch.