Stack backtraces from the mind of Garrett. Symbolic debugger not included.
Tuesday, November 4, 2008
BMC on concurrency
Bryan Cantrill has just posted one of the more excellent blog posts I've seen this year -- he manages to put to words some of my heretofore unvoiced doubts about transactional memory. I'm a big fan of KISS, and both TM and multilevel threading seem to fail on that front.