On the 0x41D day of Apache Harmony Ian Rogers wrote: > Egor Pasko wrote: > > On the 0x41C day of Apache Harmony Okonechnikov Konstantin wrote: > > > >> Continue working on removing SCE. Have some questions: > >> What are "tau operations"? What does "tau prefix" mean? > >> And what about those nasty > >> warnings (necessary simplification) in genTauCheckNull etc? > >> > > > > Oh, yeah, this is a big story :)) Everybody asks me about it, and I > > often forget the tricky details, so, referring to some explanations > > back in time sounds reasonable to me. > > > > Tau operations sound similar to guarded operations: > http://www.research.ibm.com/jalapeno/publication.html#paste99
I cannot find the definition of guarded operations in the article. The concept of Factored Control Flow Graph looks like anti-tau :) -- Egor Pasko
