Remote Files • File service vs. file server – File service interface: the specification of what the file system offers to its clients. – File server: a process that runs on some machine and helps implement the file service. • File Service Model (Fig 13-1) – upload/....
Read More1 Introduction 1 1.1 Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 I Message passing 7 2 Model 9 2.1 Basic message-passing model . . . . . . . . . . . . . . . . . . 9 2.1.1 Formal details . . . ....
Read More