C. Lee et.al. HiPEC: High Performance External Virtual Memory Caching. In 1st OSDI, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....well as unpaged resident memory for device drivers and or real time systems. Stacked pagers, i.e. multiple layers of pagers, can be used for combining access control with existing pagers or for combining various pagers (e.g. one per disk) into one composed object. User supplied paging strategies [LCC94, CFL94] are handled at the user level and are in no way restricted by the # kernel. Stacked file systems [KN93] can be realized accordingly. Multimedia Resource Allocation. Multimedia and other real time applications require memory resources to be allocated in a way that allows predictable execution ....

C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153--164, Monterey, CA, 1994.

....as well as unpaged resident memory for device drivers and 2 real time systems. Stacked pagers, i.e. multiple layers of pagers, can be used for combining access control with existing pagers or for combining various pagers (e.g. one per disk) into one composed object. User supplied paging strategies [LCC94, CFL94] are handled at the user level and are in no way restricted bythe kernel. Stacked file systems [KN93] can be realized accordingly. Multimedia Resource Allocation. Multimedia and other real time applications require memory resources to be allocated in a way that allows predictable execution times. ....

C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153--164, Monterey, CA, 1994.

....driver, are completely based on IPC and are defined outside the kernel. Pagers can be used to implement traditional paged virtual memory and file database mapping, as well as unpaged resident memory for device drivers and real time or multimedia systems. User supplied paging strategies [5, 14] are handled at the user level and are in no way restricted by the microkernel. Stacked address spaces, like those in Grasshopper [18] and stacked file systems [13] can be realized in the same fashion. Multimedia and other real time applications require allocation of memory resources in a way ....

Lee, C.H., Chen, M.C., and Chang, R.C. HiPEC: High performance external virtual memory caching. In Proceedings of the 1st Usenix Symposium on Operating Systems Design and Implementation (OSDI) (Monterey, Calif., Nov. 1994). ACM Press, New York, 1994, pp. 153--164.

....well as unpaged resident memory for device drivers and or real time systems. Stacked pagers, i.e. multiple layers of pagers, can be used for combining access control with existing pagers or for combining various pagers (e.g. one per disk) into one composed object. User supplied paging strategies [LCC94, CFL94] are handled at the user level and are in no way restricted by the kernel. Stacked file systems [KN93] can be realized accordingly. Multimedia Resource Allocation. Multimedia and other real time applications require memory resources to be allocated in a way that allows predictable execution ....

C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153--164, Monterey, CA, 1994.

....scripting language. 8 Many Microsoft applications can be extended using Visual Basic for Applications (VBA) a variant of the Visual Basic programming language, and many applications from Lotus Development Corporation can be extended using Lotus Script, a BASIC like language. The HiPEC system [Lee94] allows applications to control VM caching policy using programs written in a simple, assembler like, interpreted language designed specifically for the task of managing a queue of VM pages. The performance impact of executing a program in this language is low, but the expressiveness of the HiPEC ....

Lee, C.-H., Chen, M., Chang, R. C., "HiPEC: High Performance External Virtual Memory Caching," Proceedings of the First Usenix Symposium on Operating System Design and Implementation, pp. 153--164, Monterey, CA (November 1994).

....that the kernel chooses the page to be evicted. Extensions have been suggested to allow Mach servers to control page replacement. Besides providing backup storage, a server can provide coherence for shared pages by ensuring that only one application has write access to a page. HiPEC In HiPEC [LCC94] applications specify their own pagereplacement policy through a set of commands stored in the user space that are interpreted by the kernel on a page fault. Each application has a separate pool of pages, and the stored commands help the kernel select the victim page. I believe that this is a ....

C. Lee, M. C. Chen, and R. Chang. Hipec: High performance external virtual memory caching. November 1994.

