Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-09-26
2011-11-08
Dao, Thuy (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S154000, C717S156000
Reexamination Certificate
active
08056065
ABSTRACT:
Mechanisms for stable transitions in the presence of conditionals for an advanced dual-representation polyhedral loop transformation framework are provided. The mechanisms of the illustrative embodiments address the weaknesses of the known polyhedral loop transformation based approaches by providing mechanisms for performing code generation transformations on individual statement instances in an intermediate representation generated by the polyhedral loop transformation optimization of the source code. These code generation transformations have the important property that they do not change program order of the statements in the intermediate representation. This property allows the result of the code generation transformations to be provided back to the polyhedral loop transformation mechanisms in a program statement view, via a new re-entrance path of the illustrative embodiments, for additional optimization. In addition, mechanisms are provided for ensuring code stabilization in the presence of conditions such that code bloat is not encountered during re-entrance.
REFERENCES:
patent: 4802091 (1989-01-01), Cocke et al.
patent: 5287510 (1994-02-01), Hall et al.
patent: 5293631 (1994-03-01), Rau et al.
patent: 5808915 (1998-09-01), Troyanovsky
patent: 5881291 (1999-03-01), Piazza
patent: 5946484 (1999-08-01), Brandes
patent: 5999737 (1999-12-01), Srivastava
patent: 6026240 (2000-02-01), Subramanian
patent: 6038398 (2000-03-01), Schooler
patent: 6058266 (2000-05-01), Megiddo et al.
patent: 6064819 (2000-05-01), Franssen et al.
patent: 6078745 (2000-06-01), De Greef et al.
patent: 6226790 (2001-05-01), Wolf et al.
patent: 6247173 (2001-06-01), Subrahmanyam
patent: 6253373 (2001-06-01), Peri
patent: 6286135 (2001-09-01), Santhanam
patent: 6357041 (2002-03-01), Pingali et al.
patent: 6367071 (2002-04-01), Cao et al.
patent: 6427234 (2002-07-01), Chambers et al.
patent: 6588009 (2003-07-01), Guffens et al.
patent: 6651246 (2003-11-01), Archambault et al.
patent: 6654952 (2003-11-01), Nair et al.
patent: 6745384 (2004-06-01), Biggerstaff
patent: 6772415 (2004-08-01), Danckaert et al.
patent: 6948160 (2005-09-01), Click et al.
patent: 6952821 (2005-10-01), Schreiber
patent: 7107199 (2006-09-01), Schreiber et al.
patent: 7254679 (2007-08-01), Richter et al.
patent: 7484079 (2009-01-01), Gupta et al.
patent: 2001/0032332 (2001-10-01), Ward et al.
patent: 2004/0003386 (2004-01-01), Tal
patent: 2004/0068718 (2004-04-01), Cronquist et al.
patent: 2005/0273770 (2005-12-01), Eichenberger et al.
patent: 2007/0174829 (2007-07-01), Brockmeyer et al.
patent: 2008/0263530 (2008-10-01), Rahavan et al.
patent: 2009/0083702 (2009-03-01), Eichenberger et al.
patent: 2009/0083724 (2009-03-01), Eichenberger et al.
patent: 2009/0307673 (2009-12-01), Eichenberger et al.
“Optimizing memory usage in the polyhedral model”, Quillere et al., Sep. 2000, pp. 773-815, <http://delivery.acm.org/10.1145/370000/365152/p773-quillere.pdf>.
“Improving memory energy using access pattern classification”, Kandemir et al., Nov. 2001, pp. 201-206, <http://delivery.acm.org/10.1145/610000/603136/p201-kandemir.pdf>.
U.S. Appl. No. 11/861,449, filed Sep. 26, 2007, Eichenberger et al.
U.S. Appl. No. 11/861,493, filed Sep. 26, 2007, Eichenberger et al.
U.S. Appl. No. 11/861,503, filed Sep. 26, 2007, Eichenberger et al.
U.S. Appl. No. 11/861,449, Image File Wrapper printed Apr. 14, 2011, 1 page.
U.S. Appl. No. 11/861,493, Image File Wrapper printed Apr. 14, 2011, 1 page.
U.S. Appl. No. 11/861,503, Image File Wrapper printed Apr. 14, 2011, 1 page.
Bastoul, Cedric, “Code Generation in the Polyhedral Model is Easier than You Think”, PACT'13 IEEE International Conference on Parallel Architecture and Compilation Techniques, Juan-les-Pins, Sep. 2004, pp. 7-16.
Bastoul, Cedric et al., “Putting Polyhedral Loop Transformations to Work”, Workshop on Languages and Compilers for Parallel Computing (LCPC'03), LNCS, Springer-Verlag, College Station, Texas, Oct. 2003, pp. 23-30.
Devos, Harold et al., “Hardware Generation from the Polyhedral Model”, http://escher.elis.ugent.be/publ/Edocs/DOC/P106—165.pdf, 4 pages, 2008.
Girbal, Sylvain et al., “Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies”, International Journal of Parallel Programming, vol. 34, No. 3, Jun. 2006, pp. 261-317.
Quillere, Fabien et al., “Generation of Efficient Nested Loops from Polyhedra”, International Journal of Parallel Programming, Oct. 2000, 30 pages.
Vasilache, Nicolas et al., “Polyhedral Code Generation in the Real World”, INRIA, 2006, available at http://hal.inria.fr/inria-00001106/en/, 15 pages.
Vasilache, Nicolas, “Scalable Program Optimization Techniques in the Polyhedral Model”, Thesis for Doctor of Philosophy, To Be Defended Sep. 28, 2007, Universite de Paris-SUD, U.F.R. Scientifique d'Orsay, Inria Futurs, 216 pages, published 2007.
Notice of Allowance mailed Jul. 22, 2011 for U.S. Appl. No. 11/861,449; 20 pages.
Office Action mailed May 10, 2011 for U.S. Appl. No. 11/861,493; 16 pages.
Response to Office Action filed with the USPTO on Jun. 29, 2011 for U.S. Appl. No. 11/861,503, 26 pages.
Response to Office Action filed with the USPTO on Aug. 10, 2011 for U.S. Appl. No. 11/861,493, 26 pages.
Eichenberger Alexandre E.
O'Brien John K. P.
O'Brien Kathryn M.
Vasilache Nicolas T.
Dao Thuy
International Business Machines - Corporation
Talpis Matthew B.
Walder, Jr. Stephen J.
LandOfFree
Stable transitions in the presence of conditionals for an... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Stable transitions in the presence of conditionals for an..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stable transitions in the presence of conditionals for an... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4305230