管道概念

管道是Unix中最古老的进程间通信的形式,我们把从一个进程连接到另一个进程的一个数据流称为一个“管道”, 管道的本质是固定大小的内核缓冲区;

如:ps aux | grep httpd | awk '{print $2}'

管道限制

1)管道是半双工的,数据只能向一个方向流动;需要双方通信时,需要建立起两个管道;

2)匿名管道只能用于具有共同祖先的进程(如父进程与fork出的子进程)之间进行通信, 原因是pipe创建的是两个文件描述符, 不同进程直接无法直接获得;[通常,一个管道由一个进程创建,然后该进程调用fork,此后父子进程共享该管道]

匿名管道pipe

#include <unistd.h>
int pipe(int pipefd[2]);

创建一无名管道

参数

Pipefd:文件描述符数组,其中pipefd[0]表示读端,pipefd[1]表示写端

管道创建示意图


/**示例: 从子进程向父进程发送数据
管道示意图如上面第二副图
**/
int main()
{
    int fd[2];
    if (pipe(fd) == -1)
        err_exit("pipe error");

    pid_t pid = fork();
    if (pid == -1)
        err_exit("fork error");
    if (pid == 0)   //子进程: 向管道中写入数据
    {
        close(fd[0]);   //关闭读端
        string str("message from child process!");
        write(fd[1], str.c_str(), str.size());  //向写端fd[1]写入数据
        close(fd[1]);
        exit(EXIT_SUCCESS);
    }

    //父进程: 从管道中读出数据
    close(fd[1]);   //关闭写端
    char buf[BUFSIZ] = {0};
    read(fd[0], buf, sizeof(buf));
    close(fd[0]);
    cout << buf << endl;
}
/**示例: 用管道模拟: ls | wc -w的运行
1.子进程运行ls
2.父进程运行wc -w
3.通过管道, 将子进程的输出发送到wc的输入
**/
int main()
{
    int pipefd[2];
    if (pipe(pipefd) == -1)
        err_exit("pipe error");

    pid_t pid = fork();
    if (pid == -1)
        err_exit("fork error");
    if (pid == 0)   //子进程
    {
        close(pipefd[0]);   //关闭读端
        //使得STDOUT_FILENO也指向pipefd[1],亦即ls命令的输出将打印到管道中
        dup2(pipefd[1], STDOUT_FILENO); //此时可以关闭管道写端
        close(pipefd[1]);

        execlp("/bin/ls", "ls", NULL);
        //如果进程映像替换失败,则打印下面出错信息
        cerr << "child execlp error" << endl;;
        exit(EXIT_FAILURE);
    }

    //父进程
    close(pipefd[1]);   //关闭写端
    //使得STDIN_FILENO也指向pipefd[2],亦即wc命令将从管道中读取输入
    dup2(pipefd[0], STDIN_FILENO);
    close(pipefd[0]);

    execlp("/usr/bin/wc", "wc", "-w", NULL);
    cerr << "parent execlp error" << endl;
    exit(EXIT_FAILURE);
}

匿名管道读写规则

规则 1)管道空时

O_NONBLOCK disable:read调用阻塞,即进程暂停执行,一直等到有数据来到为止。

O_NONBLOCK enable:read调用返回-1,errno值为EAGAIN。

//验证
int main()
{
    int pipefd[2];
    if (pipe(pipefd) != 0)
        err_exit("pipe error");

    pid_t pid = fork();
    if (pid == -1)
        err_exit("fork error");

    if (pid == 0)   //In Child, Write pipe
    {
        sleep(10);
        close(pipefd[0]);   //Close Read pipe
        string str("I Can Write Pipe from Child!");

        write(pipefd[1],str.c_str(),str.size());    //Write to pipe
        close(pipefd[1]);
        exit(EXIT_SUCCESS);
    }

    //In Parent, Read pipe
    close(pipefd[1]);   //Close Write pipe
    char buf[1024] = {0};

    //Set Read pipefd UnBlock! 查看在下面四行语句注释的前后有什么区别
//    int flags = fcntl(pipefd[0],F_GETFL, 0);
//    flags |= O_NONBLOCK;
//    if (fcntl(pipefd[0],F_SETFL,flags) == -1)
//        err_exit("Set UnBlock error");

    int readCount = read(pipefd[0],buf,sizeof(buf));    //Read from pipe
    if (readCount < 0)
        //read立刻返回,不再等待子进程发送数据
        err_exit("read error");

    cout << "Read from pipe: " << buf << endl;
    close(pipefd[0]);
}