....control how data is transferred between physical memory and backing store. User level pagers were later incoporated by Chorus [1] and Spring [13] Premo pagers [20] and extensible object oriented virtual memory [14] extended Mach pagers by allowing pagers to implement replacement policies. HiPEC [15] allows applications to control replacement policies by downloading policies written in a restricted language to the kernel. Sechrest [24] and V page cache managers [11] extended pagers even further by allowing pagers to implement replacement and placement policies. Sechrest and V page cache ....

C. Lee, M. Chen, and R. Chang. HiPEC: High performance external virtual memory caching. In OSDI. USENIX, November 1994.

....work Researchers in operating systems have recently explored extensions to standard systems to support more application control over virtual memory. The case for these extensions has been made repeatedly (cf. 2, 10, 14, 18, 21, 27] Some research prototypes have added more application control [11, 14, 20, 21, 27] but these features have unfortunately not found their way into commercial operating systems. Appel and Li have demonstrated by operating system modification that application control over write back policies can improve performance by discarding dirty data that really are garbage or that can be ....

C. H. Lee, M. C. Chen, and R. C Chang, "HiPEC: High Performance External Virtual Memory Caching," Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), November 1994, pp. 153-164.

....well as unpaged resident memory for device drivers and#or real time systems. Stacked pagers, i.e. multiple layers of pagers, can be used for combining access control with existing pagers or for combining various pagers #e.g. one per disk# into one composed object. User supplied paging strategies #Lee et al. 1994; Cao et al. 1994# are handled at the user level and are in no way restricted by the # kernel. Stacked #le systems #Khalidi and Nelson 1993# can be realized accordingly. Multimedia Resource Allocation. Multimedia and other real time applications require memory resources to be allocated in a way ....

Lee, C. H., Chen, M. C., and Chang, R. C. 1994. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation #OSDI#, Monterey, CA, pp. 153#164.

....constrained by the need to conserve a few tens of KB of memory. Virtual memory decoupled the application memory from the physical memory and demand paging used disks to simulate large core memories. While the effects of demand paging have been studied extensively for workstation class machines [16, 27], fewer studies have measured the effects of running the same program in parallel on thousands of nodes. At first glance, a system, such as the IBM SP 2, with a disk attached directly to each node would seem to decompose the parallel paging problem into independent paging tasks which are ....

C.-H. Lee, M. C. Chen, and R.-C. Chang. HiPEC: High performance external virtual memory caching. In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation(OSDI), pages 153--164, Monterey, CA, Nov. 1994. Published as ACM Operating Systems Review, Winter 1994.

....well as unpaged resident memory for device drivers and or real time systems. Stacked pagers, i.e. multiple layers of pagers, can be used for combining access control with existing pagers or for combining various pagers (e.g. one per disk) into one composed object. User supplied paging strategies [LCC94, CFL94] are handled at the user level and are in no way restricted by the kernel. Stacked file systems [KN93] can be realized accordingly. Multimedia Resource Allocation. Multimedia and other real time applications require memory resources to be allocated in a way that allows predictable execution ....

C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153--164, Monterey, CA, 1994.

.... to let the kernel leave decisions to untrusted software [25] In addition to these structural approaches, much work has been done on better OS abstractions that give more control to applications, such as user level networking [88, 82] lottery scheduling [90] application controlled virtual memory [44, 55] and file systems [13, 72] All of this work is directly applicable to libOSes. 1.1.1 Recent extensible operating systems SPACE is a submicro kernel that provides only low level kernel abstractions defined by the trap and architecture interface [73] Its close coupling to the architecture ....

C.H. Lee, M.C. Chen, and R.C. Chang. HiPEC: high performance external virtual memory caching.In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 153--164, 1994.

....well as unpaged resident memory for device drivers and or real time systems. Stacked pagers, i.e. multiple layers of pagers, can be used for combining access control with existing pagers or for combining various pagers (e.g. one per disk) into one composed object. User supplied paging strategies [Lee et al. 1994; Cao et al. 1994] are handled at the user level and are in no way restricted by the kernel. Stacked file systems [Khalidi and Nelson 1993] can be realized accordingly. Multimedia Resource Allocation. Multimedia and other real time applications require memory resources to be allocated in a way ....

