Mechanism Library Benefits
Programmability
- libraries provide high-level abstractions of services
- code using the libraries is easier to reason about, maintain, customize
Performance
- libraries can be highly-optimized
- optimization complexity is hidden by abstraction
Reliability
- libraries include code that’s easy to forget or get wrong
- synchronization, communication, memory allocation
- debugging effort can be spent getting libraries right
- library users inherit the verification effort