[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Final call for participation Parallel Programming and Java conference 13-16 April '97
>>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>>
For your convenience print this text with 'New Courier 10' font.
============================================
| PARALLEL PROGRAMMING AND JAVA CONFERENCE |
| |
| 13-16, April, 1997 |
| |
| University of Twente, the Netherlands |
============================================
>>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>> FINAL CALL >>>>>>
AIMS:
=====
This conference is aimed at persons that use object based programming
languages (such as Java or occam) to design multi-threaded applications.
These applications range from simple Java applets through to
internet/intranet client-server systems, embedded systems and general
parallel and distributed multiprocessing.
With its tutorial programme, the conference is also aimed at everyone
responsible for teaching in the above areas. With the growing number
of Universities switching to Java as their prime language for imperative
programming, this meeting is especially timely.
TUTORIAL PROGRAMME (Sunday, 13th. April, 1997):
===============================================
The three tutorials run consecutively, starting at 10:00 and aiming to
finish around 17:00.
------------------------------------
Title: Java Threads in the light of occam/CSP
Presenter: Professor Peter Welch, University of Kent
Abstract: Java provides support for parallel computing through a model that
is built into the language itself. However, the designers of Java chose to
be fairly conservative and settled for the concepts of threads and monitors.
Monitors were developed by Tony Hoare in the early 1970s as a structured way
of using semaphores to control access to shared resources. Hoare moved away
from this, in the late 1970s, to develop the theory of Communicating
Sequential Processes (CSP). One reason for this was that the semantics of
monitors and threads are not WYSIWIG, so that designing robust parallel
algorithms at this level is seriously hard. This tutorial will look at how
this impacts on threaded applications written in Java.
Fortunately, it is possible to introduce the CSP model into Java
through sets of classes implemented on top of its monitor support.
By restricting interaction between active Java objects to CSP
synchronisation primitives, Java thread semantics become compositional and
systems with arbitrary levels of complexity become possible. Multi-threaded
Web applets and distributed applications become simpler to design and
implement, race hazards never occur, difficulties such as starvation,
deadlock and livelock are easier to confront and overcome; and performance
is no worse than that obtained from directly using the raw monitor primitives.
The advantages of teaching parallelism in Java purely through the CSP
class libraries will be discussed. (These libraries were developed
jointly at Kent and Oxford Universities in the U.K. and the University of
Twente in the Netherlands.)
------------------------------------
Title: Communicating Java Threads -- the Reference Manual
Presenter: Ir. Gerald H. Hilderink, University of Twente
Abstract: this manual describes the use of channels and composition
constructs for communicating threads in the programming language Java. We
assume the reader of this manual is an experienced Java programmer. The code
of which the interface is described in this manual is entirely written in
Java. We see Java as a clear programming language so that the channel and
composition constructs, as described in this reference manual, can be ported
to other object-oriented languages, such as C++ or Smalltalk.
Channels are very close to the scheduler, in fact they may be part of
the scheduler. Using channels allows scheduling on communication within the
program and without any explicit command from the programmer. Scheduling
based on communication results in a very fast non-preemptive scheduling
algorithm that is faster than pre-emptive scheduling to ensure fair
scheduling. The program will get better real-time characteristics and the
scheduler of the Java Virtual Machine can be tuned for better performance
for embedded systems.
Composition constructs provide a more easy way to build robust and
better-structured concurrent programs. In chapter 2 the channel
interface is described and in chapter 4 the use of the channel is
described by three composition (communication) constructs: (1) the
sequential communication construct, (2) the parallel communication
construct, and (3) the alternative communication constructs. Chapter 5
describes several examples in terms of building blocks that illustrate the
use of channels and composition constructs and by which simple concurrent
programs can be built.
------------------------------------
Title: How to Design Deadlock-Free Networks Using CSP and Verification Tools
Presenter: Dr. Jeremy M. R. Martin and Sabeh A. Jassim, Universities of
Oxford and Buckingham
Abstract: the CSP language of C.A.R. Hoare originated as a blackboard
mathematical notation for specifying and reasoning about parallel and
distributed systems. More recently sophisticated tools have emerged
which provide automated verification of CSP-specified systems. This has led
to a tightening and standardisation of syntax. This paper outlines the
syntax and semantics of CSP as it is now used and then describes how to
design CSP networks, which are guaranteed to be free of deadlock, through a
succession of increasingly complex worked examples, making use of the
verification tool Deadlock Checker.
ACCEPTED PAPERS (Monday-Wednesday, 14-16th. April, 1997):
=========================================================
Title: Higher-Order Concurrency in Java
Author: Erik D. Demaine
University of Waterloo (Canada)
Title: Communicating Java Threads
Authors: Gerald Hilderink, Jan Broenink, Wiek Vervoort and Andre Bakkers
Institution: University of Twente, (Netherlands)
Title: Scriptic: Parallel Programming in Extended Java
Author: Andre van Delft
Institution: Delftware Technology BV, (Netherlands)
Title: The Design of JET: A Java Library for Embarrassing Parallel
Applications
Authors: Luis M. Silva, Hernani Pedroso and Joao Gabriel Silva
Institution: Universidade de Coimbra (Portugal)
Title: A Tool for Proving Deadlock Freedom
Authors: J.M.R. Martin and S.A. Jassim
Institution: University of Oxford (UK)
University of Buckingham (UK)
Title: Higher Levels of Process Synchronisation
Authors: Peter H. Welch and David C. Wood
Institution: University of Kent (UK)
Title: Dynamic Process Interaction
Authors: Lajos Schrettner and Innes Jelly
Institution: Jozsef Attila University (Hungary)
Sheffield Hallam University (UK)
Title: Expanding the Message Passing Library Model with Nested Parallelism
Authors: C. Rodriguez, F. Sande, C. Leon and F. Garcia
Institution: Universidad de La Laguna (Tenerife, Spain)
Title: Fine-grained global control constructs for parallel programming
environments
Author: Marek Tudruj
Institution: Institute of Computer Science, Polish Academy of Sciences,
(Poland)
Title: The Macrame 1024 Node Switching Network
Authors: S. Haas, D.A. Thornley, M. Zhu, R.W. Dobinson and B. Martin
Institution: CERN (Switzerland)
Title: Data-Strobe Links and Virtual Channel Processors
Author: Barry M. COOK
Institution: Keele University (UK)
Title: Reconfigurable Computing
Author: Roger Gook
Institution: Embedded Solutions Ltd. (UK)
Title: Beyond transputing: fully distributed semantics in Virtuoso's
Virtual Single Processor programming model.
Author: Eric Verhulst.
Institution: Eonic Systems Inc. (Belgium)
Title: WEAVE - A System for Dynamic Configuration of Virtual Links
Authors: S.R.Harrison and C.R.Brown
Institution: University of Sheffield (UK)
Title: A Multiprocessor occam Development System for UNIX Network Clusters
Authors: D.G. Patrick, P.R. Green and T. A. York
Institution: University of Manchester Institute of Science and Technology (UK)
Title: occam for Multi-Processor DEC Alphas
Authors: Peter H. Welch and Michael D. Poole
Institution: University of Kent (UK)
Title: Compile-Time Schemes for Mapping Loop Parallelism
Author: Rizos Sakellariou
Institution: University of Manchester (UK)
Title: Prefetch Data Management for Parallel Particle Tracing
Authors: Jonathan Tidmus Roger Miles Alan Chalmers
Institution: University of the West of England (UK)
University of Bristol (UK)
Title: A tool for optimisation of program execution in dynamic topology
systems.
Author: Tomasz Kalinowski
Institution: Institute of Computer Science, Polish Academy of Sciences,
(Poland)
Title: An Open Systems Strategy for Distributed occam Execution
Authors: Paul Singleton an Barry M. Cook
Institution: Keele University (UK)
FURTHER DETAILS:
================
Further details on the conference, including abstracts of all the accepted
papers plus the full conference programme (including meetings of SIGs, the
Industrial Session and Panel Session) can be found at:
http://www.rt.el.utwente.nl/wotug20
REGISTRATION FORM AND COSTS:
============================
Please register me for WoTUG20.
Name: _____________________________
Institution/Company: _____________________________
Address: _____________________________
City, State: _____________________________
Postal code: _____________________________
Country: _____________________________
Telephone: _____________________________
Fax: _____________________________
E-mail: _____________________________
Do you need parking permit? _____________________
Please register me for the tutorial programme on Sunday including meals at
now extra costs YES / NO
---------------------------------------------------------------------
Prices DFl. BP US$ DM
---------------------------------------------------------------------
Conference fee Sunday - Wednesday 495.00 163.20 266.60 440.80
(Includes tutorials, proceedings and all meals)
---------------------------------------------------------------------
Accommodation:
single room (4*) Dish Hotel per night 125.00 41.20 67.35 111.30
double room (4*) Dish Hotel per night 140.00 46.15 75.40 124.70
---------------------------------------------------------------------
Please mark the accommodation of your preference: _________________
Room assignments will be made in booking order.
Indicate here for which nights you booking should be:
Sat/Sun Sun/Mon Mon/Tue Tue/Wed
Payment method M/C VISA AMX account nr.:______________________Exp:____
(DO NOT INCLUDE CREDIT CARD INFORMATION IF YOU E-MAIL THIS REGISTRATION FORM!)
Please check here if you prefer a bank transfer: _________________
Signature: _____________________________________
Please fax this reservation form to: Congress Association Twente at:
+31-53-489 4442
And Email it to: S.M.Kleisen@xxxxxxxxxxxxxxxxx
with a Cc: wotug20@xxxxxxxxxxxxxxxx
WoTUG is providing a limited number of student discounts. Please see the
Web page for the conference (http://www.rt.el.utwente.nl/wotug20/)
For your convenience, please fill in one column of the following form:
=========================================================
SUMMARY : #nights : DFl BP US$ DM
=========================================================
Room rate : ___.__ ___.__ ___.__ ___.__
---------------------------------------------------------
Room total =
Room rate * #nights : ___.__ ___.__ ___.__ ___.__
Registration fee : 495.00 163.20 266.60 440.80
---------------------------------------------------------
SUB-TOTAL : ___.__ ___.__ ___.__ ___.__
Student discount
from WoTUG : 270.00- 89.00- 145.50- 240.50-
=========================================================
GRAND TOTAL : ___.__ ___.__ ___.__ ___.__
=========================================================
ORGANISERS:
===========
This conference is organised by the World occam and Transputer User Group
(WoTUG). WoTUG is a world-wide network of scientists, engineers and
educationalists working on the theory and practice of parallel and
distributed computing. This network has been in operation since 1984 and
has hosted some 50 conferences world-wide. This conference is also titled
WoTUG-20 (it is the 20th. Technical Conference hosted by the European
branch). All accepted papers have been reviewed by the full WoTUG
Committee, who are full-time academics at European Universities. The full
list of names can be found from the conference web page (above).
Prof.ir. Andre Bakkers
University of Twente
Open University