Cython的用法以及填坑姿势

Posted 建木

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Cython的用法以及填坑姿势相关的知识,希望对你有一定的参考价值。

因为项目需要,需要优化已有的Python代码。目前Python代码的执行过程是将Python代码转变成一行行指令,然后解释器解释指令的执行,调用到C代码层。如果去掉指令解释这个阶段,直接进入C代码层,效率就比较高了。如果用之前所述的使用Python C API将Python代码改造为C代码并作为Python的内建模块,工作量极其大,也不能保证其正确性,所以这种方法不太现实。而Cython库正好符合这种场景需求,将已有的Python代码转化为C语言的代码,并作为Python的built-in模块扩展。

版本说明:

Python 2.7.13  (CPython)

Cython 0.25.2

Python的文件类型介绍:

.py       python的源代码文件

.pyc     Python源代码import后,编译生成的字节码

.pyo     Python源代码编译优化生成的字节码。pyo比pyc并没有优化多少,只是去掉了断言

.pyd     Python的动态链接库(Windows平台)

.py, .pyc, .pyo 运行速度几乎无差别,只是pyc, pyo文件加载的速度更快,不能用文本编辑器查看内容,反编译不太容易

 

本文的目标是将test.py文件生成test.c文件,然后将test.c文件作为Python源码的一部分,重新编译生成Python,使用时直接import test即可使用test模块。

Cython基本介绍:

文档中这样总结Cython:

Cython is an optimising static compiler for both the Python programming language and the extended Cython programming language (based on Pyrex). It makes writing C extensions for Python as easy as Python itself.

是一个Python编程语言的编译器,写C扩展就像写Python代码一样容易。

其最重要的功能是:

  • write Python code that calls back and forth from and to C or C++ code natively at any point.

即 将Python代码翻译为C代码。之后就可以像前面文章介绍的C语言扩展Python模块使用这些C代码了。

 

Cython基本用法:

 在使用Cython编译Python代码时,务必要安装C/C++编译器,本文是直接安装了Visiual Studio 2015的开发环境。

1. 安装Cython库

   pip install Cython

 就是如此简单明了

2. 编写一个测试代码文件test.py放在D:/test/test.py

def say_hello():
    print "hello world"

然后在同一目录下,新建一个setup.py文件,内容如下:

from distutils.core import setup
from Cython.Build import cythonize

setup(ext_modules = cythonize("test.py"))

cythonize()是Cython提供将Python代码转换成C代码的API,

setup是Python提供的一种发布Python模块的方法。

3. 使用命令行编译Python代码:

python setup.py build_ext  --inplace

如果出现这种情况是因为没有C编译器相关的配置没有设置好,在Windows上一般采用Microsoft VisualStudio,不同的VS版本设置不同。

  • Visual Studio 2010 (VS10): SET VS90COMNTOOLS=%VS100COMNTOOLS%
  • Visual Studio 2012 (VS11): SET VS90COMNTOOLS=%VS110COMNTOOLS%
  • Visual Studio 2013 (VS12): SET VS90COMNTOOLS=%VS120COMNTOOLS%
  • Visual Studio 2015 (VS14): SET VS90COMNTOOLS=%VS140COMNTOOLS%
  • Visual Studio 2017 (VS14): SET VS90COMNTOOLS=%VS150COMNTOOLS% 

这里采用VS2015作为C的编译器。

在命令行中输入SET VS90COMNTOOLS=%VS140COMNTOOLS%

然后输入编译命令:python setup.py build_ext --inplace

最终的生成结果如下:

在D:/test/ 目录中:

test.c是test.py转化后的C代码文件,可以看到test.c非常大!!

test.pyd是python的动态链接库,我们在使用import test时会加载

build目录编译过程中生成的临时文件

使用刚刚生成的test模块,就像使用Python的任意模块一样:

 

这里稍微解释一下 命令行:python setup.py build_ext --inplace

build_ext是指明python生成C/C++的扩展模块(build C/C++ extensions (compile/link to build directory))

--inplace指示 将编译后的扩展模块直接放在与test.py同级的目录中。

 

整个Cython工作的流程如下图所示:

分两步:

1).py文件使用Cython被编译为.c文件;

2).c文件使用C编译器生成.pyd(windos)或.so(linux)文件。

 除了这种普遍的用法外,还可以在Python代码的某些地方加上静态类型声明,也可以更进一步提升Python的运行效率,这些属于小技巧了~

比如:

def say_hello(int s):
    cdef int a = 2
    print s + 2

s和a变量直接指示为int类型,不用再做动态语言的类型推断了。

 

小测试:

import math
import time

def f():
    time1 = time.time()
    for i in range(100000000):
        x = math.sqrt(i)
    time2 = time.time()
    print time2 - time1

这段原生的Python代码运行时间是13.17秒,使用Cython优化后,运行时间为9.36秒。基本上提升30%。其实Cython一般对外声称的效率提升也大概是这么多。

 

Cython中的坑

在这一小节中,讨论Cython中的一些坑以及填坑姿势。Cython官方文档中已经明确指出一些不支持的Python特性,有些不打算修复,再结合具体项目场景,给出一些坑的解决方案。

具体项目需求: 将一些需要优化的Python代码模块翻译成C代码,加入项目中,编译链接之后,作为Python的一个built-in模块。

所以,只需要转换成C代码这一步骤即可,不需要使用Python提供的distutils模块,只需要Cython提供的cythonize。

