摘要:

AbstractThis paper presents the design of an operating system kernel offering protection, and using the object model as the design methodology. Rich communication facilities are provided between domains of protection allowing stimuli, data and objects to be passed. All object types, including protection domains, may be created and deleted dynamically, and some may be ‘sealed’ and employed as user‐defined objects by a type manager which alone can penetrate

ISSN:0038-0644    

DOI:10.1002/spe.4380181202

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractProgram generation software is increasingly being used, not only to assist non‐computer professionals to produce their own applications, but also to provide tools for programmers and designers. As part of the toolkit for an Ada dialogue development system, a program generator has been written in Ada to generate the package which codes the dialogue manager for a specified user interface. The input specifications and the method of generation are described. The advantages and disadvantages of Ada as the implementation, target and specification language are discusse

ISSN:0038-0644    

DOI:10.1002/spe.4380181203

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractTo implement single‐ended flexible arrays (‘elastic memory’) a class of underlying dynamic storage allocation methods called buddy systems may be used to allocate fixed blocks of memory of restricted choices of size. Arrays are implemented in one approach as contiguous blocks of memory and in another as two‐level structures. Each approach is combined with three buddy methods for allocating blocks of memory, making six methods in all. This paper illustrates the general ideas of implementing elastic memory mechanisms in terms of the buddy system in

ISSN:0038-0644    

DOI:10.1002/spe.4380181204

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractC++ and Concurrent C are both upward‐compatible supersets of C that provide data abstraction and parallel programming facilities, respectively. Although data abstraction facilities are important for writing concurrent programs, we did not provide data abstraction facilities in Concurrent C because we did not want to duplicate the C++ research effort. Instead, we decided that we would eventually integrate C++ and Concurrent C facilities to produce a language with both data abstraction and parallel programming facilities, namely, Concurrent C++. Data abstraction and parallel programming facilities are orthogonal. Despite this, the merger of Concurrent C and C++ raised several integration issues.In this paper, we will give introductions to C++ and Concurrent C, give two examples illustrating the advantages of using data abstraction facilities in concurrent programs, and discuss issues in integrating C++ and Concurrent C to produce Concurrent C+

ISSN:0038-0644    

DOI:10.1002/spe.4380181205

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractA system for analysing and debugging parallel Fortran codes is in use on the Sun workstation. The system is composed of a parallel processing simulatormtsim, a window‐ and mouse‐based debugging toolmtdbx, and a set of real‐time display routines. The simulatormtsim, which is called from Fortran by a set of routines having the same syntax as the CRAY X‐MP multitasking library, causes several concurrently active user tasks to be executed. The debuggermtdbxis based on the Sundbxtooldebugging facility. It has an enhanced command interface with functional control of parallel processes in multiple windows. The display routines offer two real‐time views of multitasking synchronization primitives as they are used during execution. These three components of the debugging system afford the opportunity to analyse the behaviour of parallel processes by dynamic interaction at

ISSN:0038-0644    

DOI:10.1002/spe.4380181206

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractLong expressions derived from stochastic situations such as communication networks can usually be simplified. Although this simplification can often be done algebraically, the resulting answer sometimes points to a simpler view of the process, and thence to an easy way of simplifying the expression. This communication does this in the setting of the above‐mentioned pape

ISSN:0038-0644    

DOI:10.1002/spe.4380181207

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380181208

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380181201

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY