Title: The commit/abort problem in type-specific locking