Maintain the addrspace pidmap; fix bugs