changes to mpmc spec and add notes to ms-queue