P4 é uma linguagem de programação de alto nível utilizada para definir políticas de encaminhamento de pacotes em comutadores de rede. Foi concebida por uma equipa da Universidade de Stanford e lançada como código aberto no início de 2014.
Os programas P4 são compilados em bitcode específicos do switch, que podem ser carregados no dispositivo alvo e executados. Este bitcode pode ser gerado utilizando um compilador P4 de referência, ou um compilador de terceiros que tenha como alvo uma arquitectura de comutação específica.
P4 oferece um elevado grau de flexibilidade na forma como os pacotes são processados, tornando-o bem adequado para a implementação de novos protocolos e características em comutadores de rede. Também suporta um rico conjunto de abstracções de controlo e planos de dados, que podem ser utilizados para optimizar o desempenho dos comutadores e melhorar a programabilidade.
P4 tem vindo a ganhar tracção na indústria, com uma série de grandes vendedores a investir no seu desenvolvimento. Em 2016, a Open Networking Foundation (ONF) formou o Consórcio de Línguas P4 para promover a adopção do P4 e fomentar o seu desenvolvimento futuro.