摘要:

AbstractAn operating system supporting laboratory automation and interactive use of a computer has been designed and implemented for the multiprogrammed RC4000 computer. The emphasis in the design has been to give the user interactive access to as many system resources as possible, and to facilitate writing of process control programs in a high‐level language, i.e. ALGOL. The operating system is used to run control and data collection programs for a variety of experiments in physical chemistry. Laboratory automation programs can be started and removed dynamically, and may even be restarted automatically after a system failure. The operating system is a 1500 line ALGOL program. The first version was designed, implemented and debugged in about 4 person‐months. The operating system has been running day and night for approximately 5 years without errors despite heavy

ISSN:0038-0644    

DOI:10.1002/spe.4380091202

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY

摘要:

AbstractThe quality of code generated by two commercially available FORTRAN preprocessors is examined. These preprocessors augment FORTRAN with ‘structured’ control structures such as the IF‐THEN‐ELSE and WHILE statements. Two versions of benchmark programs were written and tested, one version produced by the preprocessor, the other, performing the same computation, produced by careful hand‐coding directly in FORTRAN. The code generated by the preprocessor and the code written directly in FORTRAN were then compiled. The resulting object modules were then compared for relative execution time and size. This experiment was repeated on three computers, and five compilers with various optimization levels. The results indicate that a substantial overhead in storage space may be paid by using a preprocessor rather than direct coding in FORTRAN, and that in some cases execution time may be increased somewhat by using a FORTRAN pre

ISSN:0038-0644    

DOI:10.1002/spe.4380091203

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY

摘要:

AbstractThe programming language Concurrent Pascal has been extended to include some language features that facilitate the writing of fault‐tolerant software. As a result, it is possible now to (1) write operating systems with a measure of fault‐tolerance, and (2) for such an operating system to support fault‐tolerant user programs. The paper describes these language features and illustrates their use with the help of a few working exa

ISSN:0038-0644    

DOI:10.1002/spe.4380091204

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY

摘要:

AbstractThe implementation of backward error recovery features requires the support of a run time subsystem (called the recovery system) that is responsible for performing the task of state restoration. The recovery system implemented to support the recovery features of Concurrent Pascal includes, for each process, a recovery cache for recording appropriate recovery data. This paper describes the details of the recovery system that was implemented as a part of the interpreter of Brinch Hansen's Concurrent Pascal system.

ISSN:0038-0644    

DOI:10.1002/spe.4380091205

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY

摘要:

AbstractDesigners and implementors of high‐level language translators can, with relatively little extra effort, greatly facilitate run‐time symbolic debugging. Practical suggestions are presented, based on experiences gained from interfacing several compilers with a run‐time debugging s

ISSN:0038-0644    

DOI:10.1002/spe.4380091206

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY

摘要:

AbstractThe formulation of concurrency and synchronization has been recognized as a matter of growing importance in system programming languages in order to achieve well‐structured, reliable and easy to understand system software such as operating systems. Unfortunately, only experimental languages, such as Concurrent Pascal or MODULA, contain adequate linguistic constructs for support of such concepts as processes and monitors. The compilers for those languages are available only on a few machines and are devoted primarily to education. In this paper a simple method of extending a PL/I‐like programming language by concurrency features is described which is based on the usage of an existing compiler. The method has proven to be a cost effective way of adopting recent research results in existing software engineering tools, thus avoiding the need of switching over to a completely new programming environm

ISSN:0038-0644    

DOI:10.1002/spe.4380091207

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380091208

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380091201

出版商:John Wiley&Sons, Ltd.    

年代:1979

数据来源: WILEY