3

我正在开发一个 Spring Boot Web 应用程序，使用 SWI-Prolog 的 JPL 接口从 Java 调用 Prolog。在开发模式下，一切运行正常。当我将它部署到 Docker 时，通过 API 对 JPL 的第一次调用运行良好。当我再次尝试调用 JPL 时，JVM 崩溃。

我使用LD_PRELOAD指向libswipl.so

SWI_HOME_DIR也被设置。

LD_LIBRARY_PATH设置为指向libjvm.so

我的控制器功能：

@PostMapping("/rules/testAPI/")
@Timed
public List<String> insertRule() {
    String use_module_http = "use_module(library(http/http_open)).";
    JPL.init();
    
    Query q1 = new Query(use_module_http);
    if (!q1.hasNext()) {
        System.out.println("Failed to load HTTP Module");
    } else {
        System.out.println("Succeeded to load HTTP Module");
    }

    return null;
}

控制台输出

第一次通话

Succeeded to load HTTP Module

第二次通话

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x00007f31705294b2, pid=16, tid=0x00007f30d2eee700
#
# JRE version: OpenJDK Runtime Environment (8.0_191-b12) (build 1.8.0_191-8u191-b12-2ubuntu0.18.04.1-b12)
# Java VM: OpenJDK 64-Bit Server VM (25.191-b12 mixed mode linux-amd64 compressed oops)
# Problematic frame:
# C  [libswipl.so+0xb34b2]  PL_thread_attach_engine+0xe2
#
# Core dump written. Default location: //core or core.16
#
# If you would like to submit a bug report, please visit:
#   http://bugreport.java.com/bugreport/crash.jsp
# The crash happened outside the Java Virtual Machine in native code.
# See problematic frame for where to report the bug.
#

我在 pastebin 中上传了错误日志文件。点击这里

有没有人遇到过同样的问题？有解决方案吗？

请注意，我还使用 oracle-java-8 进行了检查，但发生了同样的错误。

更新：

@CapelliC 回答无效。

4

4 回答 4

1

我想我会尝试“消费”这个词。例如

Query q1 = new Query(use_module_http);
if (!q1.hasNext()) {
    System.out.println("Failed to load HTTP Module");
} else {
    System.out.println("Succeeded to load HTTP Module:"+q1.next().toString());
    // remember q1.close() if there could be multiple soultions
}

或更好

if ((new Query(use_module_http)).oneSolution() == null) ...

或者更好

if ((new Query(use_module_http)).hasSolution() == false) ...
于 2019-02-06T14:49:55.157 回答
1

不是一个直接的答案，因为它提出了一种不同的方法，但是很长一段时间以来，我一直在运行一个设置，在该设置中，我编写的 C++ 程序会像使用 Spring Boot 一样包装 SWI-Prolog，并且很难向其中添加功能/维持。大约一年前，我采用了一种完全不同的方法，在 SWI-Prolog 中添加了一个 MQTT 插件，这样我的 Prolog 代码就可以连续运行并响应和发送 MQTT 消息。所以现在 Prolog 可以与多种语言（主要是 Java）的其他模块互操作，但一切都在自己的进程中运行。这对我来说效果要好得多，而且我的一切都在 Docker 容器中运行——包括 MQTT 代理。我并不是坚决建议 MQTT（尽管我喜欢它），只是为了考虑让 Java 和 Prolog 不那么紧密耦合的方法。

于 2019-02-06T18:34:39.390 回答
0

第二次失败的原因很可能是因为您JPL.init()再次调用。它应该只被调用一次。

于 2019-02-09T20:55:38.803 回答
0

最后是 JPL 包的一个错误。在联系 SWI-Prolog 开发人员后，他们对 SWI-Prolog Git 进行了修补，现在错误消失了！

正确的配置，让 Docker 容器能够理解 JPL 可以在这个链接中找到：Github : env.sh

于 2019-02-13T15:21:28.220 回答