Groups

Relacy Race Detector

1–30 of 71

Relacy is synchronization algorithm verifier that evaluates different thread interleavings and catches data races.

http://www.1024cores.net/home/relacy-race-detector

http://www.1024cores.net/home/relacy-race-detector/rrd-introduction

0 selected

[email protected], Dmitry Vyukov4

7/5/19

move assignment to rl::var content

On Fri, Jul 5, 2019 at 1:38 PM <[email protected]> wrote: > > Any chance of creating a

unread,

move assignment to rl::var content

On Fri, Jul 5, 2019 at 1:38 PM <[email protected]> wrote: > > Any chance of creating a

7/5/19

Dmitry Vyukov, … Martin Krošlák5

3/1/17

Re: Relacy CAS release + acquire error?

Hi, I could be wrong, since I'm not really a standards person, but here is how I understand

unread,

Re: Relacy CAS release + acquire error?

Hi, I could be wrong, since I'm not really a standards person, but here is how I understand

3/1/17

Truc Nguyen Lam, … Dmitry Vyukov5

10/21/16

Safestack alike example

Thanks a lot for the explanation. Regards, Truc On Thursday, 20 October 2016 16:00:44 UTC+1, dvyukov

unread,

Safestack alike example

Thanks a lot for the explanation. Regards, Truc On Thursday, 20 October 2016 16:00:44 UTC+1, dvyukov

10/21/16

[email protected], Dmitry Vyukov2

9/6/16

Simple example that Relacy cannot fails to find error(assert)

On Tue, Sep 6, 2016 at 9:14 AM, <[email protected]> wrote: > Hi. Why assertion passed but

unread,

Simple example that Relacy cannot fails to find error(assert)

On Tue, Sep 6, 2016 at 9:14 AM, <[email protected]> wrote: > Hi. Why assertion passed but

9/6/16

Brendon Costa, Dmitry Vyukov2

8/12/16

Learning RRD by testing common MPMC stack

Hi Brendon, There is no such thing as "benign data race" in C/C++. The standards make it

unread,

Learning RRD by testing common MPMC stack

Hi Brendon, There is no such thing as "benign data race" in C/C++. The standards make it

8/12/16

Joe Best-Rotheray, Dmitry Vyukov3

4/11/16

Not sure why this is a livelock?

That fixed it, thanks :) On Saturday, 9 April 2016 17:52:20 UTC+1, Dmitry Vyukov wrote: On Fri, Apr 8

unread,

Not sure why this is a livelock?

That fixed it, thanks :) On Saturday, 9 April 2016 17:52:20 UTC+1, Dmitry Vyukov wrote: On Fri, Apr 8

4/11/16

Joe Best-Rotheray, … Dmitry Vyukov5

4/11/16

Should We Move To Thread Sanitizer?

Right. But note that if you program in C/C++ (rather than in x86 assembly/machine codes), the fact

unread,

Should We Move To Thread Sanitizer?

Right. But note that if you program in C/C++ (rather than in x86 assembly/machine codes), the fact

4/11/16

Joe Best-Rotheray, Dmitry Vyukov14

4/11/16

Don't understand why this is a data race?

I actually ended up with a very similar implementation to this. Obviously just having a bool didn

unread,

Don't understand why this is a data race?

I actually ended up with a very similar implementation to this. Obviously just having a bool didn

4/11/16

Justin Hoffman, … Joe Best-Rotheray7

4/2/16

Bug in history_mgr::ouput caused crash (simple fix)

Ah I see, it's fixed in Github but not in the download from 1024cores. I thought it wasn't

unread,

Bug in history_mgr::ouput caused crash (simple fix)

Ah I see, it's fixed in Github but not in the download from 1024cores. I thought it wasn't

4/2/16

Gavin Lambert, … Dmitry Vyukov3

12/14/15

Windows IOCP wrappers (and data race)

Hi Gavin, Yes, I agree that you don't need CRITICAL_SECTION in IOCP emulation. That code runs

unread,

Windows IOCP wrappers (and data race)

Hi Gavin, Yes, I agree that you don't need CRITICAL_SECTION in IOCP emulation. That code runs

12/14/15

5/25/15

Re: [lock-free] SMR pointer storage checked with Relacy race detector.

Hi Artur, I don't have time to investigate this issue right now. But looking at the failure,

unread,

Re: [lock-free] SMR pointer storage checked with Relacy race detector.

Hi Artur, I don't have time to investigate this issue right now. But looking at the failure,

5/25/15

Dani Zhao, Dmitry Vyukov2

4/7/15

Tutorial link broken

On Sunday, March 22, 2015 at 10:00:06 AM UTC+3, Dani Zhao wrote: As listed in one of the earliest

unread,

Tutorial link broken

On Sunday, March 22, 2015 at 10:00:06 AM UTC+3, Dani Zhao wrote: As listed in one of the earliest

4/7/15

[email protected], Dmitriy V'jukov9

8/30/14

using-declaration causes a multiple declaration of 'rl::memory_order'

Hi Dmitriy, As I haven't had a reply to this question, I haven't split the test cases up. I

unread,

using-declaration causes a multiple declaration of 'rl::memory_order'

Hi Dmitriy, As I haven't had a reply to this question, I haven't split the test cases up. I

8/30/14

[email protected], Dmitriy V'jukov2

10/18/13

realloc vs. rl_realloc

On Thu, Oct 17, 2013 at 5:41 AM, <[email protected]> wrote: > Hi there, > > I'm

unread,

realloc vs. rl_realloc

On Thu, Oct 17, 2013 at 5:41 AM, <[email protected]> wrote: > Hi there, > > I'm

