Problem with timecounters and memory model

[Sebastian Huber]

On 29/05/15 15:36, Poul-Henning Kamp wrote:
> --------
> In message <55686300.3080100 at embedded-brains.de>, Sebastian Huber writes:
>
>> This version seems to work at least on uni-processor systems. Shouldn't
>> there be real memory barriers the synchronize the reads/writes to
>> th_generation for SMP machines?
> yes, there should.
>
> (I must admit that I havn't looked at that code for about five or ten years.)
>

Ok, what makes me wonder is why this problem didn't show up in FreeBSD. 
In our case we observed backward jumps in the supposed to be monotonic 
uptime.

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.