/usr/share/mozart/doc/system/node59.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>23.1 Engine Properties</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node58.html">- Up -</A></TD><TD><A href="node76.html#section.property.env">Next >></A></TD></TR></TABLE><DIV id="section.property.intro"><H2><A name="section.property.intro">23.1 Engine Properties</A></H2><P> The properties that control the Mozart engine are identified by atoms. For example, the current number of runnable threads is identified by the atom <CODE><SPAN class="string">'threads.runnable'</SPAN></CODE>. That is, </P><BLOCKQUOTE class="code"><CODE>{Property<SPAN class="keyword">.</SPAN>get <SPAN class="string">'threads.runnable'</SPAN>}</CODE></BLOCKQUOTE><P> returns the number of currently runnable threads as an integer. </P><P> For convenience, most properties are organized into groups. A group is accessed by an atom giving the group's name (<CODE><SPAN class="string">'threads'</SPAN></CODE>, for example), and it returns a record containing the properties of that group. For example, </P><BLOCKQUOTE class="code"><CODE>{Property<SPAN class="keyword">.</SPAN>get <SPAN class="string">'threads'</SPAN>}</CODE></BLOCKQUOTE><P> returns a record that has several features one of which is <CODE><SPAN class="string">'runnable'</SPAN></CODE>. </P><P> Some properties are read-only. They provide access to statistical information (as the property <CODE><SPAN class="string">'threads.runnable'</SPAN></CODE> in our previous example), but cannot be used to update that information. Other properties are mutable: changing their values customizes the engine's behaviour. For example, the property <CODE><SPAN class="string">'threads.medium'</SPAN></CODE> gives the ratio between the number of time slices available for threads of priorities <CODE>medium</CODE> and <CODE>low</CODE>. This can be changed to 2:1 by: </P><BLOCKQUOTE class="code"><CODE>{Property<SPAN class="keyword">.</SPAN>put <SPAN class="string">'threads.medium'</SPAN> 2}</CODE></BLOCKQUOTE><P> </P><P> <CODE>Property<SPAN class="keyword">.</SPAN>put</CODE> supports groups as well. For example, to customize time slices for threads of all priorities, we can do: </P><BLOCKQUOTE class="code"><CODE>{Property<SPAN class="keyword">.</SPAN>put <SPAN class="string">'threads'</SPAN> foo(<SPAN class="string">'medium'</SPAN>: 2<BR> <SPAN class="string">'high'</SPAN>: 2)}</CODE></BLOCKQUOTE><P> The record's label is not significant. </P><P> All properties are listed in the following sections, which are sorted by group. </P><P> </P><HR><UL class="toc"><LI><A href="node60.html#section.property.application">Application Support: <CODE>application</CODE></A></LI></UL><UL class="toc"><LI><A href="node61.html#section.property.dp">Distribution: <CODE>dp</CODE></A><UL class="toc"><LI><A href="node61.html#section.property.dp.annotation">Default annotations: <CODE>dp<SPAN class="keyword">.</SPAN>annotation</CODE></A></LI></UL></LI></UL><UL class="toc"><LI><A href="node62.html#section.property.dplog">Logging of distributed events: <CODE>dpLog</CODE></A></LI></UL><UL class="toc"><LI><A href="node63.html#section.property.errors">Printing Errors: <CODE>errors</CODE></A></LI></UL><UL class="toc"><LI><A href="node64.html#section.property.fd">Finite Domains: <CODE>fd</CODE></A></LI></UL><UL class="toc"><LI><A href="node65.html#section.property.gc">Garbage Collection: <CODE>gc</CODE></A></LI></UL><UL class="toc"><LI><A href="node66.html#section.property.limits">Implementation Limits: <CODE>limits</CODE></A></LI></UL><UL class="toc"><LI><A href="node67.html#section.property.marshaler">Marshaler: <CODE>marshaler</CODE></A></LI></UL><UL class="toc"><LI><A href="node68.html#section.property.memory">Memory Usage: <CODE>memory</CODE></A></LI></UL><UL class="toc"><LI><A href="node69.html#section.property.messages">Printing Messages: <CODE>messages</CODE></A></LI></UL><UL class="toc"><LI><A href="node70.html#section.property.platform">Platform Information: <CODE>platform</CODE></A></LI></UL><UL class="toc"><LI><A href="node71.html#section.property.print">Printing Values: <CODE>print</CODE></A></LI></UL><UL class="toc"><LI><A href="node72.html#section.property.priority">Thread Priorities: <CODE>priorities</CODE></A></LI></UL><UL class="toc"><LI><A href="node73.html#section.property.spaces">Computation Spaces: <CODE>spaces</CODE></A></LI></UL><UL class="toc"><LI><A href="node74.html#section.property.threads">Threads: <CODE>threads</CODE></A></LI></UL><UL class="toc"><LI><A href="node75.html#section.property.time">Time Usage: <CODE>time</CODE></A></LI></UL></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node58.html">- Up -</A></TD><TD><A href="node76.html#section.property.env">Next >></A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~duchier/">Denys Duchier</A>, <A href="http://www.ps.uni-sb.de/~kornstae/">Leif Kornstaedt</A>, <A href="http://www.ps.uni-sb.de/~homik/">Martin Homik</A>, <A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A>, <A href="http://www.ps.uni-sb.de/~schulte/">Christian Schulte</A> and <A href="http://www.info.ucl.ac.be/~pvr">Peter Van Roy</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|