Question

我需要将一个* .ml文件加载到Ocaml toplevel（交互式解释器，当你在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

如果，通过＆＃34;奇怪的字符＆＃34;，你的意思是

OCaml版本4.03.0

这只是因为这是OCaml toplevel在启动时打印出来的。因此，当您自己的程序启动时，您需要阅读此行。

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

Answer 2

由于多种原因，您不想在此处运行交互式ocaml：

toplevel解析用户的配置文件，然后加载不同的模块。这可以更改可用值，更改行为，并使您的matlab过程为每个用户获得不同的结果。
toplevel的输出可能会在版本之间发生变化，因此难以解析并将正确的答复返回给matlab

您是否知道可以从ocaml字节码调用toplevel来解释字符串？我建议转储C代码并编写ocaml字节代码以从管道读取，解释命令并回复结果。

交互式ocaml解释器与另一个进程

2 个答案: