tag:blogger.com,1999:blog-14589096.post112168772661379635..comments2010-03-21T16:23:55.073+01:00Gerhard Häringhttps://profiles.google.com/102960595911713297609noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-14589096.post-15706304756182423812010-03-21T16:23:55.065+01:002010-03-21T16:23:55.065+01:00The quote is true, but incomplete. Strong typing and lack of goto statements are techniques to minimize certain classes of bugs... and they are effective. However, consider how many security problems are caused by failure to check boundaries of a structure or an array: strong typing avoids certain problems for ARRAY of 1..N but not the case of trying access the N+1st unit of the array.<br /><br />The solution to the bounds-checking problem thus lies elsewhere. It can be explicit (programmed in tediously), implicit (added by the compiler for each/every array access, thereby inflating the code and destroying efficiency), or something in-between (run-time environment memory access violation traps, etc.). Personally, I prefer the first, but it depends on programmers&#39; having the skill to pick the right places to do it and the time in tight development schedules to implement it. And, frankly, we all know that programmers would rather not add such tedium to otherwise elegant code.<br /><br />Thread bugs are similar. The keys are re-entrance and synchronization. These may be explicit, implicit, or in-between. However, here we find that many fewer programmers have the skills to do this explicitly: aside from OS hacks, the vast majority of programmers have not had to deal with these issues for decades due to the prevailing single-core, single-thread paradigm. Compilers generally handle re-entrance fairly well -- although not always perfectly -- but sync continues to elude them.<br /><br />That all changed in 2005, about the time you posted the original blog, with the advent of mass market game processors, especially the 3-core, 6-thread processor in Xbox360 and (with Linux available for it) the 9-core, 10-thread Cell B.E. processor in PS3. Sites like Mike Acton&#39;s CellPerformance.com give a lot tips, especially for those who program down to the metal.<br /><br />One would hope that programming environments will catch up, now that x86 multicore is prevalent. Now 5 years after your initial post, what tools do you know that automatically detect races and other conflicts for multi-threaded programs?MITDGreenbhttp://openid.aol.com/MITDGreenbnoreply@blogger.com