- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有以下 C 代码片段,我想用 Cython 包装并在我的 Python 程序中使用:
typedef union my_mat4
{
float Elements[4][4];
#ifdef MAT4_MATH__USE_SSE
__m128 Rows[4];
#endif
} my_mat4;
static inline my_mat4 init_my_mat4(void)
{
my_mat4 Result = {0};
return (Result);
}
我按照以下方式将此代码包装在 mat4.pxd 中:
cdef extern from "mat4.h":
ctypedef union my_mat4:
float Elements[4][4]
my_mat4 init_my_mat4()
cdef class MyClass:
cdef my_mat4 m
cdef object o
和 mat4.pyx 代码:
cdef class MyClass:
def __cinit__(self):
self.m = init_my_mat4()
当我在 Python 中使用 MyClass 时
my_class = MyClass()
Python 退出并显示消息进程已完成,退出代码为 139(被信号 11 中断:SIGSEGV)。
但是,当我从 C union 中禁用 MAT4_MATH__USE_SSE 时,程序运行正常。即使当我从 MyClass 中删除 cdef object o 时,一切运行正常。
我广泛搜索了解决方案,但找不到任何东西。这是某种对齐问题吗?
谢谢,A.
编辑 1:
Python 程序仅在导入模块decimal 并在Cython 扩展模块中编译__m128 时崩溃,因此:
import decimal
my_class = MyClass()
使解释器崩溃(我的 Ubuntu 程序启动器上出现启动图标)
编辑 2:
正如@DavidW 在评论中所说,在这种情况下,导入小数点可能并不重要 - 对他来说,没有导入的程序段错误,通过导入运行。
编辑 3:
正如@PeterCordes 所写,几乎可以肯定这是错位问题。解决方案是从 union 中删除 __m128
成员,并使用 _mm_loadu_ps
生成建议的 load_vec()
或类似的宏。
编辑 4:
另一种解决方案是使用 unaligned__m128
定义为 typedef float __attribute((vector_size(16), aligned(4))) unaligned__m128;
而不是 union 中的 __m128。感谢@PeterCordes。
最佳答案
Is this some kind of alignment problem?
几乎可以肯定。
C 编译器假定 __m128
对象具有 16 字节对齐,并使用 movaps
加载/存储它,或将其用作其他 SSE 指令(如 addps xmm0, [mem]
)的内存操作数。如果指针不有 16 字节对齐,这些使用将在运行时出错。
但您还没有告诉 Python 以任何类型的对齐保证分配 float Elements[4][4]
,因此将指针传递给 C 将使您无效union
对象违反了 union 对其最对齐的成员足够对齐的要求。
如果您不能让 Python 保证您的对象的 16 字节对齐,那么您将不得不更改您的 C 以继续工作(效率稍低)。在启用 AVX 的情况下进行编译(gcc -O3 -march=native
在 AVX CPU 上)将允许编译器使用未对齐的 16 字节 vector 作为内存操作数。但它仍然不会使未对齐的 __m128
安全,因为它仍将使用 vmovaps
而不是 vmovups
进行存储。
现代硬件具有高效的未对齐加载支持,但缓存行拆分仍然不理想。指令数也更糟,因为使用 AVX,编译器将不得不使用单独的 movups
加载而不是 addps xmm0, [mem]
来加载只需要加载一次的数据.
在 C 中,删除 __m128
成员,并使用 _mm_loadu_ps()
进行未对齐加载。
typedef struct my_mat4 { float Elements[4][4]; } my_mat4;
static inline
__m128 load_vec(const struct my_mat4 *m4, size_t idx) {
_mm_loadu_ps(&m4->Elements[idx][0]);
}
__m128
重新定义 union 体让 Python 对齐您的对象是最有效的,但如果不是,这将让您编译现有代码,只需对对象进行一次更改:
__m128
是根据 GNU C native vector 定义的 in xmmintrin.h#69 . (其他支持 GNU 扩展的编译器是兼容的,至少 clang 是兼容的。)
typedef float __m128 attribute ((vector_size (16), may_alias));
header 已经定义了一个未对齐的__m128_u
,它也使用了aligned(1)
。我们可以使用 aligned(4)
来保证它至少在 float
边界上对齐,以防有帮助。
这很有效,因为同一 vector 类型的不同对齐版本可以自由转换,因此将它传递给内在函数的代码可以在没有警告的情况下进行编译(即使在 -Wall
)。
typedef float __attribute((vector_size(16), aligned(4))) unaligned__m128;
// I left out may_alias, only matters if you're using unaligned__m128* to load from non-float data.
// Probably doesn't hurt code-gen if you aren't using unaligned__m128* at all, just objects
//#define __m128 unaligned__m128 // not needed
typedef union my_mat4 {
float Elements[4][4];
unaligned__m128 Rows[4];
} my_mat4;
使用这种类型的函数编译得很好(gcc8.1 on the Godbolt compiler explorer)。 (您也可以编写 m4->Rows[1] + m4->Rows[2]
,即使是在 C 而不是 C++ 中,因为 GNU C native vector 将 C 运算符映射到每个元素的操作。
__m128 use_row(union my_mat4 *m4) {
__m128 tmp = _mm_add_ps(m4->Rows[1], m4->Rows[2]);
m4->Rows[3] = tmp;
return tmp;
}
只有-O3
(没有-march),我们得到
movups xmm0, XMMWORD PTR [rdi+32] # unaligned loads
movups xmm1, XMMWORD PTR [rdi+16]
addps xmm0, xmm1
movups XMMWORD PTR [rdi+48], xmm0 # unaligned store
ret
但是使用 -mavx
(例如,由 -march=haswell
启用),我们得到
use_row(my_mat4*):
vmovups xmm1, XMMWORD PTR [rdi+32]
vaddps xmm0, xmm1, XMMWORD PTR [rdi+16] # unaligned memory source is ok for AVX
vmovups XMMWORD PTR [rdi+48], xmm0
ret
当然,您希望这些函数内联,我只是将它们设为非内联,这样我就可以查看它们是如何编译的。 (How to remove "noise" from GCC/clang assembly output?)。
顺便说一句,如果您曾经将此 union 用作更广泛结构的成员,则定义 MAT4_MATH__USE_SSE
可以更改 ABI。 结构{int foo; my_mat4 m4; };
如果 my_mat4
对齐,则需要 12 个字节的填充,否则不需要填充。
如果你编译一些有宏定义的 C 和一些没有宏定义的 C,你可以做这样的事情(如果你已经解决了让 Python 对齐对象的问题):
#include <stdalign.h>
// give the same alignment regardless of whether the macro is defined.
typedef union my_mat4
{
alignas(16) float Elements[4][4];
#ifdef MAT4_MATH__USE_SSE
__m128 Rows[4];
#endif
} my_mat4;
如果您不想在宏未定义时保证对齐,则不可以。
关于python - 在 Cython 中使用带有 SSE 内在函数的 C union 会导致 SIGSEGV,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51187592/
我正在尝试使用 Spark 从 Cassandra 读取数据。 DataFrame rdf = sqlContext.read().option("keyspace", "readypulse
这是代码: void i_log_ (int error, const char * file, int line, const char * fmt, ...) { /* Get erro
我必须调试一个严重依赖 Gtk 的程序。问题是由于某些原因,在使用 GtkWindow 对象时开始出现许多运行时警告。问题是,即使 Gtk 提示严重错误,它也不会因这些错误而中止。我没有代码库的更改历
我正在尝试从已有效编译和链接的程序中检索二进制文件。我已经通过 GL_PROGRAM_BINARY_LENGTH 收到了它的长度。该文档说有两个实例可能会发生 GL_INVALID_OPERATION
我有一个托管在 Azure 环境中的服务。我正在使用控制台应用程序使用该服务。这样做时,我得到了异常: "The requested service, 'http://xxxx-d.yyyy.be/S
我有以下代码,它被 SEGV 信号杀死。使用调试器表明它被 main() 中的第一个 sem_init() 杀死。如果我注释掉第一个 sem_init() ,第二个会导致同样的问题。我试图弄清楚是什么
目前我正在编写一个应用程序(目标 iOS 6,启用 ARC),它使用 JSON 进行数据传输,使用核心数据进行持久存储。 JSON 数据由 PHP 脚本通过 json_encode 从 MySQL 数
我对 Xamarin.Forms 还是很陌生。我在出现的主页上有一个非常简单的功能 async public Task BaseAppearing() { if (UserID
这是我的代码的简化版本。 public class MainActivity extends ActionBarActivity { private ArrayList entry = new Arr
我想弄明白为什么我的两个 Java 库很难很好地协同工作。这是场景: 库 1 有一个类 A,其构造函数如下: public A(Object obj) { /* boilerplate */ } 在以
如果网站不需要身份验证,我的代码可以正常工作,如果需要,则在打印“已创建凭据”后会立即出现 EXC_BAD_ACCESS 错误。我不会发布任何内容,并且此代码是直接从文档中复制的 - 知道出了什么问题
我在使用 NSArray 填充 UITableView 时遇到问题。我确信我正在做一些愚蠢的事情,但我无法弄清楚。当我尝试进行简单的计数时,我得到了 EXC_BAD_ACCESS,我知道这是因为我试图
我在 UITableViewCell 上有一个 UITextField,在另一个单元格上有一个按钮。 我单击 UITextField(出现键盘)。 UITextField 调用了以下方法: - (BO
我有一个应用程序出现间歇性崩溃。崩溃日志显示了一个堆栈跟踪,这对我来说很难破译,因此希望其他人看到了这一点并能为我指出正确的方向。 基本上,应用程序在启动时执行反向地理编码请求,以在标签中显示用户的位
我开发了一个 CGImage,当程序使用以下命令将其显示在屏幕上时它工作正常: [output_view.layer performSelectorOnMainThread:@selector(set
我正在使用新的 EncryptedSharedPreferences以谷歌推荐的方式上课: private fun securePrefs(context: Context): SharedPrefe
我有一个中继器,里面有一些控件,其中一个是文本框。我正在尝试使用 jquery 获取文本框,我的代码如下所示: $("#").click(function (event) {}); 但我总是得到 nu
在以下场景中观察到 TTS 初始化错误,太随机了。 已安装 TTS 引擎,存在语音集,并且可以从辅助功能选项中播放示例 tts。 TTS 初始化在之前初始化和播放的同一设备上随机失败。 在不同的设备(
maven pom.xml org.openjdk.jol jol-core 0.10 Java 类: public class MyObjectData { pr
在不担心冲突的情况下,可以使用 MD5 作为哈希值,字符串长度最多为多少? 这可能是通过为特定字符集中的每个可能的字符串生成 MD5 哈希来计算的,长度不断增加,直到哈希第二次出现(冲突)。没有冲突的
我是一名优秀的程序员,十分优秀!