TU Dresden Operating Systems Research Day 2004 (TUD:OS '04) Dresden
(Germany), Friday, December 17, 2004, 10:30 a.m.--5:30 p.m.
Saxon State and University Library (SLUB) Dresden, Lyceum (Vortragssaal)
Co-located with the GI Betriebssysteme-Fachgruppentreffen Herbst 2004
(Thursday, December 16, Dresden)
Dear Colleague,
you are cordially invited to TUD:OS '04, the TU Dresden Operating
Systems Research Day 2004. Please join us to discuss mutual
interests, some of the results of our work in the recent years, and
some of our future plans.
Registration for TUD:OS '04 is now open and is free of charge.
TUD:OS '04 features three technical sessions with talks held by
members of our group as well as a number of demonstrations showing our
technology at work. Each session focuses on one of our main research
areas:
- Microkernel-based operating systems
- Secure computing
- Real-time computing
The complete program is attached to the end of this email.
REGISTRATION AND HOTEL INFORMATION:
Please register informally via email or by phone until December 10.
Registration is free of charge and includes complimentary lunch on
Friday.
Email: <tudos-register(a)os.inf.tu-dresden.de>
or simply reply to this email
Phone: +49 351 463-38281 (Mon--Fri 9 a.m.--3 p.m.)
or +49 351 463-38534
URGENT: Hotel rooms have to be booked separately. We have prereserved
room blocks in two hotels UNTIL NOVEMBER 1ST. We suggest making hotel
reservations early because December is one of Dresden's tourist high
seasons. Please see our hotel recommendations.
Dresden offers many tourist attractions, especially in December. For
more information, see our sightseeing tips.
Please feel free to forward this invitation to your colleagues.
TUD:OS '04 Home page:
http://os.inf.tu-dresden.de/tudos/
Registration:
http://os.inf.tu-dresden.de/tudos/eng_register.html
Program:
http://os.inf.tu-dresden.de/tudos/eng_program.html
Hotel information:
http://os.inf.tu-dresden.de/tudos/eng_hotels.html
Sightseeing tips:
http://os.inf.tu-dresden.de/tudos/eng_sightseeing.html
Need more information? Call us at +49 351 463-38281 or
+49 351 463-38534.
This message has been sent through a moderated low-traffic mailing
list we have compiled from our list of existing contacts, which is
used only for TUD:OS call-for-participation information. We apologize
if you have received this email in error.
UNSUBSCRIBE from this mailing list and never receive TUD:OS
announcements again:
http://os.inf.tu-dresden.de/mailman/options/tudos
(or reply to this message and mention "unsubscribe" in your email)
Kind regards,
Prof. Hermann Härtig
Dr. Michael Hohmuth
TU Dresden Operating Systems Group
--
Dr. Michael Hohmuth hohmuth(a)inf.tu-dresden.de
Technische Universität Dresden http://os.inf.tu-dresden.de/tudos/
Fakultät Informatik, Betriebssysteme Tel.: +49 351 463-38281
D-01062 Dresden, GERMANY Fax: +49 351 463-38284
TUD:OS '04 - Program
Saxon State and University Library (SLUB) Dresden, Lyceum
(Vortragssaal)
Thursday, December 16, 2004
TUD:OS '04 is co-located with the GI Betriebssysteme-
Fachgruppentreffen Herbst 2004, which takes place on the day before
TUD:OS '04, that is, on Thursday, December 16. This meeting's
program will be available soon.
Friday, December 17, 2004
Friday, 10:30 a.m. - Session 1
Microkernel-based operating systems
L4Linux or Support for legacy operating systems
One of the core assumptions for our work is that systems
(will) run applications with different requirements on the
same machine at the same time. For example, we assume that
real-time and non-real-time applications will share
desktops. Or, we assume that mobile phones will be used for
sensible applications with higher security requirements such
as bank transfers, as well as for games and other less
critical applications.
To support this scenario, many years ago we developed
L4Linux, a user-level server that provides Linux kernel
functionality with binary compatibility. Real-time and
security-sensitive applications run besides L4Linux on a
small core platform. An important aim is to reuse as much
functionality residing in L4Linux for real-time and
security-sensitive applications as possible. Another
important aspect is the encapsulation of L4Linux such that
real-time and security sensitive applications can run
besides L4Linux. Future direction of work will concentrate
on minimizing the changes needed for the Linux kernel to run
and on providing a virtual-machine monitor that supports
legacy operating systems as they are, without any changes.
Friday, 12:00 noon - Lunch
We offer complimentary lunch to all registered attendees.
Friday, 2:00 p.m. - Session 2
Microkernel-based real-time computing
First, we present a mathematical model, Quality-Assuring
Scheduling (QAS), for admission and scheduling flexible
applications that can tolerate occasional deadline misses.
For that reason, resource requirements are split into a
mandatory part that must be available and some optional
parts which should be available at least with a certain
percentage. The model uses the variations in the execution
times of periodic applications. Thus, we can move away from
worst-case reservations and drastically reduce the amount of
reserved resources.
We then show how this model is mapped to different
resources. For CPU, the kernel provides reservation based
scheduling. We introduce the provided reservation
interfaces, the feedback mechanism used to handle error
conditions, and the integration with inter-process
communication (IPC).
Third, the talk describes the application of QAS to the
scheduling of disk requests. Disk drives impose a large
variation on the execution times of disk requests, therefore
real-time systems can significantly benefit from the use of
statistical approaches such as QAS. The implementation of
QAS has to bring in line the demand to meet the statistical
guarantees with the need to optimize disk utilization. We
will present our approach to solve this problem.
Another focus of our real-time research is real-time
networking. Our approach applies traffic shaping techniques
on top of standard Switched Ethernet technology. Real-time
operating system support is needed for two things: first, to
ensure timeliness of the traffic shaping process within the
network drivers, and second, to ensure the
application-to-application delays and bandwidth guarantees
within the network stacks. Using standard Fast (and
Gigabit) Ethernet network equipment, we achieve
sub-millisecond application-to-application latencies with
nearly full network utilization.
We will provide a live real-time demonstration of the
application our models to file-system, network, and CPU
scheduling. The demonstration will visualize approaches to
deal with quality of service guarantees even in overload
situations. It will also show how to leverage a split
applications into real-time and non-real-time and into
trusted and untrusted.
Friday 3:30 p.m. - Coffee Break and Demo Session
During the break, attendees have the opportunity to check
out the live demonstrations of our system's real-time and
security properties.
Friday 4:00 p.m. - Session 3
Microkernel-based secure computing
Our security subgroup focuses on the construction of
dependable and secure systems based on our microkernel
technology. Our main goal is enabling the creating of
robust and trusted systems. Our approach is to combine
software of different trust levels into one system. We
split applications into untrusted and trusted components,
which are encapsulated from each other. We allow using
untrusted components for security-critical applications
through introducing trusted wrappers. This approach allows
us to keep the size and complexity of trusted components
very small.
In our talk, we explain and demonstrate our technology using
our Mikro-SINA and NIZZA projects.
