Progress in distributed operating systems and distributed systems management