规则 2)管道满时

O_NONBLOCK disable: write调用阻塞,直到有进程读走数据

O_NONBLOCK enable:调用返回-1,errno值为EAGAIN

/** 验证规则2)
同时测试管道的容量
**/
int main()
{
    if (signal(SIGPIPE, handler) == SIG_ERR)
        err_exit("signal error");

    int pipefd[2];
    if (pipe(pipefd) != 0)
        err_exit("pipe error");

    // 将管道的写端设置成为非阻塞模式
    // 将下面三行注释之后查看效果
    int flags = fcntl(pipefd[1], F_GETFL, 0);
    if (fcntl(pipefd[1], F_SETFL, flags|O_NONBLOCK) == -1)
        err_exit("fcntl set error");

    int count = 0;
    while (true)
    {
        if (write(pipefd[1], "A", 1) == -1)
        {
            cerr << "write pipe error: " << strerror(errno) << endl;
            break;
        }
        ++ count;
    }

    cout << "pipe size = " << count << endl;
}

3)如果所有管道写端对应的文件描述符被关闭,则read返回0

//验证规则3)
int main()
{
    int pipefd[2];
    if (pipe(pipefd) != 0)
        err_exit("pipe error");

    pid_t pid = fork();
    if (pid == -1)
        err_exit("fork error");
    else if (pid == 0)
    {
        close(pipefd[1]);
        exit(EXIT_SUCCESS);
    }

    close(pipefd[1]);
    sleep(2);
    char buf[2];
    if (read(pipefd[0], buf, sizeof(buf)) == 0)
        cout << "sure" << endl;
}

4)如果所有管道读端对应的文件描述符被关闭,则write操作会产生信号SIGPIPE

//验证规则4)
int main()
{
    if (signal(SIGPIPE, handler) == SIG_ERR)
        err_exit("signal error");

    int pipefd[2];
    if (pipe(pipefd) != 0)
        err_exit("pipe error");

    pid_t pid = fork();
    if (pid == -1)
        err_exit("fork error");
    else if (pid == 0)
    {
        close(pipefd[0]);
        exit(EXIT_SUCCESS);
    }

    close(pipefd[0]);
    sleep(2);
    char test;
    if (write(pipefd[1], &test, sizeof(test)) < 0)
        err_exit("write error");
}

Linux PIPE特征

1)当要写入的数据量不大于PIPE_BUF时,Linux将保证写入的原子性。

2)当要写入的数据量大于PIPE_BUF时,Linux将不再保证写入的原子性。

man说明:

POSIX.1-2001 says that write(2)s of less than PIPE_BUF bytes must be atomic:

the  output data is written to the pipe as a contiguous sequence.

Writes of more than PIPE_BUF bytes may be nonatomic:

the kernel may interleave the data with  data  written  by  other  processes.

POSIX.1-2001 requires PIPE_BUF to be at least 512 bytes.

(On Linux, PIPE_BUF is 4096 bytes. 在Linux当中, PIPE_BUF为4字节).

The precise semantics depend on whether the file descriptor is  non-blocking(O_NONBLOCK),

whether  there  are  multiple writers to the pipe, and on n, the number of bytes to be written:

O_NONBLOCK disabled(阻塞), n <= PIPE_BUF

All n bytes are written atomically; write(2) may block if there is not room for  n bytes to be written immediately

O_NONBLOCK enabled(非阻塞), n <= PIPE_BUF

If there is room to write n bytes to the pipe, then write(2) succeeds immediately, writing all n bytes;

otherwise write(2) fails, with errno set to EAGAIN(注意: 如果空间不足以写入数据, 则一个字节也不写入, 直接出错返回).

