EXAMPLE OF ADA TASKING.

被引:0
|
作者
Longo, Stephen A.
机构
来源
Journal of Pascal, Ada & Modula-2 | 1984年 / 3卷 / 03期
关键词
COMPUTER PROGRAMMING LANGUAGES - COMPUTER PROGRAMS - COMPUTER SYSTEMS; DIGITAL; -; Multiprocessing;
D O I
暂无
中图分类号
学科分类号
摘要
Three ways are discussed that use Ada programming language to calculate mathematical expressions when the term can be treated independently. For each of these methods (sequential, rendezvous and recursion) a program is written. If there is more than one processor, then the sequential method is not taking full advantage of the computer. Both rendezvous and recursion have an internal bookkeeping overhead. Depending on the problem, one method may be faster than another. Complete examples of each method are given with some modifications. The dimensionality of the array is used as a variable. The reason for this is to capture the effect of exceeding the number of processors in a multi-processor system. In this respect, the programs are designed for a system with four or less processors.
引用
收藏
页码:34 / 35
相关论文
共 50 条
  • [31] BENCHMARKING ADA TASKING ON TIGHTLY COUPLED MULTIPROCESSOR ARCHITECTURES
    COLLARD, P
    GOFORTH, A
    MARQUARDT, M
    AIAA COMPUTERS IN AEROSPACE VII CONFERENCE, PTS 1 AND 2: A COLLECTION OF PAPERS, 1989, : 485 - 492
  • [32] An application of Petri net reduction for Ada tasking deadlock analysis
    Shatz, SM
    Tu, SR
    Murata, T
    Duri, S
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1996, 7 (12) : 1307 - 1322
  • [33] Rationale for Ada 2012: 4 tasking and real-time
    Barnes, John
    Ada User Journal, 2012, 33 (03): : 178 - 186
  • [34] Implementing an application-defined scheduling framework for Ada tasking
    Aldea, M
    Miranda, J
    Harbour, MG
    RELIABLE SOFTWARE TECHNOLOGIES- ADA-EUROPE 2004, 2004, 3063 : 283 - 296
  • [35] A formal model of the Ada Ravenscar Tasking Profile; Protected objects
    Lundqvist, K
    Asplund, L
    Michell, S
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE' 99, 1999, 1622 : 12 - 25
  • [36] A formal model of the Ada Ravenscar Tasking Profile; Delay until
    Lundqvist, K
    Asplund, L
    ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE (SIGADA'99) - PROCEEDINGS, 1999, 19 (03): : 15 - 21
  • [37] DERIVATION OF PETRI NET MODELS OF ADA TASKING CONSTRUCTS INVOLVING TIME
    FONG, FW
    SHATZ, SM
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 24 - 31
  • [38] Symbolic data flow analysis for detecting deadlocks in Ada tasking programs
    Blieberger, J
    Burgstaller, B
    Scholz, B
    RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000, 2000, 1845 : 225 - 237
  • [39] A PETRI NET FRAMEWORK FOR AUTOMATED STATIC ANALYSIS OF ADA TASKING BEHAVIOR
    SHATZ, SM
    CHENG, WK
    JOURNAL OF SYSTEMS AND SOFTWARE, 1988, 8 (05) : 343 - 359
  • [40] Compositional Petri net models of advanced tasking in Ada-95
    Gedela, RK
    Shatz, SM
    Xu, HP
    COMPUTER LANGUAGES, 1999, 25 (02): : 55 - 87