Como os pipes funcionam no Linux

Eu tenho lido sobre como os pipes são implementados no kernel do Linux e queria validar meu entendimento. Se estiver incorreto, a resposta com a explicação correta será selecionada.

• O Linux possui um VFS chamado pipefs montado no kernel (não no espaço do usuário)
• O pipefs possui um único super bloco e é montado em sua própria raiz ( pipe:), ao lado de/
• pipefs não podem ser visualizados diretamente ao contrário da maioria dos sistemas de arquivos
• A entrada para pipefs é via pipe(2)syscall
• O pipe(2)syscall usado pelos shells para canalizar com o |operador (ou manualmente de qualquer outro processo) cria um novo arquivo nos pipefs que se comporta praticamente como um arquivo normal
• O arquivo no lado esquerdo do operador de stdoutcanal é redirecionado para o arquivo temporário criado nos pipefs
• O arquivo no lado direito do operador do tubo está stdindefinido como o arquivo em pipefs
• pipefs é armazenado na memória e, através de alguma mágica do kernel, não deve ser paginado

Esta é a explicação de como os tubos (por exemplo ls -la | less) funcionam praticamente corretos?

Uma coisa que não entendo é como algo como o bash definiria um processo ' stdinou stdoutpara o descritor de arquivo retornado por pipe(2). Ainda não consegui encontrar nada sobre isso.

Sua análise até o momento é geralmente correta. A maneira como um shell pode definir o stdin de um processo para um descritor de canal pode ser (pseudocódigo):

pipe(p) // create a new pipe with two handles p[0] and p[1]
fork() // spawn a child process
    close(p[0]) // close the write end of the pipe in the child
    dup2(p[1], 0) // duplicate the pipe descriptor on top of fd 0 (stdin)
    close(p[1]) // close the other pipe descriptor
    exec() // run a new process with the new descriptors in place