call.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370
  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. NCDModuleProcess process;
  85. int state;
  86. struct callrefhere_instance *crh;
  87. LinkedList0Node calls_list_node;
  88. };
  89. static void instance_free (struct instance *o);
  90. static int caller_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object);
  91. static int ref_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object);
  92. static void process_handler_event (struct instance *o, int event)
  93. {
  94. switch (event) {
  95. case NCDMODULEPROCESS_EVENT_UP: {
  96. ASSERT(o->state == STATE_WORKING)
  97. // signal up
  98. NCDModuleInst_Backend_Up(o->i);
  99. // set state up
  100. o->state = STATE_UP;
  101. } break;
  102. case NCDMODULEPROCESS_EVENT_DOWN: {
  103. ASSERT(o->state == STATE_UP)
  104. // signal down
  105. NCDModuleInst_Backend_Down(o->i);
  106. // set state waiting
  107. o->state = STATE_WAITING;
  108. } break;
  109. case NCDMODULEPROCESS_EVENT_TERMINATED: {
  110. ASSERT(o->state == STATE_TERMINATING)
  111. // die finally
  112. instance_free(o);
  113. return;
  114. } break;
  115. default: ASSERT(0);
  116. }
  117. }
  118. static int process_func_getspecialobj (struct instance *o, const char *name, NCDObject *out_object)
  119. {
  120. if (!strcmp(name, "_caller")) {
  121. *out_object = NCDObject_Build(NULL, o, NULL, (NCDObject_func_getobj)caller_obj_func_getobj);
  122. return 1;
  123. }
  124. if (!strcmp(name, "_ref")) {
  125. *out_object = NCDObject_Build(NULL, o, NULL, (NCDObject_func_getobj)ref_obj_func_getobj);
  126. return 1;
  127. }
  128. return 0;
  129. }
  130. static void callrefhere_func_new (NCDModuleInst *i)
  131. {
  132. // allocate instance
  133. struct callrefhere_instance *o = malloc(sizeof(*o));
  134. if (!o) {
  135. ModuleLog(i, BLOG_ERROR, "failed to allocate instance");
  136. goto fail0;
  137. }
  138. NCDModuleInst_Backend_SetUser(i, o);
  139. // set arguments
  140. o->i = i;
  141. // init calls list
  142. LinkedList0_Init(&o->calls_list);
  143. // signal up
  144. NCDModuleInst_Backend_Up(o->i);
  145. return;
  146. fail0:
  147. NCDModuleInst_Backend_SetError(i);
  148. NCDModuleInst_Backend_Dead(i);
  149. }
  150. static void callrefhere_func_die (void *vo)
  151. {
  152. struct callrefhere_instance *o = vo;
  153. NCDModuleInst *i = o->i;
  154. // disconnect calls
  155. while (!LinkedList0_IsEmpty(&o->calls_list)) {
  156. struct instance *inst = UPPER_OBJECT(LinkedList0_GetFirst(&o->calls_list), struct instance, calls_list_node);
  157. ASSERT(inst->crh == o)
  158. LinkedList0_Remove(&o->calls_list, &inst->calls_list_node);
  159. inst->crh = NULL;
  160. }
  161. // free instance
  162. free(o);
  163. NCDModuleInst_Backend_Dead(i);
  164. }
  165. static void func_new (NCDModuleInst *i)
  166. {
  167. // allocate instance
  168. struct instance *o = malloc(sizeof(*o));
  169. if (!o) {
  170. ModuleLog(i, BLOG_ERROR, "failed to allocate instance");
  171. goto fail0;
  172. }
  173. NCDModuleInst_Backend_SetUser(i, o);
  174. // init arguments
  175. o->i = i;
  176. // check arguments
  177. NCDValue *template_name_arg;
  178. NCDValue *args_arg;
  179. if (!NCDValue_ListRead(o->i->args, 2, &template_name_arg, &args_arg)) {
  180. ModuleLog(o->i, BLOG_ERROR, "wrong arity");
  181. goto fail1;
  182. }
  183. if (!NCDValue_IsStringNoNulls(template_name_arg) || NCDValue_Type(args_arg) != NCDVALUE_LIST) {
  184. ModuleLog(o->i, BLOG_ERROR, "wrong type");
  185. goto fail1;
  186. }
  187. char *template_name = NCDValue_StringValue(template_name_arg);
  188. // calling none?
  189. if (!strcmp(template_name, "<none>")) {
  190. // signal up
  191. NCDModuleInst_Backend_Up(o->i);
  192. // set state none
  193. o->state = STATE_NONE;
  194. } else {
  195. // copy arguments
  196. NCDValue args;
  197. if (!NCDValue_InitCopy(&args, args_arg)) {
  198. ModuleLog(o->i, BLOG_ERROR, "NCDValue_InitCopy failed");
  199. goto fail1;
  200. }
  201. // create process
  202. if (!NCDModuleProcess_Init(&o->process, o->i, template_name, args, o, (NCDModuleProcess_handler_event)process_handler_event)) {
  203. ModuleLog(o->i, BLOG_ERROR, "NCDModuleProcess_Init failed");
  204. NCDValue_Free(&args);
  205. goto fail1;
  206. }
  207. // set special functions
  208. NCDModuleProcess_SetSpecialFuncs(&o->process,
  209. (NCDModuleProcess_func_getspecialobj)process_func_getspecialobj);
  210. // set callrefhere
  211. o->crh = (o->i->method_user ? ((NCDModuleInst *)i->method_user)->inst_user : NULL);
  212. // add to callrefhere's calls list
  213. if (o->crh) {
  214. LinkedList0_Prepend(&o->crh->calls_list, &o->calls_list_node);
  215. }
  216. // set state working
  217. o->state = STATE_WORKING;
  218. }
  219. return;
  220. fail1:
  221. free(o);
  222. fail0:
  223. NCDModuleInst_Backend_SetError(i);
  224. NCDModuleInst_Backend_Dead(i);
  225. }
  226. void instance_free (struct instance *o)
  227. {
  228. NCDModuleInst *i = o->i;
  229. if (o->state != STATE_NONE) {
  230. // remove from callrefhere's calls list
  231. if (o->crh) {
  232. LinkedList0_Remove(&o->crh->calls_list, &o->calls_list_node);
  233. }
  234. // free process
  235. NCDModuleProcess_Free(&o->process);
  236. }
  237. // free instance
  238. free(o);
  239. NCDModuleInst_Backend_Dead(i);
  240. }
  241. static void func_die (void *vo)
  242. {
  243. struct instance *o = vo;
  244. ASSERT(o->state != STATE_TERMINATING)
  245. // if none, die now
  246. if (o->state == STATE_NONE) {
  247. instance_free(o);
  248. return;
  249. }
  250. // request process to terminate
  251. NCDModuleProcess_Terminate(&o->process);
  252. // set state terminating
  253. o->state = STATE_TERMINATING;
  254. }
  255. static void func_clean (void *vo)
  256. {
  257. struct instance *o = vo;
  258. if (o->state != STATE_WAITING) {
  259. return;
  260. }
  261. // allow process to continue
  262. NCDModuleProcess_Continue(&o->process);
  263. // set state working
  264. o->state = STATE_WORKING;
  265. }
  266. static int func_getobj (void *vo, const char *name, NCDObject *out_object)
  267. {
  268. struct instance *o = vo;
  269. if (o->state == STATE_NONE) {
  270. return 0;
  271. }
  272. return NCDModuleProcess_GetObj(&o->process, name, out_object);
  273. }
  274. static int caller_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object)
  275. {
  276. return NCDModuleInst_Backend_GetObj(o->i, name, out_object);
  277. }
  278. static int ref_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object)
  279. {
  280. if (!o->crh) {
  281. return 0;
  282. }
  283. return NCDModuleInst_Backend_GetObj(o->crh->i, name, out_object);
  284. }
  285. static const struct NCDModule modules[] = {
  286. {
  287. .type = "callrefhere",
  288. .func_new = callrefhere_func_new,
  289. .func_die = callrefhere_func_die
  290. }, {
  291. .type = "call",
  292. .func_new = func_new,
  293. .func_die = func_die,
  294. .func_clean = func_clean,
  295. .func_getobj = func_getobj,
  296. .can_resolve_when_down = 1
  297. }, {
  298. .type = "callrefhere::call",
  299. .func_new = func_new,
  300. .func_die = func_die,
  301. .func_clean = func_clean,
  302. .func_getobj = func_getobj,
  303. .can_resolve_when_down = 1
  304. }, {
  305. .type = NULL
  306. }
  307. };
  308. const struct NCDModuleGroup ncdmodule_call = {
  309. .modules = modules
  310. };