10/18/13

6/23/13

Sources are now hosted on code.google.com

Sources are now hosted on code.google.com: https://code.google.com/p/relacy/source/browse/ Hope it

unread,

Sources are now hosted on code.google.com

Sources are now hosted on code.google.com: https://code.google.com/p/relacy/source/browse/ Hope it

6/23/13

Brian Raven, Dmitriy V'jukov6

6/12/12

What am I doing wrong?

On Jun 11, 6:17 pm, Brian Raven <[email protected]> wrote: > On Jun 11, 5:02 pm,

unread,

What am I doing wrong?

On Jun 11, 6:17 pm, Brian Raven <[email protected]> wrote: > On Jun 11, 5:02 pm,

6/12/12

Dmitriy V'jukov, … Gavin Lambert6

6/11/12

Re: RRD 2.4 and SPSC queue: livelock

Quoth Dmitriy V'jukov: > Oh, when does it happen? The main ones I was having trouble with were

unread,

Re: RRD 2.4 and SPSC queue: livelock

Quoth Dmitriy V'jukov: > Oh, when does it happen? The main ones I was having trouble with were

6/11/12

2/17/12

Support for copying std::atomic_* functions?

Hi, Is there some way to add support for the free-standing std::atomic_* functions to Relacy? eg.

unread,

Support for copying std::atomic_* functions?

Hi, Is there some way to add support for the free-standing std::atomic_* functions to Relacy? eg.

2/17/12

10/21/11

I've uploaded Relacy Race Detector version 2.4, you may download it here: http://www.1024cores.

unread,

I've uploaded Relacy Race Detector version 2.4, you may download it here: http://www.1024cores.

10/21/11

ka3a4ok, Dmitriy Vyukov2

9/22/11

Random CAS behavior

May I see the whole test? On Sep 22, 2:29 am, ka3a4ok <[email protected]> wrote: > Этот тест

unread,

Random CAS behavior

May I see the whole test? On Sep 22, 2:29 am, ka3a4ok <[email protected]> wrote: > Этот тест

9/22/11

Андрей Андрей, Dmitriy Vyukov2

9/22/11

Random compare_exchange_weak behavior during RRD test

It looks like a bug in the test. What do you expect for an access to NULL pointer? On Sep 22, 2:36 am

unread,

Random compare_exchange_weak behavior during RRD test

It looks like a bug in the test. What do you expect for an access to NULL pointer? On Sep 22, 2:36 am

9/22/11

Ronald Landheer-Cieslak, Dmitriy V'jukov3

8/3/11

RL_VERIFY(n.count_ == limit) failed

Hi Dmitry, Thanks for the explanation. I didn't know the test was run twice in case of a detected

unread,

RL_VERIFY(n.count_ == limit) failed

Hi Dmitry, Thanks for the explanation. I didn't know the test was run twice in case of a detected

8/3/11

Dmitriy Vyukov, Igor Solovyov2

12/27/10

Hi Dmitriy, Thank you very much for notification. Good luck to you and your site! Igor Solovyov. On

unread,

Hi Dmitriy, Thank you very much for notification. Good luck to you and your site! Igor Solovyov. On

12/27/10

Giovanni Funchal

10/13/10

Paper by Batty et all.

Hi, I've just stumbled upon this nice paper about the C++ memory model that might be of your

unread,

Paper by Batty et all.

Hi, I've just stumbled upon this nice paper about the C++ memory model that might be of your

10/13/10

7/18/10

As you may know Google has banned .zip downloads for Google Groups due to some security issues, so I

unread,

As you may know Google has banned .zip downloads for Google Groups due to some security issues, so I

7/18/10

Dmitriy Vyukov, Giovanni Funchal7

6/2/10

Relacy: read/read and read/write reordering

On May 24, 5:47 pm, Giovanni Funchal <[email protected]> wrote: > > I believe (not

unread,

Relacy: read/read and read/write reordering

On May 24, 5:47 pm, Giovanni Funchal <[email protected]> wrote: > > I believe (not

6/2/10

5/20/10

Relacy 2.3 is missing a data race...

On Feb 21, 6:59 am, Ronald Landheer-Cieslak <[email protected]> wrote: > On Feb 19, 5:45

unread,

Relacy 2.3 is missing a data race...

On Feb 21, 6:59 am, Ronald Landheer-Cieslak <[email protected]> wrote: > On Feb 19, 5:45

5/20/10

5/20/10

Are you interested in consulting?

What I may offer is: - Lock-/wait-free synchronization algorithms and data structures. - Scheduling

unread,

Are you interested in consulting?

What I may offer is: - Lock-/wait-free synchronization algorithms and data structures. - Scheduling

5/20/10

Chris M. Thomasson, … Ronald Landheer-Cieslak3

2/20/10

Relacy 2.3 is missing a data race...

On Feb 19, 5:45 am, Dmitriy Vyukov <[email protected]> wrote: > On Feb 12, 10:03 pm, "

unread,

Relacy 2.3 is missing a data race...

On Feb 19, 5:45 am, Dmitriy Vyukov <[email protected]> wrote: > On Feb 12, 10:03 pm, "

2/20/10

Dmitriy Vyukov, … edward4

2/9/10

On Jan 20, 5:55 pm, edward <[email protected]> wrote: > Hi Dmitriy, > > On Jan 15, 6:42

unread,

On Jan 20, 5:55 pm, edward <[email protected]> wrote: > Hi Dmitriy, > > On Jan 15, 6:42

2/9/10

Search

Clear search

Close search

Google apps

Main menu