https://github.com/teto/mptcp-specifications

Attempt to formalize MPTCP states
https://github.com/teto/mptcp-specifications

Last synced: 11 days ago
JSON representation

Attempt to formalize MPTCP states

• Host: GitHub
• URL: https://github.com/teto/mptcp-specifications
• Owner: teto
• Created: 2015-12-04T16:39:17.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2016-01-27T00:28:27.000Z (almost 9 years ago)
• Last Synced: 2024-10-11T23:39:52.968Z (about 1 month ago)
• Language: Makefile
• Size: 445 KB
• Stars: 0
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
This repository (https://github.com/lip6-mptcp/specifications) hosts files used to generate the MPTCP meta machine picture as we understand it from the MPTCP specs.

We set out to generate such a picture to help us implement MPTCP in ns3.

Here is how it looks like as of January 2016:

![MPTCP state machine as envisioned in January 2016](./meta.png)

If you believe we made any mistake, don't hesitate to send a pull request.

How to generate the above picture ?

===

1. You will need to install graphviz and git. On ubuntu/debian: `$ sudo apt-get install graphviz git`

2. Clone the repository `git clone https://github.com/lip6-mptcp/specifications.git ~/mptcp`

3. Move to the cloned folder and run `$ make`

4. It will generate a file named meta.png, which you can open with your image viewer. For instance you could try if xdg-utils package is installed `xdg-open meta.png`. 

The makefile also contains an svg target if you prefer.