Michał Cierniak

CGO 2007 and PPPJ 2006

michaljc — Wed, 05 Apr 2006 21:23:00 GMT

For those of you who have not updated your feeds to my new blog, I wanted to mention two conferences I am involved in. You can read more about them in these two posts:

Moving to a new blog

michaljc — Thu, 14 Apr 2005 11:56:00 GMT

I am moving my blog to my own site. In my personal blog I will not be writing much about computer technology (at least not for a while), so if you are looking for posts related to computers, virtual machines, Rotor or CLR, you will probably not find my new blog interesting. If anyone really wants to replace the old RSS feed with a new one, you can use my del.icio.us blog feeds: research and computers.

Other LIL languages

michaljc — Thu, 17 Mar 2005 18:16:00 GMT

My most recent post was about LIL (Low-level Intermediate Language). I realized recently that this is an obvious acronym to use in the context of a lightweight computer language and just for fun I searched the web for "LIL" in the context of terms related to computer science, languages, virtual machines etc. I probably didn't find all of the related instances but I created this short list of other projects also called LIL.

Execution Engine-independent JIT compilers

michaljc — Thu, 24 Feb 2005 03:55:00 GMT

I have recently put together a set of slides about LIL (Low-level Intermediate Language) and gave a talk at Microsoft. This work was done before I joined Microsoft: LIL was developed by the ORP (Open Runtime Platform) team at Intel. LIL was addressing multiple issues in the ORP design (papers referenced below can give you an idea) but the focus of this presentation was more narrow: how to improve the interface between the JIT (Just-In-Time compiler) and the rest of the VM. I'd like to point out that I use the terms VM (Virtual Machine) and EE (Execution Engine) interchangeably (see this post for a discussion of this terminology). Others have come up independently with somewhat similar ideas and I found quite a lot of interest in the LIL approach in conversations both inside and outside of Microsoft. For my current presentation I took some of the old LIL slides that I used in a talk I gave at ETH Zürich in 2003 and modified them to focus on the JIT/EE interface. This version of slides benefited from my conversations with many people in the last year, after the original LIL papers were published. I think that I owe most to my conversations with George Bosworth and to comments by Thorsten Brunklaus who worked on the SEAM VM (see below) and now is in the CLR team.

LIL is described at length in the VM'04 paper. The MPOOL'03 paper (pdf) presents some thoughts on how LIL could be used to abstract away the object model from the JIT. Full references to these two papers are available on my publications page.

The talk I just gave had the title "Execution Engine-independent JIT compilers" and the basic idea is that LIL enables a much better abstraction of the EE from a JIT's point of view then what is used in all known to me implementations of virtual machines for JVM and CLR/CLI. I made the full presentation available as a pdf file.

Here are references to the related work mentioned in the slides:

Bartok is a compiler developed by the Advanced Compiler Technology group at MSR
JikesRVM: http://www.ibm.com/developerworks/oss/jikesrvm
LLVM: http://llvm.cs.uiuc.edu
C--: http://www.cminusminus.org
SEAM: http://www.ps.uni-sb.de/seam (also, this discussion is an entertaining read if you want to see varied opinions on the subject)
PCR: http://portal.acm.org/citation.cfm?id=74862
Alan Kay's quote is from the ACM Queue article.

Secure CRT

michaljc — Mon, 03 Jan 2005 04:27:00 GMT

One of the cool new things we are doing in the security push is the conversion of all uses of potentially unsafe CRT (C Runtime) functions to their new, safe counterparts. When we think of unsafe CRT functions, we usually think of string manipulation functions and these functions are probably indeed responsible for most of the security bugs
(For a few examples of what can go wrong with the traditional string manipulation functions, read this post) but there are other improvements in the CRT libraries. As mentioned on MSDN the main categories of improvement in CRT are: parameter validation, sized buffers, null termination, enhanced error reporting, file system security, Windows security, and format string syntax checking.

Resources
For a great introduction to Secure CRT, read this article by Michael Howard. A list of secure CRT functions with short descriptions and links to longer articles is available in the Whidbey section of MSDN. Secure CRT is also mentioned by another blogger. A clever way of using templates to avoid typing the extra parameter when the compiler can deduce it itself is described here.

Rotor
Secure CRT functions are being discussed in the context of the ISO/IEC standard for C (in JTC1/SC22/WG14). You can read the submission and the Security TR Editor's Report online. However, since these functions have not been added to the C standard yet and we want to compile Rotor Whidbey on non-Windows platforms, we will include implementations of some of the secure CRT functions in the Rotor distribution. Our current plan is to include only as much as we need for Rotor, so this will not be a complete implementation.

CLR Security Push

michaljc — Mon, 03 Jan 2005 03:19:00 GMT

I have been recently coordinating much of the efforts on the CLR dev team related to the security push. The security push is a period of a few weeks for all groups involved in Whidbey to let us focus on making Whidbey more secure. There was recently a very good post by Mikhail Arkhipov outlining many of the efforts we are focusing on.

There are many people in the CLR team who are very experienced in security and they have all been working on guiding the effort but the involvement has not been restricted to them - most of the team was doing some work. The involvement of the whole team is what makes this effort a "push".

