pocketpy_c.cpp 15 KB

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