Transmissible data flowing out violet blue ports,
My types are all hidden, only schemas export.
Pixilated scenes replaced by vertex shaders,
My side-bar includes fancy blog aggregators.
With left angle brackets I declare gradient fills,
We are long past the choice between red or blue pills.
Longhorn release: how long will you be?
I need to start planning my new hardware spree.
Every time I write multithreaded code I worry. Perhaps it is because I read stories like the final report on the U.S. / Canadian blackout of August 2003. The problem was a race condition:
"There was a couple of processes that were in contention for a common data structure, and through a software coding error in one of the application processes, they were both able to get write access to a data structure at the same time," says Unum. "And that corruption led to the alarm event application getting into an infinite loop and spinning."
Seems simple, but consider:
"We text exhaustively, we test with third parties, and we had in excess of three million online operational hours in which nothing had ever exercised that bug," says Unum. "I'm not sure that more testing would have revealed that“.
Stories like the above, and about the Therac-25 machine which killed three people, always make me worry I’m missing something. I’ve never worked on radiation therapy machines or power grid software, but years ago I did some development for a machine that would take your blood pressure using a real cuff, and I’ll admit to being apprehensive about sticking my arm in for the squeeze.
The other reason I worry is because it is nearly impossible to test for race conditions.
Functional testing and stress testing may catch race conditions with some luck, but these bugs are hard to bring to the surface. Black box testing in general, with no knowledge of the implementation, has little chance to uncover a race condition except as a side-effect.
Unit testing is also little help. By definition, unit testing focuses on a small and specific piece of code and there is no interaction from other areas of the software. In addition, the exact timing conditions required to trigger a race condition bug have little chance of happening during a single-run pass or fail test.
In the end, a thorough code analysis (more sets of eyeballs) is the best tool to uncover race conditions. I remember a recent jaybaz blog entry showing code I’ve seen and written many times now in .NET and I’ve never thought about the potential race condition there. Sigh. Just goes to show race conditions are the most subtle bugs I know of.
I’ve been playing around with the web service API of Reporting Services again and I seem to have stumbled across a little bug. I plan on posting some code soon to show how to programmatically create a subscription – it took much longer to get something to work than I had originally thought and only part of that time was wasted on the bug.
While working on this I downloaded the Reporting Service Documentation Update to help out. I’ve noticed a number of documentation updates for 2004 products released this month (Biztalk 2004 has 1, 2, 3 updates this month). I’m wondering when every product will move to the MSDN style quarterly updates, or something akin to the Office 2003 Online help. Help is easy to update, unlike anti-lock brakes….
If you could pick one brand of vehicle on the road with a “software anomaly” in the braking system, would it be:
a) The Mini Cooper (like Rory Blyth drives)
b) The Cadillac Escalade (like Queen Latifah drives)
My choice would be A, because of course, a Mini would probably sustain more damage in a collision with my mailbox than my mailbox would, but the real vehicle with a brake bug is the Escalade, which could probably drive through the side of my house with no damage to the occupants. Thats 12,329 SUVs to recall.
Ah well, sleep beckons.
Maybe 10 months ago I downloaded Orca to tinker with an MSI file on a setup and installation project. While it was nice to twiddle inside of the MSI tables with Orca (ever read the story behind Orca?), the experience is nothing like Wix, which can decompile an MSI file into XML. This is great, because I can now check installations into a source repository as a text file and do DIFFs if needed.
Of course, you can also compile an XML Wix file into an MSI, which means no more fiddling around in a GUI to make changes in an opaque file for you. For some reason Visual Studio setup projects always worry me because I don’t know exactly what I’m changing when I do a save. I always feel there is something sinister at work in the background.
Even more interersting: the project has been open sourced by Microsoft. It is definitely a strange feeling to go to SourceForge to download MS bits.
That leaves DTS packages as the only other binary pieces under source control that I'd rather see as XML.
At some point, I hope the traditional help viewers, like dexplorer.exe for MSDN local help, can evolve beyond the traditional tree view of categories into a view with the ability to display more information.
For example, it might be useful to have a 3D look where each node could contain more information than just a category or item title. In the diagram below, each node contains some information about what is contained below (category counts, item counts, content ratings (pulled from the online site), and a star if you have a favorite underneath the node. The color coding could indicate where you spend most of your time, or where you have been most recently.
I know this could use a tremendous amount of screen real estate, but judging from Scott Swanson’s blog, most developers have moved well past 1024x768. In fact, I’m starting to wonder if I’ll be the last developer to start using dual 21 inch monitors.