My work was mostly to know what issues we have to pay attention to; to know how to use new tools and new libraries or languages extensions; and to make general recommendations on some issues. I started to look into all these issues well before the push started and I was really glad that I did since during the security push I have been getting a lot of specific questions from various people and my earlier investigations meant that I either knew the answer or at least knew where to look or who to ask. As you can imagine, I also wrote a few documents for our team focusing on various issues, I set up a web page for the CLR devs with pointers to useful documents and with an FAQ section. I also gave a few presentations introducing new tools available to us. The presentations and documents written by me were mostly based on information already available from various sources. After all many people have been working on security at Microsoft for a while and there is a lot of knowledge to be mined within our company.

I will write later about some of the specific things that I have been looking at during the security push.

Pointers to my publications

michaljc — Sat, 18 Dec 2004 03:05:00 GMT

Often when I talk to people I mention something I did in the past and I want to refer them to a paper I published. Since I no longer had a research web page, whenever this happened last year, I had to look for the paper on my computer and send a pointer by email. I got finally tired of this and I created a web page which lists my most interesting publications. Now I will be able to simply say: look it up on my web page! I have also created a stub of a page describing my research interests but I've had no time yet to put any content there.

Singularity

michaljc — Sat, 18 Dec 2004 02:57:00 GMT

A very interesting Microsoft Research project called Singularity has recently acquired a public web page. This project is interesting for many reasons but the fact that it is written in MSIL is most relevant to what I usually write about in my blog.

MSN Spaces

michaljc — Fri, 03 Dec 2004 07:02:00 GMT

I have decided to try out the new blogging infastructure at MSN Spaces. I'm unlikely to maintain a personal blog but I set up a blog yesterday to try it out. It is a pretty nice site. I like the editing of your space that doesn't require writing any code.

Conference on Virtual Execution Environments (VEE'05)

michaljc — Thu, 02 Dec 2004 00:02:00 GMT

VEE is a new conference on execution environments (aka virtual machines). The conference is the result of merging the USENIX VM Symposium and the ACM SIGPLAN IVME Workshop. You can read more about it at the conference web site. Both the VM Symposium and the IVME Workshop were very interesting to me and I'm looking forward to the new conference that will take place in June 2005.

Open Source Courses for .NET

michaljc — Sun, 24 Oct 2004 02:05:00 GMT

Open source courses based on .NET are a great resource both for creating courses at other universities and for people who simply want to use the materials to learn something on their own about either .NET in general or Rotor. I know of two such courses available today from the University of Linz in Austria (Johannes Kepler Universität Linz):

Application Development with C# and .NET. I am posting this before I had time to fully explore the web site but apparently there are 700 slides worth of presentations (equivalent to 30 45-minute lectures, in German and English), 200 exercises with sample solutions, a larger case study and references to books that have been written for the course (books are also both in German and English).
Compiler Construction. Again, I haven’t actually read any of this yet but this seems to be a very cool compiler class with over 300 slides and a case study of a complete compiler for Z# (I’ve never heard of Z# and I assume that it must be a language of the level of complexity appropriate for a compiler class).

Other .NET-related materials are available on a companion web site.

CLR and JVM performance compared

michaljc — Wed, 20 Oct 2004 03:05:00 GMT

I wrote recently about Ben Zorn’s benchmarks. And now I’ve just found out about a web page with performance comparisons of JVM and CLR implementations: Kazuyuki Shudo who has been posting for many years performance comparisons of various JVMs has now added CLR and Mono for two of the benchmarks that have versions in both C# and Java. The complete set of benchmark results is at http://www.shudo.net/jit/perf but most benchmarks are Java only. If you’re interested in the CLR or Mono, look at Linpack and Eratosthenes Sieve. These results are for the existing version of the CLR (1.1) and hopefully our new version (2.0) will have an even better performance.

Workshop on the Future of Virtual Execution Environments

michaljc — Thu, 30 Sep 2004 00:31:00 GMT

I've been looking this week at presentation from the Workshop on the Future of Virtual Execution Environments hosted by IBM Research two weeks ago. Most of the presentations are online.

Reading through the slides you can get a good idea of what different people in the industry, academia and the open source community view as important issues in implementing virtual machines. The goals and the means of achieving them vary from one implementer to another. Most of the talks did not have much detail but they are a good starting point.

Dan Sugalski wrote a summary of the workshop and that was a good read too.

CGO 2005 and MRE 2005

michaljc — Fri, 27 Aug 2004 23:36:00 GMT

CGO stands for a rather long "2005 International Symposium on Code Generation and Optimization with special emphasis on feedback-directed and runtime optimization". The deadline for submitting papers is September 13, 2004.

As usually, CGO is co-located with the Managed Runtime Environments workshop. The deadline for submitting papers to MRE is January 7, 2005.

CGO and MRE will take place in March 2005 in San Jose, California.

Rotor benchmarks

michaljc — Tue, 20 Jul 2004 04:21:00 GMT

To date there has been no standard set of benchmarks that do something meaningful, run on Rotor and execute long enough to enable performance measurements. Standard benchmarks are very important for publishing research results because they make easier to understand what applications are being presented in a given paper. Ben Zorn from MSR has just published two benchmarks. Hopefully, this is just a start and either Ben or others will put together more applications, so that we have a benchmark suite of 5-10 applications that can be used by all researchers looking into .NET.

The two benchmarks available today are lcsbench and ahcbench. Lcsbench is a front end of C# compiler written in C#. Ahcbench is an implementation of Adaptive Huffman Compression. Both benchmarks include three inputs of various sizes that achieve different execution times.

Do you know of other nicely packaged benchmarks for .NET? Do they run on Rotor? Let me know!