InfoQ

InfoQ

News

My Bookmarks

Login or Register to enable bookmarks for unlimited time.

The content has been bookmarked!

There was an error bookmarking this content! Please retry.

Catching up with Phoenix

Posted by James Vastbinder on Aug 19, 2007

Sections
Development,
Architecture & Design
Topics
.NET ,
.NET Framework ,
Research
Tags
C++ ,
CLR ,
Phoenix ,
Code Generation ,
C#

Phoenix started in Microsoft Research as a project for building compilers and code analysis tools.  First released as a research development kit to educational institutions it is now being readied to be released to the community at large.  Back in February of this year Sarah Derstadt, a Program Manager at Microsoft, announced Phoenix as a Commercial Development Kit:

Use of Phoenix within the industry is still very restricted to internal research.  Over the next 6 months, the Phoenix team will be transitioning from the RDK/CDK release to our SDK.  This SDK will be available through a Beta program up until we ship with a future version of Visual Studio.

Kang Su provides a brief history of Phoenix:

Several years ago the Visual C++ was cranking out compiler backends, much as we do today, but there was a growing concern about the cost of retargeting the backend to generate code for new platforms (such as Itanium and the CLR, POWER, ARM, and later x64).  Doing this retargeting was a painful process, and a small group in the VC team decided that it would be worth creating a new backend infrastructure that would allow rapid retargeting to different platforms.

On how the VC++ team and MSR team connected Kang Su continues:

On the other side of the galaxy in Microsoft Research (MSR), they were doing some of the worlds most advanced binary rewriting and static analysis research.  This took place in different groups with largely overlapping functionality, yet no sharing of code.  When MSR got a whiff of this new project in Visual C++ land they were intrigued.   Eventually, Visual C++, MSR, and the CLR  teams decided they should join forces to create a new project which not only would be a rapid retargeting backend, but a new platform for doing program transformation and analysis.

And on the intended result of their joint work he concludes:

Additionally, the teams agreed Phoenix should be the code generation platform for all of Microsoft.

In July, Microsoft released a pre-release version of the SDK on Connect.  Phoenix provides a wide variety of building blocks for implementing a common intermediate representation such as:

  • block analysis
  • memory tracing
  • code coverage
  • fault injection
  • run-time profiling and feedback
  • ahead-of-time compilers
  • just-in-time compilers
  • code optimization
    • whole program
    • post-link
    • runtime

Microsoft intends to move from their current list of over 25 code generators to a single platform based on Phoneix.  What further makes Phoenix potentially groundbreaking is the introduction of transparency into the compiler and code generation process.  Thus, breaking the traditional model where the compiler is a black box.

Rumors by Greg Young Posted
  1. Back to top

    Rumors

    by Greg Young

    It is rumored that 4.0 will involve a move of the .NET JIT to use the Phoenix back-end

Educational Content

New-age Transactional Systems - Not Your Grandpa's OLTP

John Hugg discusses high volume transaction processing applications with high and low frequency profiles, and how VoltDB can be used for that purpose.

Cool Code

Kevlin Henney examines code samples to see what can be learned from them starting from the premise that one won’t write great code unless he knows how to read it.

Collaboration: At the Extremities of Extreme

Jason Ayers share the observations he made watching a team of developers collaborating in real time on the same code base, pushing XP, pair programming and continuous integration to their extremes.

Yesod Web Framework

Michael Snoyman presents Yesod, a web framework written in Haskell and containing a web server, templating, ORM, libraries (templating, gravatar, etc.).

Transactions without Transactions

Richard Kreuter and Kyle Banker on how to avoid classical RDBMS transactional systems by using compensation mechanisms, transactional messaging or transactional procedures.

Attila Szegedi on JVM and GC Performance Tuning at Twitter

Attila Szegedi talks about performance tuning Java and Scala programs at Twitter: how to approach GC problems, the importance of asynchronous I/O, when to use MySQL/Cassandra/Redis, and much more.

10 tips on how to prevent business value risk

One category of risk that project teams need to ensure they address is business value failure – delivering a product that fails to provide value for the business investor.

Interview: Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives

InfoQ spoke to the authors of Software Systems Architecture on a couple of new topics, the System Context viewpoint and Agile, which have been added to the second edition.