2021-02-27 | Paul Boddie | raw annotate files changeset graph | Employ libipc synchronisation support for region manager operations. This seems to prevent the region manager from granting the same base address to different dataspaces occasionally (which is apparently not supposed to happen even in a multithreaded program). |