servers.php

<?php
// This file is part of the Huygens Remote Manager
// Copyright and license notice: see license.txt

use hrm\DatabaseConnection;
use hrm\Nav;
use hrm\Util;

require_once dirname(__FILE__) . '/inc/bootstrap.php';

session_start();

if (isset($_GET['home'])) {
    header("Location: " . "home.php");
    exit();
}

// The admin must be logged on.
if (!isset($_SESSION['user']) || (!$_SESSION['user']->isAdmin())) {
    header("Location: " . "login.php");
    exit();
}

$message = "";

$db = DatabaseConnection::get();

if (isset($_GET["add"]["name"]) && !empty($_GET["add"]["name"])) {
    if (!isset($_GET["add"]["path"]) || empty($_GET["add"]["path"])) {
        $message .= "Invalid HuCore path: no servers to add.\n";
    } elseif (isset($_GET["add"]["gpuId"])
              && $_GET["add"]["gpuId"] != ""
              && !is_numeric($_GET["add"]["gpuId"])) {
        $message .= "Invalid GPU ID: no servers to add.\n";
    } else {
        $serverName = $_GET["add"]["name"];
        $huPath     = $_GET["add"]["path"];
        $gpuId      = $_GET["add"]["gpuId"];
        if (! $db->addServer($serverName, $huPath, $gpuId)) {
            $message .= "Server could not be added.\n";
        } else {
            $message .= "Server '$serverName' added successfully.\n\n";
            $message .= "Please restart the HRM daemon for the changes to take effect.\n";
        }
    }
}

if (isset($_GET["remove"]) && !empty($_GET["remove"])) {
    foreach ($_GET["remove"] as $serverName => $action) {
        if ($db->removeServer($serverName)) {
            $message .= "Server '$serverName' could not be removed.\n";
        } else {
            $message .= "Server '$serverName' successfully removed.\n\n";
            $message .= "Please restart the HRM daemon for the changes to take effect.\n";
        }
    }
}


include("header.inc.php");

?>

<div id="nav">
    <div id="navleft">
        <ul>
            <?php
            echo(Nav::linkWikiPage('HuygensGPU'));
            ?>
        </ul>
    </div>
    <div id="navright">
        <ul>
            <?php
            echo(Nav::textUser($_SESSION['user']->name()));
            echo(Nav::linkHome(Util::getThisPageName()));
            ?>
        </ul>
    </div>
    <div class="clear"></div>
</div>

<div id="content">
    <h3>
          <img alt="Servers&GPUs" src="./images/servers.png" width="40"/>
                Servers & GPUs
    </h3>

                
    <form method="GET" action="" id="ServersGPUs">
       <table id="Servers">
          <tr>
              <th>Server Name</th>
              <th>Hucore Path</th>
              <th>GPU ID</th>
              <th>Action</th>
          </tr>

          <?php
                /* First, show the existing servers with a 'Remove' button. */
                $servers = $db->getAllServers();
                foreach ($servers as $server) {
                   foreach ($server as $key => $value) {
                      if (strpos($key, 'name') !== false) {
                          $serverName = $value;
                          $name = explode(" ", $serverName);
                          $name = $name[0];
                      }
                      if (strpos($key, 'huscript_path') !== false) {
                          $path = $value;
                      }
                      if (strpos($key, 'gpuId') !== false) {
                          $gpuId = $value;
                      }
                   }
                 ?>

                 <tr>
                 <td><?php echo $name;?> </td>
                 <td><?php echo $path;?> </td>
                 <td><?php echo $gpuId;?></td>
                 <td><input type="submit"
                       name="remove[<?php echo $serverName;?>]"
                       value="Remove"
                       onclick="document.forms[\'ServersGPUs\'].submit()"/>
                 </td> 
                 </tr>
          <?php 
          }
          ?>

          <td><input name="add[name]" type="text" size="6"></td>
          <td><input name="add[path]" type="text" size="6"></td>
          <td><input name="add[gpuId]" type="text" size="2"></td>
          <td><input type="submit" value="Add"
               onclick="document.forms['ServersGPUs'].submit()"/></td>

       </table>
    </form>

                    
<br /><br />
    <fieldset>
        <legend>log</legend>
            <textarea title="Log"
                      class="selection"
                      rows="10"
                      readonly="readonly">
<?php

echo $message;

?>
            </textarea>
    </fieldset>

</div> <!-- content -->

<div id="rightpanel">

    <div id="info">

        <h3>Quick help</h3>

        <p>
            On this page you can configure any number of <b>processing servers</b>
            with or without <b>GPU acceleration</b>. The <b>Huygens Core path</b>
            relative to each server must be provided.
        </p>

        <p>To take advantage of GPU acceleration you will need the appropriate
            <a href="licenses.php">GPU license</a>.
        </p>

        <p>Each server can use <b>one or more GPUs</b> for deconvolution: if more than
            one GPU is configured for a given server, HRM will run as many deconvolution
            jobs in parallel as there are GPUs configured on that server.</p>

        <p>
            A GPU is configured and enabled by adding its <b>GPU ID</b> to the
            server configuration. The list of GPU IDs can be retrieved by starting
            HuCore on each processing machine and executing 'huOpt gpu -query devices'.
        </p>

        <p>Please notice that if the GPU ID is omitted, or does not match any of
            the IDs returned by HuCore, HRM will fall back to CPU processing.</p>

        <p>For changes to have effect, you will need to restart the HRM daemon
            (Queue Manager).
       </p>

        <p>
            Please visit <a href="https://svi.nl/HuygensGPU">Huygens GPU</a>
            for detailed instructions on how to install CUDA.
        </p>


    </div>

    <div id="message">
    </div>

</div> <!-- rightpanel -->

<?php

include("footer.inc.php");

?>