|The first release of the Tempo Specializer Ronan.Gaugne@irisa.fr (Ronan Gaugne) (1998-06-24)|
|From:||Ronan Gaugne <Ronan.Gaugne@irisa.fr>|
|Date:||24 Jun 1998 00:12:01 -0400|
|Organization:||IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE|
Tempo Specializer, a partial evaluator for C
IRISA / INRIA - University of Rennes 1
The Compose group is pleased to announce the first public release of
the Tempo Specializer, a partial evaluator for C programs developed
at IRISA / INRIA - University of Rennes 1.
Partial evaluation is the process that automates specialization, a
program transformation that adapts programs with respect to a given
execution context. Exploiting this context allows a generic program
to be instantiated for a particular environment. The instantiated
program is optimized in the sense that all the operations depending
on the given context are already performed: it is faster, sometimes
Tempo is an off-line specializer: specialization is divided into
two steps. First, a program analysis propagates information about
known and unknown values throughout the code. A colored interface
lets the user assess the degree of specialization. Then,
actual specialization values are provided and specialized code is
produced. Tempo can specialize programs at compile time (i.e.,
source-to-source tranformation) as well as at run time (i.e.,
run-time code generation).
Tempo has been used to dramatically improve the performance of a
wide range of commodity operating systems components, including
Sun's RPC, Unix signal delivery, and the Berkeley packet filter.
Besides operating systems and networking, Tempo has also been
successfully applied to computer graphics, scientific computation,
software engineering and domain specific languages. Some demos are
available with the release, which include the Berkeley packet filter
and a light version of the Sun's RPC.
This release follows the success of a Tempo workshop organized at
IRISA, March 16-18, 1998. Tempo is currently being used at a dozen
sites in academia (including MIT, DIKU, and Oregon Graduate Institute)
as well as industry (including Thomson, Canon, Bull and France
Instructions describing how to get the Tempo Specializer are given at
Tempo can run on three platforms: Sun OS 4.1, Sun OS 5.5 (i.e.,
Solaris 2.5) and Linux 2.0 on PC.
More details can be found on our web pages concerning
- the Compose project: http://www.irisa.fr/compose/
- Tempo Specializer: http://www.irisa.fr/compose/tempo
- on-line documentation: http://www.irisa.fr/compose/tempo/doc
- selected publications: http://www.irisa.fr/compose/papers
- selected talks: http://www.irisa.fr/compose/talks
In case of any questions or problems, please send mail to
Return to the
Search the comp.compilers archives again.