call.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376
  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 (NCDModuleInst *i)
  132. {
  133. // allocate instance
  134. struct callrefhere_instance *o = malloc(sizeof(*o));
  135. if (!o) {
  136. ModuleLog(i, BLOG_ERROR, "failed to allocate instance");
  137. goto fail0;
  138. }
  139. NCDModuleInst_Backend_SetUser(i, o);
  140. // set arguments
  141. o->i = i;
  142. // init calls list
  143. LinkedList0_Init(&o->calls_list);
  144. // signal up
  145. NCDModuleInst_Backend_Up(o->i);
  146. return;
  147. fail0:
  148. NCDModuleInst_Backend_SetError(i);
  149. NCDModuleInst_Backend_Dead(i);
  150. }
  151. static void callrefhere_func_die (void *vo)
  152. {
  153. struct callrefhere_instance *o = vo;
  154. NCDModuleInst *i = o->i;
  155. // disconnect calls
  156. while (!LinkedList0_IsEmpty(&o->calls_list)) {
  157. struct instance *inst = UPPER_OBJECT(LinkedList0_GetFirst(&o->calls_list), struct instance, calls_list_node);
  158. ASSERT(inst->crh == o)
  159. LinkedList0_Remove(&o->calls_list, &inst->calls_list_node);
  160. inst->crh = NULL;
  161. }
  162. // free instance
  163. free(o);
  164. NCDModuleInst_Backend_Dead(i);
  165. }
  166. static void func_new (NCDModuleInst *i)
  167. {
  168. // allocate instance
  169. struct instance *o = malloc(sizeof(*o));
  170. if (!o) {
  171. ModuleLog(i, BLOG_ERROR, "failed to allocate instance");
  172. goto fail0;
  173. }
  174. o->i = i;
  175. NCDModuleInst_Backend_SetUser(i, o);
  176. // check arguments
  177. NCDValRef template_name_arg;
  178. NCDValRef args_arg;
  179. if (!NCDVal_ListRead(i->args, 2, &template_name_arg, &args_arg)) {
  180. ModuleLog(o->i, BLOG_ERROR, "wrong arity");
  181. goto fail1;
  182. }
  183. if (!NCDVal_IsStringNoNulls(template_name_arg) || !NCDVal_IsList(args_arg)) {
  184. ModuleLog(o->i, BLOG_ERROR, "wrong type");
  185. goto fail1;
  186. }
  187. const char *template_name = NCDVal_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. // init args mem
  196. NCDValMem_Init(&o->args_mem);
  197. // copy arguments
  198. NCDValRef args = NCDVal_NewCopy(&o->args_mem, args_arg);
  199. if (NCDVal_IsInvalid(args)) {
  200. ModuleLog(o->i, BLOG_ERROR, "NCDVal_NewCopy failed");
  201. NCDValMem_Free(&o->args_mem);
  202. goto fail1;
  203. }
  204. // create process
  205. if (!NCDModuleProcess_Init(&o->process, o->i, template_name, args, o, (NCDModuleProcess_handler_event)process_handler_event)) {
  206. ModuleLog(o->i, BLOG_ERROR, "NCDModuleProcess_Init failed");
  207. NCDValMem_Free(&o->args_mem);
  208. goto fail1;
  209. }
  210. // set special functions
  211. NCDModuleProcess_SetSpecialFuncs(&o->process,
  212. (NCDModuleProcess_func_getspecialobj)process_func_getspecialobj);
  213. // set callrefhere
  214. o->crh = (o->i->method_user ? NCDModuleInst_Backend_GetUser((NCDModuleInst *)i->method_user) : NULL);
  215. // add to callrefhere's calls list
  216. if (o->crh) {
  217. LinkedList0_Prepend(&o->crh->calls_list, &o->calls_list_node);
  218. }
  219. // set state working
  220. o->state = STATE_WORKING;
  221. }
  222. return;
  223. fail1:
  224. free(o);
  225. fail0:
  226. NCDModuleInst_Backend_SetError(i);
  227. NCDModuleInst_Backend_Dead(i);
  228. }
  229. void instance_free (struct instance *o)
  230. {
  231. NCDModuleInst *i = o->i;
  232. if (o->state != STATE_NONE) {
  233. // remove from callrefhere's calls list
  234. if (o->crh) {
  235. LinkedList0_Remove(&o->crh->calls_list, &o->calls_list_node);
  236. }
  237. // free args mem
  238. NCDValMem_Free(&o->args_mem);
  239. // free process
  240. NCDModuleProcess_Free(&o->process);
  241. }
  242. // free instance
  243. free(o);
  244. NCDModuleInst_Backend_Dead(i);
  245. }
  246. static void func_die (void *vo)
  247. {
  248. struct instance *o = vo;
  249. ASSERT(o->state != STATE_TERMINATING)
  250. // if none, die now
  251. if (o->state == STATE_NONE) {
  252. instance_free(o);
  253. return;
  254. }
  255. // request process to terminate
  256. NCDModuleProcess_Terminate(&o->process);
  257. // set state terminating
  258. o->state = STATE_TERMINATING;
  259. }
  260. static void func_clean (void *vo)
  261. {
  262. struct instance *o = vo;
  263. if (o->state != STATE_WAITING) {
  264. return;
  265. }
  266. // allow process to continue
  267. NCDModuleProcess_Continue(&o->process);
  268. // set state working
  269. o->state = STATE_WORKING;
  270. }
  271. static int func_getobj (void *vo, const char *name, NCDObject *out_object)
  272. {
  273. struct instance *o = vo;
  274. if (o->state == STATE_NONE) {
  275. return 0;
  276. }
  277. return NCDModuleProcess_GetObj(&o->process, name, out_object);
  278. }
  279. static int caller_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object)
  280. {
  281. return NCDModuleInst_Backend_GetObj(o->i, name, out_object);
  282. }
  283. static int ref_obj_func_getobj (struct instance *o, const char *name, NCDObject *out_object)
  284. {
  285. if (!o->crh) {
  286. return 0;
  287. }
  288. return NCDModuleInst_Backend_GetObj(o->crh->i, name, out_object);
  289. }
  290. static const struct NCDModule modules[] = {
  291. {
  292. .type = "callrefhere",
  293. .func_new = callrefhere_func_new,
  294. .func_die = callrefhere_func_die
  295. }, {
  296. .type = "call",
  297. .func_new = func_new,
  298. .func_die = func_die,
  299. .func_clean = func_clean,
  300. .func_getobj = func_getobj,
  301. .can_resolve_when_down = 1
  302. }, {
  303. .type = "callrefhere::call",
  304. .func_new = func_new,
  305. .func_die = func_die,
  306. .func_clean = func_clean,
  307. .func_getobj = func_getobj,
  308. .can_resolve_when_down = 1
  309. }, {
  310. .type = NULL
  311. }
  312. };
  313. const struct NCDModuleGroup ncdmodule_call = {
  314. .modules = modules
  315. };