ytrezq

That also means that right now, all new code change should ensure thread safety.

An alternative would be to simply use the Numba package which can run threads without using the gil at all. It would also dramatically speed up single threaded mode. In...

A large portion of the time spent when analysing contract is actually performed in C code in the Z3 solver. For example, when analysing `0xbb9bc244d798123fde783fcc1c72d3bb8c189413` using `-t 1` limit from...

@norhh I was talking regardless of the Gil of course. Please note Numba doesn’t rely on serialization and can run even old Python versions. So what can be done while...

@JoranHonig in the case of Numba here are the 2 limitations: - The function and it’s subfunctions (including in dependent modules) must not rely on the Python C api (note...

@norhh yes I known the codebase is no longer related. But neverless I’m interested about getting more details about in which functions and files it was done.

@norhh any chance this get into mythx?

@norhh might be a good solution for your servers which would allow the previous attempt to just work. I found a gil free version of Python3.6 https://github.com/larryhastings/gilectomy

@JoranHonig : except if the source code isn’t available or for testing low‑level compiler code generation.

@norhh : No. Adding instructions would change all jumps addresses in the binary code which means it’s not possible. In my case, I have only binary code along it’s [binary...