router modeling using ptolemy
DESCRIPTION
Router modeling using Ptolemy. EE290N. Xuanming Dong and Amit Mahajan May 15, 2002. Project Goals. Modeling routers in Ptolemy Proposing and verifying design improvements. Approach. Modeled a typical router in Ptolemy Identified the bottlenecks in routers - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/1.jpg)
Router modeling using Ptolemy
Xuanming Dong and Amit Mahajan
May 15, 2002
EE290N
![Page 2: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/2.jpg)
Project Goals
• Modeling routers in Ptolemy
• Proposing and verifying design improvements
![Page 3: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/3.jpg)
Approach
• Modeled a typical router in Ptolemy
• Identified the bottlenecks in routers
• Proposed solutions for these problems and verified some desirable properties
![Page 4: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/4.jpg)
Router Architecture (I)
• Set of input and output interfaces interconnected by a high speed fabric
input interface output interfacebackplane
![Page 5: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/5.jpg)
Router Architecture (II)
Admission Control
Data In
Data Out
Con
trol
Pla
ne
Data
Pla
ne
Routing Routing
Messages
RSVP messages
RSVP
Route Lookup
Forwarding Table Per Flow QoS Table
Scheduler
flow 1
flow 2
flow n
Classifier
Buffer management
SwitchFabric
![Page 6: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/6.jpg)
Recent Router Research
• Reconfigurable routers– use recent developments in run-time reconfigurable
hardware and hardware/software co-design techniques to improve both the performance and functionality of the network routers
– so that the new protocols can be deployed rapidly
• Routers based on the reusable elements– click modular router
• Parallelism by partitioning functions of routers
![Page 7: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/7.jpg)
Motivation for Router Models
• Define high level models of router behavior• Construct routers by proof • Explore the design space to optimize
hardware and software performance of routers• Support from verification and simulation tools• Reuse previous designs• Provide function decomposition of routers• If possible, synthesize part or all of the
hardware and software
![Page 8: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/8.jpg)
Overview of the Simulated Networks and Router
.
.. ...
0 1 2
3 4 5 6
7 8 9Subnetwork 1
Subnetwork 2
Subnetwork 3
interface1 interface3
interface2
Router
![Page 9: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/9.jpg)
Basic Model
• Model the data-plane of the router
• Model major components in the DE domain
• Three input interfaces, three output interfaces
• Packets generated by a Poisson process
• QoS implemented using priority-based scheduling for packets
![Page 10: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/10.jpg)
Model and
Screen Shot
input interface output interfacefabric
![Page 11: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/11.jpg)
Run Window
![Page 12: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/12.jpg)
Problems Identified
• Main bottlenecks in routers are – LookUp– Switching Fabric
We worked on the LookUp design improvement
![Page 13: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/13.jpg)
LookUp
• Slow LookUp speed creates a bottleneck
• Solution : Parallelize the LookUp block
• Properties desired: – Ordering of the packets should be maintained– System should not deadlock– Bounded memory constraints are not violated
![Page 14: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/14.jpg)
Verification of desired Properties
• The block can be represented well in the DF domains
• BDF seems to be a good choice – but the present formalism is not powerful enough to
handle the model under consideration
• Our Solution: Model the block in the SDF domain. – This adds a little redundancy but we get good enough
solution with the verification of desirable properties
![Page 15: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/15.jpg)
Model in BDF Domain
![Page 16: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/16.jpg)
Model in SDF Domain
![Page 17: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/17.jpg)
Related Problems
• What input rates can the router support?
• With the above rates, will the available memory be sufficient to prevent overflow (with probability .99)?
The above problems can be solved using a probabilistic framework but could be quite complex
![Page 18: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/18.jpg)
General Problem Formulation
• SYSTEM: Composed of a multitude of components, each of them capable of being modeled in timed/untimed domains.
• AIM: Want to check properties like bounded memory.
Can we use modeling to make this problem simpler?
![Page 19: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/19.jpg)
Our Solution
• If possible, model some components in the DF domains
• Abstract these components with their cumulative properties
• Using the above properties, consider the timed model (like DE) of the system for checking these properties in a probabilistic framework
• This interaction among the timed and the untimed models could be used to make the problem simpler
![Page 20: Router modeling using Ptolemy](https://reader035.vdocuments.mx/reader035/viewer/2022062500/568152f6550346895dc112dd/html5/thumbnails/20.jpg)
Conclusions
• Verification is easy in some domains.– Hence one might need to modify the
component design to model them in these domains in order to verify the desirable properties
• In system design, abstracting the interaction between the timed and untimed models can help simplify problems