Commit 1f94fb3
committed
Use MAP_SHARED for shared memory creation again
Previously, in 7ca0a78, MAP_SHARED was replaced with MAP_PRIVATE,
primarily to bring the Miri and non-Miri code paths closer together,
since it did not appear to have any detrimental effect. However, this
seems to cause issues with the scratch mapping on mshv on Linux. It is
not entirely clear what mshv is doing here; possibly something like
"mapping a page which has never been written to" causes the problem.
Signed-off-by: Lucy Menon <168595099+syntactically@users.noreply.github.com>1 parent 8916cad commit 1f94fb3
1 file changed
Lines changed: 5 additions & 6 deletions
File tree
- src/hyperlight_host/src/mem
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
314 | 314 | | |
315 | 315 | | |
316 | 316 | | |
317 | | - | |
318 | | - | |
319 | | - | |
320 | | - | |
| 317 | + | |
| 318 | + | |
| 319 | + | |
321 | 320 | | |
322 | | - | |
| 321 | + | |
323 | 322 | | |
324 | 323 | | |
325 | 324 | | |
| |||
347 | 346 | | |
348 | 347 | | |
349 | 348 | | |
350 | | - | |
| 349 | + | |
351 | 350 | | |
352 | 351 | | |
353 | 352 | | |
| |||
0 commit comments