New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prove FreeBSD-SA-20:20.ipv6 with ATS2 #10

Closed

master-q opened this issue Aug 28, 2020 · 5 comments

Member

master-q commented Aug 28, 2020

No description provided.

master-q changed the title ~~Proof FreeBSD-SA-20:20.ipv6 with ATS2~~ Prove FreeBSD-SA-20:20.ipv6 with ATS2

Member Author

master-q commented Aug 28, 2020

There are some issues:

Should we implement rwlock instead of simple mutex?
Can ATS2 lock members of a structure with lock value on the same structure?

Member Author

master-q commented Aug 29, 2020

Should we implement rwlock instead of simple mutex?

Choose mutex or simple lock for the time being.

Member Author

master-q commented Aug 30, 2020

Asked at mailing list:

https://groups.google.com/g/ats-lang-users/c/UEcWNo79Jps

Member Author

master-q commented Sep 1, 2020

Asked at mailing list:

https://groups.google.com/g/ats-lang-users/c/cshX9JpKd3o

Member Author

master-q commented Sep 1, 2020

Solved at 92f306a.

master-q closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment