P4程序，缺少调试手段来确保自己写的代码正确
目前P4缺少像单步执行、gdb等调试手段，可以对存在的功能问题进行调试解决，P4需要解决可调试性的问题，才会更好发展。
发起人
-
-
Cool
SDN&P4程序猿
相关问题
- OpenDaylight SR3中，怎么用java代码删除流表？
- OpenDaylight代码初始构建
- 将P4 14代码转换成P4 16版本的方法？
- opendaylight源码编译时，在根目录下用maven clean compile出错，但是在每个子模块下单独编译正确，为什么
- 在OpenDaylight SR3中，如何利用java代码让控制器知道它收到了一个来自交换机的包？
- odl中氦版本 代码 下发流表的 是怎么写的？
- 想要从openflowplugin模块研究南向API，端口状态变化、报文上传处理等信息变化，这个方向正确吗
- 请教一下openvswitch的正确的使用方式
- 编写的ODL项目，RPC出现问题，在控制台没法得到正确的output，应该怎么改呢？
- P4代码注释比较全的一个demo，非常有助于新手理解P4
问题状态
- 最新活动: 2017-08-11 13:22
- 浏览: 7407
- 关注: 4 人
5 个回复
dingrui37
赞同来自: Cool
@Cool 不能直接截图，将就看吧。但是目前只支持基于thirft的bmv2，在gRPC的bmv2上没法使用，估计后续应该会支持。我也只是试用了下，但是没有想象中那么牛逼，没有gdb那么直观方便。
Introducing a P4 debugger
- bmv2 supports a GDB-like P4 debugger
- Lets you block packet processing and print information about packet headers
/ metadata / match-action tables
- Because of the bmv2 threading model, multiple packets can exist in the
switch simultaneously; each packet is identified by a unique id
- We tried to give the debugger a “GDB feel” with familiar commands:
-
wsets a watchpoint on a header field-
bsets a breakpoint on a P4 object (e.g. parse state, table)-
pprints the value of a header field for a given packet-
btprints the backtrace of P4 objects entered by a packet-
cstarts / resumes packet processingWasdns
赞同来自: Cool
除了丁老师说的gdb debugger，一个简单判断代码结构是否正确的方法是使用
p4-validate your_p4_code.p4。Debug确实是一个问题，我个人遇见的一般来说不是code的问题，是规则的问题，你需要根据交换机的行为来判断你的P4规则有没有写对。
dingrui37
赞同来自:
bmv2 supports a GDB-like P4 debugger
Cool - SDN&P4程序猿
赞同来自:
@dingrui37 ，多谢了，你目前调试P4代码住要方法就是P4 debugeer吗，使用方法哪里有说明能发一下吗，多谢了
Cool - SDN&P4程序猿
赞同来自:
@dingrui37 ，@Wasdns
多谢！
Debug确实是一个问题，我个人遇见的一般来说不是code的问题，是规则的问题，你需要根据交换机的行为来判断你的P4规则有没有写对。
----现在P4的作用有点像传统交换机上下发的配置信息，要确认配置对错只能通过流量功能验证，但是在写P4代码时往往没有足够的组网环境来验证自己的程序功能，这会导致P4功能验证反而比传统交换机配置信息的验证更困难，而且硬件表象大部分是没发用软件仿真的，这个问题估计不好解决