DBOS: A database-oriented operating system