Research Directions for Distributed Operating Systems