This file is indexed.

/usr/share/mozart/doc/panel/node2.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>1.1 Information on Threads</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="node1.html">- Up -</A></TD><TD><A href="node3.html#chapter.usage.memory">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="chapter.usage.threads"><H2><A name="chapter.usage.threads">1.1 Information on Threads</A></H2><P></P><TABLE align="center" bgcolor="#f0f0e0" id="table.info.threads"><TR valign="top"><TH colspan="2"><P>Runtime</P></TH></TR><TR valign="top"><TH><P>Field</P></TH><TH><P>Explanation</P></TH></TR><TR valign="top"><TD><P>Run</P></TD><TD><P>Run time.</P></TD></TR><TR valign="top"><TD><P>Garbage collection</P></TD><TD><P>Time spent on garbage collection.</P></TD></TR><TR valign="top"><TD><P>Copy</P></TD><TD><P>Time spent on copying (that is, on cloning of spaces).</P></TD></TR><TR valign="top"><TD><P>Propagation</P></TD><TD><P>Time spent on executing propagators.</P></TD></TR><TR valign="top"><TD><P></P><DIV align="center"><IMG alt="" src="runtime-load.gif" id="runtime-load.gif"></DIV><P> </P></TD><TD><P>Operating system load of the Mozart engine.</P></TD></TR><TR valign="top"><TD><P></P><DIV align="center"><IMG alt="" src="runtime-dist.gif" id="runtime-dist.gif"></DIV><P> </P></TD><TD><P>Relative distribution of entire computation time.</P></TD></TR><TR valign="top"><TH colspan="2"><P>Threads</P></TH></TR><TR valign="top"><TH><P>Field</P></TH><TH><P>Explanation</P></TH></TR><TR valign="top"><TD><P>Created</P></TD><TD><P>Total number of threads created.</P></TD></TR><TR valign="top"><TD><P>Runnable</P></TD><TD><P>Number of currently runnable threads.</P></TD></TR><TR valign="top"><TD><P></P><DIV align="center"><IMG alt="" src="threads-runnable.gif" id="threads-runnable.gif"></DIV><P> </P></TD><TD><P>Number of currently runnable threads..</P></TD></TR><TR valign="top"><TH colspan="2"><P>Priorities</P></TH></TR><TR valign="top"><TH><P>Field</P></TH><TH><P>Explanation</P></TH></TR><TR valign="top"><TD><P>High / Medium</P></TD><TD><P>Relation between time slices available for threads of priorities <CODE>high</CODE> and <CODE>medium</CODE>. </P></TD></TR><TR valign="top"><TD><P>Medium / Low</P></TD><TD><P>Relation between time slices available for threads of priorities <CODE>medium</CODE> and <CODE>low</CODE>. </P></TD></TR></TABLE><P> </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node1.html">- Up -</A></TD><TD><A href="node3.html#chapter.usage.memory">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~schulte/">Christian&nbsp;Schulte</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>