poll_database.php 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306
  1. <?php
  2. function show_status($done, $total, $size = 30) {
  3. static $start_time;
  4. // if we go over our bound, just ignore it
  5. if ($done > $total) {
  6. return;
  7. }
  8. if (empty($start_time)) {
  9. $start_time = time();
  10. }
  11. $now = time();
  12. $perc = (float)($done / $total);
  13. $bar = floor($perc * $size);
  14. $status_bar = "\r[";
  15. $status_bar .= str_repeat("=", $bar);
  16. if ($bar < $size) {
  17. $status_bar .= ">";
  18. $status_bar .= str_repeat(" ", $size - $bar);
  19. }
  20. else {
  21. $status_bar .= "=";
  22. }
  23. $disp = number_format($perc * 100, 0);
  24. $status_bar .= "] $disp% $done/$total";
  25. $rate = ($now - $start_time) / $done;
  26. $left = $total - $done;
  27. $eta = round($rate * $left, 2);
  28. $elapsed = $now - $start_time;
  29. $status_bar .= " remaining: " . number_format($eta) . " sec. elapsed: " . number_format($elapsed) . " sec.";
  30. echo "$status_bar ";
  31. flush();
  32. // when done, send a newline
  33. if ($done == $total) {
  34. echo "\n";
  35. }
  36. }
  37. // include channel list
  38. //include "SDS_status_channels.php";
  39. $username = getenv("PHP_ADEI_USERNAME");
  40. $password = getenv("PHP_ADEI_PASSWORD");
  41. $context = stream_context_create(["http" => ["header" => "Authorization: Basic " . base64_encode("$username:$password") , "Connection: close\r\n", ], ]);
  42. // ** Katrin numbers referring to IE electrode segments ** //
  43. $relationKatrinNumbers = array(
  44. array( // 22 rows: 2x11 electrode rings (inner+outer)
  45. "434-EEL-3-0210-0002", // WestRing 02 outer
  46. "434-EEL-3-0211-0002", // WestRing 02 inner
  47. "434-EEL-3-0310-0002", // WestRing 03 outer
  48. "434-EEL-3-0311-0002", // WestRing 03 inner
  49. "434-EEL-3-0410-0002", // WestRing 04 outer
  50. "434-EEL-3-0411-0002", // WestRing 04 inner
  51. "434-EEL-3-0510-0002", // WestRing 05 outer
  52. "434-EEL-3-0511-0002", // WestRing 05 inner
  53. "434-EEL-3-0610-0002", // WestRing 06 outer
  54. "434-EEL-3-0611-0002", // WestRing 06 inner
  55. "434-EEL-3-0710-0002", // WestRing 07-11 outer
  56. "434-EEL-3-0711-0002", // WestRing 07-11 inner
  57. "434-EEL-3-1210-0002", // WestRing 12 outer
  58. "434-EEL-3-1211-0002", // WestRing 12 inner
  59. "434-EEL-3-1310-0002", // WestRing 13 outer
  60. "434-EEL-3-1311-0002", // WestRing 13 inner
  61. "434-EEL-3-1410-0002", // WestRing 14 outer
  62. "434-EEL-3-1411-0002", // WestRing 14 inner
  63. "434-EEL-3-1510-0002", // WestRing 15 outer
  64. "434-EEL-3-1511-0002", // WestRing 15 inner
  65. "434-EEL-3-1610-0002", // WestRing 16 outer
  66. "434-EEL-3-1611-0002", // WestRing 16 inner
  67. // ^^............ means ring index (02..16)
  68. // ^........... means west (=1) or east (=2) dipole
  69. // ^.......... means outer (=0) or inner (=1) layer
  70. ) ,
  71. array( // 22 rows: 2x11 electrode rings (inner+outer)
  72. "434-EEL-3-0220-0002", // EastRing 02 outer
  73. "434-EEL-3-0221-0002", // EastRing 02 inner
  74. "434-EEL-3-0320-0002", // EastRing 03 outer
  75. "434-EEL-3-0321-0002", // EastRing 03 inner
  76. "434-EEL-3-0420-0002", // EastRing 04 outer
  77. "434-EEL-3-0421-0002", // EastRing 04 inner
  78. "434-EEL-3-0520-0002", // EastRing 05 outer
  79. "434-EEL-3-0521-0002", // EastRing 05 inner
  80. "434-EEL-3-0620-0002", // EastRing 06 outer
  81. "434-EEL-3-0621-0002", // EastRing 06 inner
  82. "434-EEL-3-0720-0002", // EastRing 07-11 outer
  83. "434-EEL-3-0721-0002", // EastRing 07-11 inner
  84. "434-EEL-3-1220-0002", // EastRing 12 outer
  85. "434-EEL-3-1221-0002", // EastRing 12 inner
  86. "434-EEL-3-1320-0002", // EastRing 13 outer
  87. "434-EEL-3-1321-0002", // EastRing 13 inner
  88. "434-EEL-3-1420-0002", // EastRing 14 outer
  89. "434-EEL-3-1421-0002", // EastRing 14 inner
  90. "434-EEL-3-1520-0002", // EastRing 15 outer
  91. "434-EEL-3-1521-0002", // EastRing 15 inner
  92. "434-EEL-3-1620-0002", // EastRing 16 outer
  93. "434-EEL-3-1621-0002", // EastRing 16 inner
  94. // ^^............ means ring index (02..16)
  95. // ^........... means west (=1) or east (=2) dipole
  96. // ^.......... means outer (=0) or inner (=1) layer
  97. ) ,
  98. );
  99. // ** Katrin numbers referring to IE power supply channels ** //
  100. $relationTargetNumbers = array(
  101. array( // IE offset channels West side
  102. // 22 rows: 3x7 offset channels + IE common
  103. "436-EHV-0-0003-0102", // WestCh 00 / not used
  104. "436-EHV-0-0003-0202", // WestCh 01 / not used
  105. "436-EHV-0-0003-0302", // WestCh 02 / Patch 00
  106. "436-EHV-0-0003-0402", // WestCh 03 / Patch 01
  107. "436-EHV-0-0003-0502", // WestCh 04 / Patch 02
  108. "436-EHV-0-0003-0602", // WestCh 05 / Patch 03
  109. "436-EHV-0-0003-0702", // WestCh 06 / Patch 04
  110. "436-EHV-0-0003-0802", // WestCh 07 / Patch 05
  111. "436-EHV-0-0005-0102", // WestCh 08 / Patch 06
  112. "436-EHV-0-0005-0202", // WestCh 09 / Patch 07
  113. "436-EHV-0-0005-0302", // WestCh 10 / Patch 08
  114. "436-EHV-0-0005-0402", // WestCh 11 / Patch 09
  115. "436-EHV-0-0005-0502", // WestCh 12 / Patch 10
  116. "436-EHV-0-0005-0602", // WestCh 13 / Patch 11
  117. "436-EHV-0-0005-0702", // WestCh 14 / Patch 12
  118. "436-EHV-0-0005-0802", // WestCh 15 / Patch 13
  119. "436-EHV-0-0007-0102", // WestCh 16 / Patch 14
  120. "436-EHV-0-0007-0202", // WestCh 16 / Patch 15
  121. "436-EHV-0-0007-0302", // WestCh 17 / Patch 16
  122. "436-EHV-0-0007-0402", // WestCh 18 / Patch 17
  123. "436-EHV-0-0007-0502", // WestCh 19 / Patch 18
  124. "436-EHV-0-0007-0602", // WestCh 20 / Patch 19
  125. "436-EHV-0-0007-0702", // WestCh 21 / Patch 20
  126. "436-EHV-0-0007-0802", // WestCh 22 / Patch 21
  127. "436-EHV-0-0002-0101", // IE dipole west
  128. "436-EHV-0-1003-0002", // IE common
  129. ) ,
  130. array( // IE offset channels East side
  131. // 22 rows: 3x7 offset channels + IE common
  132. "436-EHV-0-0004-0102", // EastCh 00 / not used
  133. "436-EHV-0-0004-0202", // EastCh 01 / not used
  134. "436-EHV-0-0004-0302", // EastCh 02 / Patch 00
  135. "436-EHV-0-0004-0402", // EastCh 03 / Patch 01
  136. "436-EHV-0-0004-0502", // EastCh 04 / Patch 02
  137. "436-EHV-0-0004-0602", // EastCh 05 / Patch 03
  138. "436-EHV-0-0004-0702", // EastCh 06 / Patch 04
  139. "436-EHV-0-0004-0802", // EastCh 07 / Patch 05
  140. "436-EHV-0-0006-0102", // EastCh 08 / Patch 06
  141. "436-EHV-0-0006-0202", // EastCh 09 / Patch 07
  142. "436-EHV-0-0006-0302", // EastCh 10 / Patch 08
  143. "436-EHV-0-0006-0402", // EastCh 11 / Patch 09
  144. "436-EHV-0-0006-0502", // EastCh 12 / Patch 10
  145. "436-EHV-0-0006-0602", // EastCh 13 / Patch 11
  146. "436-EHV-0-0006-0702", // EastCh 14 / Patch 12
  147. "436-EHV-0-0006-0802", // EastCh 15 / Patch 13
  148. "436-EHV-0-0008-0102", // EastCh 16 / Patch 14
  149. "436-EHV-0-0008-0202", // EastCh 16 / Patch 15
  150. "436-EHV-0-0008-0302", // EastCh 17 / Patch 16
  151. "436-EHV-0-0008-0402", // EastCh 18 / Patch 17
  152. "436-EHV-0-0008-0502", // EastCh 19 / Patch 18
  153. "436-EHV-0-0008-0602", // EastCh 20 / Patch 19
  154. "436-EHV-0-0008-0702", // EastCh 21 / Patch 20
  155. "436-EHV-0-0008-0802", // EastCh 22 / Patch 21
  156. "436-EHV-0-0002-0102", // IE dipole east
  157. "436-EHV-0-1003-0002", // IE common
  158. ) ,
  159. );
  160. function flatten(array $array) {
  161. $return = array();
  162. array_walk_recursive($array, function ($a) use (&$return) {
  163. $return[] = $a;
  164. });
  165. return $return;
  166. }
  167. // set time zone to local German time
  168. date_default_timezone_set("Europe/Berlin");
  169. $counter = 0;
  170. $calltime = time();
  171. do {
  172. $errorcount = 0;
  173. $errormessage = "<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>";
  174. $starttime = time();
  175. /// TODO (1) get current relations for HV rings (KATRIN number mapping)
  176. /// TODO (2) write channel mapping to file used by monitor ("patchpanel/data/activeIEconfig.txt")
  177. /// => (a) the file contains one line per IE channel (44 total: 11 rings x inner/outer x west/east)
  178. /// => (b) each line contains the power supply index (values 0 .. 21; 22 = through IE)
  179. /// TODO (3) resolve ADEI channels for each relation (?)
  180. /// TODO (4) update ADEIchannels array (?)
  181. //echo "Polling database." . PHP_EOL;
  182. // new kdb.kaas.kit.edu added and optimized readout parameters
  183. $fileip = file_get_contents("https://kdb.kaas.kit.edu/kdb-api.fcgi/json?relations&kn=" . join(",", flatten($relationKatrinNumbers)) . "&only_recent=1", false, $context);
  184. //show_status($id+1,sizeof($adeiChannel));
  185. if (substr($fileip, 0, 5) == "ERROR") {
  186. $errorcount++;
  187. $errormessage = $errormessage . "Error querying database<br>";
  188. }
  189. if ($errorcount > 0) {
  190. echo $errormessage;
  191. }
  192. $json = json_decode($fileip, true);
  193. //echo "Database result (JSON):" . PHP_EOL;
  194. //var_dump($json);
  195. $patchpanelMap = array();
  196. if ($json && $json["result"]) {
  197. foreach ($json["result"]["Relation"] as $kn => $data) {
  198. $target = $data["AssociateNumber"];
  199. $patchpanelMap[$kn] = $target;
  200. //echo "\t" . $kn . " => " . $target . PHP_EOL;
  201. }
  202. }
  203. // increse loop counter
  204. $counter++;
  205. $stoptime = time();
  206. $wait_till = $starttime + 11;
  207. if ($stoptime - $starttime > 10) {
  208. $errormessage .= "ERROR: delayed readout " . ($stoptime - $starttime) . " s ";
  209. $errorcount++;
  210. }
  211. //echo "Writing patchpanel database data to file." . PHP_EOL;
  212. $strFileContent = "";
  213. assert( sizeof($relationKatrinNumbers) == 2 );
  214. assert( sizeof($relationTargetNumbers) == 2 );
  215. for ($eastwest = 0; $eastwest < 2; $eastwest++) {
  216. // loop over each half of the array
  217. assert( sizeof($relationKatrinNumbers[$eastwest]) == 22 );
  218. assert( sizeof($relationTargetNumbers[$eastwest]) >= 22 );
  219. foreach ($relationKatrinNumbers[$eastwest] as $kn) {
  220. $index = 22; // default to IE common
  221. $target = "(default)";
  222. if (array_key_exists($kn, $patchpanelMap)) {
  223. $target = $patchpanelMap[$kn];
  224. if ($target == "436-EHV-0-1003-0002") {
  225. $index = 'IE';
  226. }
  227. else {
  228. $index = array_search($target, $relationTargetNumbers[$eastwest]);
  229. if ($index > 22)
  230. $index = 22;
  231. }
  232. }
  233. echo "\t" . $kn . " => " . $target . " [" . $index . "]" . PHP_EOL;
  234. $strFileContent .= $index . "\n";
  235. }
  236. }
  237. // write ADEI data to file
  238. if (file_exists("patchpanel/data/activeIEconfig.txt")) {
  239. rename("patchpanel/data/activeIEconfig.txt", "patchpanel/data/activeIEconfig.txt.bak");
  240. }
  241. $file_w = fopen("patchpanel/data/activeIEconfig.txt", "w+");
  242. //sleep(5);
  243. fwrite($file_w, $strFileContent);
  244. fclose($file_w);
  245. // write log file
  246. $log_message = "";
  247. $log_message = date(DATE_RFC850) . ": database polled: loop " . $counter;
  248. $log_message .= ", poll time " . ($stoptime - $starttime) . " s";
  249. if ($stoptime - $starttime > 10) {
  250. $log_message .= ", delayed readout";
  251. }
  252. $log_message .= PHP_EOL;
  253. $file_log = fopen("logs/poll_database.log", "a");
  254. fwrite($file_log, $log_message);
  255. fclose($file_log);
  256. //echo "Loop ".$counter." done.".PHP_EOL;
  257. if ($wait_till <= $stoptime) {
  258. sleep(3);
  259. }
  260. else {
  261. time_sleep_until($wait_till);
  262. }
  263. } while ($counter < 10 && time() < $calltime + 51);
  264. //echo "All loops done.".PHP_EOL;
  265. ?>