Ocaml:FIFO 读取不正确

Question

好的，所以我正在使用 FIFO，并且我正在尝试构建一个小型库以在 future 的程序中使用。

它应该能够创建一个命名管道，读取它并在其中写入。

我能够完成所有这些功能，但它没有正确读取。问题如下:

如果我说它应该读取大小为 10 个字符的缓冲区，那么只有当我写入超过 10 个字符时，它才会正确打印，例如:

写=“0123456789”->读=“”
写入 = "012345678910111213"-> 读取 = "","10111213"

我尝试了更多代码，并在异常“with”上进行了一个小调试。
如果读取失败，则存在此异常……它的作用是:解除、等待、重新启动，最后返回 0(无)

然后我有一个如果只有字符数仅大于 0 才正确，否则它将打印“空”

所以，发生的事情是:
写=“0123456789”->读=“空”
写入 = "012345678910111213"-> 读取 = "空","10111213"

因此，在前 10 个字符上，他说读取失败，但他将它们从 FIFO 中删除。为什么？

对不起，如果它有点困惑。这是代码:

阅读计划:

let fifo_name = "la_fila";;

(*define the length of the buffer*)
let buflen = 2;;

let main () =
Printf.printf "Hello! Any readers? ...\n";
flush stdout;
while true do
print_string ("I've read \"" ^ bufferRead fifo_name buflen  ^ "\" from the fifo!\n");
flush stdout
done;;

(* run it *)
bufferCreate fifo_name;;
let _ = main ();;

这是 BufferLibrary:

(* Buffer Functions *)
let bufferCreate name = 
  try Unix.mkfifo name 0o664 with
    Unix.Unix_error(n,f,arg) -> Printf.printf "%s(%s) : %s\n" f arg 
      (Unix.error_message n);;

let bufferRead name size =
let frd = Unix.openfile name [Unix.O_RDONLY;Unix.O_NONBLOCK] 0o644 in
 let rec aux () =  
    let nothing = flush_all ()
    in
    let buffer = String.create size in
    let n = try (Unix.read frd buffer 0 size) with 
        Unix.Unix_error(n,f,arg) -> begin (); aux (); 0; end
    in
    if n > 0 then String.sub buffer 0 n else "empty"
 in
 aux ();; 
 (*(String.sub buffer 0 n)*)

let bufferWrite name str = 
  let length = String.length str in
  let fwr = Unix.openfile name [Unix.O_WRONLY] 0o644 in 
  Unix.write fwr str 0 length;;

编辑

open Buffers;;

let fifo_name = "la_fila";;


let main () = 
Printf.printf "CUCKOO! any consumer down there? ...\n";
flush stdout;
Printf.printf "cuckoo! Here comes a consumer! \n";

let rec reget () =
Printf.printf "-type something for it\n";
flush stdout;
let str = read_line() (*here it blocks*) in
bufferWrite fifo_name str;
reget () in
reget ();;

(* run it *)
bufferCreate fifo_name;;
main ();;

我想要一些光，它杀死了我......

谢谢

Answer 1

我认为您不想要非阻塞 IO，至少不是为了您的初始测试。你实际上希望你的读者一直阻塞，直到有人准备好写作。但是，您也可能不想为每次读取重新打开管道，因为每次都会等待写入器。如果您确实想为每次读取重新打开管道，那么您也应该关闭它。在我对您的代码的测试中，程序会一直运行，直到用完所有可用的文件描述符。

编辑:如果您要求非阻塞 I/O，您的测试程序基本上是轮询(消耗 CPU 周期)等待输入出现。在开始查看任何数据之前，您会看到一些任意数量的 0 长度读取。这似乎是你报告的内容。如果您一直打开和关闭管道，如果有一段时间没有读取器或写入器打开管道，您可能会丢失数据。

对于初始测试(我很确定)，您真正想要做的是为正常(阻塞)IO 打开一次管道，并让它在读取器中永远打开(直到测试结束)。这应该确保您看到所有数据。您可以在此之后尝试变体。

作为旁注，我认为很多人最终认为命名管道的语义太挑剔了。他们最终转而使用 Unix 域流套接字。