ekg-assets/index.html

   1 <!DOCTYPE html>
   2 <html>
   3   <head>
   4     <meta charset="utf-8">
   5     <link rel="stylesheet" href="bootstrap-1.4.0.min.css">
   6     <link rel="stylesheet" href="monitor.css" type="text/css">
   7     <script type="text/javascript" src="jquery-1.6.4.min.js"></script>
   8     <script type="text/javascript" src="jquery.flot.min.js"></script>
   9     <title>ekg</title>
  10   </head>
  11   <body>
  12     <div class="topbar">
  13       <div class="topbar-inner">
  14         <div class="container-fluid">
  15           <span class="brand">ekg</span>
  16           <p class="pull-right">Polling interval:
  17             <select id="updateInterval" class="small">
  18               <option value="100">100 ms</option>
  19               <option value="200">200 ms</option>
  20               <option value="500">500 ms</option>
  21               <option value="1000" selected="selected">1 s</option>
  22               <option value="2000">2 s</option>
  23               <option value="5000">5 s</option>
  24               <option value="10000">10 s</option>
  25             </select> |
  26             <button id="pause-ui" class="btn">Pause UI</button>
  27           </p>
  28         </div>
  29       </div>
  30     </div>
  31
  32     <div class="container">
  33       <div class="row">
  34         <div class="alert-message error fade in hide" data-alert="alert">
  35           <p>Lost connection to server.</p>
  36         </div>
  37       </div>
  38
  39       <div class="row">
  40         <div id="plots" class="span11">
  41           <div id="current-bytes-used-plot" class="plot-container">
  42             <h3>Current residency</h3>
  43             <div class="plot"></div>
  44           </div>
  45
  46           <div id="allocation-rate-plot" class="plot-container">
  47             <h3>Allocation rate</h3>
  48             <div class="plot"></div>
  49           </div>
  50
  51           <div id="productivity-plot" class="plot-container">
  52             <h3>Productivity</h3>
  53             <div class="plot"></div>
  54           </div>
  55         </div>
  56
  57         <div class="span5">
  58           <h3>GC and memory statistics</h3>
  59           <table class="condensed-table">
  60             <thead>
  61               <tr>
  62                 <th>Statistic</th>
  63                 <th>Value</th>
  64               </tr>
  65             </thead>
  66             <tbody>
  67               <tr>
  68                 <td>Maximum residency</td>
  69                 <td id="max-bytes-used" class="span3 value">0</td>
  70               </tr>
  71               <tr>
  72                 <td>Current residency</td>
  73                 <td id="current-bytes-used" class="value">0</td>
  74               </tr>
  75               <tr>
  76                 <td>Maximum slop</td>
  77                 <td id="max-bytes-slop" class="value">0</td>
  78               </tr>
  79               <tr>
  80                 <td>Current slop</td>
  81                 <td id="current-bytes-slop" class="value">0</td>
  82               </tr>
  83               <tr>
  84                 <td>Productivity (wall clock time)</td>
  85                 <td id="productivity-wall" class="value">0</td>
  86               </tr>
  87               <tr>
  88                 <td>Productivity (cpu time)</td>
  89                 <td id="productivity-cpu" class="value">0</td>
  90               </tr>
  91               <tr>
  92                 <td>Allocation rate</td>
  93                 <td id="allocation-rate" class="value">0</td>
  94               </tr>
  95             </tbody>
  96           </table>
  97
  98           <h3>Metrics</h3>
  99           <table id="metric-table" class="condensed-table">
 100             <thead>
 101               <tr>
 102                 <th class="span4">Name</th>
 103                 <th class="span1">Value</th>
 104               </tr>
 105             </thead>
 106             <tbody>
 107             </tbody>
 108           </table>
 109
 110         </div>
 111       </div>
 112     </div>
 113
 114     <script type="text/javascript" src="monitor.js"></script>
 115   </body>
 116 </html>