Date: Tue, 23 Jun 1998 15:20:18 +0200 (MESZ) From: Marko Schuetz <marko@king.ki.informatik.uni-frankfurt.de> To: freebsd-hackers@FreeBSD.ORG Subject: forwarded message from Ronan Gaugne Message-ID: <199806231320.PAA29473@king.ki.informatik.uni-frankfurt.de>
next in thread | raw e-mail | index | archive | help
Received: from mailout1.mailbase.ac.uk (mailout1.mailbase.ac.uk [128.240.226.11]) by king.ki.informatik.uni-frankfurt.de with ESMTP (8.7.1/8.7.1) id KAA28760 for <marko@king.ki.informatik.uni-frankfurt.de>; Tue, 23 Jun 1998 10:46:42 +0200 (METDST)
Received: from naga.mailbase.ac.uk (naga.mailbase.ac.uk [128.240.226.3])
by mailout1.mailbase.ac.uk (8.8.x/Mailout) with ESMTP id JAA15412;
Tue, 23 Jun 1998 09:42:19 +0100 (BST)
Received: (from daemon@localhost)
by naga.mailbase.ac.uk (8.8.x/Mailbase) id JAA08314;
Tue, 23 Jun 1998 09:37:48 +0100 (BST)
Received: from news.irisa.fr (news.irisa.fr [131.254.254.15])
by naga.mailbase.ac.uk (8.8.x/Mailbase) with ESMTP id JAA08303;
Tue, 23 Jun 1998 09:37:45 +0100 (BST)
Received: (from news@localhost)
by news.irisa.fr (8.8.7/8.8.7) id KAA22608;
Tue, 23 Jun 1998 10:37:42 +0200 (MET DST)
Path: not-for-mail
Newsgroups: comp.compilers,comp.software-eng
Organization: IRISA, Campus de Beaulieu, 35042 Rennes Cedex, FRANCE
Lines: 66
Message-ID: <358F6953.4C66@irisa.fr>
NNTP-Posting-Host: cuba.irisa.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mozilla 3.04Gold (X11; I; SunOS 5.5 sun4m)
X-List: eapls@mailbase.ac.uk
X-Unsub: To leave, send text 'leave eapls' to mailbase@mailbase.ac.uk
X-List-Unsubscribe: <mailto:mailbase@mailbase.ac.uk?body=leave%20eapls>
Reply-To: Ronan Gaugne <Ronan.Gaugne@irisa.fr>
Errors-To: eapls-request@mailbase.ac.uk
Precedence: list
From: Ronan Gaugne <Ronan.Gaugne@irisa.fr>
Sender: eapls-request@mailbase.ac.uk
To: eapls@mailbase.ac.uk
Subject: The first release of the Tempo Specializer
Date: Tue, 23 Jun 1998 10:37:39 +0200
------------------------------------------------
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
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
smaller.
TEMPO
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).
APPLICATIONS
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.
DISTRIBUTION
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
Telecom).
Instructions describing how to get the Tempo Specializer are given at
URL
http://www.irisa.fr/compose/tempo/#distribution
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.
INFORMATION
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
tempo@irisa.fr.
To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199806231320.PAA29473>