OSDI Specification