Question

在Solaris 8. 32位应用程序上使用g ++ 4.7.4编译。堆栈跟踪是

Core was generated by `./z3'.
Program terminated with signal 10, Bus error.
\#0  0x012656ec in vector&lt;unsigned long long, false, unsigned int&gt;::push_back (this=0x2336ef4 &lt;g_prime_generator&gt;, elem=@0xffbff1f0: 2) at ../src/util/vector.h:284
284             new (m_data + reinterpret_cast&lt;SZ *&gt;(m_data)[SIZE_IDX]) T(elem);
(gdb) bt
\#0  0x012656ec in vector<unsigned long long, false, unsigned int>::push_back (this=0x2336ef4 &lt;g_prime_generator&gt;, elem=@0xffbff1f0: 2) at ../src/util/vector.h:284
\#1  0x00ae66d4 in prime_generator::prime_generator (this=0x2336ef4 <g_prime_generator>) at ../src/util/prime_generator.cpp:24
\#2  0x00ae714c in __static_initialization_and_destruction_0 (__initialize_p=1, __priority=65535) at ../src/util/prime_generator.cpp:99
\#3  0x00ae71c4 in _GLOBAL__sub_I_prime_generator.cpp(void) () at ../src/util/prime_generator.cpp:130
\#4  0x00b16a68 in __do_global_ctors_aux ()
\#5  0x00b16aa0 in _init ()
\#6  0x00640b10 in _start ()
(gdb) list
279
280         void push_back(T const & elem) {
281             if (m_data == 0 || reinterpret_cast&lt;SZ *&gt;(m_data)[SIZE_IDX] == reinterpret_cast&lt;SZ *&gt;(m_data)[CAPACITY_IDX]) {
282                 expand_vector();
283             }
284             new (m_data + reinterpret_cast\&lt;Z *&gt;(m_data)[SIZE_IDX]) T(elem);
285             reinterpret_cast&lt;SZ *&gt;(m_data)[SIZE_IDX]++;
286         }
287
288         void insert(T const & elem) {
(gdb) ptype SZ
type = unsigned int
(gdb) ptype m_data
type = unsigned long long *

Solaris上的SIGBUS通常表示访问错位，但我不确定是否是因为联盟正在进行结束问题

Answer 1

SPARC数据对齐要求很可能是个问题。向量类中的m_data字段由两个使用的字段关闭存储矢量的大小和容量。您可以通过显示（打印或使用调试器）指针m_data和它的对齐来调试它。

一种选择是提供单独的矢量实现存储大小和容量字段的位置在用于移植此库实用程序的向量中的字段中。

Z3与其他一些地方的记忆对齐相互作用（但不是太多）。主要的其他潜在位置在监视列表（sat_solver和smt_context）和区域内存分配器（region.h）以及可能在散列表中。

SIGBUS在Solaris 8上崩溃

1 个答案: