小编CXB*_*CXB的帖子

我有一个客户端服务器客户端连接,其中服务器每1秒读取客户端发送的消息,但我不希望服务器继续等待消息太长时间.我尝试使用select()函数,但服务器继续等待一些消息读取.谁能告诉我我做错了什么？

fd_set master;
fd_set read_fds;
FD_ZERO(&master);
FD_ZERO(&read_fds);
FD_SET(sock, &master);

while (1) {
    bzero(message, 256);
    sleep(1);

    read_fds = master;
    if(select(sock+2, &read_fds, NULL, NULL, NULL) < 0)
        error("ERROR reading");

    //if there is any data to read from the socket
    else if(FD_ISSET(sock, &read_fds)){ 
        n = read(sock, buffer, 256);
        c = buffer[0];
        printf("1st char is %c",c);
    }//close else if statement

    else printf("Nothing was read");
}//close while loop

我目前正在使用 ocaml 4.06.0 并且我正在尝试使用 Z3 sat 求解器。我正在使用 opam 的 oasis 来编译文件（它成功地构建了所有内容）。但是，当我运行生成的本机代码时，出现以下错误：error while loading shared libraries: libz3.so. 我尝试重新安装 z3 软件包，但错误仍然存​​在。谁能帮我解决这个问题，因为我不知道还能尝试什么？