CODE OPTIMIZATION OF STRAIGHT-LINE PROGRAMS FOR A DATA-FLOW MACHINE.

被引:0
|
作者
Kimura, Haruhiko
机构
来源
Systems, computers, controls | 1982年 / 13卷 / 05期
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The author discusses code optimization and presents an algorithm for conversion from straight-line programs for a data-flow machine consisting only of artihmetic instructions to an optimum code (i. e. , to an object program with minimum execution time). It is first assumed that the execution time of each operation depends on the value of the input data. Based on that assumption, a control unit for extracting instructions is proposed which dynamically determines the execution order of instructions to which combinational law is applicable. It is then examined whether or not the execution time can be decreased by eliminating common factors by distributive law. An algorithm is presented to determine the optimum code when algebraic law is applied. It is also shown that the computation time is O(n**2).
引用
收藏
页码:64 / 73
相关论文
共 50 条
  • [41] Integration of multivariate rational functions given by straight-line programs
    Matera, G
    APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, 1995, 948 : 347 - 364
  • [42] GREATEST COMMON DIVISORS OF POLYNOMIALS GIVEN BY STRAIGHT-LINE PROGRAMS
    KALTOFEN, E
    JOURNAL OF THE ACM, 1988, 35 (01) : 231 - 264
  • [43] IDENTIFICATION OF MAXIMAL PARALLELISM IN STRAIGHT-LINE MICRO-PROGRAMS
    DASGUPTA, S
    TARTAR, J
    IEEE TRANSACTIONS ON COMPUTERS, 1976, 25 (10) : 986 - 992
  • [44] Brief Announcement: Fence Insertion for Straight-line Programs is in P
    Lesani, Mohsen
    PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, : 97 - 99
  • [45] DATA-FLOW MACHINE ARCHITECTURE
    VEEN, AH
    COMPUTING SURVEYS, 1986, 18 (04) : 365 - 396
  • [46] Faster sparse multivariate polynomial interpolation of straight-line programs
    Arnold, Andrew
    Giesbrecht, Mark
    Roche, Daniel S.
    JOURNAL OF SYMBOLIC COMPUTATION, 2016, 75 : 4 - 24
  • [47] Functional programming concepts and straight-line programs in computer algebra
    Bruno, N
    Heintz, J
    Matera, G
    Wachenchauzer, R
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2002, 60 (06) : 423 - 473
  • [48] Data-flow testing of declarative programs
    Fischer, Sebastian
    Kuchen, Herbert
    ACM SIGPLAN NOTICES, 2008, 43 (09) : 201 - 212
  • [49] Data-flow analysis for MPI programs
    Strout, Michelle Mills
    Kreaseck, Barbara
    Hovland, Paul D.
    2006 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, PROCEEDINGS, 2006, : 175 - 184
  • [50] Data-Flow Testing of Declarative Programs
    Fischer, Sebastian
    Kuchen, Herbert
    ICFP'08: PROCEEDINGS OF THE 2008 SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2008, : 201 - 212