Author Archives: Mark Williamson

Status of XenFS

When I checked back on this post something appeared to have broken; I’m blaming Firefox somehow playing badly with the WordPress web interface.  Hopefully the problems are now fixed and the article will be visible.  Sorry about that.

Now and again, I get e-mails asking me about the state of the XenFS project.  It’s something I’ve been working on for some time now and I haven’t always been very good at keeping the world up-to-date about my progress.  I thought it would be good if I summarised the state of things here, to start with.  In this article I give an overview of the arguments for XenFS and the techniques used.  I’ve necessarily missed out a lot of detail but I might provide occasional updates on the work in future, depending on peoples’ interest in this stuff.

View the full article to read more…

Continue reading

Now where are my domUs?

It’s a question many will ask at some point. You’ve got Xen set up, used a graphical tool to configure some domUs (or downloaded some pre-built images, or followed a howto). But now you want to know where your virtual machines are actually stored. It’s a good question – and it has a slightly complicated answer.

Continue reading

The Xen of Static Checking, Part 1: bug-free code without the effort

OK, maybe the title of this post is a slight exaggeration but it’s good to have goals for the future!

It’s a goal which many would argue will be unreachable without the genesis of Strong AI. It’s also a goal where we can achieve very useful results just by trying to get there. I’m going to write a series of articles about my current work on static checking the Xen codebase. The goal here is to find errors before they occur, spot bugs that aren’t caught by human reviewers and improve the overall quality of codebase. Unfortunately, global harmony and toast which doesn’t fall butter-side-down are probably still outside the scope of this work – sorry.

This first article gives an overview of the historical background of static code checking. Future articles in this series will describe what I’m doing to apply static checking to the Xen codebase and the possibilities for Xen in the future.

Continue reading

My first post on the new blog!

So, here I am, writing my first post on the new blog. The idea here is to give us developers working around Xen somewhere where we can publish information on what we’re doing, etc. This is something of a first for me since I’ve never really had my own blog before! I hope to use this to discuss my progress with various Xen-related projects and to share information with interested third parties. If I get enough interest, I may also try posting interesting bits of news from the mailing list, articles describing particular bits of Xen-related technology, etc.

I’ll be following up Real Soon Now with what I hope will be some interesting details about things I’ve been working on.