Technically there is should be only one person owning the stock and only one person who can short it at a time.

That is why the system needs something like a block chain semaphore.