In runtime data for program Wasm memory pages can be loaded in lazy manner.
All pages, which is supposed to be lazy, must be mprotected before program execution.
During execution data from storage is loaded for all pages, which has been accessed
and which has data in storage.
host_func for more information.
Note: currently we restrict twice write signal from same page during one execution. It’s not necessary behavior, but more simple and safe.
- Lazy-pages version.
- Set current wasm memory begin addr in global context
- Protect lazy pages, after they had been unprotected.
- Unset lazy pages read/write protections.
- Returns vec of lazy-pages which has been accessed