[Brown CS Talks] Brown CS Seminar: Godmar Back in Lubrano on 3/5/04 at noon

-------- Original Message --------
Subject: [Brown CS Talks] Brown CS Seminar:  Godmar Back in Lubrano on 3/5/04 
at noon
Date: Fri, 27 Feb 2004 14:38:37 -0500
From: [email protected]
Reply-To: [email protected]
To: <[email protected]>

			
                           Seminar
			
			   BROWN UNIVERSITY
		     Computer Science Department
			

			     Godmar Back

			 Stanford University


		    Friday, March 5, 2004 at noon

	       Lubrano Conference Room (CIT 4th floor)

	       Refreshments will be served at 11:45 am


Processes in KaffeOS: Isolation, Resource Management, and Sharing for Java


Single-language runtime systems, such as Java virtual machines, are
widely deployed platforms for executing untrusted code.  These
runtimes provide some of the features that operating systems provide:
inter-application memory protection and basic system services.  They
do not, however, provide the ability to isolate applications from each
other, or limit their resource consumption.

In this talk, I will present KaffeOS, a Java runtime system that
provides these features.  The KaffeOS architecture takes many lessons
from operating system design, such as the use of a user/kernel
boundary, and employs garbage collection techniques, such as write
barriers.  It supports the OS abstraction of a process in a Java
virtual machine.  Each process executes as if it were run in its own
virtual machine, including separate garbage collection of its own
heap.  The difficulty in designing KaffeOS lay in balancing the goals
of isolation and resource management against the goal of allowing
direct sharing of objects to enhance performance and scalability.

I will present performance results that show that KaffeOS can be used
to effectively thwart denial-of-service attacks by untrusted or
misbehaving code, and demonstrate the effectiveness of KaffeOS's
sharing model.  Finally, I will also discuss what I view should be the
next steps in making type-safe language runtime systems ready for use
in robust and scalable multi-process environments.

Godmar Back works as a postdoctoral researcher with Professor Dawson
Engler.  He received his PhD from the University of Utah in 2002.  His
research interests lie at the intersection of systems and programming
languages.  He currently works on MJ, a system for statically checking
Java code.  Before coming to Stanford, he designed and implemented
KaffeOS, a Java runtime system that provides process isolation and
resource management for multiple applications in a single JVM. He has
also worked on various OS projects, such as the Utah OSKit and the
Fluke microkernel.
			
			
		     Host: Shriram Kirshnamurthi

_______________________________________________
The Computer Science Department is located at 115 Waterman St., Providence, 
RI.  Our Calendar of Events at http://www.cs.brown.edu/events lists all of our 
talks.

If you would like to be removed from (or added to) our seminar mailing list, 
or if you would prefer to receive only announcements pertaining to IPP talks, 
please send email containing your request to mailto:[email protected]

We'd very much appreciate your forwarding these announcements to colleagues 
who may also have an interest.  Thanks for your cooperation.