On Sat, Jan 31, 2009 at 5:01 AM, Sean Callanan <spy...@cs.sunysb.edu> wrote: > Dear mailing list: > > My research group (the High-Confidence Operating Systems group at Stony > Brook University; > home page http://www.fsl.cs.sunysb.edu/hcos/) continues to use a modified > branch of > Subversion GCC that hosts plug-ins written in C, C++, and (with a little > work) Python. > > We published a GCC Summit paper on this, called "Extending GCC with Modular > GIMPLE > Optimizations" (Callanan, Dean, and Zadok). We have developed a variety of > plug-ins, > including: > > - A GIMPLE virtual machine, developed by another team at the university, > - A generic run-time AOP architecture, currently in preparation, > - Bounds-checkers and execution tracers, > > and more. > > We are willing to contribute the effort necessary to integrate this system > into the current > main-line GCC, and feel that it is simple and general enough that many other > systems could > be built on top of it. > > We've been off the ML for some time, but we're still out there. Is this > something that is > wanted, or have we been overtaken by events and should be porting to someone > else's > implementation?
I would suggest that people that want their plugin machine included in GCC should start sending patches integrating the core infrastructure. The most useful feedback you will get from the review process, and the more groups start doing this the earlier we will see the needs of the different groups. Especially if you are targeting GCC 4.5 you should be aware that you probably have about half a year from now to finish integration. Thanks, Richard. > Sincerely, > Sean Callanan >
