摘要:

AbstractSUPERMAC‐Pascal is an implementation of the general‐purpose macro processor SUPERMAC. It allows the user to write macros using Pascal procedures and to compile these procedures using his normal Pascal compiler.This paper describes how the macro processor was adapted to fit Pascal, and how the apparently intractable problems of performing string processing in Pascal were tack

ISSN:0038-0644    

DOI:10.1002/spe.4380130402

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractThis paper describes, in an informal manner, the programming language ACTUS which was designed to facilitate programming array processing and vector processing ‘supercomputers’.ACTUS extends the program structuring and data structuring facilities of Pascal to the synchronous parallel environment as represented by array and vector processor architectures. A knowledge of Pascal is assumed and only the parallel features of ACTUS are descri

ISSN:0038-0644    

DOI:10.1002/spe.4380130403

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractThis paper describes the design and implementation of OPTIMA, a Portable optimizer for the PASCAL‐P4 compiler. The PASCAL‐P4 compiler generates code, called PCODE, for a hypothetical stack computer. The stack computer is easy to simulate or to emulate on a wide range of computer architectures. However, the code produced for it by PASCAL‐P4 is unoptimized and inefficient when emulated on conventional computers. OPTIMA improves the code which is produced by the compiler. It has three levels of optimization: PCODE transformations, TUPLE transformations and Code generation. Programs processed by the optimizer are substantially smaller and faster than before optimization. OPTIMA was implemented for the Weizmann Institute of Science GOLEM‐B c

ISSN:0038-0644    

DOI:10.1002/spe.4380130404

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractThis paper introduces a new methodology for building flexible and programmable multiprocessor systems. It is based on a distributed implementation of monitors which is supported by a system‐wide address relocation mechanism. This provides the dynamic reallocation of processes and monitors within the system.Methods of implementing the communications subsystem based on a number of common network architectures are presented.An algorithm which effects dynamic resource allocation is presented. Its effect is that groups of processes which are interacting through a monitor will tend to accumulate at various sites in the system in a manner reflecting the dynamic interaction patterns of the program. This is accomplished without there being any centralized control, or even knowledge of the overall program interactions.The feasibility of the system has been investigated using a model system running on a loosely connected dual processor syste

ISSN:0038-0644    

DOI:10.1002/spe.4380130405

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractVarious solutions to the problem of providing Pascal on low‐cost microcomputers have been proposed and implemented. The techniques used and structure of these systems are discussed. A quantitative analysis leads to suggestions of alternative solutions, which may involve significant changes in the typical compiler/interpreter architectur

ISSN:0038-0644    

DOI:10.1002/spe.4380130406

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

摘要:

AbstractDMERT (Duplex, Multi‐Environment, Real Time) is a real‐time operating system that supports reliable telecommunications applications. Although DMERT file systems are based on UNIXTMfile systems, which suffer robustness drawbacks, DMERT file systems do not suffer these drawbacks. The DMERT file manager uses synchronous writes and file system audits to manage crash resistant file systems. The performance penalty for this crash resistance is minimal. This note describes DMERT's crash resistance policy and shows how UNIX and UNIX‐like file systems can be made crash resistant without sacrificing perfor

ISSN:0038-0644    

DOI:10.1002/spe.4380130407

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380130401

出版商:John Wiley&Sons, Ltd.    

年代:1983

数据来源: WILEY