Abstract
In this paper we propose a knowledge-based approach for solving data dependence testing and loop scheduling problems. A rule-based system, called the K test, is developed by repertory grid and attribute ording table to construct the knowledge base. The K test chooses an appropriate testing algorithm according to some features of the input program by using knowledge-based techniques, and then applies the resulting test to detect data dependences for loop parallelization. Another rule-based system, called the KPLS, is also proposed to be able to choose an appropriate scheduling by inferring some features of loops and assign parallel loops on multiprocessors for achieving high speedup. The experimental results show that the graceful speedup obtained by our compiler is obvious.
This work was supported in part by National Science Council of Republic of China under Grants No. NSC83-0408-E-009-034 and NSC84-2213-E-009-090.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
U. Banerjee, Dependence Analysis for Supercomputing, Norwell, Kluwer Academic Publishers, MA, 1988.
U. Banerjee, R. Eigenmann, A. Nicolau, and D. A. Padua, “Automatic program parallelization,” Proc. IEEE, 81(2):211–243, Feb. 1993.
B. M. Chapman and H. M. Herbeck, “Knowledge-based parallelization for distributed memory systems,” Parallel Computing, in Proc. of the First International ACPC Conference, vol. 591, pp. 77–89, Springer-Verlag, Salzburg, Austria, 1991.
J. C. Giarratano and G. Riley, Expert Systems: Principles and Programming, PWS-Kent Publishing Company, Boston, 1993.
G. Goff, K. Kennedy, and C. W. Tseng, “Practical dependence testing,” in Proc. of the ACM SIGPLAN '91 Conf. on Programming Language Design and Implementation, Toronto, Canada, pp. 15–29, June 1991.
M. C. Hsiao, S. S. Tseng, C. T. Yang, and C. S. Chen, “Implementation of a portable parallelizing compiler with loop partition,” in Proc. 1994 ICPADS, Hsinchu, Taiwan, R.O.C. pp. 333–338, Dec. 1994.
S. F. Hummel, E. Schonberg, and L. E. Flynn, “Factoring: A method for scheduling parallel loops,” Commun. ACM, 35(8):90–101, Aug. 1992.
G. J. Hwang and S. S. Tseng, “EMCUD: A knowledge acquisition nethod which captures embedded meanings under uncertainty,” Int. J. Man-Machine Studies., vol. 33, pp. 431–451, 1990.
G. A. Kelly, The Psychology of Personal Constructs, vol. 1, New York, NY: W. W. Norton, 1955.
X. Kong, D. Klappholz, and K. Psarris, “The i test: An improved dependence test for automatic parallelization and vectorization,” IEEE Trans. Parallel Distrib. Syst., 2(3):342–349, July 1991.
Z. Li, P. C. Yew, and C. Q. Zhu, “An efficient data dependence analysis for parallelizing compilers,” IEEE Trans. Parallel Distrib. Syst., 1(1):26–34, Jan. 1990.
D. E. Maydan, J. L. Hennessy, and M. S. Lam, “Efficient and exact data dependence analysis,” in Proc. of the ACM SIGPLAN '91 Conf. on Programming Language Design and Implementation, Toronto, Canada, pp. 1–14, June 1991.
C. D. Polychronopoulos and D. J. Kuck, “Guided self-scheduling: A practical self-scheduling scheme for parallel supercomputers,” IEEE Trans. Comput., 36(12):1425–1439, Dec. 1987.
C. D. Polychronopoulos, Parallel Programming and Compilers, Kluwer Academic Publishers, MA, 1988.
W. Pugh, “A practical algorithm for exact array dependence analysis,” Commun. ACM, 35(8):102–114, Aug. 1992.
W. C. Shih, C. T. Yang, and S. S. Tseng, “Knowelwdge-based data dependence testing on loops,” in Proc. 1994 Int. Computer Symposium, Hsinchu, Taiwan, R.O.C. pp. 961–966, Dec. 1994.
T. H. Tzen and L. M. Ni, “Trapezoid self-scheduling: A practical scheduling scheme for parallel compilers,” IEEE Trans. Parallel Distrib. Syst., 4(1):87–98, Jan. 1993.
M. Wolfe, Optimizing Supercompilers for Supercomputers. Pitman Publishing Co. London, and MIT Press, MA, 1989.
M. Wolfe and C. W. Tseng, “The power test for data dependence,” IEEE Trans. Parallel Distrib. Syst., 3(5):591–601, Sep. 1992.
C. T. Yang, S. S. Tseng, and C. S. Chen, “The anatomy of parafrase-2,” Proceedings of the National Science Council Republic of China (Part A), 18(5):450–462, Sep. 1994.
H. P. Zima and B. Chapman, Supercompilers for Parallel and Vector Computers, Addison-Wesley Publishing, New York, ACM Press, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, CT., Tseng, SS., Chuang, CD., Shih, WC. (1995). Using knowledge-based techniques for parallelization on parallelizing compilers. In: Haridi, S., Ali, K., Magnusson, P. (eds) EURO-PAR '95 Parallel Processing. Euro-Par 1995. Lecture Notes in Computer Science, vol 966. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020482
Download citation
DOI: https://doi.org/10.1007/BFb0020482
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60247-7
Online ISBN: 978-3-540-44769-6
eBook Packages: Springer Book Archive