Fix resource database bug where base + num wraps to zero.  Also,
ensure that we always take the resource semaphore whenever we
allocate a resource.