rename concurrency_spec to lock_spec