call.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349
  1. /**
  2. * @file call.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. * Synopsis:
  32. * callrefhere()
  33. *
  34. * Description:
  35. * Exposes variables and objects to call() statements as seen from this
  36. * callrefhere() statement.
  37. *
  38. * Synopsis:
  39. * call(string template_name, list args)
  40. * callhefhere::call(string template_name, list args)
  41. *
  42. * Description:
  43. * Module which allows using a single statement to represent multiple statements
  44. * in a process template, allowing reuse of repetitive code.
  45. * The created template process can access variables and objects as seen from the
  46. * call statement via "_caller.variable".
  47. * The second form also exposes variables and objects from the corresponding
  48. * callrefhere() statement via "_ref.variable".
  49. * If template_name is "<none>", then the call() is a no-op - it goes up
  50. * immediately and immediately terminates on request.
  51. *
  52. * Variables:
  53. * Exposes variables as seen from the end of the called process template.
  54. *
  55. * Behavior in detail (assuming template_name is not "<none>"):
  56. * - On initialization, creates a new process from the template named
  57. * template_name, with arguments args.
  58. * - When all the statements in the created process go UP, transitions UP.
  59. * - When one of the statements is no longer UP, transitions DOWN. The
  60. * created process remais paused until the call statement receives the
  61. * clean signal, to wait for following statements to deinitialize.
  62. * - On deinitialization, initiates termination of the created process and waits
  63. * for all its statements to deinitialize.
  64. */
  65. #include <stdlib.h>
  66. #include <string.h>
  67. #include <misc/string_begins_with.h>
  68. #include <misc/offset.h>
  69. #include <structure/LinkedList0.h>
  70. #include <ncd/NCDModule.h>
  71. #include <generated/blog_channel_ncd_call.h>
  72. #define ModuleLog(i, ...) NCDModuleInst_Backend_Log((i), BLOG_CURRENT_CHANNEL, __VA_ARGS__)
  73. #define STATE_WORKING 1
  74. #define STATE_UP 2
  75. #define STATE_WAITING 3
  76. #define STATE_TERMINATING 4
  77. #define STATE_NONE 5
  78. struct callrefhere_instance {
  79. NCDModuleInst *i;
  80. LinkedList0 calls_list;
  81. };
  82. struct instance {
  83. NCDModuleInst *i;
  84. NCDValMem args_mem;
  85. NCDModuleProcess process;
  86. int state;
  87. struct callrefhere_instance *crh;
  88. LinkedList0Node calls_list_node;
  89. };
  90. static void instance_free (struct instance *o);
  91. static int caller_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object);
  92. static int ref_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object);
  93. static void process_handler_event (struct instance *o, int event)
  94. {
  95. switch (event) {
  96. case NCDMODULEPROCESS_EVENT_UP: {
  97. ASSERT(o->state == STATE_WORKING)
  98. // signal up
  99. NCDModuleInst_Backend_Up(o->i);
  100. // set state up
  101. o->state = STATE_UP;
  102. } break;
  103. case NCDMODULEPROCESS_EVENT_DOWN: {
  104. ASSERT(o->state == STATE_UP)
  105. // signal down
  106. NCDModuleInst_Backend_Down(o->i);
  107. // set state waiting
  108. o->state = STATE_WAITING;
  109. } break;
  110. case NCDMODULEPROCESS_EVENT_TERMINATED: {
  111. ASSERT(o->state == STATE_TERMINATING)
  112. // die finally
  113. instance_free(o);
  114. return;
  115. } break;
  116. default: ASSERT(0);
  117. }
  118. }
  119. static int process_func_getspecialobj (struct instance *o, const char *name, NCDObject *out_object)
  120. {
  121. if (!strcmp(name, "_caller")) {
  122. *out_object = NCDObject_Build(NULL, o, NULL, (NCDObject_func_getobj)caller_obj_func_getobj);
  123. return 1;
  124. }
  125. if (!strcmp(name, "_ref")) {
  126. *out_object = NCDObject_Build(NULL, o, NULL, (NCDObject_func_getobj)ref_obj_func_getobj);
  127. return 1;
  128. }
  129. return 0;
  130. }
  131. static void callrefhere_func_new (void *vo, NCDModuleInst *i)
  132. {
  133. struct callrefhere_instance *o = vo;
  134. o->i = i;
  135. // init calls list
  136. LinkedList0_Init(&o->calls_list);
  137. // signal up
  138. NCDModuleInst_Backend_Up(o->i);
  139. }
  140. static void callrefhere_func_die (void *vo)
  141. {
  142. struct callrefhere_instance *o = vo;
  143. // disconnect calls
  144. while (!LinkedList0_IsEmpty(&o->calls_list)) {
  145. struct instance *inst = UPPER_OBJECT(LinkedList0_GetFirst(&o->calls_list), struct instance, calls_list_node);
  146. ASSERT(inst->crh == o)
  147. LinkedList0_Remove(&o->calls_list, &inst->calls_list_node);
  148. inst->crh = NULL;
  149. }
  150. NCDModuleInst_Backend_Dead(o->i);
  151. }
  152. static void func_new (void *vo, NCDModuleInst *i)
  153. {
  154. struct instance *o = vo;
  155. o->i = i;
  156. // check arguments
  157. NCDValRef template_name_arg;
  158. NCDValRef args_arg;
  159. if (!NCDVal_ListRead(i->args, 2, &template_name_arg, &args_arg)) {
  160. ModuleLog(o->i, BLOG_ERROR, "wrong arity");
  161. goto fail0;
  162. }
  163. if (!NCDVal_IsStringNoNulls(template_name_arg) || !NCDVal_IsList(args_arg)) {
  164. ModuleLog(o->i, BLOG_ERROR, "wrong type");
  165. goto fail0;
  166. }
  167. const char *template_name = NCDVal_StringValue(template_name_arg);
  168. // calling none?
  169. if (!strcmp(template_name, "<none>")) {
  170. // signal up
  171. NCDModuleInst_Backend_Up(o->i);
  172. // set state none
  173. o->state = STATE_NONE;
  174. } else {
  175. // init args mem
  176. NCDValMem_Init(&o->args_mem);
  177. // copy arguments
  178. NCDValRef args = NCDVal_NewCopy(&o->args_mem, args_arg);
  179. if (NCDVal_IsInvalid(args)) {
  180. ModuleLog(o->i, BLOG_ERROR, "NCDVal_NewCopy failed");
  181. NCDValMem_Free(&o->args_mem);
  182. goto fail0;
  183. }
  184. // create process
  185. if (!NCDModuleProcess_Init(&o->process, o->i, template_name, args, o, (NCDModuleProcess_handler_event)process_handler_event)) {
  186. ModuleLog(o->i, BLOG_ERROR, "NCDModuleProcess_Init failed");
  187. NCDValMem_Free(&o->args_mem);
  188. goto fail0;
  189. }
  190. // set special functions
  191. NCDModuleProcess_SetSpecialFuncs(&o->process,
  192. (NCDModuleProcess_func_getspecialobj)process_func_getspecialobj);
  193. // set callrefhere
  194. o->crh = (o->i->method_user ? NCDModuleInst_Backend_GetUser((NCDModuleInst *)i->method_user) : NULL);
  195. // add to callrefhere's calls list
  196. if (o->crh) {
  197. LinkedList0_Prepend(&o->crh->calls_list, &o->calls_list_node);
  198. }
  199. // set state working
  200. o->state = STATE_WORKING;
  201. }
  202. return;
  203. fail0:
  204. NCDModuleInst_Backend_SetError(i);
  205. NCDModuleInst_Backend_Dead(i);
  206. }
  207. void instance_free (struct instance *o)
  208. {
  209. if (o->state != STATE_NONE) {
  210. // remove from callrefhere's calls list
  211. if (o->crh) {
  212. LinkedList0_Remove(&o->crh->calls_list, &o->calls_list_node);
  213. }
  214. // free args mem
  215. NCDValMem_Free(&o->args_mem);
  216. // free process
  217. NCDModuleProcess_Free(&o->process);
  218. }
  219. NCDModuleInst_Backend_Dead(o->i);
  220. }
  221. static void func_die (void *vo)
  222. {
  223. struct instance *o = vo;
  224. ASSERT(o->state != STATE_TERMINATING)
  225. // if none, die now
  226. if (o->state == STATE_NONE) {
  227. instance_free(o);
  228. return;
  229. }
  230. // request process to terminate
  231. NCDModuleProcess_Terminate(&o->process);
  232. // set state terminating
  233. o->state = STATE_TERMINATING;
  234. }
  235. static void func_clean (void *vo)
  236. {
  237. struct instance *o = vo;
  238. if (o->state != STATE_WAITING) {
  239. return;
  240. }
  241. // allow process to continue
  242. NCDModuleProcess_Continue(&o->process);
  243. // set state working
  244. o->state = STATE_WORKING;
  245. }
  246. static int func_getobj (void *vo, const char *name, NCDObject *out_object)
  247. {
  248. struct instance *o = vo;
  249. if (o->state == STATE_NONE) {
  250. return 0;
  251. }
  252. return NCDModuleProcess_GetObj(&o->process, name, out_object);
  253. }
  254. static int caller_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object)
  255. {
  256. return NCDModuleInst_Backend_GetObj(o->i, name, out_object);
  257. }
  258. static int ref_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object)
  259. {
  260. if (!o->crh) {
  261. return 0;
  262. }
  263. return NCDModuleInst_Backend_GetObj(o->crh->i, name, out_object);
  264. }
  265. static const struct NCDModule modules[] = {
  266. {
  267. .type = "callrefhere",
  268. .func_new2 = callrefhere_func_new,
  269. .func_die = callrefhere_func_die,
  270. .alloc_size = sizeof(struct callrefhere_instance)
  271. }, {
  272. .type = "call",
  273. .func_new2 = func_new,
  274. .func_die = func_die,
  275. .func_clean = func_clean,
  276. .func_getobj = func_getobj,
  277. .flags = NCDMODULE_FLAG_CAN_RESOLVE_WHEN_DOWN,
  278. .alloc_size = sizeof(struct instance)
  279. }, {
  280. .type = "callrefhere::call",
  281. .func_new2 = func_new,
  282. .func_die = func_die,
  283. .func_clean = func_clean,
  284. .func_getobj = func_getobj,
  285. .flags = NCDMODULE_FLAG_CAN_RESOLVE_WHEN_DOWN,
  286. .alloc_size = sizeof(struct instance)
  287. }, {
  288. .type = NULL
  289. }
  290. };
  291. const struct NCDModuleGroup ncdmodule_call = {
  292. .modules = modules
  293. };