Re: Exceptions and dataflow analysis

jeremy@sw.oz.au (Jeremy Fitzhardinge) writes:
|> Is there anything I've missed? How do people handle this?


Well, people working on instruction level parallelism have proposed
hardware extensions combined with compiler techniques to deal with
these proplems. E.g., read


http://www.complang.tuwien.ac.at:80/papers/ertl-krall94cc.ps.Z


@InProceedings{ertl-krall94cc,
    author = "M. Anton Ertl and Andreas Krall",
    title = "Delayed Exceptions --- Speculative Execution of
                                    Trapping Instructions",
    crossref = "cc94",
    pages = "158--171",
    abstract = "Superscalar processors, which execute basic blocks
                                    sequentially, cannot use much instruction level
                                    parallelism. Speculative execution has been proposed
                                    to execute basic blocks in parallel. A pure software
                                    approach suffers from low performance, because
                                    exception-generating instructions cannot be executed
                                    speculatively. We propose delayed exceptions, a
                                    combination of hardware and compiler extensions that
                                    can provide high performance and correct exception
                                    handling in compiler-based speculative execution.
                                    Delayed exceptions exploit the fact that exceptions
                                    are rare. The compiler assumes the typical case (no
                                    exceptions), schedules the code accordingly, and
                                    inserts run-time checks and fix-up code that ensure
                                    correct execution when exceptions do happen."
}


@Proceedings{cc94,
    title = "Compiler Construction (CC '94)",
    booktitle = "Compiler Construction (CC '94)",
    year = "1994",
    key = "CC '94",
    publisher = "Springer LNCS~786",
    address = "Edinburgh",
    month = "April",
}


- anton
--
M. Anton Ertl
anton@mips.complang.tuwien.ac.at
http://www.complang.tuwien.ac.at/anton/home.html
--

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