Title: Principles of distributed operating system design