ondemand.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397
  1. /**
  2. * @file ondemand.c
  3. * @author Ambroz Bizjak <ambrop7@gmail.com>
  4. *
  5. * @section LICENSE
  6. *
  7. * Redistribution and use in source and binary forms, with or without
  8. * modification, are permitted provided that the following conditions are met:
  9. * 1. Redistributions of source code must retain the above copyright
  10. * notice, this list of conditions and the following disclaimer.
  11. * 2. Redistributions in binary form must reproduce the above copyright
  12. * notice, this list of conditions and the following disclaimer in the
  13. * documentation and/or other materials provided with the distribution.
  14. * 3. Neither the name of the author nor the
  15. * names of its contributors may be used to endorse or promote products
  16. * derived from this software without specific prior written permission.
  17. *
  18. * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
  19. * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
  20. * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
  21. * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
  22. * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
  23. * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
  24. * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
  25. * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  26. * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  27. * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  28. *
  29. * @section DESCRIPTION
  30. *
  31. * On-demand process manager.
  32. *
  33. * Synopsis:
  34. * ondemand(string template_name, list args)
  35. *
  36. * Description:
  37. * Manages an on-demand template process using a process template named
  38. * template_name.
  39. * On deinitialization, if the process is running, reqests its termination
  40. * and waits for it to terminate.
  41. *
  42. * Synopsis:
  43. * ondemand::demand()
  44. *
  45. * Description:
  46. * Demands the availability of an on-demand template process.
  47. * This statement is in UP state if and only if the template process of the
  48. * corresponding ondemand object is completely up.
  49. *
  50. * Variables:
  51. * Exposes variables and objects from the template process corresponding to
  52. * the ondemand object.
  53. */
  54. #include <stdlib.h>
  55. #include <string.h>
  56. #include <misc/offset.h>
  57. #include <misc/debug.h>
  58. #include <structure/LinkedList1.h>
  59. #include <ncd/NCDModule.h>
  60. #include <generated/blog_channel_ncd_ondemand.h>
  61. #define ModuleLog(i, ...) NCDModuleInst_Backend_Log((i), BLOG_CURRENT_CHANNEL, __VA_ARGS__)
  62. struct ondemand {
  63. NCDModuleInst *i;
  64. const char *template_name;
  65. NCDValRef args;
  66. LinkedList1 demands_list;
  67. int dying;
  68. int have_process;
  69. NCDModuleProcess process;
  70. int process_terminating;
  71. int process_up;
  72. };
  73. struct demand {
  74. NCDModuleInst *i;
  75. struct ondemand *od;
  76. LinkedList1Node demands_list_node;
  77. };
  78. static int ondemand_start_process (struct ondemand *o);
  79. static void ondemand_terminate_process (struct ondemand *o);
  80. static void ondemand_process_handler (struct ondemand *o, int event);
  81. static void ondemand_free (struct ondemand *o);
  82. static void demand_free (struct demand *o);
  83. static int ondemand_start_process (struct ondemand *o)
  84. {
  85. ASSERT(!o->dying)
  86. ASSERT(!o->have_process)
  87. // start process
  88. if (!NCDModuleProcess_Init(&o->process, o->i, o->template_name, o->args, o, (NCDModuleProcess_handler_event)ondemand_process_handler)) {
  89. ModuleLog(o->i, BLOG_ERROR, "NCDModuleProcess_Init failed");
  90. goto fail0;
  91. }
  92. // set have process
  93. o->have_process = 1;
  94. // set process not terminating
  95. o->process_terminating = 0;
  96. // set process not up
  97. o->process_up = 0;
  98. return 1;
  99. fail0:
  100. return 0;
  101. }
  102. static void ondemand_terminate_process (struct ondemand *o)
  103. {
  104. ASSERT(o->have_process)
  105. ASSERT(!o->process_terminating)
  106. // request termination
  107. NCDModuleProcess_Terminate(&o->process);
  108. // set process terminating
  109. o->process_terminating = 1;
  110. if (o->process_up) {
  111. // set process down
  112. o->process_up = 0;
  113. // signal demands down
  114. for (LinkedList1Node *n = LinkedList1_GetFirst(&o->demands_list); n; n = LinkedList1Node_Next(n)) {
  115. struct demand *demand = UPPER_OBJECT(n, struct demand, demands_list_node);
  116. ASSERT(demand->od == o)
  117. NCDModuleInst_Backend_Down(demand->i);
  118. }
  119. }
  120. }
  121. static void ondemand_process_handler (struct ondemand *o, int event)
  122. {
  123. ASSERT(o->have_process)
  124. switch (event) {
  125. case NCDMODULEPROCESS_EVENT_UP: {
  126. ASSERT(!o->process_terminating)
  127. ASSERT(!o->process_up)
  128. // set process up
  129. o->process_up = 1;
  130. // signal demands up
  131. for (LinkedList1Node *n = LinkedList1_GetFirst(&o->demands_list); n; n = LinkedList1Node_Next(n)) {
  132. struct demand *demand = UPPER_OBJECT(n, struct demand, demands_list_node);
  133. ASSERT(demand->od == o)
  134. NCDModuleInst_Backend_Up(demand->i);
  135. }
  136. } break;
  137. case NCDMODULEPROCESS_EVENT_DOWN: {
  138. ASSERT(!o->process_terminating)
  139. ASSERT(o->process_up)
  140. // continue process
  141. NCDModuleProcess_Continue(&o->process);
  142. // set process down
  143. o->process_up = 0;
  144. // signal demands down
  145. for (LinkedList1Node *n = LinkedList1_GetFirst(&o->demands_list); n; n = LinkedList1Node_Next(n)) {
  146. struct demand *demand = UPPER_OBJECT(n, struct demand, demands_list_node);
  147. ASSERT(demand->od == o)
  148. NCDModuleInst_Backend_Down(demand->i);
  149. }
  150. } break;
  151. case NCDMODULEPROCESS_EVENT_TERMINATED: {
  152. ASSERT(o->process_terminating)
  153. ASSERT(!o->process_up)
  154. // free process
  155. NCDModuleProcess_Free(&o->process);
  156. // set have no process
  157. o->have_process = 0;
  158. // if dying, die finally
  159. if (o->dying) {
  160. ondemand_free(o);
  161. return;
  162. }
  163. // if demands arrivied, restart process
  164. if (!LinkedList1_IsEmpty(&o->demands_list)) {
  165. if (!ondemand_start_process(o)) {
  166. // error demands
  167. while (!LinkedList1_IsEmpty(&o->demands_list)) {
  168. struct demand *demand = UPPER_OBJECT(LinkedList1_GetFirst(&o->demands_list), struct demand, demands_list_node);
  169. ASSERT(demand->od == o)
  170. NCDModuleInst_Backend_SetError(demand->i);
  171. demand_free(demand);
  172. }
  173. }
  174. }
  175. } break;
  176. }
  177. }
  178. static void ondemand_func_new (NCDModuleInst *i)
  179. {
  180. // allocate instance
  181. struct ondemand *o = malloc(sizeof(*o));
  182. if (!o) {
  183. ModuleLog(i, BLOG_ERROR, "failed to allocate instance");
  184. goto fail0;
  185. }
  186. NCDModuleInst_Backend_SetUser(i, o);
  187. // init arguments
  188. o->i = i;
  189. // read arguments
  190. NCDValRef arg_template_name;
  191. NCDValRef arg_args;
  192. if (!NCDVal_ListRead(i->args, 2, &arg_template_name, &arg_args)) {
  193. ModuleLog(i, BLOG_ERROR, "wrong arity");
  194. goto fail1;
  195. }
  196. if (!NCDVal_IsStringNoNulls(arg_template_name) || !NCDVal_IsList(arg_args)) {
  197. ModuleLog(i, BLOG_ERROR, "wrong type");
  198. goto fail1;
  199. }
  200. o->template_name = NCDVal_StringValue(arg_template_name);
  201. o->args = arg_args;
  202. // init demands list
  203. LinkedList1_Init(&o->demands_list);
  204. // set not dying
  205. o->dying = 0;
  206. // set have no process
  207. o->have_process = 0;
  208. // signal up
  209. NCDModuleInst_Backend_Up(i);
  210. return;
  211. fail1:
  212. free(o);
  213. fail0:
  214. NCDModuleInst_Backend_SetError(i);
  215. NCDModuleInst_Backend_Dead(i);
  216. }
  217. static void ondemand_free (struct ondemand *o)
  218. {
  219. ASSERT(!o->have_process)
  220. NCDModuleInst *i = o->i;
  221. // die demands
  222. while (!LinkedList1_IsEmpty(&o->demands_list)) {
  223. struct demand *demand = UPPER_OBJECT(LinkedList1_GetFirst(&o->demands_list), struct demand, demands_list_node);
  224. ASSERT(demand->od == o)
  225. demand_free(demand);
  226. }
  227. // free instance
  228. free(o);
  229. NCDModuleInst_Backend_Dead(i);
  230. }
  231. static void ondemand_func_die (void *vo)
  232. {
  233. struct ondemand *o = vo;
  234. ASSERT(!o->dying)
  235. // if not have process, die right away
  236. if (!o->have_process) {
  237. ondemand_free(o);
  238. return;
  239. }
  240. // set dying
  241. o->dying = 1;
  242. // request process termination if not already
  243. if (!o->process_terminating) {
  244. ondemand_terminate_process(o);
  245. }
  246. }
  247. static void demand_func_new (NCDModuleInst *i)
  248. {
  249. // allocate instance
  250. struct demand *o = malloc(sizeof(*o));
  251. if (!o) {
  252. ModuleLog(i, BLOG_ERROR, "failed to allocate instance");
  253. goto fail0;
  254. }
  255. NCDModuleInst_Backend_SetUser(i, o);
  256. // init arguments
  257. o->i = i;
  258. // read arguments
  259. if (!NCDVal_ListRead(i->args, 0)) {
  260. ModuleLog(i, BLOG_ERROR, "wrong arity");
  261. goto fail1;
  262. }
  263. // set ondemand
  264. o->od = NCDModuleInst_Backend_GetUser((NCDModuleInst *)i->method_user);
  265. // add to ondemand's demands list
  266. LinkedList1_Append(&o->od->demands_list, &o->demands_list_node);
  267. // start process if needed
  268. if (!o->od->have_process) {
  269. ASSERT(!o->od->dying)
  270. if (!ondemand_start_process(o->od)) {
  271. goto fail2;
  272. }
  273. }
  274. // if process is up, signal up
  275. if (o->od->process_up) {
  276. NCDModuleInst_Backend_Up(i);
  277. }
  278. return;
  279. fail2:
  280. LinkedList1_Remove(&o->od->demands_list, &o->demands_list_node);
  281. fail1:
  282. free(o);
  283. fail0:
  284. NCDModuleInst_Backend_SetError(i);
  285. NCDModuleInst_Backend_Dead(i);
  286. }
  287. static void demand_free (struct demand *o)
  288. {
  289. NCDModuleInst *i = o->i;
  290. // remove from ondemand's demands list
  291. LinkedList1_Remove(&o->od->demands_list, &o->demands_list_node);
  292. // request process termination if no longer needed
  293. if (o->od->have_process && !o->od->process_terminating && LinkedList1_IsEmpty(&o->od->demands_list)) {
  294. ondemand_terminate_process(o->od);
  295. }
  296. // free instance
  297. free(o);
  298. NCDModuleInst_Backend_Dead(i);
  299. }
  300. static void demand_func_die (void *vo)
  301. {
  302. struct demand *o = vo;
  303. demand_free(o);
  304. }
  305. static int demand_func_getobj (void *vo, const char *objname, NCDObject *out_object)
  306. {
  307. struct demand *o = vo;
  308. ASSERT(o->od->have_process)
  309. ASSERT(o->od->process_up)
  310. return NCDModuleProcess_GetObj(&o->od->process, objname, out_object);
  311. }
  312. static const struct NCDModule modules[] = {
  313. {
  314. .type = "ondemand",
  315. .func_new = ondemand_func_new,
  316. .func_die = ondemand_func_die
  317. }, {
  318. .type = "ondemand::demand",
  319. .func_new = demand_func_new,
  320. .func_die = demand_func_die,
  321. .func_getobj = demand_func_getobj
  322. }, {
  323. .type = NULL
  324. }
  325. };
  326. const struct NCDModuleGroup ncdmodule_ondemand = {
  327. .modules = modules
  328. };