O_NONBLOCK disabled, n > PIPE_BUF

The write is nonatomic: the  data  given  to  write(2)  may  be  interleaved  with write(2)s by other process;

the write(2) blocks until n bytes have been written.

O_NONBLOCK enabled, n > PIPE_BUF

If  the  pipe  is full, then write(2) fails, with errno set to EAGAIN(此时也是没有一个字符写入管道).

Otherwise, from 1 to n bytes may be written (i.e., a "partial write" may  occur;

the  caller should  check  the  return value from write(2) to see how many bytes were actually written),

and these bytes may be interleaved with writes by other processes.

/** 验证:
已知管道的PIPE_BUF为4K, 我们启动两个进程A, B向管道中各自写入68K的内容, 然后我们以4K为一组, 查看管道最后一个字节的内容, 多运行该程序几次, 就会发现这68K的数据会有交叉写入的情况
**/
int main()
{
    const int TEST_BUF = 68 * 1024; //设置写入的数据量为68K
    char bufA[TEST_BUF];
    char bufB[TEST_BUF];
    memset(bufA, 'A', sizeof(bufA));
    memset(bufB, 'B', sizeof(bufB));

    int pipefd[2];
    if (pipe(pipefd) != 0)
        err_exit("pipe error");

    pid_t pid;
    if ((pid = fork()) == -1)
        err_exit("first fork error");
    else if (pid == 0)  //第一个子进程A, 向管道写入bufA
    {
        close(pipefd[0]);
        int writeBytes = write(pipefd[1], bufA, sizeof(bufA));
        cout << "A Process " << getpid() << ", write "
             << writeBytes << " bytes to pipe" << endl;
        exit(EXIT_SUCCESS);
    }

    if ((pid = fork()) == -1)
        err_exit("second fork error");
    else if (pid == 0)  //第二个子进程B, 向管道写入bufB
    {
        close(pipefd[0]);
        int writeBytes = write(pipefd[1], bufB, sizeof(bufB));
        cout << "B Process " << getpid() << ", write "
             << writeBytes << " bytes to pipe" << endl;
        exit(EXIT_SUCCESS);
    }

    // 父进程
    close(pipefd[1]);
    sleep(2);   //等待两个子进程写完
    char buf[4 * 1024]; //申请一个4K的buf
    int fd = open("save.txt", O_WRONLY|O_TRUNC|O_CREAT, 0666);
    if (fd == -1)
        err_exit("file open error");

    while (true)
    {
        int readBytes = read(pipefd[0], buf, sizeof(buf));
        if (readBytes == 0)
            break;
        if (write(fd, buf, readBytes) == -1)
            err_exit("write file error");
        cout << "Parent Process " << getpid() << " read " << readBytes
             << " bytes from pipe, buf[4095] = " << buf[4095] << endl;
    }
}


附-管道容量查询

man 7 pipe

注意: 管道的容量不一定就等于PIPE_BUF, 如在Ubuntu中, 管道容量为64K, 而PIPE_BUF为4K.

