Godmar Back, Patrick Tullmann, Legh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....on a specialized VM, it follows that the overhead is smaller than with our approach; currently, CPU control is however not implemented. Many other systems are proposed in the literature, but none of them are as complete as JRes, Alta, Ka eOS, and NOMADS. An excellent recentoverview is provided in [3]. To summarize, wemightsay that J SEAL2 proposes a protection model inspired both from Alta and J Kernel, and a memory accounting implementation that is more reminiscent of JRes. 5.2 Other Java centric Approaches to Resource Control There are several lines of research, where environments and ....

G. Back, P.Tullmann, L. Stoller, W. Hsieh, and J. Lepreau. Techniques for the design of Java operating systems. In ########### ## ### #### ###### ###### ######### ##########, San Diego, CA, USA, June 2000.

....termination techniques. The goal of much of the prior related research has been to develop operating systems and system management components using the Java language to enable resource management and process protection through the use of Java type safety and load time verification mechanisms [5, 31, 40, 22, 46, 48, 11, 21, 27, 4]. Other related work has focused on mechanisms that ensure that the execution of mobile code will not unintentionally or maliciously harm the underlying systems. Such techniques include stack inspection [16] proof carrying code [42, 10, 9] software fault isolation [53] and code replacement ....

G. Back, P. Tullmann, L. Stoller, W. Hsieh, and J. Lepreau. Techniques for the Design of Java Operating Systems. In Proceedings of the 2000.

....the translator: they are replaced by the machine instructions for the memory access. This makes memory access as fast as array access. System IPC (cycles) L4Ka (PIII, 450MHz) 32] 818 Fiasco L4 (PIII 450 MHz) 42] 2610 J Kernel (LRMI on MS VM, PPro 200MHz) 28] 440 Alta KaffeOS (PII 300 MHz) [5] 27270 JX (PIII 500MHz) 650 Table 1: IPC latency (round trip, no parameters) Memory objects can be passed between domains like portals. The memory that is represented by a memory object is not copied when the memory object is passed to another domain. This way, memory objects implement shared ....

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the Design of Java Operating Systems. In 2000.

....loop will still freeze the latest web browsers. The most successful systems to date either run the JVMs in separate processes or machines [55, 73] surrendering any performance benefits from running the JVM together with its host application, or create a processlike abstraction inside the JVM [7, 77, 43, 8, 20]. These process abstractions either complicate memory sharing among codelets or make it completely impossible. This thesis explores a series of new language run time system based mechanisms for terminating codelets. Although they are not specific to Java, they apply to Java, and we have ....

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the design of Java Operating System. In Proceedings of the 2000.

....or rebinding after restoration or migration. The nesting of environments is relevant for the following three features. First, environments can be isolated from each other and are subject to hierarchical resource controls for CPU slices, memory, and tuple storage, similar to those described in [5, 43]. Second, logic to control checkpointing and migration can be separated into an outer environment, because checkpointing and migration affect an entire environment tree. For example, a migration agent that knows how to follow a user as she moves through the physical world can migrate any ....

....and resource controls. The implementation of transactions and class loading from environments should be straightforward. The implementation of isolation and resource controls can either be done in pure Java [13, 46] albeit at some performance cost, or by modifying the Java virtual machine [4, 5]. We plan to implement these features in the near future. Furthermore, we believe that their absence does not impact the overall results presented in this paper. After all, we focus on how to build adaptable applications for pervasive computing environments and not on how to provide protection for ....

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the design of Java operating systems. In Proceedings of the

....Relying on a specialized VM, it follows that the overhead is smaller than with our approach; currently, CPU control is however not implemented. Many other systems are proposed in the literature, but none of them are as complete as JRes, Alta, and Ka#eOS. An excellent overview is provided in [3]. To summarize, we might say that J SEAL2 proposes a protection model inspired both from Alta and J Kernel, and a memory accounting implementation that is more reminiscent of JRes. 7.2 Other Java centric Approaches to Resource Control There are several lines of research, where environments and ....

G. Back, P. Tullmann, L. Stoller, W. Hsieh, and J. Lepreau. Techniques for the design of Java operating systems. In Proceedings of the 2000 USENIX Annual Technical Conference, San Diego, CA, USA, June 2000.

