>>>>>> 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@basics.utwente.nl with a Cc: wotug20@rt.el.utwente.nl 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