我想在同一个程序中使用两个进程构建器我怎样才能这样做,两个进程构建器在同一个文件上执行不同的任务我怎么能一起执行。
ProcessBuilder pb = new ProcessBuilder( "nusmv ", "inputfile.smv");
Process p = pb.start();
ProcessBuilder pb123 = new ProcessBuilder("nusmv","-int","inputfile.smv");
Process process123 = pb123.start();
它只是执行第一个流程构建器第二个被忽略。
答案 0 :(得分:0)
我可以想到两个问题: 1.为进程调用process.waitFor(),以便在启动其他进程之前完成每个进程。 2.在进入另一个进程之前,刷新一个进程的输出和错误流。许多操作系统为标准输入和输出流提供有限的内存缓冲区。因此,如果您不立即刷新或处理流,则可能导致进程阻塞甚至死锁。 有关更多信息,请参阅此链接。 http://www.javaworld.com/article/2071275/core-java/when-runtime-exec---won-t.html