venue == "home") $h = "selected";
if ($host->venue == "work") $w = "selected";
if ($host->venue == "school") $s = "selected";
$x = "
";
return $x;
}
function show_host($host, $private, $ipprivate) {
start_table();
row1("Computer information");
if ($private) {
if ($ipprivate) {
row2("IP address", "$host->last_ip_addr
(same the last $host->nsame_ip_addr times)");
} else {
row2("IP address", "id&ipprivate=1>Show IP address");
}
row2("Domain name", $host->domain_name);
$x = $host->timezone/3600;
if ($x > 0) $x="+$x";
row2("Time zone", "UTC $x hours");
}
if ($private) {
row2("Name", $host->domain_name);
}
if (!$private) {
$user = lookup_user_id($host->userid);
if ($user && $user->show_hosts) {
row2("Owner", user_links($user));
} else {
row2("Owner", "Anonymous");
}
}
row2("Created", time_str($host->create_time));
row2("Total Credit", format_credit($host->total_credit));
row2("Recent average credit", format_credit($host->expavg_credit));
row2("CPU type", "$host->p_vendor $host->p_model");
row2("Number of CPUs", $host->p_ncpus);
row2("Operating System", "$host->os_name $host->os_version");
$x = $host->m_nbytes/(1024*1024);
$y = round($x, 2);
row2("Memory", "$y MB");
$x = $host->m_cache/1024;
$y = round($x, 2);
row2("Cache", "$y KB");
if ($private) {
$x = $host->m_swap/(1024*1024);
$y = round($x, 2);
row2("Swap space", "$y MB");
$x = $host->d_total/(1024*1024*1024);
$y = round($x, 2);
row2("Total disk space", "$y GB");
$x = $host->d_free/(1024*1024*1024);
$y = round($x, 2);
row2("Free Disk Space", "$y GB");
}
$x = $host->p_fpops/(1000*1000);
$y = round($x, 2);
row2("Measured floating point speed", "$y million ops/sec");
$x = $host->p_iops/(1000*1000);
$y = round($x, 2);
row2("Measured integer speed", "$y million ops/sec");
$x = $host->n_bwup/(1024);
$y = round($x, 2);
if ($y > 0) {
row2("Average upload rate", "$y KB/sec");
} else {
row2("Average upload rate", "Unknown");
}
$x = $host->n_bwdown/(1024);
$y = round($x, 2);
if ($y > 0) {
row2("Average download rate", "$y KB/sec");
} else {
row2("Average download rate", "Unknown");
}
$x = $host->avg_turnaround/86400;
row2("Average turnaround time", round($x, 2)." days");
$config = get_config();
if (parse_bool($config, "show_results")) {
$nresults = host_nresults($host);
if ($nresults) {
$results = "id>$nresults";
} else {
$results = "0";
}
row2("Results", $results);
}
if ($private) {
row2("Number of times client has contacted server", $host->rpc_seqno);
row2("Last time contacted server", time_str($host->rpc_time));
row2("% of time client is on", 100*$host->on_frac." %");
row2("% of time host is connected", 100*$host->connected_frac." %");
row2("% of time user is active", 100*$host->active_frac." %");
row2("Location", location_form($host));
if ($nresults == 0) {
$x = " | id>Delete this host ";
} else {
$x = "";
}
row2("Click to", "id>merge this computer $x");
//row2("Click to", "id>recompute credit");
}
echo "\n";
}
// The following is used to show a user's hosts
//
function user_host_table_start($private) {
start_table();
echo "";
echo "Computer ID
Click for more info | \n";
if ($private) {
echo "Name | \n
";
} else {
echo "Rank | ";
}
echo "
Recent average credit |
Total credit |
CPU type |
Operating system |
";
}
// the following is used for list of top hosts
//
function top_host_table_start($sort_by) {
start_table();
echo "";
echo "Computer ID
Click for more info | \n";
echo "Rank | ";
echo "Owner | \n";
if ($sort_by == 'total_credit') {
echo "
Recent average credit |
Total credit |
";
} else {
echo "
Recent average credit |
Total credit |
";
}
echo "
CPU type |
Operating system |
";
}
function host_nresults($host) {
$result = mysql_query("select count(*) as nresults from result where hostid=$host->id");
$foobar = mysql_fetch_object($result);
return $foobar->nresults;
}
// If private is true, we're showing the host to its owner,
// so it's OK to show the domain name etc.
// If private is false, show the owner's name only if they've given permission
//
function show_host_row($host, $i, $private, $show_owner) {
$result = mysql_query("select * from user where id = $host->userid");
$user = mysql_fetch_object($result);
mysql_free_result($result);
echo "| ", host_link($host->id), " | \n";
if ($private) {
echo " $host->domain_name";
} else {
echo " | $i | \n
";
if ($show_owner) {
if ($user->show_hosts) {
echo "", user_links($user), " | \n";
} else {
echo "Anonymous | \n";
}
}
}
printf("
%s |
%s |
%s %s |
%s %s | ",
format_credit($host->expavg_credit), format_credit($host->total_credit),
$host->p_vendor, $host->p_model,
$host->os_name, $host->os_version
);
//$nresults = host_nresults($host);
//echo "id>$nresults | ";
echo "
\n";
}
// return true iff it's possible that the hosts are actually
// the same machine
//
function hosts_compatible($host1, $host2) {
if ($host2->p_vendor != $host1->p_vendor) return false;
if ($host2->p_model != $host1->p_model) return false;
if ($host2->os_name != $host1->os_name) return false;
return true;
}
// recompute host's average credit by scanning results.
// Could be expensive if lots of results!
//
function host_update_credit($hostid) {
$total = 0;
$avg = 0;
$avg_time = 0;
$r = mysql_query("select * from result where hostid=$hostid order by received_time");
while ($result = mysql_fetch_object($r)) {
if ($result->granted_credit <= 0) continue;
$total += $result->granted_credit;
update_average(
$result->received_time,
$result->sent_time,
$result->granted_credit,
$avg,
$avg_time
);
echo "
$avg\n";
}
mysql_free_result($r);
// do a final decay
//
$now = time();
update_average(now, 0, 0, $avg, $avg_time);
mysql_query("update host set total_credit=$total, expavg_credit=$avg, expavg_time=$now where id=$hostid");
}
// decay a host's average credit
//
function host_decay_credit($host) {
$avg = $host->expavg_credit;
$avg_time = $host->expavg_time;
$now = time(0);
update_average($now, 0, 0, $avg, $avg_time);
mysql_query("update host set expavg_credit=$avg, expavg_time=$now where id=$host->id");
}
// if the host hasn't received new credit for ndays,
// decay its average and return true
//
function host_inactive_ndays($host, $ndays) {
$diff = time() - $host->expavg_time;
if ($diff > $ndays*86400) {
host_decay_credit($host);
return true;
}
return false;
}
?>