Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
paradise
DIVINE
Issues
#27
Verification of lvmetad (LVM2's metadata caching daemon)
fairly self-contained code
concurrency, dynamic memory
daemon: driven by external requests on a socket interface