交互式 ocaml 解释器与另一个进程之间的通信

Question

我需要将 *.ml 文件加载到 Ocaml 顶层(交互式解释器，当您在 shell 中键入“ocaml”时)，然后从 Matlab 进程发送指令，获取指令结果，发送返回另一条指令，...

我编写了这个 C 程序。父进程从命名管道获取 Matlab 的指令，将其发送到子进程(运行 ocaml)并获取响应，以便将其发送到 Matlab。

但是存在某种错误:当我发送一条指令时，我收到一些奇怪的字符，我发送另一条指令，然后收到第一条指令的响应...

(我没有复制 perror() 测试以减少文本)

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>

int main(void) {

    // Parent -> Child
    int pipe_in[2];
    // Child -> parent
    int pipe_out[2];

    /*
        pipe[0] = output
        pipe[1] = input
    */

    pipe(pipe_in);
    pipe(pipe_out);

    pid_t pid;
    if ((pid = fork()) == 0) {
        // CHILD SIDE

        close(pipe_in[1]);
        close(pipe_out[0]);

        dup2(pipe_in[0], STDIN_FILENO);     
        dup2(pipe_out[1], STDOUT_FILENO);
        dup2(pipe_out[1], STDERR_FILENO);

        close(pipe_in[0]);
        close(pipe_out[1]);

        char *args[] = {"ocaml", NULL};
        execvp("ocaml", args);

        printf("FAIL\n");

        exit(EXIT_FAILURE);     

    } else {
        // PARENT SIDE

        printf("[*] PID : %d\n", (int) pid);

        close(pipe_in[0]);
        close(pipe_out[1]);

        char cmd[1024];
        char feedback[1024];
        ssize_t cmd_read;
        ssize_t feedback_read = sizeof(feedback);

        while (1) {

            // Get the instruction from Matlab.
            printf("[>] ");
            int fifo_in = open("/tmp/pipe_in", O_RDONLY);
            cmd_read = read(fifo_in, cmd, sizeof(cmd));
            close(fifo_in);         
            printf("%s\n", cmd);

            // Send the instruction to the ocaml interpreter.
            write(pipe_in[1], cmd, cmd_read);

            // Read the response of the ocaml interpreter.
            while (feedback_read == sizeof(feedback)) {
                feedback_read = read(pipe_out[0], feedback, sizeof(feedback));
                printf("[-] %d\n", (int) feedback_read);
            }

            printf("[<] %s\n", feedback);

            // Send to Matlab the response.
            int fifo_out = open("/tmp/pipe_out", O_WRONLY);
            write(fifo_out, feedback, feedback_read);
            close(fifo_out);

            cmd_read = 0;
            feedback_read = sizeof(feedback);

        }

        close(pipe_in[1]);
        close(pipe_out[0]);
    }
}

<小时/>

我用 gcc -Wall -std=c99 -o tphr tphr.c 编译代码我在一个 shell 和另一个 shell 中运行该程序:

> printf 'let x = 10;;\n' > /tmp/pipe_in

> cat /tmp/pipe_out
OCaml version 4.03.0

# %

> printf 'let y = 5;;\n' > /tmp/pipe_in

> cat /tmp/pipe_out
val x : int = 10
# %

<小时/>

如何修正结果？

Answer 1

如果你所说的“奇怪的字符”是指

OCaml version 4.03.0

这只是因为这是 OCaml 顶层在启动时打印出来的内容。所以你需要在你自己的程序启动时读取这一行。

如果您指的是 # 符号，也称为提示，您可以通过运行 ocaml -nopromt 将其关闭。