Linux IPC实践(2) --匿名PIPE的更多相关文章

  1. Linux IPC实践(1) -- 概述

    进程的同步与互斥 进程同步: 多个进程需要相互配合共同完成一项任务. 进程互斥: 由于各进程要求共享资源,而且有些资源需要互斥使用,因此各进程间竞争使用这些资源,进程的这种关系为进程的互斥;系统中某些 ...

  2. Linux IPC实践(8) --共享内存/内存映射

    概述 共享内存区是最快的IPC形式.一旦这样的内存映射到共享它的进程的地址空间,这些进程间数据传递不再涉及到内核,换句话说是进程不再通过执行进入内核的系统调用来传递彼此的数据(如图). 共享内存 VS ...

  3. Linux IPC实践(13) --System V IPC综合实践

    实践:实现一个先进先出的共享内存shmfifo 使用消息队列即可实现消息的先进先出(FIFO), 但是使用共享内存实现消息的先进先出则更加快速; 我们首先完成C语言版本的shmfifo(基于过程调用) ...

  4. Linux IPC实践(11) --System V信号量(1)

    信号量API #include <sys/types.h> #include <sys/ipc.h> #include <sys/sem.h> int semget ...

  5. Linux IPC实践(10) --Posix共享内存

    1. 创建/获取一个共享内存 #include <sys/mman.h> #include <sys/stat.h> /* For mode constants */ #inc ...

  6. Linux IPC实践(9) --System V共享内存

    共享内存API #include <sys/ipc.h> #include <sys/shm.h> int shmget(key_t key, size_t size, int ...

  7. Linux IPC实践(7) --Posix消息队列

    1. 创建/获取一个消息队列 #include <fcntl.h> /* For O_* constants */ #include <sys/stat.h> /* For m ...

  8. Linux IPC实践(4) --System V消息队列(1)

    消息队列概述 消息队列提供了一个从一个进程向另外一个进程发送一块数据的方法(仅局限于本机); 每个数据块都被认为是有一个类型,接收者进程接收的数据块可以有不同的类型值. 消息队列也有管道一样的不足:  ...

  9. Linux IPC实践(3) --具名FIFO

    FIFO具名/命名管道 (匿名)管道应用的一个限制就是只能在具有共同祖先(具有亲缘关系)的进程间通信. 如果我们想在不相关的进程之间交换数据,可以使用FIFO文件来做这项工作,它经常被称为命名管道;命 ...

随机推荐

  1. SpringBoot学习之启动探究

    SpringApplication是SpringBoot的启动程序,我们通过它的run方法可以快速启动一个SpringBoot应用.可是这里面到底发生了什么?它是处于什么样的机制简化我们程序启动的?接 ...

  2. ubuntu远程桌面连接命令rdesktop连接windows远程桌面详解

    sudo apt-get install rdesktoprdesktop 124.42.120.174:1433 呵呵,连接成功了. -f 全屏-a 16位色默认端口是3389(linux 22 s ...

  3. 【转】动态规划DP

    [数据结构与算法] DP 动态规划 介绍 原创 2017年02月13日 00:42:51 最近在看算法导论. DP全称是dynamic programming,这里programming不是编程,是一 ...

  4. Go 语言基础语法

    Go 标记 Go 程序可以由多个标记组成,可以是关键字,标识符,常量,字符串,符号.如以下 GO 语句由 6 个标记组成: fmt.Println("Hello, World!") ...

  5. Ruby 2.x 命名参数特性简介

    我以前曾有一个梦想,就是我的爹是李嘉诚-,那个-,不是啦,我的梦想是ruby像ObjC,或是现在的swift那样给方法提供命名参数. 之前的ruby只能用hash来模拟这个行为,不过你没法很容易的定义 ...

  6. Android Multimedia框架总结(二十四)MediaMuxer实现手机屏幕录制成gif图

    转载请把头部出处链接和尾部二维码一起转载,本文出自逆流的鱼yuiop:http://blog.csdn.net/hejjunlin/article/details/53866405 前言:上篇中,介绍 ...

  7. Git之(三)辅助命令

    熟悉了Git的基本操作之后,再来研究一下Git为我们提供的基础设施服务.正如一个程序员,只会写代码是远远不够的,还得知道怎么吃饭,怎么睡觉,怎么谈恋爱,怎么耍流氓--会了这些才能写出更好的代码,这就是 ...

  8. 快速排序quick_sort(python的两种实现方式)

    排序算法有很多,目前最好的是quick_sort:unstable,spatial complexity is nlogN. 快速排序原理 python实现 严蔚敏的 datastruct书中有伪代码 ...

  9. EBS应付(AP)模块常用表

     select * from ap_invoices_all INVOICE头 select * from ap_invoice_distributions_all INVOICE行 select ...

  10. 带你深入理解STL之迭代器和Traits技法

    在开始讲迭代器之前,先列举几个例子,由浅入深的来理解一下为什么要设计迭代器. //对于int类的求和函数 int sum(int *a , int n) { int sum = 0 ; for (in ...