Release 2.3

19 views

Skip to first unread message

Dmitriy Vyukov

unread,

Jan 31, 2010, 1:08:33 PM1/31/10

to Relacy Race Detector

Just uploaded release 2.3 with FlushProcessWriteBuffers() emulation
(the only change).
http://groups.google.com/group/relacy/files

--
Dmitriy V'jukov

Chris M. Thomasson

unread,

Feb 3, 2010, 8:59:42 AM2/3/10

to Relacy Race Detector

On Jan 31, 10:08 am, Dmitriy Vyukov <dvyu...@gmail.com> wrote:
> Just uploaded release 2.3 with FlushProcessWriteBuffers() emulation
> (the only change).http://groups.google.com/group/relacy/files

Thanks for this update Dmitriy! IMHO, `FlushProcessWriteBuffers()' is
an excellent function to emulate in Relacy. Now we can model some
"hardcore" synchronization algorithms and that's very cool indeed!