ost_SharedFile(3) on Linux

The text 9fac38175cfb, as Debian 10 (Buster) shipped it.

This class defines a database I/O file service that can be shared by multiple processes.