2 research outputs found

    Practical techniques to augment dependence analysis in the presence of symbolic terms

    No full text
    Dependence analysis is an indispensable tool in the automatic vectorization and parallelization of sequential programs, but performing symbolic dependence analysis can be costly and may fail to resolve many unknown terms. In this thesis, we explore ways to overcome the problems symbolic terms create for dependence analysis. We investigate three approaches to enhancing code optimization in the presence of symbolic terms: run-time testing, inserting user assertions, and compiling the program together with its input. Breaking conditions are created by the dependence analyzer when the presence of symbolic terms make it impossible to prove or disprove independence. If a breaking condition is satisfied at run-time, then optimized code can be executed. We show that the use of breaking conditions was responsible for more than one-fifth of all dependences eliminated in our test suite. Index array assertions are user-inserted directives describing special properties of the index arrays used in a program. We show that such directives can eliminate additional dependences by providing information that cannot be obtained using dependence analysis. Partial evaluation can be used to inspect a program's input file and disseminate the actual values of symbolic variables before dependence analysis is done. We show that partial evaluation assists dependence analysis by reducing the number of unknown symbolic terms. Algorithms for these techniques, developed and implemented in a parallelizing compiler, are presented, along with the results of several empirical studies

    Transsexual Bodies at the Olympics: The International Olympic Committee's Policy on Transsexual Athletes at the 2004 Athens Summer Games

    No full text
    Sport exists on the premise that males and females are radically different. (Barnes, 2004) Thus sex gradually became an object of great suspicion; the general and disquieting meaning that pervades our conduct and our existence, in spite of ourselves; the point of weakness where evil portents reach through to us; the fragment of darkness that we each carry with us: a general signification, a universal secret, an omnipresent cause, a fear that never ends. (Foucault, 1978: 69) In May 2004 the International Olympic Committee (IOC) implemented a policy enabling transsexual athletes to compete at the summer Olympic Games in Athens. The IOC Medical Commission proposed that transsexual athletes who had Sex Reassignment Surgery (SRS) before puberty shall be admitted to compe-tition; that all other transsexuals must be post-operative (SRS including external genitalia and gonadectomy); must have legal and governmental recognition o