1. 从Python的site-package中提取install的Cython目录,独立出来。因为是供给其他人使用,其他人pip install cython的话可能版本不一致,会出现一些问题。

Cython目录是Cython源码以及Python2.7/Lib/site-package下的cython.py,即:

CythonTool是封装了转化为C代码的py脚本文件。

在使用时,需要设置一下sys.path,在import时才能找到我们独立出来的Cython模块。

# import Cython path
sys.path.insert(0, cython_path) from Cython.Build import cythonize from Cython.Compiler import Options

在sys.path的头部添加cython_path,所以Python site-package里的Cython就不会影响我们独立出来的Cython模块。

2. 在编译python代码为C代码时,需要指定输出的C代码文件路径,Cython默认的是python脚本目录,这样会导致py文件与.c文件混在一起,很容易就乱了。

目前工作目录有三个

LibDir:  需要优化的Python脚本所在目录

CfileDir: 输出的C代码文件所在的目录

ToolDir:  封装的cython优化脚本所在的目录,其作用是将LibDir中的Python模块转换为C代码,然后输出到CfileDir

故而封装的cython脚本工作目录在ToolDir,脚本中最核心的是代码是:

cythonize(pyfilePath, build_dir=CfileDir)

使用build_dir参数指明C代码输出目录。

看起来很完美,但是Cython源码在这里里有个坑。

当指定build_dir时,当pyfilePath与CfileDir都为绝对路径时,且cython脚本的工作目录与pyfilePath不一致时,cythonize会将输出文件的目录置为pyfilePath所在的目录,故最后输出的C代码文件不会到CfileDir里。

所以应该在封装的cython脚本里调用os.chdir(LibDir),转换完成时再切换到原有工作目录。牢记cython的工作目录应该与待优化的python脚本目录一致。

原因:cythonize中的实现有这样一段代码:【调试状态下】

 

红色框中,如果c_file是一个绝对文件名时,会出现以下情况,至于c_file为什么会是一个绝对的文件名,是因为cython的工作目录与待优化脚本目录不匹配导致的。

 

 3. 原始的Cython对Python的Package支持度不够,一个大坑!!

只能通过修改Cython的源码来填坑。

原始的Cython编译Python之后,生成的C代码里有两个关键的地方,拿test模块为例:

这里定义了test模块初始化函数,这个函数里会有创建test模块的代码部分:

当import时,Python解释器会调用这里,初始化test模块,将test名字加入到sys.builtin_module_names中。

测试发现,如果有D:/Lib/mypackate/test.py , 编译后,生成的C代码与D:/Lib/test.py生成的代码并无不同,即mypackate这个包被忽略了,导致生成的C代码没有了包依赖关系。

顺着代码阅读,最终确定了问题出现的源头,Cython/Compiler/ModuleNode.py, 修改了此文件中的两个函数:

1)生成模块init代码函数:full_module_name替换掉env.module_name, 即用initmypackage_test替换init_test

2) 修改了创建模块时传入的模块名规则,并考虑到mypackage/__init__.py这种情况, 对于package来说需要加入__path__用以标识这个对象不是普通的Python模块,而是一个包。

 

 4.  深坑。 inspect、types相关。

Inspect模块中有各种类型判断函数,比如 isfunction, ismethod, ismodule等。这里的坑是:

cython化的函数类型变为了cython_function_or_method,而原始python的函数类型是function,所以如果待优化的Python脚本中使用isfunction(func, types.FunctionType)时,如果func是原始的函数则返回True,而cython化的函数返回False. 除了function类型外还有generator, functionType.func_globals类型也存在不一致。

目前在inspect.py的isfunction中加入了trick,会判断

type(func).__name__=="cython_function_or_method". 并且types.py模块不被cython化,那么如果调用inspect.isfunction(func, types.FunctionType)对于原始的Python函数还是cython化的函数都没有问题了。

但是如果直接使用isinstance(func, types.FunctionType)仍然会存在问题,types.FunctionType只对原始的python函数判断正确。

比较绕,总而言之一句话,python里的类型和cython化后的对应的类型可能会不同。我总结了大部分python类型,其中有几个cython化后类型不一致:

没有什么太好的解决办法,要么改写inspect模块,但还要保证Python代码不能直接使用types模块,要么修改Python源码中关于isinstance的实现。

5. 官方文档中列出的坑

1) 不支持Nested tuple, Python2中的特性,Python3不支持了。所以Cython直接不支持Nested tuple特性

2)找不到变量名:You can disable the latter behaviour by setting "error_on_unknown_names" to

 解决办法:

3)Stack Frames. 

 Cython不支持Stack Frame。

 

总结:可以考虑使用Cython优化一些简单的Python项目,如果用到非常复杂的场景的话,有些语法的特性不支持,会有绕不过去的坑

 

参考资料:

https://github.com/cython/cython

https://mdqinc.com/blog/2011/08/statically-linking-python-with-cython-generated-modules-and-packages/

 

以上是关于Cython的用法以及填坑姿势的主要内容,如果未能解决你的问题,请参考以下文章

Cython初窥

《Cython系列》4. Cython中的扩展类

《Cython系列》7. Cythonnumpy以及类型化memoryview

SQL报错常见的注入姿势

SQL报错常见的注入姿势

Python里面的负号的各种神奇用法?来填坑啦