Safestack alike example

[Truc Nguyen Lam]

Hi Dmitry Vyukov,

I am interested in the Safestack example that you posted in the link https://social.msdn.microsoft.com/Forums/en-US/91c1971c-519f-4ad2-816d-149e6b2fd916/bug-with-a-context-switch-bound-5?forum=chess

This example is very hard in terms of bug finding since the error trace is very deep.

I am working on a model checking tool that works on C programs with POSIX threads.

Indeed, your example has been very helpful in developing the tool. I have learnt a lot from experimenting with the example.

Could you please suggest me if there is any other example which is similar to SafeStack?

Many thanks,

Truc

[Dmitry Vyukov]

Hi Truc,

Thank you. Nice to hear. This is the first feedback I ever got on this bug.
But unfortunately I don't remember any other similar examples. In most
cases the "small number of involuntary context switches at right
places" hypothesis indeed holds.


--
Dmitry Vyukov

All about lockfree/waitfree algorithms, multicore, scalability,
parallel computing and related topics:
http://www.1024cores.net

[Truc Nguyen Lam]

Hi Dmitry,

I would like to ask for your permission to use the Safestack benchmark in the SV-COMP this year.

With your permission, it would be very great for this competition as this benchmark will drive the verifiers to develop more.

In case you allow me to use the file, could you please let me know what is the license applying on it?

Many thanks,

Truc

[Dmitry Vyukov]

Hi Truc,

Sure, you can use it.

The license is copyleft/code posted on the internet. Also if type it manually, you can disregard any license as licenses don't cover algorithms.

Please post reference to the paper here if it will be open.

--
You received this message because you are subscribed to the Google Groups "Relacy Race Detector" group.
To unsubscribe from this group and stop receiving emails from it, send an email to relacy+unsubscribe@googlegroups.com.
To post to this group, send email to rel...@googlegroups.com.
Visit this group at https://groups.google.com/group/relacy.
For more options, visit https://groups.google.com/d/optout.

[Truc Nguyen Lam]

Thanks a lot for the explanation.

Regards,

Truc

To unsubscribe from this group and stop receiving emails from it, send an email to relacy+un...@googlegroups.com.