Commit 64eb9cb
committed
Use validate_block() for adjacency checks and panic on failure
Inline adjacency checks were open-coded in free() and
selective_coalesce(). If these checks failed, the allocator would
silently skip the block and continue, masking heap corruption.
Replace the open-coded adjacency logic with calls to validate_block()
to avoid duplication and ensure consistent validation. If a block fails
validation, invoke panic(ERR_HEAP_CORRUPT) instead of silently ignoring
the error, since heap corruption is fatal to kernel safety.1 parent c74c04a commit 64eb9cb
1 file changed
+12
-8
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
85 | 85 | | |
86 | 86 | | |
87 | 87 | | |
88 | | - | |
89 | | - | |
90 | | - | |
| 88 | + | |
91 | 89 | | |
92 | 90 | | |
93 | 91 | | |
| |||
101 | 99 | | |
102 | 100 | | |
103 | 101 | | |
104 | | - | |
105 | | - | |
106 | | - | |
| 102 | + | |
| 103 | + | |
| 104 | + | |
| 105 | + | |
| 106 | + | |
| 107 | + | |
107 | 108 | | |
108 | 109 | | |
109 | 110 | | |
| |||
119 | 120 | | |
120 | 121 | | |
121 | 122 | | |
122 | | - | |
123 | | - | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
124 | 128 | | |
125 | 129 | | |
126 | 130 | | |
| |||
0 commit comments