{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/20688"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/20688","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Intraprocedural and interprocedural data dependence analysis for parallel computing","abstract":"Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:45:35Z Item is restricted indefinitely.","abstract_html":"Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:45:35Z Item is restricted indefinitely.","abstract_has_math":false,"creators":["Li, Zhiyuan"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Yew, Pen-Chung"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011-05-07T12:46:24Z","date_published":"2011-05-07T12:46:24Z","updated_at":"2026-07-22T22:25:16Z","subjects":["Computer Science"],"languages":["eng"],"rights":["Copyright 1989 Li, Zhiyuan"],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9010932","(UMI)AAI9010932"],"render_values":[{"text":"AAI9010932","href":null,"code":true},{"text":"(UMI)AAI9010932","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/20688","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Yew, Pen-Chung"]},{"key":"dc:creator","label":"Author","values":["Li, Zhiyuan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2011-05-07T12:46:24Z","10000-01-01","1989"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 1989 Li, Zhiyuan"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["AAI9010932","(UMI)AAI9010932","http://hdl.handle.net/2142/20688"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:45:35Z Item is restricted indefinitely.","A parallelizing compiler relies on data dependence analysis to detect independent operations in a user's program. In scientific and engineering programs, it is important for the compiler to analyze data dependences involving array references. This dissertation addresses a few fundamental issues in such an analysis.","The first part of the dissertation discusses algorithms for data dependence tests. A real-valued algorithm ($\\lambda$-test) is proposed for testing dependences between multi-dimensional array references, since previous algorithms are either too time-consuming or too imprecise. Algorithms for an unconstrained integer test and an exact integer test are also presented for some common classes of array references. In order to evaluate the complexity of array references and data dependences in real programs, an empirical study was conducted, and some of its results are presented.","The second part of the dissertation is devoted to interprocedural analysis for parallel computing. The key to successful parallelization of programs which contain procedure calls is an efficient and accurate interprocedural data dependence analysis. A scheme, called the atom image scheme, is proposed for this analysis. Unlike previous approaches, the atom image scheme preserves precise array reference details while allowing recursive calls to be analyzed. Further, its precise form for representing the subscript details allows flexibility in selecting various data dependence test algorithms, depending on their usage. Such flexibility is important to the accuracy and efficiency of data dependence analysis.","Made available in DSpace on 2011-05-07T12:46:24Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9010932.pdf: 5328538 bytes, checksum: d1d5f7cfc3ae3b4b72ceb8becc358280 (MD5) Previous issue date: 1989","Restriction data tranferred 2014-07-01T11:20:12-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"]},{"key":"dc:title","label":"Title","values":["Intraprocedural and interprocedural data dependence analysis for parallel computing"]}]}],"canonical_facts":{"dc:contributor":["Yew, Pen-Chung"],"dc:creator":["Li, Zhiyuan"],"dc:date":["2011-05-07T12:46:24Z","10000-01-01","1989"],"dc:description":["Item marked as restricted to the 'UIUC Users [automated]' Group (id=2) by Howard Ding (hding2@illinois.edu) on 2011-05-07T14:45:35Z Item is restricted indefinitely.","A parallelizing compiler relies on data dependence analysis to detect independent operations in a user's program. In scientific and engineering programs, it is important for the compiler to analyze data dependences involving array references. This dissertation addresses a few fundamental issues in such an analysis.","The first part of the dissertation discusses algorithms for data dependence tests. A real-valued algorithm ($\\lambda$-test) is proposed for testing dependences between multi-dimensional array references, since previous algorithms are either too time-consuming or too imprecise. Algorithms for an unconstrained integer test and an exact integer test are also presented for some common classes of array references. In order to evaluate the complexity of array references and data dependences in real programs, an empirical study was conducted, and some of its results are presented.","The second part of the dissertation is devoted to interprocedural analysis for parallel computing. The key to successful parallelization of programs which contain procedure calls is an efficient and accurate interprocedural data dependence analysis. A scheme, called the atom image scheme, is proposed for this analysis. Unlike previous approaches, the atom image scheme preserves precise array reference details while allowing recursive calls to be analyzed. Further, its precise form for representing the subscript details allows flexibility in selecting various data dependence test algorithms, depending on their usage. Such flexibility is important to the accuracy and efficiency of data dependence analysis.","Made available in DSpace on 2011-05-07T12:46:24Z (GMT). No. of bitstreams: 2 license.txt: 4922 bytes, checksum: 910b249b4beec47e7ab768910c8f966f (MD5) 9010932.pdf: 5328538 bytes, checksum: d1d5f7cfc3ae3b4b72ceb8becc358280 (MD5) Previous issue date: 1989","Restriction data tranferred 2014-07-01T11:20:12-05:00 Original Data Group with Access UIUC Users [automated] Release Date: none Reason: ETDs are only available to UIUC Users without author permission","ETDs are only available to UIUC Users without author permission","U of I Only"],"dc:identifier":["AAI9010932","(UMI)AAI9010932","http://hdl.handle.net/2142/20688"],"dc:language":["eng"],"dc:rights":["Copyright 1989 Li, Zhiyuan"],"dc:subject":["Computer Science"],"dc:title":["Intraprocedural and interprocedural data dependence analysis for parallel computing"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:16Z"}