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.

Comments

Popular posts from this blog

The Hand May Be Forced

GNU grep - A Cautionary Tale About GPLv3

TLS close-notify .... what were they thinking?