pocketpy_c.cpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549
  1. #include "pocketpy.h"
  2. #include "pocketpy_c.h"
  3. using namespace pkpy;
  4. #define PKPY_STACK_SIZE 32
  5. #define SAFEGUARD_OPEN try { \
  6. #define SAFEGUARD_CLOSE \
  7. } catch(std::exception& e) { \
  8. std::cerr << "ERROR: a std::exception " \
  9. << "this probably means pocketpy itself has a bug!\n" \
  10. << e.what() << "\n"; \
  11. exit(2); \
  12. } catch(std::runtime_error& e) { \
  13. std::cerr << "ERROR: a std::runtime_error " \
  14. << "this probably means pocketpy itself has a bug!\n" \
  15. << e.what() << "\n"; \
  16. exit(2); \
  17. } catch(...) { \
  18. std::cerr << "ERROR: a unknown exception was thrown from " << __func__ \
  19. << "\nthis probably means pocketpy itself has a bug!\n"; \
  20. exit(2); \
  21. }
  22. #define ERRHANDLER_OPEN SAFEGUARD_OPEN \
  23. try { \
  24. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr) \
  25. return false; \
  26. #define ERRHANDLER_CLOSE \
  27. } catch( Exception e ) { \
  28. vm->c_data->push(py_var(vm, e)); \
  29. vm->c_data->push(NULL); \
  30. return false; \
  31. } \
  32. SAFEGUARD_CLOSE \
  33. class CVM : public VM {
  34. public :
  35. ValueStackImpl<PKPY_STACK_SIZE>* c_data;
  36. CVM(bool enable_os=true) : VM(enable_os) {
  37. c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  38. }
  39. ~CVM() {
  40. c_data->clear();
  41. delete c_data;
  42. }
  43. };
  44. //for now I will unpack a tuple automatically, we may not want to handle
  45. //it this way, not sure
  46. //it is more lua like, but maybe not python like
  47. static void unpack_return(CVM* vm, PyObject* ret) {
  48. if (is_type(ret, vm->tp_tuple)) {
  49. Tuple& t = py_cast<Tuple&>(vm, ret);
  50. for (int i = 0; i < t.size(); i++)
  51. vm->c_data->push(t[i]);
  52. } else if (ret == vm->None) {
  53. //do nothing here
  54. //having to pop the stack after every call that returns none is annoying
  55. //lua does not do this
  56. //
  57. //so for now we will not push none on the stack when it is the sole thing returned
  58. //if this becomes a problem we can change it
  59. //
  60. //you can still check if it returned none by comparing stack size before
  61. //and after if you have to
  62. } else
  63. vm->c_data->push(ret);
  64. }
  65. bool pkpy_clear_error(pkpy_vm* vm_handle, char** message) {
  66. CVM* vm = (CVM*) vm_handle;
  67. SAFEGUARD_OPEN
  68. if (vm->c_data->size() == 0 || vm->c_data->top() != nullptr)
  69. return false;
  70. vm->c_data->pop();
  71. Exception& e = py_cast<Exception&>(vm, vm->c_data->top());
  72. if (message != nullptr)
  73. *message = e.summary().c_str_dup();
  74. else
  75. std::cerr << "ERROR: " << e.summary() << "\n";
  76. vm->c_data->clear();
  77. vm->callstack.clear();
  78. vm->s_data.clear();
  79. return true;
  80. SAFEGUARD_CLOSE
  81. }
  82. void gc_marker_ex(CVM* vm) {
  83. for(PyObject* obj: *vm->c_data) if(obj!=nullptr) OBJ_MARK(obj);
  84. }
  85. static void noop_output_handler(VM* vm, const Str& str) {
  86. (void) vm;
  87. (void) str;
  88. }
  89. pkpy_vm* pkpy_vm_create(bool use_stdio, bool enable_os) {
  90. CVM* vm = new CVM(enable_os);
  91. vm->c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  92. vm->_gc_marker_ex = (void (*)(VM*)) gc_marker_ex;
  93. if (!use_stdio) {
  94. vm->_stdout = noop_output_handler;
  95. vm->_stderr = noop_output_handler;
  96. }
  97. return (pkpy_vm*) vm;
  98. }
  99. bool pkpy_vm_run(pkpy_vm* vm_handle, const char* source) {
  100. CVM* vm = (CVM*) vm_handle;
  101. ERRHANDLER_OPEN
  102. CodeObject_ code = vm->compile(source, "<c-bound>", EXEC_MODE);
  103. PyObject* result = vm->_exec(code, vm->_main);
  104. //unpack_return(w, result);
  105. //NOTE: it seems like vm->_exec should return whatever the last command it
  106. //ran returned but instead it seems to pretty much always return None
  107. //so I guess uncomment this line if that every changes
  108. return true;
  109. ERRHANDLER_CLOSE
  110. }
  111. void pkpy_vm_destroy(pkpy_vm* vm_handle) {
  112. CVM* vm = (CVM*) vm_handle;
  113. delete vm;
  114. }
  115. static void propagate_if_errored(CVM* vm, ValueStackImpl<PKPY_STACK_SIZE>* stored_stack) {
  116. try {
  117. if (vm->c_data->size() == 0 || vm->c_data->top() != nullptr)
  118. return;
  119. vm->c_data->pop();
  120. Exception& e = py_cast<Exception&>(vm, vm->c_data->top());
  121. vm->c_data->pop();
  122. vm->c_data = stored_stack;
  123. throw e;
  124. } catch(Exception& e) {
  125. throw;
  126. } catch(...) {
  127. std::cerr << "ERROR: a non pocketpy exeception was thrown "
  128. << "this probably means pocketpy itself has a bug!\n";
  129. exit(2);
  130. }
  131. }
  132. PyObject* c_function_wrapper(VM* vm, ArgsView args) {
  133. LuaStyleFuncC f = py_cast<NativeFunc&>(vm, args[-2])._lua_f;
  134. CVM* cvm = (CVM*) vm;
  135. //setup c stack
  136. ValueStackImpl<PKPY_STACK_SIZE> local_stack;
  137. for (int i = 0; i < args.size(); i++)
  138. local_stack.push(args[i]);
  139. ValueStackImpl<PKPY_STACK_SIZE>* stored_stack = cvm->c_data;
  140. cvm->c_data = &local_stack;
  141. int retc = f(cvm);
  142. propagate_if_errored(cvm, stored_stack);
  143. cvm->c_data = stored_stack;
  144. PyObject* ret = cvm->None;
  145. if (retc == 1)
  146. ret = local_stack.top();
  147. else if (retc > 1) {
  148. Tuple t(retc);
  149. for (int i = 0; i < retc; i++) {
  150. int stack_index = (local_stack.size() - retc) + i;
  151. t[i] = local_stack.begin()[stack_index];
  152. }
  153. ret = py_var(cvm, t);
  154. }
  155. return ret;
  156. }
  157. bool pkpy_push_function(pkpy_vm* vm_handle, pkpy_function f) {
  158. CVM* vm = (CVM*) vm_handle;
  159. ERRHANDLER_OPEN
  160. //TODO right now we just treat all c bound functions a varargs functions
  161. //do we want to change that?
  162. NativeFunc nf = NativeFunc(c_function_wrapper, -1, 0);
  163. nf._lua_f = (LuaStyleFuncC) f;
  164. vm->c_data->push(py_var(vm, nf));
  165. return true;
  166. ERRHANDLER_CLOSE
  167. }
  168. bool pkpy_push_int(pkpy_vm* vm_handle, int value) {
  169. CVM* vm = (CVM*) vm_handle;
  170. ERRHANDLER_OPEN
  171. vm->c_data->push(py_var(vm, value));
  172. return true;
  173. ERRHANDLER_CLOSE
  174. }
  175. bool pkpy_push_float(pkpy_vm* vm_handle, double value) {
  176. CVM* vm = (CVM*) vm_handle;
  177. ERRHANDLER_OPEN
  178. vm->c_data->push(py_var(vm, value));
  179. return true;
  180. ERRHANDLER_CLOSE
  181. }
  182. bool pkpy_push_bool(pkpy_vm* vm_handle, bool value) {
  183. CVM* vm = (CVM*) vm_handle;
  184. ERRHANDLER_OPEN
  185. vm->c_data->push(py_var(vm, value));
  186. return true;
  187. ERRHANDLER_CLOSE
  188. }
  189. bool pkpy_push_string(pkpy_vm* vm_handle, const char* value) {
  190. CVM* vm = (CVM*) vm_handle;
  191. ERRHANDLER_OPEN
  192. vm->c_data->push(py_var(vm, value));
  193. return true;
  194. ERRHANDLER_CLOSE
  195. }
  196. bool pkpy_push_stringn(pkpy_vm* vm_handle, const char* value, int length) {
  197. CVM* vm = (CVM*) vm_handle;
  198. ERRHANDLER_OPEN
  199. Str s = Str(value, length);
  200. vm->c_data->push(py_var(vm, s));
  201. return true;
  202. ERRHANDLER_CLOSE
  203. }
  204. bool pkpy_push_voidp(pkpy_vm* vm_handle, void* value) {
  205. CVM* vm = (CVM*) vm_handle;
  206. ERRHANDLER_OPEN
  207. vm->c_data->push(py_var(vm, value));
  208. return true;
  209. ERRHANDLER_CLOSE
  210. }
  211. bool pkpy_push_none(pkpy_vm* vm_handle) {
  212. CVM* vm = (CVM*) vm_handle;
  213. ERRHANDLER_OPEN
  214. vm->c_data->push(vm->None);
  215. return true;
  216. ERRHANDLER_CLOSE
  217. }
  218. bool pkpy_set_global(pkpy_vm* vm_handle, const char* name) {
  219. CVM* vm = (CVM*) vm_handle;
  220. ERRHANDLER_OPEN
  221. vm->_main->attr().set(name, vm->c_data->top());
  222. vm->c_data->pop();
  223. return true;
  224. ERRHANDLER_CLOSE
  225. }
  226. //get global will also get bulitins
  227. bool pkpy_get_global(pkpy_vm* vm_handle, const char* name) {
  228. CVM* vm = (CVM*) vm_handle;
  229. ERRHANDLER_OPEN
  230. PyObject* o = vm->_main->attr().try_get(name);
  231. if (o == nullptr) {
  232. o = vm->builtins->attr().try_get(name);
  233. if (o == nullptr)
  234. throw Exception("NameError", "could not find requested global");
  235. }
  236. vm->c_data->push(o);
  237. return true;
  238. ERRHANDLER_CLOSE
  239. }
  240. bool pkpy_call(pkpy_vm* vm_handle, int argc) {
  241. CVM* vm = (CVM*) vm_handle;
  242. ERRHANDLER_OPEN
  243. int callable_index = vm->c_data->size() - argc - 1;
  244. PyObject* callable = vm->c_data->begin()[callable_index];
  245. vm->s_data.push(callable);
  246. vm->s_data.push(PY_NULL);
  247. for (int i = 0; i < argc; i++)
  248. vm->s_data.push(vm->c_data->begin()[callable_index + i + 1]);
  249. PyObject* o = vm->vectorcall(argc);
  250. vm->c_data->shrink(argc + 1);
  251. unpack_return(vm, o);
  252. return true;
  253. ERRHANDLER_CLOSE
  254. }
  255. bool pkpy_call_method(pkpy_vm* vm_handle, const char* name, int argc) {
  256. CVM* vm = (CVM*) vm_handle;
  257. ERRHANDLER_OPEN
  258. int self_index = vm->c_data->size() - argc - 1;
  259. PyObject* self = vm->c_data->begin()[self_index];
  260. PyObject* callable = vm->get_unbound_method(self, name, &self);
  261. vm->s_data.push(callable);
  262. vm->s_data.push(self);
  263. for (int i = 0; i < argc; i++)
  264. vm->s_data.push(vm->c_data->begin()[self_index + i + 1]);
  265. PyObject* o = vm->vectorcall(argc);
  266. vm->c_data->shrink(argc + 1);
  267. unpack_return(vm, o);
  268. return true;
  269. ERRHANDLER_CLOSE
  270. }
  271. static int lua_to_cstack_index(int index, int size) {
  272. if (index < 0)
  273. index = size + index;
  274. return index;
  275. }
  276. bool pkpy_to_int(pkpy_vm* vm_handle, int index, int* ret) {
  277. CVM* vm = (CVM*) vm_handle;
  278. ERRHANDLER_OPEN
  279. index = lua_to_cstack_index(index, vm->c_data->size());
  280. PyObject* o = vm->c_data->begin()[index];
  281. if (ret != nullptr)
  282. *ret = py_cast<int>(vm, o);
  283. return true;
  284. ERRHANDLER_CLOSE
  285. }
  286. bool pkpy_to_float(pkpy_vm* vm_handle, int index, double* ret) {
  287. CVM* vm = (CVM*) vm_handle;
  288. ERRHANDLER_OPEN
  289. index = lua_to_cstack_index(index, vm->c_data->size());
  290. PyObject* o = vm->c_data->begin()[index];
  291. if (ret != nullptr)
  292. *ret = py_cast<double>(vm, o);
  293. return true;
  294. ERRHANDLER_CLOSE
  295. }
  296. bool pkpy_to_bool(pkpy_vm* vm_handle, int index, bool* ret) {
  297. CVM* vm = (CVM*) vm_handle;
  298. ERRHANDLER_OPEN
  299. index = lua_to_cstack_index(index, vm->c_data->size());
  300. PyObject* o = vm->c_data->begin()[index];
  301. if (ret != nullptr)
  302. *ret = py_cast<bool>(vm, o);
  303. return true;
  304. ERRHANDLER_CLOSE
  305. }
  306. bool pkpy_to_voidp(pkpy_vm* vm_handle, int index, void** ret) {
  307. CVM* vm = (CVM*) vm_handle;
  308. ERRHANDLER_OPEN
  309. index = lua_to_cstack_index(index, vm->c_data->size());
  310. PyObject* o = vm->c_data->begin()[index];
  311. if (ret != nullptr)
  312. *ret = py_cast<void*>(vm, o);
  313. return true;
  314. ERRHANDLER_CLOSE
  315. }
  316. bool pkpy_to_string(pkpy_vm* vm_handle, int index, char** ret) {
  317. CVM* vm = (CVM*) vm_handle;
  318. ERRHANDLER_OPEN
  319. index = lua_to_cstack_index(index, vm->c_data->size());
  320. PyObject* o = vm->c_data->begin()[index];
  321. if (ret != nullptr) {
  322. Str& s = py_cast<Str&>(vm, o);
  323. *ret = s.c_str_dup();
  324. }
  325. return true;
  326. ERRHANDLER_CLOSE
  327. }
  328. bool pkpy_to_stringn(pkpy_vm* vm_handle, int index, const char** ret, int* size) {
  329. CVM* vm = (CVM*) vm_handle;
  330. ERRHANDLER_OPEN
  331. index = lua_to_cstack_index(index, vm->c_data->size());
  332. PyObject* o = vm->c_data->begin()[index];
  333. if (ret != nullptr) {
  334. std::string_view sv = py_cast<Str&>(vm, o).sv();
  335. *ret = sv.data();
  336. *size = sv.size();
  337. }
  338. return true;
  339. ERRHANDLER_CLOSE
  340. }
  341. bool pkpy_is_int(pkpy_vm* vm_handle, int index) {
  342. CVM* vm = (CVM*) vm_handle;
  343. index = lua_to_cstack_index(index, vm->c_data->size());
  344. PyObject* o = vm->c_data->begin()[index];
  345. return is_type(o, vm->tp_int);
  346. }
  347. bool pkpy_is_float(pkpy_vm* vm_handle, int index) {
  348. CVM* vm = (CVM*) vm_handle;
  349. index = lua_to_cstack_index(index, vm->c_data->size());
  350. PyObject* o = vm->c_data->begin()[index];
  351. return is_type(o, vm->tp_float);
  352. }
  353. bool pkpy_is_bool(pkpy_vm* vm_handle, int index) {
  354. CVM* vm = (CVM*) vm_handle;
  355. index = lua_to_cstack_index(index, vm->c_data->size());
  356. PyObject* o = vm->c_data->begin()[index];
  357. return is_type(o, vm->tp_bool);
  358. }
  359. bool pkpy_is_string(pkpy_vm* vm_handle, int index) {
  360. CVM* vm = (CVM*) vm_handle;
  361. index = lua_to_cstack_index(index, vm->c_data->size());
  362. PyObject* o = vm->c_data->begin()[index];
  363. return is_type(o, vm->tp_str);
  364. }
  365. bool pkpy_is_voidp(pkpy_vm* vm_handle, int index) {
  366. CVM* vm = (CVM*) vm_handle;
  367. index = lua_to_cstack_index(index, vm->c_data->size());
  368. PyObject* o = vm->c_data->begin()[index];
  369. return is_type(o, VoidP::_type(vm));
  370. }
  371. bool pkpy_is_none(pkpy_vm* vm_handle, int index) {
  372. CVM* vm = (CVM*) vm_handle;
  373. index = lua_to_cstack_index(index, vm->c_data->size());
  374. PyObject* o = vm->c_data->begin()[index];
  375. return o == vm->None;
  376. }
  377. bool pkpy_check_global(pkpy_vm* vm_handle, const char* name) {
  378. CVM* vm = (CVM*) vm_handle;
  379. SAFEGUARD_OPEN
  380. PyObject* o = vm->_main->attr().try_get(name);
  381. if (o == nullptr) {
  382. o = vm->builtins->attr().try_get(name);
  383. if (o == nullptr)
  384. return false;
  385. }
  386. return true;
  387. SAFEGUARD_CLOSE
  388. }
  389. bool pkpy_check_error(pkpy_vm* vm_handle) {
  390. CVM* vm = (CVM*) vm_handle;
  391. SAFEGUARD_OPEN
  392. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr)
  393. return true;
  394. return false;
  395. SAFEGUARD_CLOSE
  396. }
  397. bool pkpy_check_stack(pkpy_vm* vm_handle, int free) {
  398. CVM* vm = (CVM*) vm_handle;
  399. return free + vm->c_data->size() <= PKPY_STACK_SIZE;
  400. }
  401. int pkpy_stack_size(pkpy_vm* vm_handle) {
  402. CVM* vm = (CVM*) vm_handle;
  403. return vm->c_data->size();
  404. }
  405. bool pkpy_pop(pkpy_vm* vm_handle, int n) {
  406. CVM* vm = (CVM*) vm_handle;
  407. vm->c_data->shrink(n);
  408. return true;
  409. }