Re: Banerjee inequality

On Fri, 02 Nov 2007 11:32:01 +0200, Pertti Kellomdki <pertti.kellomaki@tut.fi> wrote:


>I am trying to wrap my head around the Banerjee inequality (a basis
>for a particular form of dependence testing in loops). While I
>understand the gross outline, I am trying to work out the details to
>convince myself. However, the proofs in Allen and Kennedy's Optimizing
>Compilers for Modern Architectures are given in such high level that I
>am having a hard time filling in some of the gaps.
>
>Does anyone know of sources where the proofs would be spelled
>out in more detail?


You might try:


David Klappholz, Kleanthis Psarris, and Xiangyun Kong, "On the perfect
accuracy of an approximate subscript analysis test", ACM SIGARCH
Computer Architecture News , Proceedings of the 4th international
conference on Supercomputing ICS '90, Volume 18 Issue 3b, June 1990.


or


Kleanthis Psarris, David Klappholz, and Xiangyun Kong, On the
Accuracy of the Banerjee Test, Journal of Parallel and Distributed
Computing, Special Issue on Shared Memory Multiprocessors, Vol. 12,
No. 2, June 1991.




ACM has the first paper. I haven't found the second one - it came up
in the bibliography of another paper on dependency analysis.


George

Return to the comp.compilers page.
Search the comp.compilers archives again.