|
ABSTRACT
It is shown that arithmetic expressions with n ≥ 1 variables and constants; operations of addition, multiplication, and division; and any depth of parenthesis nesting can be evaluated in time 4 log2n + 10(n - 1)/p using p ≥ 1 processors which can independently perform arithmetic operations in unit time. This bound is within a constant factor of the best possible. A sharper result is given for expressions without the division operation, and the question of numerical stability is discussed.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
BAER, J. L., AND BOVET, D. P. Compilation of arithmetic expressions for parallel computations. Proc. IFIP Congr. 1968, North-Holland Pub. Co., Amsterdam, pp. 340-346.
|
 |
2
|
|
| |
3
|
BRENT, R. P. On the addition of binary numbers. IEEE Trans. Comp. C-I9 (Aug. 1970), 758-759.
|
| |
4
|
BRENT, R. P. The parallel evaluation of arithmetic expressions in logarithmic time. Proc. Symposium on Complexity of Sequential and Parallel Numerical Algorithms (Carnegie-Mellon U., Pittsburgh, Pa., May 1973), Academic Press, New York, 1973, pp. 83-102.
|
| |
5
|
BRENT, R. P., KUCK, D. J., AND MARUYAMA, g. M. The parallel evaluation of arithmetic expressions without division. IEEE Trans. Comput. C-22 (May 1973), 532-534.
|
| |
6
|
HOBBS, L. C. (Ed.) Parallel processor systems, technologies and applications. Spartan Books, New York, 1970.
|
| |
7
|
KNUTH, D.E. An empirical study of FORTRAN programs. Software i (April 1971), 105-133.
|
| |
8
|
KoGo~, P.M. Parallel algorithms for the efficient solution of recurrence problems; the numerical stability of parallel algorithms for solving recurrence problems; and minimal parallelism in the solution of recurrence problems. Stanford Electronics Lab. Reps. 43-45, Sept. 1972.
|
| |
9
|
KOGGE, P. M., AND STON~, H. S. A parallel algorithm for the efficient solution of a general class of recurrence equations. Rep. CS-72-298, Comput. Sci. Dep., Stanford U., Stanford, Calif., March 1972.
|
| |
10
|
KVcK, D.J. Evaluating arithmetic expressions of natomsand k divisions in a(log2n ~- 2 log2k) ~- c steps. Manuscript, March 1973.
|
| |
11
|
KUCK, D.J. Parallelism in ordinary programs. Proc. Symposium on Complexity of Sequential and Parallel Numerical Algorithms (Carnegie-Mellon U., Pittsburgh, Pa., May 1973), Academic Press, New York, 1973, pp. 17-47.
|
| |
12
|
KucK, D. J., AND MARUYAMA, K. M. The parallel evaluation of. arithmetic expressions of special forms. Rep. RC 4276, IBM Res. Center, Yorktown Heights, N.Y., March 1973.
|
| |
13
|
KUCK, D. J., MURAOKA, Y., AND CHEN, S. On the number of operations simultaneously executable in FORTRAN-like programs and their resulting speedup. IEEE Trans. Comput. C-21 (Dec. 1972), 1293-1310.
|
| |
14
|
MARUYAMA, K.M. On the parallel evaluation of polynomials. IEEE Trans. Comput C-~2 (jan. 1973), 2-5.
|
| |
15
|
MARUYAMA, K.M. Upper bounds on the time required to evaluate arithmetic expressions. Rep. RC 4260, IBM Res. Center, Yorktown Heights, N. Y., March 1973.
|
| |
16
|
MARUYAMA, K.M. The parallel evaluation of matrix expressions. Rep. RC 4380, iBM Res. Center, Yorktown Heights, N. Y., June 1973.
|
| |
17
|
MILLER, W. C. Numerical heuristics in computer-aided roundoff analysis. Rep. RC 4332, IBM Res. Center, Yorktown Heights, N. Y., May 1973.
|
| |
18
|
'MIRASKER, W. L. A survey of parallelism in numerical analysis. SIAM Rev. 13 (Oct. 1971), 524-547.
|
| |
19
|
MUNRO, I., AND PATERSON, M. Optimal algorithms for parallel polynomial evaluation. Proc. IEEE 12th Annual Symposium on Switching and Automata Theory (Oct. 1971), pp. 132-139.
|
| |
20
|
MURAOKA, Y. Parallelism exposure and exploitation in programs. Rep. 424, Dep. of Comput. Sci., U. of Illinois at Urbana-Champaign, Feb. 1971.
|
CITED BY 112
|
|
|
|
|
|
|
Zia Iqbal , Miodrag Potkonjak , Sujit Dey , Alice Parker, Critical path minimization using retiming and algebraic speed-up, Proceedings of the 30th international conference on Design automation, p.573-577, June 14-18, 1993, Dallas, Texas, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Raja P. K. Banerjee , Vineet Goel , Amar Mukherjee, Efficient parallel evaluation of CSG tree using fixed number of processors, Proceedings on the second ACM symposium on Solid modeling and applications, p.137-146, May 19-21, 1993, Montreal, Quebec, Canada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
David J. Kolson , Alexandru Nicolau , Nikil Dutt, Integrating program transformations in the memory-based synthesis of image and video algorithms, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.27-30, November 06-10, 1994, San Jose, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
Kemal Ebcioğlu , Erik R. Altman , Michael Gschwind , Sumedh Sathaye, Optimizations and oracle parallelism with dynamic translation, Proceedings of the 32nd annual ACM/IEEE international symposium on Microarchitecture, p.284-295, November 16-18, 1999, Haifa, Israel
|
|
|
|
|
|
Andrei Z. Broder , Anna Karlin , Prabhakar Raghavan , Eli Upfal, On the parallel complexity of evaluating game trees, Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms, p.404-413, January 28-30, 1991, San Francisco, California, United States
|
|
|
|
|
|
|
|
|
|
Yishay Mansour , Noam Nisan , Uzi Vishkin, Trade-offs between communication throughput and parallel time, Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, p.372-381, May 23-25, 1994, Montreal, Quebec, Canada
|
|
|
|
|
|
|
|
Z. M. Kedem , K. V. Palem , A. Raghunathan , P. G. Spirakis, Combining tentative and definite executions for very fast dependable parallel computing, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.381-390, May 05-08, 1991, New Orleans, Louisiana, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robert D. Blumofe , Christopher F. Joerg , Bradley C. Kuszmaul , Charles E. Leiserson , Keith H. Randall , Yuli Zhou, Cilk: an efficient multithreaded runtime system, ACM SIGPLAN Notices, v.30 n.8, p.207-216, Aug. 1995
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Marek Chrobak , David Eppstein , Giuseppe F. Italiano , Moti Yung, Efficient sequential and parallel algorithms for computing recovery points in trees and paths, Proceedings of the second annual ACM-SIAM symposium on Discrete algorithms, p.158-167, January 28-30, 1991, San Francisco, California, United States
|
|
|
|
|
Z. M. Kedem , K. V. Palem , P. G. Spirakis, Efficient robust parallel computations, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.138-148, May 13-17, 1990, Baltimore, Maryland, United States
|
|
Anshul Gupta , Fred G. Gustavson , Mahesh Joshi , Sivan Toledo, The design, implementation, and evaluation of a symmetric banded linear solver for distributed-memory parallel computers, ACM Transactions on Mathematical Software (TOMS), v.24 n.1, p.74-101, March 1998
|
|
|
|
|
|
|
Z. M. Kedem , G. M. Landau , K. V. Palem, Optimal parallel suffix-prefix matching algorithm and applications, Proceedings of the first annual ACM symposium on Parallel algorithms and architectures, p.388-398, June 18-21, 1989, Santa Fe, New Mexico, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Eric Anderson , Dirk Beyer , Kamalika Chaudhuri , Terence Kelly , Norman Salazar , Cipriano Santos , Ram Swaminathan , Robert Tarjan , Janet Wiener , Yunhong Zhou, Value-maximizing deadline scheduling and its application to animation rendering, Proceedings of the seventeenth annual ACM symposium on Parallelism in algorithms and architectures, July 18-20, 2005, Las Vegas, Nevada, USA
|
|
|
|
|
|
|
|
|
|
Phillip B. Gibbons , Yossi Matias , Vijaya Ramachandran, Efficient low-contention parallel algorithms, Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures, p.236-247, June 27-29, 1994, Cape May, New Jersey, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Guy E. Blelloch , Phillip B. Gibbons , Yossi Matias, Provably efficient scheduling for languages with fine-grained parallelism, Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures, p.1-12, June 24-26, 1995, Santa Barbara, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
A. Aggarwal , D. Kravets , J. Park , S. Sen, Parallel searching in generalized Monge arrays with applications, Proceedings of the second annual ACM symposium on Parallel algorithms and architectures, p.259-268, July 02-06, 1990, Island of Crete, Greece
|
|
|
|
|
|
|
|
|
|
|
|
Kunal Agrawal , Yuxiong He , Wen Jing Hsu , Charles E. Leiserson, Adaptive scheduling with parallelism feedback, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, March 29-31, 2006, New York, New York, USA
|
|
|
|
|
|
|
|
Guy E. Blelloch , Rezaul A. Chowdhury , Phillip B. Gibbons , Vijaya Ramachandran , Shimin Chen , Michael Kozuch, Provably good multicore cache performance for divide-and-conquer algorithms, Proceedings of the nineteenth annual ACM-SIAM symposium on Discrete algorithms, p.501-510, January 20-22, 2008, San Francisco, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE Design Automation Conference on
Gwo-Dong Chen
, Daniel D. Gajski
|