Due to the LIFO nature of BlockQueue, if we enqueue multiple blocks into BlockQueue forwards, allocation fast paths will get blocks from BlockQueue in the opposite direction. This commit fixes this anomaly by enqueuing consecutive blocks backwards.
This PR is currently a DRAFT.
We modified alloc_pages_slow_sync so that blocks of a new Chunk will be enqueued backwards. We observe that in the beginning of execution, mutators obtain blocks forwards. But after one GC, mutators will start to obtain blocks backwards again. It may be related to SweepChunk work packets still sweeping blocks forwards and enqueuing blocks in the same order.
Due to the LIFO nature of BlockQueue, if we enqueue multiple blocks into BlockQueue forwards, allocation fast paths will get blocks from BlockQueue in the opposite direction. This commit fixes this anomaly by enqueuing consecutive blocks backwards.
This PR is currently a DRAFT.
alloc_pages_slow_sync
so that blocks of a new Chunk will be enqueued backwards. We observe that in the beginning of execution, mutators obtain blocks forwards. But after one GC, mutators will start to obtain blocks backwards again. It may be related toSweepChunk
work packets still sweeping blocks forwards and enqueuing blocks in the same order.