[From nobody Mon Mar 25 16:13:54 2013 Return-Path: <rolandg@veda.it.uu.se> Received: from esealnt611.al.sw.ericsson.se (esealnt611.al.sw.ericsson.se [153.88.254.68]) by super.du.uab.ericsson.se (8.10.1/8.10.1/erix-1.8) with ESMTP id g9PESUj08083 for <bjarne@erix.ericsson.se>; Fri, 25 Oct 2002 16:28:30 +0200 (MET DST) Received: from alaska.wise.edt.ericsson.se ([153.88.253.21]) by esealnt611.al.sw.ericsson.se with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2655.55) id VSVG2FDB; Fri, 25 Oct 2002 16:28:30 +0200 Received: from veda.it.uu.se (veda.it.uu.se [130.238.8.100]) by alaska.wise.edt.ericsson.se (8.12.1/8.12.1/WIREfire-1.4) with ESMTP id g9PESTYs014705 for <bjarne@erix.ericsson.se>; Fri, 25 Oct 2002 16:28:29 +0200 (MEST) Received: from meryl.it.uu.se (root@meryl.it.uu.se [130.238.12.42]) by veda.it.uu.se (8.10.0.Beta10/8.10.0.Beta10) with ESMTP id g9PEQXd16620 for <astec-info@docs.uu.se>; Fri, 25 Oct 2002 16:26:33 +0200 (MEST) Received: from [130.238.8.194] (dhcp-8-194.it.uu.se [130.238.8.194]) by meryl.it.uu.se (8.8.5/8.8.5) with ESMTP id QAA28345 for <astec-info@docs.uu.se>; Fri, 25 Oct 2002 16:28:03 +0200 (MET DST) Mime-Version: 1.0 X-Sender: rolandg@pop.docs.uu.se Message-Id: <p05100306b9df030f0805@[130.238.8.194]> Date: Fri, 25 Oct 2002 16:27:19 +0200 To: astec-info@docs.uu.se From: Roland =?iso-8859-1?Q?Gr=F6nroos?= <Roland.Gronroos@it.uu.se> Subject: ASTEC Dissertation Content-Type: multipart/alternative; boundary="============_-1176566436==_ma============" X-Mozilla-Status2: 00000000 --============_-1176566436==_ma============ Content-Type: text/plain; charset="iso-8859-1" ; format="flowed" Content-Transfer-Encoding: quoted-printable Erik Stenman, active in the HiPE project defends his thesis, Efficient Implementation of Concurrent Programming Languages. Dissertation in Computer Science to be publicly examined in H=E4ggsalen, =C5ngstr=F6mlaboratoriet, Uppsala University, on =46riday, November 1, 2002 at 1:00 pm for the degree of doctor of philosophy. The examination will be conducted in English. Faculty opponent will be Simon Peyton Jones, Microsoft Research Ltd, Cambridge, England. Abstract: This thesis proposes and experimentally evaluates techniques for efficient implementation of languages designed for high availability concurrent systems. This experimental evaluation has been done while developing the High Performance Erlang (HiPE) system, a native code compiler for SPARC and x86. The two main goals of the HiPE system are to provide efficient execution of Erlang programs, and to provide a research vehicle for evaluating implementation techniques for concurrent functional programming languages. The focus of the thesis is the evaluation of two techniques that enable inter-process optimization through dynamic compilation. The first technique is a fast register allocator called linear scan, and the second is a memory architecture where processes share memory. The main contributions of the thesis are: * An evaluation of linear scan register allocation in a different language setting. In addition the performance of linear scan on the register poor x86 architecture is evaluated for the first time. * A description of three different heap architectures (private heaps, shared heap, and a hybrid of the two), with a systematic investigation of implementation aspects and an extensive discussion on the associated performance trade-offs of the heap architectures. The description is accompanied by an experimental evaluation of the private vs. the shared heap setting. * A novel approach to optimizing a concurrent program, by merging code from a sender with code from a receiver, is presented together with other methods for reducing the overhead of context switching. * A description of the implementation aspects of a complete and robust native code Erlang system, which makes it possible to test compiler optimizations on real world programs. The thesis can be retrieved at http://publications.uu.se/theses/91-554-5422-4/ (2002-10-14) Welcome! --============_-1176566436==_ma============ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable <!doctype html public "-//W3C//DTD W3 HTML//EN"> <html><head><style type=3D"text/css"><!-- blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 } --></style><title>ASTEC Dissertation</title></head><body> <div><br></div> <div><b>Erik Stenman,</b></div> <div><br></div> <div>active in the HiPE project defends his thesis,</div> <div><br></div> <div><b>Efficient Implementation of Concurrent Programming Languages.</b></div> <div><br></div> <div><br></div> <div>Dissertation in Computer Science to be publicly examined in</div> <div>H=E4ggsalen, =C5ngstr=F6mlaboratoriet, Uppsala University, on</div> <div>Friday, November 1, 2002 at 1:00 pm</div> <div>for the degree of doctor of philosophy. The examination  will be conducted in English. Faculty opponent will be Simon Peyton Jones, Microsoft Research Ltd, Cambridge, England.</div> <div><br></div> <div><br></div> <div>Abstract:</div> <div>This thesis proposes and experimentally evaluates techniques for efficient implementation of languages designed for high availability concurrent systems. This experimental evaluation has been done while developing the High Performance Erlang (HiPE) system, a native code compiler for SPARC and x86. The two main goals of the HiPE system are to provide efficient execution of Erlang programs, and to provide a  research vehicle for evaluating implementation techniques for concurrent functional programming languages.</div> <div><br></div> <div>The focus of the thesis is the evaluation of two techniques that enable inter-process optimization through dynamic compilation. The first technique is a fast register allocator called linear scan, and the second is a memory architecture where processes share memory.</div> <div><br></div> <div>The main contributions of the thesis are:</div> <div><br></div> <div> *  An evaluation of linear scan register allocation in a different language setting. In addition the performance of linear scan on the register poor x86 architecture is evaluated for the first time.</div> <div><br></div> <div> *   A description of three different heap architectures (private heaps, shared heap, and a hybrid of the two), with a systematic investigation of implementation aspects and an extensive discussion on the associated performance trade-offs of the heap architectures. The description is accompanied by an experimental evaluation of the private vs. the shared heap setting.</div> <div><br></div> <div>*   A novel approach to optimizing a concurrent program, by merging code from a sender with code from a  receiver, is presented together with other methods for reducing the overhead of context switching.</div> <div><br></div> <div>*   A description of the implementation aspects of a complete and robust native code Erlang system,  which makes it possible to test compiler optimizations on real world programs.</div> <div><br></div> <div>The thesis can be retrieved at http://publications.uu.se/theses/91-554-5422-4/ (2002-10-14)</div> <div><br></div> <div>Welcome!</div> </body> </html> --============_-1176566436==_ma============-- ]