diff options
| author | Luke Wagner <luke@mozilla.com> | 2015-08-05 13:09:25 -1000 |
|---|---|---|
| committer | Luke Wagner <luke@mozilla.com> | 2015-08-12 08:23:30 -1000 |
| commit | ea8763fe83b98e47af39d0cb2c16e5c8db9746d3 (patch) | |
| tree | d800b9a4d23c1e05780cc90b139934b96ea33eae /FutureFeatures.md | |
| parent | 0ef4e93fe3bea4356fdee2c647b2dbc54cc2d3d0 (diff) | |
| download | nanowasm-design-ea8763fe83b98e47af39d0cb2c16e5c8db9746d3.tar.gz | |
Address first round of comments
Diffstat (limited to 'FutureFeatures.md')
| -rw-r--r-- | FutureFeatures.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/FutureFeatures.md b/FutureFeatures.md index f8a8397..07b4b05 100644 --- a/FutureFeatures.md +++ b/FutureFeatures.md @@ -47,6 +47,9 @@ Provide access to safe OS-provided functionality including: to `mmap(addr, length, MAP_FIXED | MAP_PRIVATE, fd)` * `dont_need(addr, length)`: semantically, this operation zeroes the given range but the implementation is encouraged to `madvise(addr, length, MADV_DONTNEED)` + (this allows applications to be good citizens and release unused physical + pages back to the OS, thereby reducing their RSS and avoiding OOM-killing on + mobile) * `shmem_create(length)`: create a memory object that can be simultaneously shared between multiple linear memories * `map_shmem(addr, length, shmem, shmem-offset)`: like `map_file` except |