Pyretic's Q&A had an interesting question: Is there anything you can do in OpenFlow that you can't do in Pyretic?
This question digs deeply into Pyretic's capabilities, but we don't have a formal framework to compare the capabilities of different SDN programming models, so any negative answer ("No, they are equally powerful") is hard to justify.
Are we (as a community) missing the opportunity to formally define control plane and data plane functionality, perhaps creating a hierarchy of capabilities and examining the trade-offs in implementing those capabilities? Or are we just excited to have a more powerful leg to stand on (OpenFlow) and using that to create cool systems (e.g., NSDI 2013's first session)?
There is some work questioning the OpenFlow abstraction and providing alternate SDN abstractions (e.g., DevoFlow), but I don't know of any formalism to compare functionality. Am I new to the area and missing something important?
Is x86 not the ideal packet processing language? There's nothing stopping SDN from pushing Turing-complete programs to edge devices or software middleboxes. Switching devices on the other hand are simply not well-suited to performing complex operations..
ReplyDeleteSure, we are limited by today's hardware capabilities, but we should (and are) pushing hardware vendors to include more functionality (e.g., new features in increasing versions of OpenFlow). I'm wondering if we are pushing these features in an ad hoc manner ("it would be nice to use MPLS"), or if we are thinking formally about increasing expressiveness.
ReplyDeleteIt's also true that we already have arbitrary packet processing in OpenFlow: just forward all packets to the controller (bad performance).
I'm not sure I agree that we should be add complexity to switches. Wouldn't it be cheaper and simpler to keep the switches dumb? Instead of adding functionality to switches, perform complex packet processing at the edge (preferably in software). Then, slap a label on packets before sending them into the core. Switches in the core then just need to perform label-switching, and the controller configures the label-switched paths according to the network policies.
DeleteAs far as I understand, this is how many ISPs run their networks. Does this design miss anything that you could otherwise do with sophisticated switches?
Related articles:
http://conferences.sigcomm.org/sigcomm/2012/paper/hotsdn/p85.pdf
http://networkheresy.com/2011/06/05/what-openflow-is-and-more-importantly-what-its-not/
http://networkheresy.com/2011/11/17/is-openflowsdn-good-at-forwarding/
I'm not sure I agree that we should add complexity to the switches either :)
DeleteAs far as I understand it, you're right about current trends: using MPLS , really dumb switches, and doing a lot of processing at the edge is state of the art. What I'm curious about is: do we have intuition/proof/evidence that using dumb switches is just as powerful as smart switches and what are the trade-offs?
I see. Good question!
DeleteJosh, I like your post a lot. It seems to me (and I tried to get into this in my SDN post as well) that some Pyretic programs might not be possible to realize efficiently on OpenFlow, because most or all packets would need to be forwarded to the controller as you say.
ReplyDeleteI wonder if we can reason about the complexity classes of various software-defined network topologies in this sense; in terms of when the control plane (or switch flow-table capacity) becomes a limiting factor for overall network performance.
I also wonder whether a reasonable-seeming SDN topology might normally appear to work well, but when confronted with a Byzantine pattern of evil flows, it blows up.
> Is software defined networking really just OpenFlow?
ReplyDeleteNo. OpenFlow is a protocol, and is a small component of SDN. It's not even necessary to use OpenFlow to build an SDN (this is probably the future of SDN...)
To clarify your understanding of SDN, read the articles Colin linked to above. I'd also highly recommend Scott's talk: http://www.youtube.com/watch?v=YHeyuD89n1Y
This question digs deeply into Pyretic's capabilities, but we don't have a formal framework to compare the capabilities of different SDN programming models. Time Tracking Software
ReplyDelete