Lee, C. H., Chen, M. C., and Chang, R. C. 1994. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, CA, pp. 153--164.

....well as unpaged resident memory for device drivers and or real time systems. Stacked pagers, i.e. multiple layers of pagers, can be used for combining access control with existing pagers or for combining various pagers (e.g. one per disk) into one composed object. User supplied paging strategies [11, 1] are handled at the user level and are in no way restricted by the kernel. Stacked file systems [10] can be realized accordingly. Multimedia Resource Allocation. Multimedia and other real time applications require memory resources to be allocated in a way that allows predictable execution times. ....

C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153--164, Monterey, CA, November 1994.

.... One of hot topics in operating system researches is building extensible operating system kernels for customizing physical resource managements using applications specific policies[3, 4, 6] Actually, several systems implemented for supporting application specific memory management policies[9, 10]. However, a virtual memory management policy suitable for interactive continuous media applications has not been reported yet. In this section, we analyze how memory is used in interactive applications in detail, and describe which virtual memory supports are required for supporting interactive ....

C.Lee, M.Chang and R.C. Chang, "HiPEC: High Performance External Virtual Memory Cashing", In Proceedings of the First Symposium on Operating System Design and Implementation, USENIX, 1994.

....into the kernel and an application chose among them. This work showed the benefit of allowing applications to control policy; however, we believe that it is not possible to determine (and implement) all policies a priori; a more general extensibility mechanism is required. The HiPEC system [LEE94] is similar to, but more flexible than, Cao s system. HiPEC allows applications to control VM caching policy using programs written in a simple, assembler like, interpreted language designed specifically for the task of managing a queue of VM pages. The performance impact of executing a program in ....

Lee, C.-H., Chen, M., Chang, R. C., "HiPEC: High Performance External Virtual Memory Caching," Proceedings of the First Usenix Symposium on Operating System Design and Implementation, pp. 153--164, Montery, CA (November 1994).

....machine layers impose almost no overhead at all, while others impose some overhead (typically 10 20 ) but only on certain classes of applications. 1 Introduction Increasing operating system modularityand extensibility without excessively hurting performance is a topic of much ongoing research[2, 13, 30, 35, 6]. Microkernels[18, 1] attempt to decompose operating systems horizontally, by moving traditional kernel functionalityinto servers running in user mode. Recursive virtual machines[17] on the other hand, allow operating systems to be decomposed vertically, by implementing OS functionality in ....

....into optional virtual machine monitors invoked on a demand basis, and only for the parts of a system for which they are desired. Application specific specialization is often desirable; it has been shown that specialized virtual memory management can yield substantially better performance[30, 21, 25] for certain applications which access memory in an unusual fashion (garbage collectors, object stores, relational database systems, some numeric applications) Specialized memory managers are easy to provide in our system. Increasing the scope of existing mechanisms: There are algorithms and ....

C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: High performance external virtual memory caching. In Proc. of the First Symp. on Operating Systems Design and Implementation, pages 153--164, Monterey, CA, Nov. 1994. USENIX Association.

