Salome HOME
Rationalize the GIL management of AdaoExchangeLayer class
[tools/adao_interface.git] / AdaoExchangeLayer.cxx
1 // Copyright (C) 2019 EDF R&D
2 //
3 // This library is free software; you can redistribute it and/or
4 // modify it under the terms of the GNU Lesser General Public
5 // License as published by the Free Software Foundation; either
6 // version 2.1 of the License.
7 //
8 // This library is distributed in the hope that it will be useful,
9 // but WITHOUT ANY WARRANTY; without even the implied warranty of
10 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
11 // Lesser General Public License for more details.
12 //
13 // You should have received a copy of the GNU Lesser General Public
14 // License along with this library; if not, write to the Free Software
15 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307 USA
16 //
17 // See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
18 //
19 // Author: Anthony Geay, anthony.geay@edf.fr, EDF R&D
20
21 #include "AdaoExchangeLayer.hxx"
22 #include "AdaoExchangeLayerException.hxx"
23 #include "AdaoModelKeyVal.hxx"
24 #include "PyObjectRAII.hxx"
25 #include "Python.h"
26
27 #include "py2cpp/py2cpp.hxx"
28
29 #include <semaphore.h>
30
31 #include <iostream>
32 #include <sstream>
33 #include <clocale>
34 #include <cstdlib>
35 #include <thread>
36 #include <future>
37
38 struct DataExchangedBetweenThreads // data written by subthread and read by calling thread
39 {
40 public:
41   DataExchangedBetweenThreads();
42   ~DataExchangedBetweenThreads();
43 public:
44   sem_t _sem;
45   sem_t _sem_result_is_here;
46   volatile bool _finished = false;
47   volatile PyObject *_data = nullptr;
48 };
49
50 /////////////////////////////////////////////
51
52 struct AdaoCallbackSt
53 {
54   PyObject_HEAD
55   DataExchangedBetweenThreads *_data;
56 };
57
58 static PyObject *adaocallback_call(AdaoCallbackSt *self, PyObject *args, PyObject *kw)
59 {
60   if(!PyTuple_Check(args))
61     throw AdaoExchangeLayerException("Input args is not a tuple as expected !");
62   if(PyTuple_Size(args)!=1)
63     throw AdaoExchangeLayerException("Input args is not a tuple of size 1 as expected !");
64   PyObjectRAII zeobj(PyObjectRAII::FromBorrowed(PyTuple_GetItem(args,0)));
65   if(zeobj.isNull())
66     throw AdaoExchangeLayerException("Retrieve of elt #0 of input tuple has failed !");
67   volatile PyObject *ret(nullptr);
68   PyThreadState *tstate(PyEval_SaveThread());// GIL is acquired (see ExecuteAsync). Before entering into non python section. Release lock
69   {
70     self->_data->_finished = false;
71     self->_data->_data = zeobj;
72     sem_post(&self->_data->_sem);
73     sem_wait(&self->_data->_sem_result_is_here);
74     ret = self->_data->_data;
75   }
76   PyEval_RestoreThread(tstate);//End of parallel section. Reaquire the GIL and restore the thread state
77   return (PyObject *)ret;
78 }
79
80 static int adaocallback___init__(PyObject *self, PyObject *args, PyObject *kwargs) { return 0; }
81
82 static PyObject *adaocallback___new__(PyTypeObject *type, PyObject *args, PyObject *kwargs)
83 {
84   return (PyObject *)( type->tp_alloc(type, 0) );
85 }
86
87 static void adaocallback_dealloc(PyObject *self)
88 {
89   Py_TYPE(self)->tp_free(self);
90 }
91
92 PyTypeObject AdaoCallbackType = {
93   PyVarObject_HEAD_INIT(&PyType_Type, 0)
94   "adaocallbacktype",
95   sizeof(AdaoCallbackSt),
96   0,
97   adaocallback_dealloc,       /*tp_dealloc*/
98   0,                          /*tp_print*/
99   0,                          /*tp_getattr*/
100   0,                          /*tp_setattr*/
101   0,                          /*tp_compare*/
102   0,                          /*tp_repr*/
103   0,                          /*tp_as_number*/
104   0,                          /*tp_as_sequence*/
105   0,                          /*tp_as_mapping*/
106   0,                          /*tp_hash*/
107   (ternaryfunc)adaocallback_call,  /*tp_call*/
108   0,                          /*tp_str*/
109   0,                          /*tp_getattro*/
110   0,                          /*tp_setattro*/
111   0,                          /*tp_as_buffer*/
112   Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC | Py_TPFLAGS_BASETYPE,  /*tp_flags*/
113   0,                          /*tp_doc*/
114   0,                          /*tp_traverse*/
115   0,                          /*tp_clear*/
116   0,                          /*tp_richcompare*/
117   0,                          /*tp_weaklistoffset*/
118   0,                          /*tp_iter*/
119   0,                          /*tp_iternext*/
120   0,                          /*tp_methods*/
121   0,                          /*tp_members*/
122   0,                          /*tp_getset*/
123   0,                          /*tp_base*/
124   0,                          /*tp_dict*/
125   0,                          /*tp_descr_get*/
126   0,                          /*tp_descr_set*/
127   0,                          /*tp_dictoffset*/
128   adaocallback___init__,      /*tp_init*/
129   PyType_GenericAlloc,        /*tp_alloc*/
130   adaocallback___new__,       /*tp_new*/
131   PyObject_GC_Del,            /*tp_free*/
132 };
133
134 /////////////////////////////////////////////
135
136 DataExchangedBetweenThreads::DataExchangedBetweenThreads()
137 {
138   if(sem_init(&_sem,0,0)!=0)// put value to 0 to lock by default
139     throw AdaoExchangeLayerException("Internal constructor : Error on initialization of semaphore !");
140   if(sem_init(&_sem_result_is_here,0,0)!=0)// put value to 0 to lock by default
141     throw AdaoExchangeLayerException("Internal constructor : Error on initialization of semaphore !");
142 }
143
144 DataExchangedBetweenThreads::~DataExchangedBetweenThreads()
145 {
146   sem_destroy(&_sem);
147   sem_destroy(&_sem_result_is_here);
148 }
149
150 class AdaoCallbackKeeper
151 {
152 public:
153   void assign(AdaoCallbackSt *pt, DataExchangedBetweenThreads *data)
154   {
155     release();
156     _pt = pt;
157     _pt->_data = data;
158   }
159   PyObject *getPyObject() const { return reinterpret_cast<PyObject*>(_pt); }
160   ~AdaoCallbackKeeper() { release(); }
161 private:
162   void release() { if(_pt) { Py_XDECREF(_pt); } }
163 private:
164   AdaoCallbackSt *_pt = nullptr;
165 };
166
167 class AdaoExchangeLayer::Internal
168 {
169 public:
170   Internal():_context(PyObjectRAII::FromNew(PyDict_New()))
171   { 
172     PyObject *mainmod(PyImport_AddModule("__main__"));
173     PyObject *globals(PyModule_GetDict(mainmod));
174     PyObject *bltins(PyEval_GetBuiltins());
175     PyDict_SetItemString(_context,"__builtins__",bltins);
176   }
177 public:
178   PyObjectRAII _context;
179   PyObjectRAII _generate_case_func;
180   PyObjectRAII _decorator_func;
181   PyObjectRAII _adao_case;
182   PyObjectRAII _execute_func;
183   AdaoCallbackKeeper _py_call_back;
184   std::future< void > _fut;
185   PyThreadState *_tstate = nullptr;
186   DataExchangedBetweenThreads _data_btw_threads;
187 };
188
189 wchar_t **ConvertToWChar(int argc, const char *argv[])
190 {
191   wchar_t **ret(new wchar_t*[argc]);
192   for(int i=0;i<argc;++i)
193     {
194       std::size_t len(strlen(argv[i])+1);
195       wchar_t *elt(new wchar_t[len]);
196       ret[i]=elt;
197       std::mbstowcs(elt, argv[i], len);
198     }
199   return ret;
200 }
201
202 void FreeWChar(int argc, wchar_t **tab)
203 {
204   for(int i=0;i<argc;++i)
205     delete [] tab[i];
206   delete [] tab;
207 }
208
209 AdaoExchangeLayer::AdaoExchangeLayer()
210 {
211 }
212
213 AdaoExchangeLayer::~AdaoExchangeLayer()
214 {
215   delete _internal;
216 }
217
218 void AdaoExchangeLayer::init()
219 {
220   initPythonIfNeeded();
221 }
222
223 PyObject *AdaoExchangeLayer::getPythonContext() const
224 {
225   if(!_internal)
226     throw AdaoExchangeLayerException("getPythonContext : not initialized !");
227   return _internal->_context;
228 }
229
230 void AdaoExchangeLayer::initPythonIfNeeded()
231 {
232   if (!Py_IsInitialized())
233     {
234       const char *TAB[]={"AdaoExchangeLayer"};
235       wchar_t **TABW(ConvertToWChar(1,TAB));
236       // Python is not initialized
237       Py_SetProgramName(const_cast<wchar_t *>(TABW[0]));
238       Py_Initialize(); // Initialize the interpreter
239       PySys_SetArgv(1,TABW);
240       FreeWChar(1,TABW);
241       PyEval_InitThreads();
242     }
243   delete _internal;
244   _internal = new Internal;
245 }
246
247 class Visitor1 : public AdaoModel::PythonLeafVisitor
248 {
249 public:
250   Visitor1(PyObjectRAII func, PyObject *context):_func(func),_context(context)
251   {
252   }
253   
254   void visit(AdaoModel::MainModel *godFather, AdaoModel::PyObjKeyVal *obj) override
255   {
256     if(obj->getKey()=="Matrix" || obj->getKey()=="DiagonalSparseMatrix")
257       {
258         std::ostringstream oss; oss << "__" << _cnt++;
259         std::string varname(oss.str());
260         obj->setVal(Py_None);
261         PyDict_SetItemString(_context,varname.c_str(),Py_None);
262         obj->setVarName(varname);
263         return ;
264       }
265     if(obj->getKey()=="OneFunction")
266       {
267         std::ostringstream oss; oss << "__" << _cnt++;
268         std::string varname(oss.str());
269         obj->setVal(_func);
270         PyDict_SetItemString(_context,varname.c_str(),_func);
271         obj->setVarName(varname);
272         return ;
273       }
274   }
275 private:
276   unsigned int _cnt = 0;
277   PyObjectRAII _func;
278   PyObject *_context = nullptr;
279 };
280
281 void AdaoExchangeLayer::loadTemplate(AdaoModel::MainModel *model)
282 {
283   AutoGIL agil;
284   const char DECORATOR_FUNC[]="def DecoratorAdao(cppFunc):\n"
285       "    def evaluator( xserie ):\n"
286       "        import numpy as np\n"
287       "        yserie = [np.array(elt) for elt in cppFunc(xserie)]\n"
288       "        return yserie\n"
289       "    return evaluator\n";
290   this->_internal->_py_call_back.assign(PyObject_GC_New(AdaoCallbackSt,&AdaoCallbackType),
291       &this->_internal->_data_btw_threads);
292   PyObject *callbackPyObj(this->_internal->_py_call_back.getPyObject());
293   //
294   {
295       PyObjectRAII res(PyObjectRAII::FromNew(PyRun_String(DECORATOR_FUNC,Py_file_input,this->_internal->_context,this->_internal->_context)));
296       PyObjectRAII decoratorGenerator( PyObjectRAII::FromBorrowed(PyDict_GetItemString(this->_internal->_context,"DecoratorAdao")) );
297       if(decoratorGenerator.isNull())
298         throw AdaoExchangeLayerException("Fail to locate DecoratorAdao function !");
299       PyObjectRAII args(PyObjectRAII::FromNew(PyTuple_New(1)));
300       { PyTuple_SetItem(args,0,callbackPyObj); Py_XINCREF(callbackPyObj); }
301       this->_internal->_decorator_func = PyObjectRAII::FromNew(PyObject_CallObject(decoratorGenerator,args));
302       if(this->_internal->_decorator_func.isNull())
303         throw AdaoExchangeLayerException("Fail to generate result of DecoratorAdao function !");
304   }
305   //
306   Visitor1 visitor(this->_internal->_decorator_func,this->_internal->_context);
307   model->visitPythonLeaves(&visitor);
308   //
309   {
310     std::string sciptPyOfModelMaker(model->pyStr());
311     PyObjectRAII res(PyObjectRAII::FromNew(PyRun_String(sciptPyOfModelMaker.c_str(),Py_file_input,this->_internal->_context,this->_internal->_context)));
312     PyErr_Print();
313     _internal->_adao_case = PyObjectRAII::FromNew(PyDict_GetItemString(this->_internal->_context,"case"));
314   }
315   if(_internal->_adao_case.isNull())
316     throw AdaoExchangeLayerException("Fail to generate ADAO case object !");
317   //
318   _internal->_execute_func=PyObjectRAII::FromNew(PyObject_GetAttrString(_internal->_adao_case,"execute"));
319   if(_internal->_execute_func.isNull())
320     throw AdaoExchangeLayerException("Fail to locate execute function of ADAO case object !");
321 }
322
323 void ExecuteAsync(PyObject *pyExecuteFunction, DataExchangedBetweenThreads *data)
324 {
325   {
326     AutoGIL gil; // launched in a separed thread -> protect python calls
327     PyObjectRAII args(PyObjectRAII::FromNew(PyTuple_New(0)));
328     PyObjectRAII nullRes(PyObjectRAII::FromNew(PyObject_CallObject(pyExecuteFunction,args)));// go to adaocallback_call
329     PyErr_Print();
330   }
331   data->_finished = true;
332   data->_data = nullptr;
333   sem_post(&data->_sem);
334 }
335
336 void AdaoExchangeLayer::execute()
337 {
338   _internal->_tstate=PyEval_SaveThread(); // release the lock acquired in AdaoExchangeLayer::initPythonIfNeeded by PyEval_InitThreads()
339   _internal->_fut = std::async(std::launch::async,ExecuteAsync,_internal->_execute_func,&_internal->_data_btw_threads);
340 }
341
342 bool AdaoExchangeLayer::next(PyObject *& inputRequested)
343 {
344   sem_wait(&_internal->_data_btw_threads._sem);
345   if(_internal->_data_btw_threads._finished)
346     {
347       inputRequested = nullptr;
348       return false;
349     }
350   else
351     {
352       inputRequested = (PyObject *)_internal->_data_btw_threads._data;
353       return true;
354     }
355 }
356
357 void AdaoExchangeLayer::setResult(PyObject *outputAssociated)
358 {
359   _internal->_data_btw_threads._data = outputAssociated;
360   _internal->_data_btw_threads._finished = false;
361   sem_post(&_internal->_data_btw_threads._sem_result_is_here);
362 }
363
364 PyObject *AdaoExchangeLayer::getResult()
365 {
366   _internal->_fut.wait();
367   PyEval_RestoreThread(_internal->_tstate);
368   AutoGIL gil;
369   // now retrieve case.get("Analysis")[-1]
370   PyObjectRAII get_func_of_adao_case(PyObjectRAII::FromNew(PyObject_GetAttrString(_internal->_adao_case,"get")));
371   if(get_func_of_adao_case.isNull())
372     throw AdaoExchangeLayerException("Fail to locate \"get\" method from ADAO case !");
373   PyObjectRAII all_intermediate_results;
374   {// retrieve return data from case.get("Analysis")
375     PyObjectRAII args(PyObjectRAII::FromNew(PyTuple_New(1)));
376     PyTuple_SetItem(args,0,PyUnicode_FromString("Analysis"));
377     all_intermediate_results=PyObjectRAII::FromNew(PyObject_CallObject(get_func_of_adao_case,args));
378     if(all_intermediate_results.isNull())
379       throw AdaoExchangeLayerException("Fail to retrieve result of case.get(\"Analysis\") !");
380   }
381   PyObjectRAII optimum;
382   {
383     PyObjectRAII param(PyObjectRAII::FromNew(PyLong_FromLong(-1)));
384     optimum=PyObjectRAII::FromNew(PyObject_GetItem(all_intermediate_results,param));
385     if(optimum.isNull())
386       throw AdaoExchangeLayerException("Fail to retrieve result of last element of case.get(\"Analysis\") !");
387   }
388   /*PyObjectRAII code(PyObjectRAII::FromNew(Py_CompileString("case.get(\"Analysis\")[-1]","retrieve result",Py_file_input)));
389   if(code.isNull())
390     throw AdaoExchangeLayerException("Fail to compile code to retrieve result after ADAO computation !");
391     PyObjectRAII res(PyObjectRAII::FromNew(PyEval_EvalCode(code,_internal->_context,_internal->_context)));*/
392   return optimum.retn();
393 }