Institute of Computer Languages
Compilers and Languages Group

Talks 2010 - Raimund Kirner

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Dr. Raimund Kirner

University of Hertfordshire, Hatfield, UK

über

From High-performance Computing to Embedded Systems -
A Quest for Many-core Computing

Datum: Freitag, 4. Juni 2010
Zeit: 14:00 c.t.
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)

Zusammenfassung:

Programming concurrent systems has the inherent complexity of controlling the parallel computation, either seen as control flow or as data flow. Concurrent programming is quite established in the field of high-performance. But nowadays even desktop machines are multi-core machines. And it is the trend that even embedded systems will shift to many-core computing. In embedded computing, the many-core paradigm especially offers benefits like encapsulation of different jobs for the sake of safety and security. In this talk we present S-Net, which is a coordination language used to express concurrent computation. The fundamental principle behind S-Net is to divide concurrent programming into algorithmic programming of boxes and into the coordination of concurrency among these boxes. The algorithmic programming might be done in a conventional programming language, following a functional implementation style, i.e., these boxes transform input into output but do not encompass a local state. Thus, the S-Net approach provides an explicit view of concurrency that is separated from the algorithmic programming. This allows, for example, to change the way of how the program is distributed without having to change the algorithmic implementation of the boxes. To make the S-Net approach applicable to embedded systems, we are developing a new runtime system which is more resource-efficient and supports (soft) real-time scheduling. Here we shift control of scheduling from the underlying operating system to the S-Net runtime layer to gain sufficient control over task execution. Besides embedded computing, this new runtime layer is also beneficial in the field of high-performance computing. For example, we will also use it as the basis for program optimizations during runtime based on monitored statistical information about the program behaviour.

Kurzbiographie von Dr. Raimund Kirner

Raimund Kirner is a Principal Lecturer at the University of Hertfordshire. Before he worked as an Assistant Professor at the Vienna University of Technology within the Real-Time Systems Group. The research focus of Kirner is on system reliability, currently working on adequate hardware and software architectures to bridge the gap between the many-core computing and embedded computing. He also published intensively on worst-case execution time analysis. Kirner was involved in two projects funded by the European Commission (SETTA, NEXT TTA), and currently works within the FP7 project "Asynchronous and Dynamic Virtualisation through performance Analysis to support Concurrency Engineering" (ADVANCE). Further, he is the principal investigator of three research projects funded by the Austrian Science Foundation (FWF), namely "Compiler-Support for Timing Analysis" (CoSTA), "Formal Timing Analysis Suite" (FORTAS), and "Sustaining Entire Code-Coverage on Code Optimization" (SECCO).
(http://homepages.feis.herts.ac.uk/~rk10aah/)

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)