....of factor 10 are not unusual between non optimizing and optimizing Java compilers. System IPC (cycles) L4KA (PIII, sysenter, sysexit) 8] 800 Fiasco L4 (PIII 450 MHz) http: os.inf.tu dresden.de fiasco status.html] 2610 J Kernel (LRMI on MS VM, PPro 200MHz) 11] 440 Alta KaffeOS [1] 27270 JX hosted (Linux 2.2.14, PIII 500MHz) 7100 JX native (PIII 500MHz) 650 Table 1: IPC latency (round trip) System Throughput (MByte s) Latency (sec 4kB) Linux (PIII 500 MHz) 400 10.0 JX (PIII 500MHz) 201 19.9 JX co located (PIII 500MHz) 213 18.7 Table 2: File system re read ....

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, J. Lepreau. Techniques for the Design of Java Operating Systems. In Proc. of the 2000 USENIX Annual Technical Conference, pp. 197-210, June 2000

....for example, to protect the system from Trojan horse applications. On workstations multiple JVMs with different security policies can be used to achieve similar results, but better solutions are needed in environments where a single JVM functions as the operating system of a small device (e.g. [10, 12]) Requirement 9: Resource consumption control. The standard Java platform does not have any mechanisms for limiting the amount of resources a program can use. Thus, a malicious proxy could simply allocate all the available memory in the system, and thus create a denial of service condition. ....

Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the design of Java operating systems. In Proceedings of the USENIX Annual 2000 Technical Conference, General Refereed Track, San Diego, California, June 2000.

....loop will still freeze the latest Web browsers. The most successful systems to date either run the JVMs in separate processes or machines [23, 26] surrendering any performance benefits from running the JVM together with its host application, or create a process like abstraction inside the JVM [4, 28, 20, 5]. These process abstractions either complicate memory sharing or make it completely impossible. This paper describes a new language runtime based mechanism called soft termination. While it is not specific to Java, soft termination can be deployed on Java, and we present a Java based ....

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the design of Java Operating System. In Proceedings of the 2000 Usenix Annual Technical Conference, San Diego, California, June 2000. http://www.cs.utah.edu/flux/ papers/javaos-usenix00-base.html.

No context found.

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the design of Java operating systems. In Proceedings of the USENIX 2000.

....on Kaffe, and, like KaffeOS, Alta provides support within the JVM for comprehensive memory accounting. However, Alta only provides a single, global garbage collector, so separation of garbage collection costs is not possible. For a more thorough discussion of Alta and the J Kernel, see Back et al. [1]. Balfanz and Gong [3] describe a multi processing JVM developed to explore the security architecture ramifications of protecting applications from each other, as opposed to just protecting the system from applications. They identify several areas of the JDK that assume a single application ....

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the Design of Java Operating Systems. In Proc. of the USENIX 2000 Annual Technical Conf., pages 197--210, San Diego, CA, June 2000. USENIX Association.

No context found.

Godmar Back, Patrick Tullmann, Legh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.

No context found.

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.

No context found.

Godmar Back, Patrick Tullmann, Legh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.

No context found.

Godmar Back, Patrick Tullmann, Legh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.

No context found.

BACK, G., TULLMANN, P., STOLLER, L., HSIEH, W. C., AND LEPREAU, J. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference (June 2000).

No context found.

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.

No context found.

Godmar Back, Patrick Tullmann, Legh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.

No context found.

Godmar Back, Patrick Tullmann, Legh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the Design of Java Operating Systems. In USENIX Annual Technical Conference, June 2000.

No context found.

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau, "Techniques for the Design of Java Operating Systems," in USENIX Annual Technical Conference, June 2000.

No context found.

G. Back, P. Tullmann, L. Stoller, W. C. Hsieh, and J. Lepreau. Techniques for the design of Java operating systems. In Proceedings of the 2000.

No context found.

Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson Hsieh, and Jay Lepreau. Techniques for the design of Java operating systems. In USENIX Annual Technical Conference, pages 197--210, San Diego, CA, June 2000.

No context found.

Back, G. Techniques for the Design of Java Operating Systems, Proceedings of the 2000 USENIX Annual Technical Conference, San Diego, USA, June 2000

No context found.

Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, and Jay Lepreau. Techniques for the design of java operating systems. In Summer Usenix Technical Conference, June 2000.

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