search

metasepi / postmortem

Postmortem for open-source operating systems
MIT License
1 stars 0 forks source link

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

Closed master-q closed 4 years ago

master-q commented 4 years ago

There are some issues:

master-q commented 4 years ago
  • Should we implement rwlock instead of simple mutex?

Choose mutex or simple lock for the time being.

master-q commented 4 years ago

Asked at mailing list:

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

master-q commented 4 years ago

Asked at mailing list:

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

master-q commented 4 years ago

Solved at 92f306af529672fbb837765370bb53683b7e9c88.