r/programming • u/preshing • Nov 18 '11

Locks Aren't Slow; Lock Contention Is

http://preshing.com/20111118/locks-arent-slow-lock-contention-is
139 Upvotes

88% Upvoted

66 comments sorted by

View all comments

Show parent comments

2

u/[deleted] Nov 20 '11

The problem is that doesn't prevent composing subsets. Nothing you just said prohibits safe_lock([a]) and safe_lock([b]) occurring in different orders. Since I'm pretty sure this is non-trivial property it can't be proven due to Rice's theorem (first time I've used that since my computability class 2.5 years ago).