Relacy Race Detector

联系所有者和管理员

第 1 - 30 个，共 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

未选择

sgang...@gmail.com的个人资料照片

sgang...@gmail.com, Dmitry Vyukov4

2019/7/5

move assignment to rl::var content

On Fri, Jul 5, 2019 at 1:38 PM <sgang...@gmail.com> wrote: > > Any chance of creating a

未读，

move assignment to rl::var content

On Fri, Jul 5, 2019 at 1:38 PM <sgang...@gmail.com> wrote: > > Any chance of creating a

2019/7/5

Dmitry Vyukov的个人资料照片

Dmitry Vyukov, … Martin Krošlák5

2017/3/1

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

未读，

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

2017/3/1

Truc Nguyen Lam的个人资料照片

Truc Nguyen Lam, … Dmitry Vyukov5

2016/10/21

Safestack alike example

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

未读，

Safestack alike example

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

2016/10/21

klba...@gmail.com的个人资料照片

klba...@gmail.com, Dmitry Vyukov2

2016/9/6

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

On Tue, Sep 6, 2016 at 9:14 AM, <klba...@gmail.com> wrote: > Hi. Why assertion passed but

未读，

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

On Tue, Sep 6, 2016 at 9:14 AM, <klba...@gmail.com> wrote: > Hi. Why assertion passed but

2016/9/6

Brendon Costa的个人资料照片

Brendon Costa, Dmitry Vyukov2

2016/8/12

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

未读，

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

2016/8/12

Joe Best-Rotheray的个人资料照片

Joe Best-Rotheray, Dmitry Vyukov3

2016/4/11

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

未读，

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

2016/4/11

Joe Best-Rotheray的个人资料照片

Joe Best-Rotheray, … Dmitry Vyukov5

2016/4/11

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

未读，

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

2016/4/11

Joe Best-Rotheray的个人资料照片

Joe Best-Rotheray, Dmitry Vyukov14

2016/4/11

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

未读，

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

2016/4/11

Justin Hoffman的个人资料照片

Justin Hoffman, … Joe Best-Rotheray7

2016/4/2

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

未读，

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

2016/4/2

Gavin Lambert的个人资料照片

Gavin Lambert, … Dmitry Vyukov3

2015/12/14

Windows IOCP wrappers (and data race)

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

未读，

Windows IOCP wrappers (and data race)

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

2015/12/14

Dmitry Vyukov的个人资料照片

2015/5/25

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,

未读，

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,

2015/5/25

Dani Zhao的个人资料照片

Dani Zhao, Dmitry Vyukov2

2015/4/7

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

未读，

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

2015/4/7

r...@vlinder.ca的个人资料照片

r...@vlinder.ca, Dmitriy V'jukov9

2014/8/30

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

未读，

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

2014/8/30

r...@vlinder.ca的个人资料照片

r...@vlinder.ca, Dmitriy V'jukov2

2013/10/18

realloc vs. rl_realloc

On Thu, Oct 17, 2013 at 5:41 AM, <r...@vlinder.ca> wrote: > Hi there, > > I'm

未读，

realloc vs. rl_realloc

On Thu, Oct 17, 2013 at 5:41 AM, <r...@vlinder.ca> wrote: > Hi there, > > I'm

2013/10/18

Dmitry Vyukov的个人资料照片

2013/6/23

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

未读，

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

2013/6/23

Brian Raven的个人资料照片

Brian Raven, Dmitriy V'jukov6

2012/6/12

What am I doing wrong?

On Jun 11, 6:17 pm, Brian Raven <brianrave...@googlemail.com> wrote: > On Jun 11, 5:02 pm,

未读，

What am I doing wrong?

On Jun 11, 6:17 pm, Brian Raven <brianrave...@googlemail.com> wrote: > On Jun 11, 5:02 pm,

2012/6/12

Dmitriy V'jukov的个人资料照片

Dmitriy V'jukov, … Gavin Lambert6

2012/6/11

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

未读，

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

2012/6/11

2012/2/17

Support for copying std::atomic_* functions?

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

未读，

Support for copying std::atomic_* functions?

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

2012/2/17

Dmitriy Vyukov的个人资料照片

2011/10/21

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

未读，

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

2011/10/21

ka3a4ok, Dmitriy Vyukov2

2011/9/22

Random CAS behavior

May I see the whole test? On Sep 22, 2:29 am, ka3a4ok <ka3a...@gmail.com> wrote: > Этот тест

未读，

Random CAS behavior

May I see the whole test? On Sep 22, 2:29 am, ka3a4ok <ka3a...@gmail.com> wrote: > Этот тест

2011/9/22

Андрей Андрей的个人资料照片

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

2011/9/22

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

未读，

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

2011/9/22

Ronald Landheer-Cieslak的个人资料照片

Ronald Landheer-Cieslak, Dmitriy V'jukov3

2011/8/3

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

未读，

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

2011/8/3

Dmitriy Vyukov的个人资料照片

Dmitriy Vyukov, Igor Solovyov2

2010/12/27

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

未读，

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

2010/12/27

Giovanni Funchal的个人资料照片

Giovanni Funchal

2010/10/13

Paper by Batty et all.

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

未读，

Paper by Batty et all.

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

2010/10/13

Dmitriy Vyukov的个人资料照片

2010/7/18

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

未读，

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

2010/7/18

Dmitriy Vyukov的个人资料照片

Dmitriy Vyukov, Giovanni Funchal7

2010/6/2

Relacy: read/read and read/write reordering

On May 24, 5:47 pm, Giovanni Funchal <gafunc...@gmail.com> wrote: > > I believe (not

未读，

Relacy: read/read and read/write reordering

On May 24, 5:47 pm, Giovanni Funchal <gafunc...@gmail.com> wrote: > > I believe (not

2010/6/2

Dmitriy Vyukov的个人资料照片

2010/5/20

Relacy 2.3 is missing a data race...

On Feb 21, 6:59 am, Ronald Landheer-Cieslak <blytkerc...@gmail.com> wrote: > On Feb 19, 5:45

未读，

Relacy 2.3 is missing a data race...

On Feb 21, 6:59 am, Ronald Landheer-Cieslak <blytkerc...@gmail.com> wrote: > On Feb 19, 5:45

2010/5/20

Dmitriy Vyukov的个人资料照片

2010/5/20

Are you interested in consulting?

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

未读，

Are you interested in consulting?

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

2010/5/20

Chris M. Thomasson的个人资料照片

Chris M. Thomasson, … Ronald Landheer-Cieslak3

2010/2/20

Relacy 2.3 is missing a data race...

On Feb 19, 5:45 am, Dmitriy Vyukov <dvyu...@gmail.com> wrote: > On Feb 12, 10:03 pm, "

未读，

Relacy 2.3 is missing a data race...

On Feb 19, 5:45 am, Dmitriy Vyukov <dvyu...@gmail.com> wrote: > On Feb 12, 10:03 pm, "

2010/2/20

Dmitriy Vyukov的个人资料照片

Dmitriy Vyukov, … edward4

2010/2/9

On Jan 20, 5:55 pm, edward <e4...@yahoo.com> wrote: > Hi Dmitriy, > > On Jan 15, 6:42

未读，

On Jan 20, 5:55 pm, edward <e4...@yahoo.com> wrote: > Hi Dmitriy, > > On Jan 15, 6:42

2010/2/9

搜索

清除搜索内容

关闭搜索框

Google 应用

主菜单