I am writing this at the airport, just coming back from the Intel IDF event. I keep hearing that we have "Lock Free" solutions for all sorts of problems.
As you may have already read in a previous post called Personal Review of Intel Under-NDA Sand
The answer is "almost". There are two types of bugs: Reliability and Usability.
There is a long discussion talking about the advantages of Procedural Programming vs. the advantages of Object Oriented Programming.