Consistent code composition and modular data plane programming
Autor(a) principal: | |
---|---|
Data de Publicação: | 2020 |
Tipo de documento: | Dissertação |
Idioma: | eng |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFRGS |
Texto Completo: | http://hdl.handle.net/10183/211306 |
Resumo: | Planos de dados programáveis (PDP) permitem mais flexibilidade para a operação de redes. Os vários benefícios da programabilidade levaram a comunidade a desenvolver novos softwares, tanto na academia quanto na indústria. Para aproveitar plenamente os benefícios da programabilidade, deve ser possível compor e operar várias funções do PDP em um único switch de destino, conforme necessário. No entanto, as técnicas existentes não são adequadas no sentido em que usam um número excessivo de estados e tabelas de encaminhamento e não possuem abstrações para o direcionamento interno de pacotes através dos fluxos de controle. Portanto, as técnicas existentes não suportam a composição modular de funções ao PDP. Esta dissertação propõe PRIME, um mecanismo de composição de funções em rede que também atende às necessidades fundamentais do direcionamento interno de pacotes entre os módulos de um programa PDP. PRIME permite que os operadores de rede especifiquem composições de funções de rede escritas em P4 e como o tráfego as atravessa. A composição emprega uma fase de verificação para identificar ambiguidades em nível do código fonte e evitar loops dentro do pipeline do switch. Uma tabela adicional e um sistema de gerenciamento para o plano de controle garantem o direcionamento de pacotes através dos fluxos de controle. Apresentamos um protótipo do PRIME, juntamente com uma prova da corretude do módulo de direcionamento de tráfego. Os resultados mostram que é possível obter composições de módulos com pouco custo adicional em termos de atraso e taxa de transferência. |
id |
URGS_6acfa88153187b0e83e3d0e6e33fdcfa |
---|---|
oai_identifier_str |
oai:www.lume.ufrgs.br:10183/211306 |
network_acronym_str |
URGS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
repository_id_str |
1853 |
spelling |
Parizotto, RicardoSchaeffer Filho, Alberto Egon2020-07-02T03:36:52Z2020http://hdl.handle.net/10183/211306001115031Planos de dados programáveis (PDP) permitem mais flexibilidade para a operação de redes. Os vários benefícios da programabilidade levaram a comunidade a desenvolver novos softwares, tanto na academia quanto na indústria. Para aproveitar plenamente os benefícios da programabilidade, deve ser possível compor e operar várias funções do PDP em um único switch de destino, conforme necessário. No entanto, as técnicas existentes não são adequadas no sentido em que usam um número excessivo de estados e tabelas de encaminhamento e não possuem abstrações para o direcionamento interno de pacotes através dos fluxos de controle. Portanto, as técnicas existentes não suportam a composição modular de funções ao PDP. Esta dissertação propõe PRIME, um mecanismo de composição de funções em rede que também atende às necessidades fundamentais do direcionamento interno de pacotes entre os módulos de um programa PDP. PRIME permite que os operadores de rede especifiquem composições de funções de rede escritas em P4 e como o tráfego as atravessa. A composição emprega uma fase de verificação para identificar ambiguidades em nível do código fonte e evitar loops dentro do pipeline do switch. Uma tabela adicional e um sistema de gerenciamento para o plano de controle garantem o direcionamento de pacotes através dos fluxos de controle. Apresentamos um protótipo do PRIME, juntamente com uma prova da corretude do módulo de direcionamento de tráfego. Os resultados mostram que é possível obter composições de módulos com pouco custo adicional em termos de atraso e taxa de transferência.Programmable Data Planes (PDP) enable more flexibility for the operation of networks. The various benefits of programmability have led the community to develop new software on both academic and industrial capacities. To fully reap the benefits of programmability, it should be feasible to compose and operate multiple PDP functions into a single target switch as needed. However, existing techniques are not suitable in the sense that they use an excessive number of parser states and tables, and lack abstractions for the steering of packets through the control flows. As such, they do not support modular composition of PDP functions. This thesis proposes PRIME, a composition mechanism of in-network functions that also addresses the fundamental needs of packet steering between PDP program modules. PRIME enables network operators to specify compositions of network functions written in P4 and how traffic traverses them. The composition employs a verification phase to identify ambiguities at source code level and avoid loops inside the switch pipeline. An additional table and a control plane management system enforce the steering of packets through control flows. We present a prototype of PRIME, along with a proof of the steering correctness. The results shows that it is possible to achieve module-wide compositions at little additional cost in terms of delay and throughput.application/pdfengPlanos de dados programáveisProgramabilidade de redeGerenciamento de redes : ComputadoresRedes Definidas por SoftwareConsistencyConsistent code composition and modular data plane programmingComposição consistente de código e programação modular do plano de dados info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2020mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001115031.pdf.txt001115031.pdf.txtExtracted Texttext/plain197680http://www.lume.ufrgs.br/bitstream/10183/211306/2/001115031.pdf.txt197bdf1fb8f9fccc5431596ea36e5680MD52ORIGINAL001115031.pdfTexto completo (inglês)application/pdf3945166http://www.lume.ufrgs.br/bitstream/10183/211306/1/001115031.pdf21cc8cce8b4a2b4c3e55827f7905a1f4MD5110183/2113062024-05-29 06:42:49.429485oai:www.lume.ufrgs.br:10183/211306Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532024-05-29T09:42:49Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
dc.title.pt_BR.fl_str_mv |
Consistent code composition and modular data plane programming |
dc.title.alternative.pt.fl_str_mv |
Composição consistente de código e programação modular do plano de dados |
title |
Consistent code composition and modular data plane programming |
spellingShingle |
Consistent code composition and modular data plane programming Parizotto, Ricardo Planos de dados programáveis Programabilidade de rede Gerenciamento de redes : Computadores Redes Definidas por Software Consistency |
title_short |
Consistent code composition and modular data plane programming |
title_full |
Consistent code composition and modular data plane programming |
title_fullStr |
Consistent code composition and modular data plane programming |
title_full_unstemmed |
Consistent code composition and modular data plane programming |
title_sort |
Consistent code composition and modular data plane programming |
author |
Parizotto, Ricardo |
author_facet |
Parizotto, Ricardo |
author_role |
author |
dc.contributor.author.fl_str_mv |
Parizotto, Ricardo |
dc.contributor.advisor1.fl_str_mv |
Schaeffer Filho, Alberto Egon |
contributor_str_mv |
Schaeffer Filho, Alberto Egon |
dc.subject.por.fl_str_mv |
Planos de dados programáveis Programabilidade de rede Gerenciamento de redes : Computadores Redes Definidas por Software |
topic |
Planos de dados programáveis Programabilidade de rede Gerenciamento de redes : Computadores Redes Definidas por Software Consistency |
dc.subject.eng.fl_str_mv |
Consistency |
description |
Planos de dados programáveis (PDP) permitem mais flexibilidade para a operação de redes. Os vários benefícios da programabilidade levaram a comunidade a desenvolver novos softwares, tanto na academia quanto na indústria. Para aproveitar plenamente os benefícios da programabilidade, deve ser possível compor e operar várias funções do PDP em um único switch de destino, conforme necessário. No entanto, as técnicas existentes não são adequadas no sentido em que usam um número excessivo de estados e tabelas de encaminhamento e não possuem abstrações para o direcionamento interno de pacotes através dos fluxos de controle. Portanto, as técnicas existentes não suportam a composição modular de funções ao PDP. Esta dissertação propõe PRIME, um mecanismo de composição de funções em rede que também atende às necessidades fundamentais do direcionamento interno de pacotes entre os módulos de um programa PDP. PRIME permite que os operadores de rede especifiquem composições de funções de rede escritas em P4 e como o tráfego as atravessa. A composição emprega uma fase de verificação para identificar ambiguidades em nível do código fonte e evitar loops dentro do pipeline do switch. Uma tabela adicional e um sistema de gerenciamento para o plano de controle garantem o direcionamento de pacotes através dos fluxos de controle. Apresentamos um protótipo do PRIME, juntamente com uma prova da corretude do módulo de direcionamento de tráfego. Os resultados mostram que é possível obter composições de módulos com pouco custo adicional em termos de atraso e taxa de transferência. |
publishDate |
2020 |
dc.date.accessioned.fl_str_mv |
2020-07-02T03:36:52Z |
dc.date.issued.fl_str_mv |
2020 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10183/211306 |
dc.identifier.nrb.pt_BR.fl_str_mv |
001115031 |
url |
http://hdl.handle.net/10183/211306 |
identifier_str_mv |
001115031 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFRGS instname:Universidade Federal do Rio Grande do Sul (UFRGS) instacron:UFRGS |
instname_str |
Universidade Federal do Rio Grande do Sul (UFRGS) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/211306/2/001115031.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/211306/1/001115031.pdf |
bitstream.checksum.fl_str_mv |
197bdf1fb8f9fccc5431596ea36e5680 21cc8cce8b4a2b4c3e55827f7905a1f4 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
_version_ |
1810085524882325504 |