Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / RunningOnFreeBSD
1 <!DOCTYPE html>
2 <html lang="en">
3 <head>
4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
6 <title>RunningOnFreeBSD</title>
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
9
10
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
13 /*<![CDATA[*/
14 asciidoc.install();
15 /*]]>*/
16 </script>
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
18 </head>
19 <body class="article">
20 <div id="banner">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
23 </div>
24 </div>
25 <div id="header">
26 <h1>RunningOnFreeBSD</h1>
27 </div>
28 <div id="content">
29 <div id="preamble">
30 <div class="sectionbody">
31 <div class="paragraph"><p>MLton runs fine on <a href="http://www.freebsd.org/">FreeBSD</a>.</p></div>
32 </div>
33 </div>
34 <div class="sect1">
35 <h2 id="_notes">Notes</h2>
36 <div class="sectionbody">
37 <div class="ulist"><ul>
38 <li>
39 <p>
40 MLton is available as a <a href="http://www.freebsd.org/">FreeBSD</a>
41 <a href="http://www.freebsd.org/cgi/ports.cgi?query=mlton&amp;stype=all">port</a>.
42 </p>
43 </li>
44 </ul></div>
45 </div>
46 </div>
47 <div class="sect1">
48 <h2 id="_known_issues">Known issues</h2>
49 <div class="sectionbody">
50 <div class="ulist"><ul>
51 <li>
52 <p>
53 Executables often run more slowly than on a comparable Linux
54 machine. We conjecture that part of this is due to costs due to heap
55 resizing and kernel zeroing of pages. Any help in solving the problem
56 would be appreciated.
57 </p>
58 </li>
59 <li>
60 <p>
61 FreeBSD defaults to a datasize limit of 512M, even if you have more
62 than that amount of memory in the computer. Hence, your MLton process
63 will be limited in the amount of memory it has. To fix this problem,
64 turn up the datasize and the default datasize available to a process:
65 Edit <span class="monospaced">/boot/loader.conf</span> to set the limits. For example, the setting
66 </p>
67 <div class="listingblock">
68 <div class="content monospaced">
69 <pre> kern.maxdsiz="671088640"
70 kern.dfldsiz="671088640"
71 kern.maxssiz="134217728"</pre>
72 </div></div>
73 <div class="paragraph"><p>will give a process 640M of datasize memory, default to 640M available
74 and set 128M of stack size memory.</p></div>
75 </li>
76 </ul></div>
77 </div>
78 </div>
79 </div>
80 <div id="footnotes"><hr></div>
81 <div id="footer">
82 <div id="footer-text">
83 </div>
84 <div id="footer-badges">
85 </div>
86 </div>
87 </body>
88 </html>