I really enjoy books, and my taste is broad and often a little strange. Plus, I pay attention to books (using resources like the bookshelf section of Rael Dornfest's page). So it's really unusual for someone to give me a book that's both right up my alley and also unknown to me. This year, it happened twice. Here's the first one.

We lived in Australia for a few years in the early '90s, and naturally made some wonderful friends there. For Christmas this year, our friends Doug and Trisha Paice sent me a copy of The Parrot's Theorem, by Denis Guedj. It's a novel about the history of mathematics, and it fits my criteria for great gifts: I wouldn't have bought it for myself, but I'm delighted to have it. I'm halfway through, and it's a lot of fun.

If you're looking for just a good page-turner of a novel, you can safely skip it -- the story probably won't grab you if you don't have at least a passing interest in the history of mathematics. And there are some distinct weaknesses in the writing (which I think may be due to a sloppy translation from the original French). But it's fantastic for me ... I find the basic theme interesting, and I would love to know more about it, but I probably wouldn't bother to slog through a serious book about the history of mathematics. But the fictional story of The Parrot's Theorem gives the topic a narrative structure that makes it a fun and easy read.

(Additionally, through this book I was reminded of another book that I had heard of but forgotten: Sophie's World: A Novel About the History of Philosophy. Supposedly it is a terrific book, working better as a novel than The Parrot's Theorem. I'll have to add it to my wish list.)

I enjoy reading Bill Venners' interviews with software development luminaries. Bill himself is (from what I've seen) a talented and tasteful developer, and he picks some of the best to interview. Plus, he makes sure he's familiar with each person's work, and asks intelligent questions. This week I read the final part of his interview with Martin Fowler, and it really resonated with some lessons I've learned over the past few years.

Last year I gave a talk at JavaOne (and later for two other audiences) called Stalking Your Shadow: Adventures in Garbage Collection Optimization. (Although it sounds like an arcane optimization talk, in reality it's sort of a "stealth agile" talk -- the firmest recommendation in it is to do tightly iterative development with performance testing beginning very early in the process, so you can catch poor decisions early, while they're easy to change.) In that talk, I point out that the right optimization strategies are strongly dependent on your choice of platform, that different optimization strategies might either conflict with each other or reinforce each other, and that you must measure the effect of your changes to see whether they help or hurt performance.

The implication there, of course, is that if you are thinking about multiple optimizations in your system, then you must -- if you want to avoid what Mike Clark calls "thrash tuning" -- have ways to mix and match those optimizations as you measure, to see which combination produces an acceptable result. One trick I recommend is to implement each of your optimizations as aspects using AspectJ. AspectJ makes it very easy to choose, from build to build, which aspects are included in your system.

I was focusing on optimizing at a particular point in time, but Martin talked to Bill Venners about the ongoing lifecycle of software. He discusses how advances in platform implementation technology can turn today's optimizations into performance drags (he's talking specifically about VMs, but the same things apply to the OS and compiler). He recommends that optimizations be revisited with each platform upgrade. To do that, of course, you need to keep the design simple and the optimizations well encapsulated.

My strategy of using AspectJ to insert the optimizations from the outside could make this a breeze. Start with the clean design, and after profiling you can leave the clean code in place, but replace it using an aspect that implements the optimization. Later, you can easily build with optimizations included or excluded and run your performance tests again.

(This also reminds me of a story I've heard several times about the development of Microsoft Excel. They have a very simple evaluator that they are certain is correct, but it's very slow. They also have a completely separate, highly optimized and fiendishly complex evaluator. During development and testing they run it with both evaluators turned on, with the simple, slow evaluator checking the work of the fast one. Then they turn the slow evaluator off for the production build. This strategy seems to work well -- I've certainly encountered numerous bugs in Excel, but none have involved the evaluator, and evaluation is fast.)