Ben Gamari pushed to branch wip/T26009 at Glasgow Haskell Compiler / GHC Commits: 9631a12c by Ben Gamari at 2025-05-22T17:24:03-04:00 rts/linker: Expand comment describing ProddableBlockSet - - - - - 1 changed file: - rts/linker/ProddableBlocks.c Changes: ===================================== rts/linker/ProddableBlocks.c ===================================== @@ -8,9 +8,16 @@ /* - * Sanity checking. For each ObjectCode, maintain a list of address ranges - * which may be prodded during relocation, and abort if we try and write - * outside any of these. + * Note [Proddable blocks] + * ~~~~~~~~~~~~~~~~~~~~~~~ + * For each ObjectCode, we maintain a ProddableBlockSet representing the set of + * address ranges containing data belonging to the object. This set is + * represented here as an array of intervals sorted by start address. This + * allows us to efficiently query and insert via binary search. Array resizing + * is done according to an exponential growth schedule. + * + * While performing relocations we check against this set and and abort if we + * try and write outside any of these. */ #include "Rts.h" View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9631a12c0b89529c3d1147d0770ec6b9... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/9631a12c0b89529c3d1147d0770ec6b9... You're receiving this email because of your account on gitlab.haskell.org.