Operations research and computers

operational research

EOS: A project to investigate the design and construction of real-time distributed embedded operating systems

The EOS project is investigating the design and construction of a family of real-time distributed embedded operating systems for reliable, distributed aerospace applications. Using the real-time programming techniques developed in co-operation with NASA in earlier research, the project staff is building a kernel for a multiple processor networked system. The first six months of the grant included a study of scheduling in an object-oriented system, the design philosophy of the kernel, and the architectural overview of the operating system. In this report, the operating system and kernel concepts are described. An environment for the experiments has been built and several of the key concepts of the system have been prototyped. The kernel and operating system is intended to support future experimental studies in multiprocessing, load-balancing, routing, software fault-tolerance, distributed data base design, and real-time processing

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change

IICADS--integrated interactive computer aided design system

This research has three goals. The first goal is to develop a software interface (supervisor) to support and control a variety of interactive subsystem modules; thus eliminating manual scheduling of interactive jobs. The second goal is to develop a common methodology for interactive subsystem design. The third goal is to develop a linear systems analysis package using the facilities developed under the first two goals. A software interface (supervisor) to support and control a variety of interactive subsystem modules is described. The supervisor operates under the constraints of a large multiprogramming variable task operating system as opposed to a time sharing system. The supervisor not only eliminates the manual scheduling of interactive jobs, but also provides interactive users with a powerful dynamic linking mechanism. The supervisor permits the access of disk stored interactive modules in a random fashion. A methodology for developing interactive subsystems is presented. The problems of communicating between different high level languages are investigated and solutions are presented. In particular, a problem oriented language, interactive translator, is implemented using PL/1. The graphics service routines for this translator are coded in FORTRAN and ASSEMBLER languages. The techniques for adding graphics routines to existing programs, especially simulation languages, are formalized. A computer aided design program to assist in the initial phases of linear systems design is described. This program, developed for use at an on-line graphics terminal, allows the designer to describe a linear system in standard control engineering terms, and experiment with design alternatives during initial creative design phases --Abstract, pages ii-iii

Per Aspera ad Astra: On the Way to Parallel Processing

Computational Science and Engineering is being established as a third category of scientific methodology; this innovative discipline supports and supplements the traditional categories: theory and experiment, in order to solve the problems arising from complex systems challenging science and technology. While the successes of the past two decades in scientific computing have been achieved essentially by the technical breakthrough of the vector-supercomputers, today the discussion about the future of supercomputing is focussed on massively parallel computers. The discrepancy, however, between peak performance and sustained performance achievable with algorithmic kernels, software packages, and real applications is still disappointingly high. An important issue are programming models. While Message Passing on parallel computers with distributed memory is the only efficient programming paradigm available today, from a user's point of view it is hard to imagine that this programming model, rather than Shared Virtual Memory, will be capable to serve as the central basis in order to bring computing on massively parallel systems from a sheer computer science trend to the technological breakthrough needed to deal with the large applications of the future; this is especially true for commercial applications where explicit programming the data communication via Message Passing may turn out to be a huge software-technological barrier which nobody might be willing to surmount.KFA Jülich is one of the largest big-science research centres in Europe; its scientific and engineering activities are ranging from fundamental research to applied science and technology. KFA's Central Institute for Applied Mathematics (ZAM) is running the large-scale computing facilities and network systems at KFA and is providing communication services, general-purpose and supercomputer capacity also to the HLRZ ("Höchstleistungsrechenzentrum") established in 1987 in order to further enhance and promote computational science in Germany. Thus, at KFA - and in particular enforced by ZAM - supercomputing has received high priority since more than ten years. What particle accelerators mean to experimental physics, supercomputers mean to Computational Science and Engineering: Supercomputers are the accelerators of theory