1

我一直在试验 JPL 的多线程特性。据我从源代码中的注释了解，每个 Java 线程分配了一个不同的 Prolog 引擎。显然，在线程 A 中启动查询时出现问题，在线程 B（由线程 A 生成）中执行另一个查询，在线程 A 中再次执行第三个查询。

下面的代码片段说明了这个问题：

public static void main(String[] args) {
    try {
        ...
        Query query;
        query = new Query("true");
        System.out.println(query.hasSolution()); //succeeds

        Thread t = new Thread() {
            @Override
            public void run() {
                Query query2 = new Query("true");
                System.out.println(query2.hasSolution()); //succeeds
            }
        };
        t.start();
        t.join();

        query = new Query("true");
        System.out.println(query.hasSolution()); //fatal error
    } catch (Exception e) {
        throw new RuntimeException(e);
    }
}

由于 JPL 文档提到不能同时激活两个查询，因此代码会等到线程完成后再继续执行最后一个查询（我尚不清楚该约束是否仅适用于同一线程中的查询或者如果它适用于不同线程和引擎中的查询）。

在前面的示例中，只有前两个查询成功。执行第三个查询时，我收到此致命错误：

#
# A fatal error has been detected by the Java Runtime Environment:
#
#  SIGSEGV (0xb) at pc=0x000000010db65bd5, pid=79191, tid=7171
#
# JRE version: 7.0_06-b24
# Java VM: Java HotSpot(TM) 64-Bit Server VM (23.2-b09 mixed mode bsd-amd64 compressed oops)
# Problematic frame:
# C  [libYap.dylib+0x125bd5]  PL_open_foreign_frame+0x45
#
# Failed to write core dump. Core dumps have been disabled. To enable core dumping, try "ulimit -c unlimited" before starting Java again
#
...

这是 JPL 中的错误吗？在那种情况下，有人知道将 JPL 与多线程一起使用的解决方法吗？

我已经用 YAP 版本 6.2.2 和 6.3.2 进行了测试，结果相同。

更新：

正如@sharky 所建议的那样，显然这是 YAP 二进制文件（或 YAP 的 JPL 端口）的问题。使用 SWI 时，问题中显示的示例运行良好。

我仍然对多线程程序中的 JPL 行为感到困惑。查看JPL 库open中类中方法的源代码和注释：Query

public synchronized final void open() {
  ...
  if (Prolog.thread_self() == -1) { // this Java thread has no attached Prolog engine?
    engine = Prolog.attach_pool_engine(); // may block for a while, or fail     
  } else { // this Java thread has an attached engine
    engine = Prolog.current_engine();       
  }
  ...
}

似乎 JPL 将为每个线程创建一个新的逻辑引擎。但是，如果我执行这个简单的程序：

Thread t = new Thread() {
  @Override
  public void run() {
    Query query = new Query("assert(x)");
    query.hasSolution()
    query = new Query("x");
    System.out.println("Thread1 x:" + query.hasSolution()); //query succeeds
  }
};
t.start();
t.join();

t = new Thread() {
  @Override
  public void run() {
    Query query = new Query("x");
    System.out.println("Thread2 x:" + query.hasSolution()); //query also succeeds
  }
};
t.start();
t.join();

我可以看到以下输出：

Thread1 x:true
Thread2 x:true

因此，显然第二个线程正在访问与第一个线程相同的 Prolog 引擎，而不是源代码及其评论所暗示的新引擎。

如果有人对 JPL 和多线程有经验，请澄清这一点。

4

1 回答 1

0

现在我找到了可能的解决方案（但是有一种方法仍然可以访问定义的子句）

你可以使用模块！序言文件：

:-module(thread1,[]).
x.

然后在thread1中你可以询问thread1:x它会成功并且thread2会启动一个异常（你可以抓住它并说失败......）（除非你没有定义x动态）

另一种方法是使用thread_local ...但您必须将每个子句定义为thread_local（无聊！）

于 2015-12-06T18:18:07.523 回答