HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | RunningOnFreeBSD |
| 2 | ================ | |
| 3 | ||
| 4 | MLton runs fine on http://www.freebsd.org/[FreeBSD]. | |
| 5 | ||
| 6 | == Notes == | |
| 7 | ||
| 8 | * MLton is available as a http://www.freebsd.org/[FreeBSD] | |
| 9 | http://www.freebsd.org/cgi/ports.cgi?query=mlton&stype=all[port]. | |
| 10 | ||
| 11 | == Known issues == | |
| 12 | ||
| 13 | * Executables often run more slowly than on a comparable Linux | |
| 14 | machine. We conjecture that part of this is due to costs due to heap | |
| 15 | resizing and kernel zeroing of pages. Any help in solving the problem | |
| 16 | would be appreciated. | |
| 17 | ||
| 18 | * FreeBSD defaults to a datasize limit of 512M, even if you have more | |
| 19 | than that amount of memory in the computer. Hence, your MLton process | |
| 20 | will be limited in the amount of memory it has. To fix this problem, | |
| 21 | turn up the datasize and the default datasize available to a process: | |
| 22 | Edit `/boot/loader.conf` to set the limits. For example, the setting | |
| 23 | + | |
| 24 | ---- | |
| 25 | kern.maxdsiz="671088640" | |
| 26 | kern.dfldsiz="671088640" | |
| 27 | kern.maxssiz="134217728" | |
| 28 | ---- | |
| 29 | + | |
| 30 | will give a process 640M of datasize memory, default to 640M available | |
| 31 | and set 128M of stack size memory. |