I think we need to do at least this much for v10, because otherwise we'll face ABI issues if an extension is compiled against code with one semaphore API choice and used with code with a different one.
+1, this is a good idea. Your performance comments make sense too.