Keiraro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigekazu Inohara, and Takasha Masuda. A Framework for Customizing Coherence Protocols of Distributed File Caches in Lucas File System. Technical Report 94-14, Department of Information Science, University of Tokyo, December 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....servicing the read fault of one block by an xFS client requires the eviction of a different block. This is similar to the problem encountered by LCM during its reconciliation phase. 6 Related Work The Teapot work most closely resembles the PCS system by Uehara et al. at the University of Tokyo [25]. They described a framework for writing coherence protocols for distributed file system caching. Unlike Teapot, they use an interpreted language, thus compromising efficiency. Like Teapot, they write protocol handlers with blocking primitives and transform the program into a message passing ....

Keiraro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigekazu Inohara, and Takasha Masuda. A Framework for Customizing Coherence Protocols of Distributed File Caches in Lucas File System. Technical Report 94-14, Department of Information Science, University of Tokyo, December 1994.

....SVM is not new and we are aware of at least two efforts of such environments, PCS and TeaPot. Each of them proposes a specific method differing from the other one by the programming language used, the programming style and facilities offered by the protocol programming environment. PCS [12] is a runtime environment for distributed filesystems. This a not strictly speaking a SVM programming environment but issues are identical. Protocols are described in a Tcl like language and executed in an interpreter loaded as a Mach 3 external memory manager. Several facilities are offered to ....

K. Uehara, S. Inohara, H. Miyazawa, and K. Yamamoto. A Framework for Customizing Coherence Protocols of Distributed File Caches. In Proceedings of IEEE 16th International Conference on Distributed Computing Systems (ICDCS'96), pages

....when servicing the read fault of one block by an xFS client requires the eviction of a different block. This is similar to the problem encountered by LCM during its merging phase. 6 Related Work The Teapot work most closely resembles the PCS system by Uehara et al. at the University of Tokyo [26]. They described a framework for writing coherence protocols for distributed file system caching. Unlike Teapot, they use an interpreted language, thus compromising efficiency. Like Teapot, they write protocol handlers with blocking primitives and transform the program into a message passing ....

Keiraro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigekazu Inohara, and Takasha Masuda. A Framework for Customizing Coherence Protocols of Distributed File Caches in Lucas File System. Technical Report 94-14, Department of Information Science, University of Tokyo, December 1994.

....This means the memory for the state machine must be acquired from preallocated or dynamically allocated memory, not from replacing another cached object. Finally, as in the file cache state machine, the AIP state is shared, which is not possible without multiple contexts. 6 Other Related Work PCS [Uehara96] is a framework for customizing coherency protocols for distributed file caches in the Lucas file system. It provides a framework and specification language for writing coherency protocols. Protocols use select and recv operations to specify what messages can be handled, and the framework ....

K. Uehara, S. Inohara, H. Miyazawa, K. Yamamoto, and T. Masuda. A Framework for Customizing Coherence Protocols of Distributed File Caches. In Proceedings of the 16th International Conference on Distributed Computing Systems, pages 83-90, May 1996.

....protocol. Distributed object systems [3, 6, 16] also provide primitives to support different object coherence protocols. Teapot is not tied to a particular system and could be used with any of them. Our work most closely resembles the PCS system by Uehara et al. at the University of Tokyo [25]. They described a framework for writing coherence protocols for distributed file system caches. Unlike Teapot, they use an interpreted language (implemented on Tcl ) Like Teapot, they write protocol handlers with blocking primitives and transform the program into a message passing style. Our ....

Keiraro Uehara, Hajime Miyazawa, Kouhei Yamamoto, Shigeka- 12 zu Inohara, and Takasha Masuda. A Framework for Customizing Coherence Protocols of Distributed File Caches in Lucas File System. Technical Report 94-14, Department of Information Science, University of Tokyo, December 1994.

....primitives for managing messages, data, protection, and so forth. Since asynchronous messages increase the number of states for protocol designers to manage, the system provides abstracted message interface with continuation, and encapsulates nonnecessary message transfers and state transitions [15]. The system has been implemented on top of the Mach 3.0 micro kernel, and we have described several kinds of coherence protocols on the system. With the system, protocol designers can describe protocols about one tenth more briefly than with the C programming language. By abstraction of messages, ....

K. Uehara et al. A framework for customizing coherence protocols of distributed file caches in Lucas file system. Tech. Report 94-14, Dept. of Info. Science, Faculty of Science, Univ. of Tokyo, Dec 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC