Chao Hsien Lee, Meng Chang Chen, and Ruei Chuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 153--164, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....obvious that sequence detection can be used for prefetching as well. How to balance the prefetching and caching, though, is a complicated issue that needs further study [7] Recent research projects on application controlled kernels show the potentials of application specific replacement policies [34, 17, 25, 23]. However, most of those studies focus on letting applications inform kernel of their access patterns, instead of having operating systems detect them at run time (as in the SEQ algorithm) Our study shows that in fact, runtime automatic detection by kernel is feasible and can perform quite well. ....

CHao-Hsien Lee, Meng Chang Chen, and RueiChuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First Symposium on Operating System Design and Implementation, pages 153--164, November 1994.

....systems. They allow customized resource management code to be injected into the server for execution on behalf of the client, where it can efficiently access to management primitives. This approach has been used for individual resources, such as the network [Mogul et al. 87] and virtual memory [Lee et al. 94] This technique is just now being investigated as an architecture for entire operating systems in SPIN [Bershad et al. 94] and Aegis [Engler et al. 94] among others. 7 2.5 Virtual memory replacement policies Before data can be fetched from backing storage, the virtual memory system must ....

Chao Hsien Lee, Meng Chang Chen, and Ruei Chuan Chang. HiPEC: High Performance External Virtual Memory Caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, Monterey, California, November 1994.

....segment based scheme in which user level processes control segments. Recently even more exotic interfaces have been proposed, including one built around a so called metaobject protocol[24] and another that involves applications downloading replacement policies coded in a simple assembly language [26]. This thesis at an implicit level fundamentally opposes to the idea of application specific policies. Notwithstanding the fact that a SEQ implementation can and probably should include a switch to enable or disable SEQ on a per process basis, in SEQ there is no concept of application specific ....

....relating to allowing such policies. The goal of this thesis is to make the kernel sophisticated enough to recognize common access patterns and do the right thing with them. In any case, it is not clear how much benefit is obtainable from application specific 102 policies. In three recent papers [24, 26, 32], three of a total of four benchmarks were massively sequential programs. In fact, two of the three were the same basic program, SOR. As this thesis has demonstrated, massively sequential programs can be handled optimally by automatic, in kernel mechanisms. A cynic might contend that the reason ....

Chao-Hsien Lee, Meng Chang Chen, and Ruei-Chuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First Symposium on Operating System Design and Implementation, pages 153--164, November 1994.

....specifically, P erez Cort es, et al. 157] describe the Arias dsm service. Arias divides the shared address space into multiple zones; each zone may have its own synchronisation and consistency protocol, built using generic primitives provided by the system. Similar systems include: Lee, et al. [132] who present a user level virtual memory caching system providing a similar level of application level control; Engler, et al. 56] who present a completely user level implementation of a virtual memory system constructed using the Aegis exokernel [57] Feng [86] who presents an OS architecture ....

Chao-Hsien Lee, Meng Chang Chen, and Ruei-Chuan Chang. HiPEC: High Performance External Virtual Memory Caching. In Proceedings of the First USENIX Symposium on Operating System Design and Implementation [194], pages 153--164.

....the loop detector in that it tries hard to work well on applications where LRU is appropriate. The Atlas scheme apparently performed poorly for non scientific programs [9] Recent research projects on application controlled kernels show the potential of application specific replacement policies [28, 14, 21, 19]. These studies focus on mechanisms by which applications inform the kernel about what pages would be good candidates for replacements. Our SEQ algorithm is basically the antithesis of such schemes. It will be interesting to see over time which philosophy prevails. Our study shows that run time ....

Chao-Hsien Lee, Meng Chang Chen, and Ruei-Chuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First Symposium on Operating System Design and Implementation, pages 153--164, November 1994.

....than using a built in kernel service) Moreover, the granularity with which extensions can be specified in microkernel based systems is quite large. Some systems rely on little languages to extend safely the system call interface through the use of interpreted code that runs in the kernel [LCC94, MRA87, YBMM94] These systems suffer from two problems. First, the languages, being little, make cumbersome the expression of arbitrary control and data structures, therefore limiting the range of possible extensions. Second, the interface between the language s programming environment and the ....

Chao Hsien Lee, Meng Chang Chen, and Ruei Chuan Chang. HiPEC: High performance external virtual memory caching. In Proc. of the First Symposium on Operating Systems Design and Implementation, pages 153--164, Monterey, CA, November 1994. USENIX Assoc.

....In our late checking approach, properties may easily evolve with the DSL, and network providers may require different properties. DSLs have already been used in OS design so as to permit an user to specify a certain policy. Examples are TEAPOT [8] for writing DSM coherence protocols, and HiPEC [20], for writing page replacement policies. While HiPEC relies on a bytecode interpreter, which is less efficient than a compiler, TEAPOT is implemented with a compiler which is more difficult to maintain. In earlier work, we have proposed GAL [37] a language for designing device drivers. GAL was ....

Chao Hsien Lee, Meng Chang Chen, and Ruei Chuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 153--164, 1994.

....the kernel for replacements. Which pages are replaced is determined by the pager s replacement policy. Cenju 3 DE is not the only operating system with the virtual memory model we just described. In addition other researchers have proposed giving control of page replacement to application writers [20, 18, 8, 11, 12]. Chorus which is used on some Cray platforms [1] and OSF 1 which is used on the Intel Paragon [25] have similar models without the support for custom page replacement policies. The Operating Systems Working Group of the Scalable I O Initiative [7] has called for the Chorus and OSF 1 model. Of ....

Chao-Hsien Lee, Meng Chang Chen, and Ruei-Chuan Chang. HiPEC: high performance external virtual memory caching. Proceedings of First Symposium on Operating Systems Design and Impl. (OSDI) (Monterey, CA), pages 153--64. Usenix Association, 14--17 November 1994.

....provide the application programmer some control over the parallel file system, primarily by selecting existing policies from the built in alternatives. Galley2 promotes the use of application selected code on the I O nodes. Several operating systems can download user code into the kernel [Gai72, LCC94, BSP 95] Other researchers have noted that it is useful to move the function to the data rather than to move the data to the function [CBZ95, SG90, Gra95] Some distributed database systems execute part of the SQL query in the server rather than the client, to reduce client server traffic ....

Chao Hsien Lee, Meng Chang Chen, and Ruei Chuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the 1994 Symposium on Operating Systems Design and Implementation, pages 153--164, 1994.

....In addition, it ensures strong properties like termination that cannot generally be verified for general purpose languages. DSLs have already been used in OS design so as to permit a user to specify a certain policy. Examples are TEAPOT [7] for writing DSM coherence protocols, and HiPEC [16], for writing page replacement policies. While HiPEC relies on a bytecode interpreter, which is less efficient than a compiler, TEAPOT is implemented with a compiler which is more difficult to maintain. In earlier work, we have proposed GAL [30] a language for designing device drivers. GAL was ....

Chao Hsien Lee, Meng Chang Chen, and Ruei Chuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 153--164, 1994.

No context found.

Chao Hsien Lee, Meng Chang Chen, and Ruei Chuan Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 153--164, 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