....extension to leave kernel data structures in an inconsistent state. There are at least three ways to address the potential integrity violations of kernel extensions. Some extensible systems (e.g. SPIN [4] and Thor [10] use type safe languages for writing kernel extensions. Others (e.g. HiPEC [9]) use specialized, interpreted languages that are limited to the specific extension domain. VINO uses software fault isolation techniques such as sandboxing [15] which allow grafts to be written in conventional languages, such as C. Sandboxing forces all memory operations (read, write, and jump) ....

Lee, C-H., Chen, M. C, Chang, R-C., "HiPEC: High Performance External Virtual Memory Caching", Proceedings of the First OSDI, pp. 153-- 164 (November 1994).

....cannot be avoided (without prefetching) by any of the three policies and all hence all three policies perform equally well. 6 Related Work Many advanced operating systems and research prototypes have addressed the virtual memory page replacement problem. Mach [7] Spring [14] SPIN [8] HiPEC [15], V [10] and PREMO [6] all put the external memory management into their designs. The common technique is to have and application specific page replacement policy and downloaded into the kernel or have 2 The optimal strategy requires storing the entire traces in main memory to carry out a ....

C.H. Lee, M.C. Chen and R.C. Chang. HiPEC: High Performance External Virtual Memory Caching. Proceedings First Symposium on Operating Systems, Design and Implementations. Monterey, California, November 14-17, 1994.

....systems 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 [14, 26, 1]. Other researchers have noted that it is useful to move the function to the data rather than to move the data to the function [3, 42, 17] Some distributed database systems execute part of the SQL query in the server rather than the client, to reduce client server traffic [2] Hatcher and Quinn ....

C. H. Lee, M. C. Chen, and R. C. Chang. HiPEC: High performance external virtual memory caching. In Proc. of the 1994 Symp. on OS Design and Impl., pages 153--164, 1994.

.... to let the kernel leave decisions to untrusted software [11] In addition to these structural approaches, much work has been done on better OS abstractions that give more control to applications, such as user level networking [40, 41] lottery scheduling [43] application controlled virtual memory [22, 27] and file systems [6, 35] All of this work is directly applicable to libOSes. 3 Exokernel Background This section briefly summarizes the exokernel architecture. Figure 1 shows a simplified exokernel system that is running two applications: an unmodified UNIX application linked against the ExOS ....

C.H. Lee, M.C. Chen, and R.C. Chang. HiPEC: high performance external virtual memory caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 153--164, 1994.

....designed for servicing all the applications [Bershad 95] System performance usually degrades because of inducing this generality. If the system service can be specialized to meet application s needs, system performance will behave better and beyond what it is 3 that we cannot image before [Lee 94, Lee 96a, Lee 96b] Table 1 and Figure 1 illustrate an example about building such a specialized Network File System (NFS) In the example illustrated in Table 1 and Figure 1, the F540 is a specialized system designed for NFS service only. It employs the Data ONTAP 3.14 real time kernel as its ....

Paul C. H. Lee, Meng Chang Chen and Ruei-Chuan Chang, `Hipec: High Performance External Virtual Memory Caching', Proceedings of the First Symposium on Operating Systems Design and Implementation (OSDI'94), Monterey, California, USA, 1994, pp.153-154.

....evident overhead in transferring control and passing messages, which compromise system performance. In this paper, we challenge the necessity of domain crossing for delegating the page frame management policies to applications. A high performance external virtual memory caching mechanism (hipec) [14, 15] is proposed to allow user applications to prepare and perform their own specific page frame management policies. By loading a set of macro like commands to the operating system, the user applications inform the operating system of their specific management policies. When page faults or page ....

P. C. H. Lee, M. C. Chen and R. C. Chang, 'hipec: High Performance External Virtual Memory Caching', Proceedings of the First Symposium on Operating Systems Design and Implementation, Monterey, California, USA, November 1994, pp. 153-164.

No context found.

C. Lee et.al. HiPEC: High Performance External Virtual Memory Caching. In 1st OSDI, 1994.

No context found.

C. H. Lee, M. C. Chen, and R. C. Chang, "HiPEC: High performance external virtual memory caching," Proc. of the Usenix Symposium on Operating Systems Design and Implementation (OSDI), pp. 153-164, Nov. 1994.

No context found.

Lee, C. H., Chen, M. C., and Chang, R. C. HiPEC: high performance external virtual memory caching. In 1st USENIX Symposium on Operating Systems Design and Implementation (OSDI), pages 153--164, Monterey, CA, November 1994.

No context found.

Lee C., Chen M., and Chang R., "HiPEC: high performance external virtual memory caching." In Proceedings of the First Symposium on Operating Systems Design and Implementation, 1994, pp. 153--164.

No context found.

C. H. Lee, M. C. Chen, and R. C. Chang, "HiPEC: High performance external virtual memory caching," in Proceedings of the First Symposium on Operating Systems Design and Implementation, pp. 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