Question

我正在使用GEOS的C API来管理并行模拟器中的几何：我需要确保对象保持在受限区域内。为此，当我的对象迈出一步时，我检查其前一个位置和当前位置之间的line是否与环境的边界相交（environment_manager_->get_border()，它返回一个const GEOSPreparedGeometry*）。

代码与几个OpenMP线程并行运行。我在开始模拟之前初始化了GEOS

initGEOS_r(notice, log_and_exit);
context_handler_ = GEOS_init_r();

所以我对所有线程只有一个处理程序。当使用多个线程运行模拟时，如果我没有将env_intersect包含在关键部分中，则代码会在GEOSPreparedIntersects_r内崩溃并发生段错误。

bool SpaceManager::env_intersect(const GEOSGeometry * line) const
{
    bool intersect;
    // #pragma omp critical // adding prevents segfault
    // {
        intersect = GEOSPreparedIntersects_r(
            context_handler_, environment_manager_->get_border(), line);
    // }
    return intersect;
}

有人能指出我做错了什么吗？是否需要以不同的方式完成GEOS的初始化才能使用OpenMP？它是否来自environment_manager_是unique_ptr的事实？没有一个？

segfault的Backtrace给出：

Thread 19 "python" received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7fffd63da700 (LWP 4374)]
0x00007ffff78816b2 in tcache_get () from /usr/lib/libc.so.6
(gdb) bt
#0  0x00007ffff78816b2 in tcache_get () at /usr/lib/libc.so.6
#1  0x00007ffff5dbf0a9 in operator new(unsigned long) (sz=sz@entry=32)
    at /build/gcc-multilib/src/gcc/libstdc++-v3/libsupc++/new_op.cc:50
#2  0x00007fffc8468273 in geos::geom::LineString::computeEnvelopeInternal() const (this=0x555555f10170) at LineString.cpp:278
#3  0x00007fffc845b95f in geos::geom::Geometry::getEnvelopeInternal() const (this=0x555555f10180) at Geometry.cpp:276
#4  0x00007fffc84612ad in geos::geom::GeometryCollection::computeEnvelopeInternal() const (this=0x555555f15980) at GeometryCollection.cpp:257
#5  0x00007fffc845b95f in geos::geom::Geometry::getEnvelopeInternal() const (this=0x555555f15998) at Geometry.cpp:276
#6  0x00007ffff53cea66 in geos::geom::prep::BasicPreparedGeometry::envelopesIntersect(geos::geom::Geometry const*) const () at /usr/lib/libgeos-3.6.2.so
#7  0x00007ffff53cef82 in geos::geom::prep::PreparedLineString::intersects(geos::geom::Geometry const*) const () at /usr/lib/libgeos-3.6.2.so
#8  0x00007ffff5907380 in GEOSPreparedIntersects_r ()
    at /usr/lib/libgeos_c.so.1
#9  0x00007ffff61d7938 in growth::SpaceManager::env_intersect(GEOSGeom_t const*) const (this=0x555555fb3b78, line=0x7fff7c045c20)

[编辑] 为每个OMP线程制作一个const GEOSPreparedGeometry*环境副本并仅成功访问特定于线程的副本，可以在没有critical部分的情况下阻止段错误。代码变为：

intersect = GEOSPreparedIntersects_r(
        context_handler_, environment_manager_->get_border(omp_id), line);

其中environment_manager_->get_border(omp_id)返回特定于线程的const GEOSPreparedGeometry*。这意味着问题来自于我之前使用单个指针时对共享数据的并发访问。这看起来很奇怪，因为该函数应该是线程安全的......

Answer 1

显然，线程安全的实现还没有准备好（参见mailing list exchange）。我通过在每个线程上使用全局环境几何的副本来解决问题（这显然也允许完全并发测试）。

在与地理并行测试交叉口时的Segfault

1 个答案: