|
|
UML Simulator
umlsim provides an environment that allows the use of regular Linux
kernel or application code in event-driven simulations. It consists
of an extension of user-mode Linux (UML) to deterministically control
the flow of time as seen by the UML kernel and applications running
under it, and a simulation control system that acts like a debugger,
and that can be programmed in a Perl-like scripting language.
One of the first uses of umlsim is to examine the behaviour of
Linux TCP in gigabit networks, but it will also be useful for many
other applications in research and kernel development, including
regression tests, examination of race conditions, validation of
configuration scripts, and performance analysis.
This paper describes the design and implementation of umlsim, gives
a brief overview of the scripting language, and concludes with a
real-life usage example.
|
|
