摘要:

AbstractPRESTO is a programming system for writing object‐oriented parallel programs in a multiprocessor environment. PRESTO provides the programmer with a set of pre‐defined object types that simplify the construction of parallel programs. Examples of PRESTO objects are threads, which provide fine‐grained control over a program's execution, and synchronization objects, which allow simultaneously executing threads to co‐ordinate their activities.The goals of PRESTO are to provide a programming environment that makes it easy to express concurrent algorithms, to do so efficiently, and to do so in a manner that invites extensions and modifications. The first two goals, which are the focus of this paper, allow a programmer to use parallelism in a way that is naturally suited to the problem at hand, rather than being constrained by the limitations of a particular underlying kernel or hardware architecture. The third goal is touched upon but not emphasized in this paper.PRESTO is written in C++; it currently runs on the Sequent shared‐memory multiprocessor on top of the Dynix operating system. In this paper we describe the system model, its applicability to parallel programming, experiences with the initial implementation, and some early performance mea

ISSN:0038-0644    

DOI:10.1002/spe.4380180802

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractDOSE is unique among structure editor generatiors in its interpretive approach. This approach leads to very fast turn‐around time for changes and provides multi‐language facilities for no aditional effort or cost. This article compares the interpretive approach to the compilation approach of other structure editor generators. It describes some of the design and implementation decisions made and remade durign this project and the lessons learned. It emphasizes the advantages and disadvantages of DOSE with respect to other structure editing syst

ISSN:0038-0644    

DOI:10.1002/spe.4380180803

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractRequirements analysis has been recognized as one of the most critical and difficult tasks in software engineering. The need for tool support is essential. This paper reports some work done to provide such support for interpretation and validation of requirements specifications by animation.TheAnimatorprovides facilities for the selection and execution of a transaction to reflect the specified behaviour of a particular scenario specified in the requirements specification. Actions are described in terms of input‐output mappings and or functions with pattern matching. Simple rules can be specified to control the triggering of actions. In addition, facilities are provided to replay and interact with transactions. User interaction during animation includes the ability to change data values or role play selected actions as desired. A full graphical interface is supported.The approach has been tested by the provision of an Animator for the requirements analysis method CORE and an associated ‘Analyst Workstation’. Animation has been tested on a number of small examples and a major case study. This paper describes the Animator, justifies the approach taken and discusses experience and future

ISSN:0038-0644    

DOI:10.1002/spe.4380180804

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractAlthough the inline expansion of subprograms has often been cited as a method for improving a program's execution time, few available compilers perform the operation, and fewer still perform it without requiring explicit direction from the programmer. The authors have written a tool called INLINER, which is a source‐to‐source filter that automatically performs inline expansion of C functions in a module. With this tool, the effect of inlining was investigated using a set of programs on several machines. The authors' findings are presented, including an instance (unrelated to the size of the inlined executable) in which inlining can diminish a program's performance, and evidence that the size of the inlined executable does not, in practice, prove to cause probl

ISSN:0038-0644    

DOI:10.1002/spe.4380180805

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

摘要:

AbstractAconversation‐based message system groups related messages into conversations and orders messages within conversations according to thecontextin which they were submitted. This paper describes the implementation of a comprehensive conversation‐based message system, called Dragonmail, that extends an earlier prototype in two ways. First, it integrates conversations with conventional memo‐based mail in a way that preserves the semantics of the conversation abstraction. Secondly, it provides for the distribution of software components across multiple hosts to support remote inter

ISSN:0038-0644    

DOI:10.1002/spe.4380180806

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380180809

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY

ISSN:0038-0644    

DOI:10.1002/spe.4380180801

出版商:John Wiley&Sons, Ltd.    

年代:1988

数据来源: WILEY