The first release of the Tempo Specializer

Ronan Gaugne <>
24 Jun 1998 00:12:01 -0400

          From comp.compilers

Related articles
The first release of the Tempo Specializer (Ronan Gaugne) (1998-06-24)
| List of all articles for this month |

From: Ronan Gaugne <>
Newsgroups: comp.compilers,
Date: 24 Jun 1998 00:12:01 -0400
Organization: IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE
Keywords: tools, optimize

                            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:
        - Tempo Specializer:
        - on-line documentation:
        - selected publications:
        - selected talks:
    In case of any questions or problems, please send mail to

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.