16. Allocation patterns

An allocation pattern is a hint to the MPS to expect a particular pattern of allocation on an allocation point. The MPS may use this hint to schedule more effective garbage collection.

There are two allocation patterns, mps_alloc_pattern_ramp() and mps_alloc_pattern_ramp_collect_all().

mps_alloc_pattern_t

The type of allocation patterns.

mps_res_t mps_ap_alloc_pattern_begin(mps_ap_t ap, mps_alloc_pattern_t alloc_pattern)

Start a period of allocation that behaves according to an allocation pattern. The period persists until a corresponding call to mps_ap_alloc_pattern_end().

ap is the allocation point in which the patterned allocation will occur.

alloc_pattern is the allocation pattern.

Returns MPS_RES_OK if the allocation pattern is supported by this allocation point. At present this is always the case, but in future this function may return another result code if the allocation pattern is not supported by the allocation point.

Note

It is harmless to call mps_ap_alloc_pattern_begin() even if it isn’t supported by the allocation point. The pattern is simply ignored in that case.

If mps_ap_alloc_pattern_begin() is used multiple times on the same allocation point without intervening calls to mps_ap_alloc_pattern_end(), the calls match in a stack-like way, outermost and innermost: that is, allocation patterns may nest, but not otherwise overlap.

Some allocation patterns may additionally support overlap: if so, the documentation for the individual pattern types will specify this.

mps_res_t mps_ap_alloc_pattern_end(mps_ap_t ap, mps_alloc_pattern_t alloc_pattern)

End a period of allocation on an allocation point that behaves according to an allocation pattern.

ap is the allocation point in which the patterned allocation occurred.

alloc_pattern is the allocation pattern.

Returns MPS_RES_OK if the period of allocation was successfully ended, or MPS_RES_FAIL if there was no matching call to mps_ap_alloc_pattern_begin(). Calls match in a stack-like way, outermost and innermost: that is, allocation patterns may nest, but not otherwise overlap.

Some allocation patterns may additionally support overlap: if so, the documentation for the individual pattern types will specify this.

mps_res_t mps_ap_alloc_pattern_reset(mps_ap_t ap)

End all patterned allocation on an allocation point.

ap is the allocation point on which to end all patterned allocation.

Returns MPS_RES_OK. It may fail in future if certain allocation patterns cannot be ended for that allocation point at that point in time.

This function may be used to recover from error conditions.

16.1. Ramp allocation

Ramp allocation a pattern of allocation whereby the client program builds up an increasingly large data structure, the live size of which increases until a particular time, at which time most of the data structure is discarded, resulting in sharp cutoff and decline in the live size.

This pattern is useful if you are building a structure that involves temporarily allocating much more memory than will fit into your nursery generation. The ramp allocation pattern causes the collection of the nursery generation to be deferred until the ramp allocation is over.

Note

Ramp allocation is only supported by AMC (Automatic Mostly-Copying).

mps_alloc_pattern_t mps_alloc_pattern_ramp(void)

Return an allocation pattern indicating that allocation will follow a ramp allocation pattern.

This indicates to the MPS that most of the blocks allocated after the call to mps_ap_alloc_pattern_begin() are likely to be dead by the time of the corresponding call to mps_ap_alloc_pattern_end().

mps_alloc_pattern_t mps_alloc_pattern_ramp_collect_all(void)

Return an allocation pattern indicating that allocation will follow a ramp allocation pattern, and that the next garbage collection following the ramp should be a full collection.

This indicates to the MPS that most of the blocks allocated after the call to mps_ap_alloc_pattern_begin() are likely to be dead by the time of the corresponding call to mps_ap_alloc_pattern_end().

This allocation pattern may nest with, but should not otherwise overlap with, allocation patterns of type mps_alloc_pattern_ramp(). In this case, the MPS may defer the full collection until after all ramp allocation patterns have ended.