Å Ø Ñ Ø ÔÔÐ Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ Ä ØØÐ ÃÒÓÛÒ Ø ÁÒØ ÖÒ Ø ÔÓØ ÒØ ÐÐÝ ÙÒ Ø Ð Ì ÛÓÖ Ø Ò Ò ØÛÓÖ ÐÙÖ Ì Û ÓÐ ÁÒØ ÖÒ Ø Ñ ÐØ ÓÛÒ Ø Ð Ö ÔÔÖÓ ØÓ ÈÖÓØÓÓÐ Ò ÁÒØ ÖÒ Ø ËØ Ð ØÝ Ï Ò Ó ÁØ Ð Ú Ð Ò Å ØØ Û ÊÓÙ Ò Ð Ý <ashley.flavel@gmail.com> <matthew.roughan@adelaide.edu.au> ÍÒ Ú Ö ØÝ Ó Ð Algebraic Approaches to Protocol Design p.1/53 Ì ÓÒØÖÓÐ ÔÐ Ò Ò ÐÐ ÒØÓ Ó ÐÐ ØÓÖÝ ÑÓ Ô Ø ÐÓÓÔ Ô Ö ÓÖÑ Ò Ö Ø Ò Ó ÖÚ Ì ÒÓØ ÔØ Ð ÓÖ Ö Ø Ð Ò Ö ØÖÙØÙÖ Algebraic Approaches to Protocol Design p.2/53
Ï Ü ÁØ Ò Ï Ò Ø Ð Ø ÓÖ Èµ ÓÒ ÙÖ Ø ÓÒ Ò ÓÖ ÔÖ Ú ÒØ ÓÒ Where s Waldo? Metarouting and Practical Searches for Stability in ibgp, Ashley Flavel, Matthew Roughan, Nigel Bean, Aman Shaikh, The 16th IEEE International Conference on Network Protocols (ICNP), pp. 308-317, Orlando, Florida, October 19-22, 2008. Ø Ø ÓÒ Ó Û Ò Ü ÔÖÓ Ð Ñ Humpty Dumpty: Putting ibgp Back Together Again, Ashley Flavel, Jeremy McMahon, Aman Shaikh, Matthew Roughan, Nigel Bean IFIP/TC6 NETWORKING 2009. Ò ÓÒØÖÓÐ ÔÖÓØÓÓÐ ØÓ Ü ÓÒ Ò ÓÖ ÐÐ ÙØ Û ³ Ð ÔÖÓÓ Ø Ø Ñ Ø Ò Algebraic Approaches to Protocol Design p.3/53 ÊÓÙØ Ò ÈÖÓØÓÓÐ Algebraic Approaches to Protocol Design p.4/53
Ò ØÛÓÖ È Ø ÁÒØ ÖÒ Ø Ô Ø Ò ØÛÓÖ Ì ÓÖÛ Ö ÓÔ¹ ݹ ÓÔ Ý ÖÓÙØ Ö Ø ÖÓ Ò ÒØÓ ÓÙÖ Ø ÙÒ µ ¾ ÒØÓ ÐÓ Ý ÓÑÑÓÒ ÔÖ Ü ÖÓÙÔ ÓÖÛ Ö Ò ÓÒ Ý ÐÓÓ ÙÔ Ò ÖÓÙØ Ò Ø Ð Ø ÖÓ Ò ÒØÓ Ò Ú Ù ÐÐÝ Ö Ô Ø Ò ØÓ ÒÓÛ Û Ö ØÓ Ò Ô Ø Ò Ø ÓÖÑ 192.168.10.32 Ö º º 192.168/16 Ñ Ô Ø Ò Ø ÓÒ Ö ÔÖ Ü ÒØ Ö Algebraic Approaches to Protocol Design p.5/53 ÓÖÛ Ö Ò A D B R4 E C R5 F Algebraic Approaches to Protocol Design p.6/53
ÓÖÛ Ö Ò A D B R4 E C routing table dest. A B C D E F default C R5 R5 F Algebraic Approaches to Protocol Design p.6/53 A ÓÖÛ Ö Ò D B R4 E C F routing table dest. A B C D E F default C R5 R5 F Algebraic Approaches to Protocol Design p.6/53
A ÓÖÛ Ö Ò D B R4 E C F R5 F routing table dest. A B C D E F default R4 R4 F Algebraic Approaches to Protocol Design p.6/53 A ÓÖÛ Ö Ò D B R4 E C R5 F F Algebraic Approaches to Protocol Design p.6/53
ÐÐ Ø Ø Û Ý Ó Ø Ò ØÓ ÓÑ ÓÒ Û Ó ÒÓÛ ÑÓÖ º º ÝÓÙÖ ÁËÈ Ó ÓÛ Ó Ò ÁËÈ Ó Ø ÙØ Ó Ý Ò Ò³Ø ÄÓÓÔ ÊÓÙØ A D B R4 E C routing table dest. A B C D E F default C R5 routing table R5 dest. A B C D E F default R4 R4 F Ï Ò ØÓ Ú ÓÒ Ø ÒØ ÖÓÙØ Ò Ø Ð Algebraic Approaches to Protocol Design p.7/53 ÊÓÙØ Ò ÁÒØ ÖÒ Ø ÐÝ ÝÒ Ñ Ì Ó Û Ñ ÒØ Ò ÖÓÙØ Ò Ø Ð ÀÓÛ Ý ÓÖ ÑÓ Ø Ô ÓÔÐ Ù Ø Ú ÙÐØ Ò ÜØ ÓÔ ÖÓ Ù Ø ØÓ Ð Ò ÐÙÖ Ýµ ÒÓØ Ð Ó Ò³Ø Ù ÖÓÙØ Ò ÔÖÓØÓÓÐ Ø Ý ØÓ Ù Ð ÝÒ Ñ ÖÓÙØ Ò Ø Ð Ù Algebraic Approaches to Protocol Design p.8/53
Ó Ò Û Ø ÒÚ Ö ÓÒ ÙÖ Ø Ò Ñ Ò ØÖ Ø Ú ÐÝ ÐÐ ÖÓÙØ Ò Ý ÖÙÑÓÙÖ ÓÑ Ø Ñ ÓÖÑ ÐÐÝ Û ÐÐ Ø Ø ÑÓÖ ÐÐÑ Ò¹ ÓÖ Ð ÓÖ Ø Ñ ØÖ ÙØ ÔÖ Ò ÔÐ Ø ÛÓÖ ØÓ Ù Ö ÒØ ÐÐÑ Ò³ Ö Û ÜØÖ Û Ò ØÓ Ð Û Ø ÙØ Ø Ö ÓÒ³Ø Ñ ØØ Ö ÓÖ Ø Ø Ð Ø Ý Ë ÓÖØ Ø¹È Ø ÊÓÙØ Ò ÔÔÖÓ ØÓ ÖÓÙØ Ò ØÓ Ù Ø ÓÖØ Ø ÑÔÐ ØÛ Ò ØÛÓ ÐÓ Ø ÓÒ Ô Ø ÓÔØ Ñ Ð Ò ÓÑ Ò µ Û Ø Ö Ô Ø ØÓ Ö ØÖ ÖÝ Ø Ò ÓÖØ Ø Ñ ØÖ ÓÔ ÓÙÒØ Ô Ý Ð Ø Ò ÓÛ Ó Û ÐÙÐ Ø ÓÖØ Ø¹Ô Ø Ð Ò ¹ Ø Ø ÔÖÓØÓÓÐ Ø Ò ¹Ú ØÓÖ ÔÖÓØÓÓÐ Algebraic Approaches to Protocol Design p.9/53 Ø Ò ¹Î ØÓÖ ÊÓÙØ Ò Ø ÐÐ ÓØ Ö ÓÙØ Ø ÓÖØ Ø Ô Ø ÖÓÙØ Ö Ø Ý Ú ÓÙÒ ÓÙØ ÓÙØ Ø Ø ÓÒÚ Ö Ò ÐÓÓÔ Ø Ø ÓÒ ÓÙÒعØÓ¹ Ò Ò ØÝ Algebraic Approaches to Protocol Design p.10/53
no route infinity no route infinity Ø Ò ¹Î ØÓÖ Ü ÑÔÐ R4 R5 Ethernet 0 Ethernet 0 1 no route infinity no route infinity Algebraic Approaches to Protocol Design p.11/53 no route infinity no route infinity Ø Ò ¹Î ØÓÖ Ü ÑÔÐ R4 R5 Ethernet 0 Ethernet 0 1 2 no route infinity Algebraic Approaches to Protocol Design p.11/53
3 no route infinity Ø Ò ¹Î ØÓÖ Ü ÑÔÐ R4 R5 Ethernet 0 Ethernet 0 1 2 3 Algebraic Approaches to Protocol Design p.11/53 3 4 Ø Ò ¹Î ØÓÖ Ü ÑÔÐ R4 R5 Ethernet 0 Ethernet 0 1 2 3 Algebraic Approaches to Protocol Design p.11/53
Ø Ø³ Ø Ò ¹Ú ØÓÖ ÖÓÙØ Ò ËÓ ÔÖÓØÓÓÐ ÖÓÙØ Ò Ó Ø¹ Ø Ø Ú Ö ¹ Ø Ø ººº Ø Ñ Ö ÓÐÚ ÓÖØ Ø¹Ô Ø ÓÒÐÝ 3 4 Ø Ò ¹Î ØÓÖ Ü ÑÔÐ R4 R5 Ethernet 0 Ethernet 0 1 2 3 Algebraic Approaches to Protocol Design p.11/53 Ø Ò ¹Î ØÓÖ ÊÓÙØ Ò Ù Ð ÖÓÙØ Ò Ø Ð ÙØÓÑ Ø ÐÐÝ ØÓ Ò ØÛÓÖ Ò ÔØ ÑÔÐ Ø ÓÒ Ø Ø Ø ÓÒ ÓÙÒعØÓ¹ Ò Ò ØÝ ººº ÐÓÓÔ Ð Ò Û Ø ÒÓÒ¹Ò Ø Ú ØÓ ÓÒÚ Ö Ù Ö ÒØ Ù Ö ÒØ ØÓ ÓÒ Ø ÒØ Û Ò Ø ÑÓÖ ÓÖ Ø ÁÒØ ÖÒ Ø Algebraic Approaches to Protocol Design p.12/53
Ö Û ÒÓÛ Ï Ö ÁÒØ ÖÒ Ø Ì Ó Ó Ø ½¼¼³ Ó Ø ÓÙ Ò Ó ÐÓ Ø ÓÒ ÐÐ ÓÒ ÝÒ Ñ ÐÝ Ð ÓÒ³Ø Ò³Ø Û Ø Û Û ÒØ ØÓ Ó ÓÖØ Ø¹Ô Ø ÁÒØ ÖÒ Ø Ò ØÛÓÖ Ó Ò ØÛÓÖ Ø ¾¹Ð Ú Ð Ö Ö Ý ÖÙ ÒØÓ ÙØÓÒÓÑÓÙ ËÝ Ø Ñ ÖÓ Ò ÖÙÒ Ô Ö Ø ÐÝ ÌÓ Ý³ ÁÒØ ÖÒ Ø Algebraic Approaches to Protocol Design p.13/53 ÐÝ Ø ÖÓ Ò ÓÙ Ë ÑÔÐ ÖÓÙØ Ò ÔÖÓØÓÓÐ ÓÚ ÓÒ³Ø ÙØ Ø Algebraic Approaches to Protocol Design p.14/53
Ë Ô Ö Ø ÐÝ Ñ Ò Ò ØÛÓÖ Ò Ë Ñ Ý Ù Ö ÒØ ÖÓÙØ Ò Ø ÒÓÐÓ Ý Ï Ø Ò ººº Ñ Ò Ñ ÒØ Ä Æ Ï Æ ÓÖ ÓÑ Ò Ø ÓÒ Å Ý Ò ØÛÓÖ ÒØ ÖÔÖ ÒØ Ö ÀÓ Ø Ò ÁÒØ ÖÒ Ø ÌÓÔÓÐÓ Ý Ì ÁÒØ ÖÒ Ø ¼ ¼¼¼ ÙØÓÒÓÑÓÙ ËÝ Ø Ñ Ë µ Ë Ü ÑÔÐ ÁÒØ ÖÒ Ø Ë ÖÚ ÈÖÓÚ Öµ ÁËÈ ÑÔÙ Ò ØÛÓÖ ÁÒØ Ö ÓÖ Ø Ð Ó Ò Ë Ö ÒÓØ ÜÔÓ Algebraic Approaches to Protocol Design p.15/53 Tier 3 Ø ÁÒØ ÖÒ Ø Tier 2 ISP 1 Backbone ISP 2 servers hosting center campus network WAN links LAN links AS exchange point routers switches Algebraic Approaches to Protocol Design p.16/53
ØÓ Ø Ò Ö ÈÚ ÓÒ Ø Û Ý ÈÖÓØÓÓÐ ÓÖ Ö Ø Ð ÒØ ÖÒ Ø ÓÒ ÐÐÝ ÑÙ Ø ÓÖØ Ø¹Ô Ø ÆÇÌ ÆÙÑ Ö Ó Ë http://www.cidr-report.org/ Algebraic Approaches to Protocol Design p.17/53 Ö ÒØ Ð ÚÓÙÖ Ó ÊÓÙØ Ò ÊÓÙØ Ò Ö ÒØ Ò Ò Ë ÖÓÑ ØÛ Ò Ë Ò Ò Ëµ ÒØÖ ¹ ÓÑ Ò ÁÒØ Ö ÓÖ Ø Û Ý ÊÓÙØ Ò Á ȵ ÔÖÓØÓÓÐ ÐÐ Ü ÑÔÐ ÇËÈ ÊÁÈ Á ÊÈ Á˹ÁË ººº ÓÖØ Ø¹Ô Ø ÓÑÑÓÒ ØÛ Ò Ë µ ÒØ Ö¹ ÓÑ Ò ÜØ Ö ÓÖ Ø Û Ý ÊÓÙØ Ò Èµ ÔÖÓØÓÓÐ ÐÐ Algebraic Approaches to Protocol Design p.18/53
ÊÓÙØ Ò ÈÓÐ Ý ÓÖØ Ø Ô Ø ÒÓØ ÒÓÙ ÓÖ ÒØ Ö¹ ÓÑ Ò ÖÓÙØ Ò Û Ò ÔÓÐ Ý ÖÓÙØ Ò ÔÓÐ Ý Ø Ó Ö ØÖ ÖÝ ÖÙÐ ÓÖ ÖÓÙØ Ò Û Ñ Ý ÔÖ Ö ØÓ ÖÓÙØ Ø Ô Ø Û Ý Û ÔÖ Ö ØÓ ÖÓÙØ ØÓ ÖÓÙØ ØÖ Û Ø X X ÔÖÓÚ ØØ Ö ÉÓË Ñ Ý X³ Ò ØÛÓÖ ÑÓÖ ÙÖ Ñ Ý ÖÓÙØ Ò ÓعÔÓØ ØÓ Ó Ø Ó ÖÖÝ Ò ØÖ ÓÒ ÓÙÖ Ò ØÛÓÖ Ö Ù ÖÓÔÔ Ò Ø ÓÒØÓ ÓÑ ÓÒ Ð ³ ÓÓÒ Ý ÔÓ Ð ÐÐ Ð Ò ÕÙ Ð Ñ Ý Û Ù ÓÖØ Ø¹Ô Ø Algebraic Approaches to Protocol Design p.19/53 http://abilene.internet2.edu/ Academic Services Network (ASNet) Global Backbone. Ê Ð Ü ÑÔÐ Ö Ð Ü ÑÔÐ ÖÓÑ ½ ABILENE AS 11537 ASNet AS 9264 http://www.geant.net/ AS 20965 GEANT http://www.reach.com/network/overview.php 637 REACH TeleGlobe AS 6453 http://www.teleglobe.com/en/our_network/default.asp JANET http://www.lsbu.ac.uk/juga/ AS 786 CUHK 661 The Chinese University of Hong Kong http://www.cuhk.edu.hk/en/ Rule: academic networks prefer to use academic networks academic commercial Algebraic Approaches to Protocol Design p.20/53
http://abilene.internet2.edu/ Academic Services Network (ASNet) Global Backbone. Ê Ð Ü ÑÔÐ Ö Ð Ü ÑÔÐ ÖÓÑ ½ ABILENE AS 11537 ASNet AS 9264 http://www.geant.net/ AS 20965 GEANT http://www.reach.com/network/overview.php 637 REACH TeleGlobe AS 6453 http://www.teleglobe.com/en/our_network/default.asp JANET http://www.lsbu.ac.uk/juga/ AS 786 CUHK 661 The Chinese University of Hong Kong http://www.cuhk.edu.hk/en/ Rule: all else being equal use the shortest path academic commercial Algebraic Approaches to Protocol Design p.20/53 http://abilene.internet2.edu/ Academic Services Network (ASNet) Global Backbone. Ê Ð Ü ÑÔÐ Ö Ð Ü ÑÔÐ ÖÓÑ ½ ABILENE AS 11537 ASNet AS 9264 http://www.geant.net/ AS 20965 GEANT http://www.reach.com/network/overview.php 637 REACH TeleGlobe AS 6453 http://www.teleglobe.com/en/our_network/default.asp JANET http://www.lsbu.ac.uk/juga/ AS 786 CUHK 661 The Chinese University of Hong Kong http://www.cuhk.edu.hk/en/ Rule: academic networks prefer to use academic networks academic commercial Algebraic Approaches to Protocol Design p.20/53
È Ø Û Ý ÈÖÓØÓÓÐ ¾ ÓÖ Ö ÐÐ ÔÓÐ Ý ÖÓÙØ Ò Ò Ö ÐÐÝ Û ÐÐ Ù Ø Ø ÖÑ Ô Ø ¹Ú ØÓÖ ÖÓÙØ Ò Á Ü Ð ÒÖ ÐÝ Ó Ô Ø ÓÒ ÔÓÐ Ý ÒÓØ Ø Ò Ó ØÓ ÙÒ Ö Ø Ò Ö ØÓ ÔÖ Ø Ö È Algebraic Approaches to Protocol Design p.21/53 È ØÓ ÙÔÔÓÖØ ÐÐ Ó Ø ØÙ Ð Ö ÓÑÔÐ Ü ÝÒ Ñ Ý Ø Ñ Ö ØÓ ÓÔØ Ñ Þ Algebraic Approaches to Protocol Design p.22/53
Ñ Ò È Á Ì Ê ½ ½ ËØ Ò Ö ½ È ÓÑÑÙÒ Ø ØØÖ ÙØ Ê ¾ È ÊÓÙØ Ð Ô ÑÔ Ò Ê ¾ È ÊÓÙØ Ê Ø ÓÒ Ê ¼ Ë ÓÒ Ö Ø ÓÒ ÓÖ È Ê È ÛÓÖ ÀÓÛ ÓÑÔÐ Ø ÁØ Ø Ø Ø Ð ¹Ô Ø ÔÖÓ Ð Ñ ÐÐ ÓÖ Ø Ó Ø Ð Ô Ø Û Ñ Ø ÐÓÓ Ò ÇÔØ ÓÒ Ð ÜØ Ò ÓÒ ÁÑÔÐ Ñ ÒØ Ø ÓÒ Ø Ð Ø Ñ Ö ÔÖÓÔÖ Ø ÖÝ ÜØ Ò ÓÒ WEIGHTµ ººº ÊÓÙØ Ò ÔÓÐ Ý ÓÒ ÙÖ Ø ÓÒ Ð Ò Ù Ú Ò ÓÖ Ô ÔÖ Ø Ò Ñ Ò Ñ ÒØ Ó ÒØ Ö¹ ÓÑ Ò ÙÖÖ ÒØ º º Ê ½ ¾ Ê ¾¾ ¼ ºººµ ÖÓÙØ Ò Algebraic Approaches to Protocol Design p.23/53 Ð Ø ÔÖ Ø Ò Ø Ð Ø ÔÖ Ú ÓÙ Ü ÑÔÐ Û ÐÐÓÛ Ø Ó Ó ÔÖ ÖÖ ÖÓÙØ ØÓ Ü ÔØ ÓÑÔÐ Ø ÐÝ Ö ØÖ ÖÝ Û Ò ÛÖ Ø Ð Ø Ó ÔÓ Ð ÖÓÙØ ÓÖ ÙÑ Ø Ò Ø ÓÒ ÔÓ Ð ÖÓÙØ Ò Ö ØÖ Ø Ý ÔÓÐ Ý ÓÖ Ö Ø Ð Ø Ý ÔÓÐ Ý ÔÖ Ö Ò Ø ÓÑ Ò ÓÔØ Ñ Þ Ø ÓÒ ÔÖÓ Ð Ñ ÔÓÐ Algebraic Approaches to Protocol Design p.24/53
1 0 1 3 0 2 0 2 1 0 Ë ÑÔÐ Ü ÑÔÐ ½ 3 0 4 2 0 4 3 0 Ø Ò Ø ÓÒ Ë ¼ ÓÛ ÔØ Ð ÖÓÙØ Ò ÓÖ Ö Ó Ø Ð ÔÖ Ö Ò Ö ÙÐØ ÓÖØ Ø¹Ô Ø ØÖ Algebraic Approaches to Protocol Design p.25/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53 1 3 0 1 0 2 1 0 2 0 Ï Ø 3 4 2 0 3 0 4 2 0 4 3 0 Ò ØÓ ÔÓÐ Ý Ø ÒÓ ½ ² µ ÒÓ ÓÐÙØ ÓÒ Ò Ð Ó ÐÐ Ø ÓÒ Algebraic Approaches to Protocol Design p.26/53
Ó ÐÐ Ø ÓÒ Ò Ó ÖÚ Ò Ø ÁÒØ ÖÒ Ø ÖÓÙØ Ó ÐÐ Ø ÓÒ Ò Ó ÖÚ Å Ø ÖÓÙØ Ò Ø Ð ÖÓÙØ ÐÓÓÔ ÒÓÒ Ø ÒØ ÛÓÖ Ø ÖÓÙØ ÙÖÒ ØÓ ÓÚ ÖÐÓ ÓÑ ÖÓÙØ Ö ÒÓÙ Á Ï Ø Ö ÐÐÝ ÑÓÖ Ø Ð Ð Ø Ö Ô Ø Ö ÖÓÔÔ ÜØÖ ÐÓ ÓÒ ÖÓÙØ Ö Ò Ð Ò ÐÙÖ Ù ÑÓÖ ÖÓÙØ Ò ÙÖÒ Ó ÖÓÙØ Ö ÑÓÖ ÖÓÙØ Ö Ð Ö ÙÐØ Ò Ò Ø Ø ÁÒØ ÖÒ Ø Ö Algebraic Approaches to Protocol Design p.27/53 ÈÖÓÓ Ý ÑÓÚ Ö Ö Ò Algebraic Approaches to Protocol Design p.28/53
È ÚÓÙÖ Ó È ÌÛÓ Ë È ØÛ Ò Ë È Ò ÜØ ÖÒ Ðµ ÖÓÙØ ØÓ ÐÐ ÒØ ÖÒ Ðµ ÔÖÓÔ Ø ÖÓÙØ Ö Ò Å Ó ÐÐ Ø ÓÒ È Ø Ð Ò Algebraic Approaches to Protocol Design p.29/53 Ú Ö ÓÒ ÓÒÐÝ Ò Ò ÓÖÑ Ø ÓÒ ÓÒ ÓÔ ÑÔÐ Û Ò Ð ÕÙ ÓÖ È Ò ÐÐ Ò Ó Clique Algebraic Approaches to Protocol Design p.30/53
ÊÓÙØ ¹Ö ØÓÖ ÓÒÒ Ø Ñ Ó Ò³Ø Ð ÙÐÐÝ Ö Ø Ö Ö Ý ÓÐÙØ ÓÒ Ö Ô Ö ÒØ ÖÓÙØ ¹Ö ØÓÖ ¾¹Ð Ý Ö Ö Ö Ý ÓÑÑÓÒ Ð Ý Ö Ö ÔÓ Ð ÑÙÐØ ÔÐ ÊÓÙØ ¹Ö ØÓÖ ÊÊ Ö Ö Ý Ë ÑÔÐ Ö ÕÙ Ö N(N 1) ÓÒÒ Ø ÓÒ Ð ÒØ ÖÓÙØ Ö Ð Ö Ò ÒÓØ ØÖ ÓÖ Ö ÙÒ ÒÝ ÊÊ Ö Ö Ú ÖÝ ÓÑÑÓÒ Ò Ð Ö Ò ØÛÓÖ Algebraic Approaches to Protocol Design p.31/53 1 Route Reflectors 2 3 4 Clients 5 6 Ø Ò ¹Ú ØÓֹРÔÖÓØÓÓÐ ÔÖÓÔ Ø ÖÓÙØ ÒÓØ ÓÖØ Ø È Ô Ø ÖÓÙØ Ó ÙÔ ÓÚ Ö ÓÛÒ Algebraic Approaches to Protocol Design p.32/53
ÊÓÙØ ¹Ö ØÓÖ ÊÊ Ö Ö Ý Ë ÑÔÐ 1 Route Reflectors 2 3 4 Clients 5 6 Ø Ò ¹Ú ØÓֹРÔÖÓØÓÓÐ ÔÖÓÔ Ø ÖÓÙØ ÒÓØ ÓÖØ Ø È Ô Ø ÖÓÙØ Ó ÙÔ ÓÚ Ö ÓÛÒ Algebraic Approaches to Protocol Design p.32/53 1 1 2 Ü ÑÔÐ Å Ó ÐÐ Ø ÓÒ 2 1 4 3 4 5 30 20 IGP s MEDs AS X AS Y ÈÓÐ Ý ÔÖ Ö Ò ÐÐ Ð Ò ÕÙ Ð ÔÖ Ö ÐÓÛ Ö Å ÓÖ Algebraic Approaches to Protocol Design p.33/53 ÔÖ Ö ÐÓ Ö Á ȵ ÖÓÙØ
1 1 2 Ü ÑÔÐ Å Ó ÐÐ Ø ÓÒ 2 1 4 3 4 5 30 20 IGP s MEDs AS X AS Y ÁÒ Ø ÐÐÝ ÊÊ Ð ÖÒ Ð ÒØ ³ ÖÓÙØ ÊÊ ½ ÓÓ ÖÓÙØ Ú ÐÓÛ Ö Á È Ø Ò µ ÓÑÔ Ö Å ØÛ Ò Ë Ò Ò³Ø Algebraic Approaches to Protocol Design p.33/53 1 1 2 Ü ÑÔÐ Å Ó ÐÐ Ø ÓÒ 2 1 4 3 4 5 30 20 IGP s MEDs AS X AS Y ÊÊ Ø ÐÐ ÓØ Ö ÓÙØ Ø Ö Ó ÊÊ ½ ÜÐÙ ÖÓÙØ Ú Ù Ó Ö Å ½ ÓÓ ÐÓ Ø ÖÓÙØ Ú ÓÖØ Ö Ø Ò Ú µ ÊÊ Algebraic Approaches to Protocol Design p.33/53
1 1 2 Ü ÑÔÐ Å Ó ÐÐ Ø ÓÒ 2 1 4 3 4 5 30 20 IGP s MEDs AS X AS Y ÊÊ Ø ÐÐ ÓØ Ö ÓÙØ Ø Ö Ó ÊÊ ¾ Ð ÖÒ Ó ÐÓ Ö ÖÓÙØ Ú ¾µ Ò³Ø ÓÑÔ Ö Å ØÛ Ò Ë Ò Ò Algebraic Approaches to Protocol Design p.33/53 1 1 2 Ü ÑÔÐ Å Ó ÐÐ Ø ÓÒ 2 1 4 3 4 5 30 20 IGP s MEDs AS X AS Y ÊÊ ¾ Ø ÐÐ ÊÊ ½ ÓÙØ Ø Ò Ó ÊÊ ½ ÒÓ ÐÓÒ Ö Ð ÖÒ Ó Ø ÖÓÙØ Ú ½ Û Ø ØÓ ÓÖØ Ø Ô Ø Ú ÊÊ Algebraic Approaches to Protocol Design p.33/53
ÁÒØÙ Ø ÓÒ Ö ÐÐÝ Ó Ò ÓÒ Û Ø ÓÑ Ò ÓÖÑ Ø ÓÒ ÊÊ Ô ÓÒ Ø Ö Ø ÖÓÙØ ÓÒÐÝ Ó Ò³Ø Ñ Ò ÓÖØ Ø È Ø Ò Ø ÐÓÛ Ö Å ÓÖ ÔÖ Ö Ó ÒÓÒ¹ØÖ Ò Ø Ú Ó Ò ÓÑ Ò Ø ÓÒ Ò Ö ÙÐØ Ò Ó ÐÐ Ø ÓÒ Ò ÓÖÑ Ø ÓÒ 1 1 2 Ü ÑÔÐ Å Ó ÐÐ Ø ÓÒ 2 1 4 3 4 5 30 20 IGP s MEDs AS X AS Y ÊÊ ½ Ø ÐÐ ÊÊ ¾ ÓÙØ Ø Ò Ó ÊÊ ¾ ÓÓ ÖÓÙØ Ú ÐÓÛ Ö Å µ Û Ö Û Ö Û Ø ÖØ Algebraic Approaches to Protocol Design p.33/53 ÔÖ Ö ÐÓ Ö Á È ÖÓÙØ ÒÓØ È Ø Ò µ Ó Ö ÒÓØ ØÖ Ò Ø Ú ÖÓÙØ A > Ò B ; B > C Ó ÒÓØ ÑÔÐÝ A > C Algebraic Approaches to Protocol Design p.34/53
Ó ÐÐ Ø ÓÒ È Ö Ñ ÒÝ ÓØ Ö È Ó ÐÐ Ø ÓÒ Ü ÑÔÐ Ø Ö ÓÒØÖÓÐÐ Ý ÓÒ Ë È ÓÙÐ Ò Ú Ö ÐÐÓÛ Ó ÐÐ Ø ÓÒ Û Ò Û Ü Ø ÓÛ ÓÒ ÙÖ Ø ÓÒ ÓÖ Ø Ð ØÝ Ó ÝÓÙ ÐÐ ÓÛ Ò Ü Ó ÐÐ Ø ÓÒ Ø Ø Ø ÓÑ Ø Ñ Ñ Ý Ò ØÛÓÖ ÓÖ Ø Ð ØÝ Ò Ò ØÛÓÖ Ü Ð ØÝ Ö Ù ØÓ Ø ÙÔ ÒÓØ ÐÛ Ý ÔÓ Ð µ Ö Ð Û Ø ÝÒ Ñ Ò ØÙÖ Ó Ò ØÛÓÖ Ó Ò³Ø ØÓÔ ÐÐ ØÝÔ Ó Ó ÐÐ Ø ÓÒ Ó Ò³Ø Algebraic Approaches to Protocol Design p.35/53 Ü Ø ÔÖÓØÓÓÐ ØØ Ö ÔÔÖÓ ØÓ Ü Ø ÔÖÓØÓÓÐ Ó Ø Ò³Ø Ó ÐÐ Ø Ñ ÐÐ Ò ÔÖ Ö Ðݵ ÒÖ Ñ ÒØ Ð ÔÐÓÝÑ ÒØ ÔÖÓÚ ÐÝ Ö ÑÓÚ Ø ÔÖÓ Ð Ñ Algebraic Approaches to Protocol Design p.36/53
Ü ÓÑ ÖØ Ò Ô Ø Û Ø Ø ÓÒ Ò Ð Ö Ú ØÓÖ ÓÑ Ò ØÛÓ Ú ØÓÖ ØÓ ÓÖÑ ÑÙÐØ ÔÐ Ø ÓÒ Ø Ö Ð Ö ØÖ Ø ÓÒ Ó Ø ÔÖÓ Ð Ñ Algebraic Approaches to Protocol Design p.37/53 Ð Ö Ð Ö ÓÚ Ö Ð Ú ØÓÖ Ô Û Ø Ò Ò Ù Ù ÐÐÝ ÐÐ ÑÙÐØ ÔÐ Ø ÓÒ Ø Ø Ø ÓÔ Ö Ø ÓÒ ÑÙÐØ ÔÐ Ø ÓÒº Ø ÖØ Ò Ü ÓÑ º º ØÖ ÙØ Ú Øݺ Ü ÑÔÐ Å Ò¹ÔÐÙ Ð Ö Ó Ø Ò ÐÓÓ Ø Ñ Ü¹ÔÐÙ µ ÓÚ Ö Ö Ð ÒÙÑ Ö Ò x y = min(x,y) Ø ÓÒ ÑÙÐØ ÔÐ Ø ÓÒ x y = x + y Algebraic Approaches to Protocol Design p.38/53
Ø Ø Ò Ó Ø ÙÖÖ ÒØ ÖÓÙØ ØÓ Ø Ø Ò Ð Ò Å Ò¹ÔÐÙ ÓÖØ Ø¹Ô Ø ÌÛÓ ÓÔ Ö Ø ÓÒ Ú ÖØ Ò ÖÓÙØ ØÓ Ò ÓÙÖ Ë Ð Ø Ò Ø Ø ÖÓÙØ ÓÓ Ø ÓÖØ Ø ÖÓÙØ Ù Ò Ñ Òµ Ò ÔÖÓÚ Ø Ò ÐÐÑ Ò³ ÔÖ Ò ÔÐ µ Ò Ø Ð Ö Ï Ø ØÖ ØÐÝ ÑÓÒÓØÓÒ ÓÖ ÔÓ Ø Ú Ð Ò Ù º º Ø Ò µ Û Ø x (x y) = x Ô Ø Ð Ò Ø ÒÖ Û Ò Û Ú ÖØ Ø Ñ ØÓ º º Ò ÓÙÖ Algebraic Approaches to Protocol Design p.39/53 no route infinity no route infinity Ø Ò Î ØÓÖ Ü ÑÔÐ R4 R5 Ethernet 0 Ethernet 0 1 no route infinity no route infinity Algebraic Approaches to Protocol Design p.40/53
Û Ò Ó Ø ÙØ Ð Ö Ó ÖÓÙØ Ò ØÙÖ Ö Ø Û Ø Ð Ò Ð Ð ÓÖ ÖÓÙØ ÔÖÓÔ Ø ÓÒ ÓÑ Ò Ò Û Û Ý ØÓ ÓÑÔ Ö ÖÓÙØ Ö Ø no route infinity no route infinity Ø Ò Î ØÓÖ Ü ÑÔÐ R4 1 x 1 = 2 R5 Ethernet 0 Ethernet 0 1 2 = 2 + no route infinity Algebraic Approaches to Protocol Design p.40/53 Ð Ö Ö ÔØ ÓÒ Ó È Å Ò¹ÔÐÙ Ò³Ø Ö ÒÓÙ ØÓ Ö È À ØÓ ÑÔÐ ØÐÝ ÓÒØ Ò È ÖÙÐ ÖÓÙØ Ö ÒØÖÓ Ù Ò Ð ÖÓÙØ ÖÓÑ Ë ÒØ Ò ÓÒ Ö Ø ÐÐ ØÓ ÕÙ Ð Ü ÔØ Û Å Ò Á È Ø Ò ÓÖ ØÓ ÑÔÐ Ñ ÒØ Ø ÖÙÐ Ø Ø ÖÓÙØ Ó Ò ÓÚ Ö ÓÛÒ ÙÔ Algebraic Approaches to Protocol Design p.41/53
Ò ÖÝ ÓÔ Ö Ø ÓÒ Ø Ø Ñ Ô Ô Ö Ó Ð Ð Ò ÒØÓ Ò ØÙÖ º º : L Σ Σº Ò ØÙÖ Ð Ö Ö ÔØ ÓÒ Ó È ÖÓÙØ Ò Ð Ö ÓÒ Ø Ó Ò ÓÖ Ö ÜØ Ø (L,Σ, f,w,, ). Û Ö Ð Ð L Ö Ð Ò Ò ØÙÖ Σ Ö ÒÓÛÒ ÖÓÙØ Û Ø W Ö Ù ÓÖ ÓÑÔ Ö Ò ÖÓÙØ ÙÒØ ÓÒ f Ø Ø Ñ Ô Ò ØÙÖ ÒØÓ Û Ø f : Σ W ØÓØ Ð ÓÖ Ö ÓÒ W Ò Algebraic Approaches to Protocol Design p.42/53 Ð Ö Ö ÔØ ÓÒ Ó È edge type head node identifier Ð Ò Ð Ð L = {d,u,o} Z + edge current egress type node node ÖÓÙØ Ò ØÙÖ Σ = {d,u,o,e} Z + Z + Ø Ø ÑÔØÝ» ÒÚ Ð Ø ÖÓÙØ Ò ØÙÖ φ ÆÓØ ÒÐÙ Ò Σº ÑÔÐ ØÐÝ Algebraic Approaches to Protocol Design p.43/53
Ö ÔØ ÓÒ Ó È Ð Ö ÇÔ Ö ØÓÖ Ä Ò Ð Ð Ä Ë Ò ØÙÖ σ Σ (e,k,k) (d,i,k) (o,i,k) (u,i,k) (d, j) (d, j,k) (d, j,k) (d, j,k) (d, j,k) (o, j) (o, j,k) φ φ (o, j,k) (u, j) (u, j,k) φ φ (u, j,k) ÇÔ Ö ØÓÖ ÑÔÐ ØÐÝ ÜÔÖ Ø ÖÙÐ Ó È ÖÓÙØ Ò ÖÓÙØ ÑÙ Ø Ó ÙÔ ÓÚ Ö ÓÛÒ ÓÑ Ò Ø ÓÒ Ö ÙÐØ Ò φ ÒÚ Ð ÒÓ Á j Ø ØÓ ÙÖÖ ÒØ ÒÓ ÓÖ Ò k Ó Ò³Ø Ò Algebraic Approaches to Protocol Design p.44/53 Ð Ø ÓÒ ÊÓÙØ Ð Ø ÓÒ Ò Ý f : Σ W ÊÓÙØ f (σ) = { (dist(i,k),k), σ = (,i,k), (, ), σ = φ. dist(i,k) Ø Á È Ø Ò ÖÓÑ ÒÓ i ØÓ ÒÓ k Û Ö Ø ÓÑÔ Ö ÓÒ ÓÔ Ö ØÓÖ ÑÔÐ Ñ ÒØ Ò ÔÖ Ö ÓÖØ Ö Ø Ò dist(i,k) Ö Ø Ý ÓÓ Ò Ñ ÐÐ Ö k Algebraic Approaches to Protocol Design p.45/53
Ü Ì Ñ Ø Ð Ö ÑÓÒÓØÓÒ Ù Ø ËØÖ Ø ÅÓÒÓØÓÒ ØÝ ÑÓÒÓØÓÒ ØÝ Ò ÙÖ Ø ÔÖ Ö Ò Ó ÖÓÙØ ËØÖ Ø Ö Û Ò Ø ÔÖÓÔ Ø º º ÓÖ ÐÐ ØÖ ØÐÝ σ Σ {φ} Ò λ L f (σ) f (λ σ) Û Ö Ø ÓÔ Ö ØÓÖ Ò Ø ØÖ Ø ÔÖ Ö Ò º Ø Ø Ò È Ø ÔÖ Ö Ò ÓÔ Ö ØÓÖ ÛÓÖ ÆÓØ Ø Á È Ø Ò ÓÒ Ø Ø ÆÇÌ Ø Ñ Ø È Ø Ò Ø Ò Ö Û Ò ÖÓÙØ ÔÖÓÔ Ø È Ð Ö ÒÓØ ÑÓÒÓØÓÒ Algebraic Approaches to Protocol Design p.46/53 Ù Ø ÓÔ ÓÙÒØ ÒØÓ Ø Ò ØÙÖ Σ ÓÑÔ Ö ÓÒ Ö Ø ÓÒ Ø ÓÔ ÓÙÒØ Ô Ö ÓÖÑ Á È Ø Ò µ ÓÖ ÔÖÓÓ Ó ÓÒÚ Ö Ò Ø Ò Ø Ø Ö Ð Ò ÒÓ Ò ØÓ È ÔÖÓØÓÓÐ ÐÐ Ø Ö ÕÙ Ö Ò ÓÖÑ Ø ÓÒ ÐÖ Ý ÔÖ ÒØ ÓÔ ÓÙÒØ ÓÒØ Ò Ò ÐÙ Ø Ö¹Ð Ø ØØÖ ÙØ Ú Ò Ö ÕÙ Ö Ò ØÓ ÖÓÙØ Ö Ó Ó Ò³Ø ÔÖÓ Ö ÑÑ Ð ÓÒ Ø Ú Ò ÔÐÓÝ ÒÖ Ñ ÒØ ÐÐÝ Algebraic Approaches to Protocol Design p.47/53
ÓÒÐÙ ÓÒ ÔÔ Ò ØÓ Ý Ò È Ó ÐÐ Ø ÓÒ ÑÓÖ ØÓ Ø Ø Ö ÑÔÐ Ü Ò ØÓÖØ ÖÓÙØ Ò ÓÒ Ø Àº Ò º ú Ä٠ź È Ò Ìº Ö Ò ÁÒØ ÖÒ Ø ÖÓÙØ Ò ÔÓÐ Ò ½ Ò È Ú Ò Ø Ú Å ÙÖ Ñ ÒØ ÏÓÖ ÓÔ Ó ØÓÒ Å ÖÓÙÒ ¹ØÖ Ô¹Ø Ñ Âº ËØ Û ÖØ ÁÁÁ È ÁÒØ Ö¹ ÓÑ Ò ÊÓÙØ Ò Ò Ø ÁÒØ ÖÒ Øº ÓÒ¹Ï Ð Ý ¾ ½ º Ó ØÓÒ Ìº Ö Ò Ó È ËÓÐÚ Ø Ë ÓÖØ Ø È Ø ÈÖÓ Ð Ñ Ò Ì ÆÓÖØ Ñ Ö Ò ÇÔ Ö ØÓÖ ³ ÖÓÙÔ Æ ÆÇ µ ½ Ë Ò ÂÓ ÍË µ ÖÙ ÖÝ ¾¼¼¼º Æ ØÛÓÖ Ìº Ö Ò ºË Ô Ö Ò ºÏ Ð ÓÒ Ì Ø Ð Ô Ø ÔÖÓ Ð Ñ Ò ÒØ Ö ÓÑ Ò Á» Å ÌÖ Ò Ø ÓÒ ÓÒ Æ ØÛÓÖ Ò ÚÓк ½¼ ÒÓº ¾ ÔÔº ¾ ¾ ¾ ¾¼¼¾º ÖÓÙØ Ò Û Ò Ü Ø Û Ø Ú ÖÝ Ñ ÐÐ Ò ØÓ ÖÓÙØ Ö Ó Ò³Ø Ö Ô Ø Å Û Ò Ü Ø Û ÐÐ Û Ö Ð ØÐÝ ÙØ ÓÔ Ø Ø Ò ÓÙÖ Ù Ó Ø Ð Ö ÑÓÖ Algebraic Approaches to Protocol Design p.48/53 References ÍË µ ¾¼¼ º http://www.nanog.org/mtg-0002/ppt/griffin/º Algebraic Approaches to Protocol Design p.49/53
ÜØÖ ËÐ Algebraic Approaches to Protocol Design p.50/53 Æ Û Ð Ö L = {d,u,o} Z + edge type head node identifier Σ = Z + {d,u,o,e} Z + Z + hop edge current egress count type node node Ø Ø ÑÔØÝ» ÒÚ Ð Ø ÖÓÙØ Ò ØÙÖ φ ÆÓØ ÒÐÙ Ò Σº ÑÔÐ ØÐÝ Algebraic Approaches to Protocol Design p.51/53
Ö ÔØ ÓÒ Ð Ö ÇÔ Ö ØÓÖ Ë Ò ØÙÖ σ Σ (n,e,k,k) (n,d,i,k) (n,o,i,k) (n,u,i,k) (d, j) (n + 1,d, j,k) (n + 1,d, j,k) (n + 1,d, j,k) (n + 1,d, j,k) (o, j) (n + 1,o, j,k) φ φ (n + 1,o, j,k) (u, j) (n + 1,u, j,k) φ φ (n + 1,u, j,k) ÒÐÙ Ñ ÑÔÐ Ø ÖÙÐ Ò È ÓÔ Ö ØÓÖ ÔÖ Ú ÓÙ ÐÝ ÓÔ ÓÙÒØ ÒÖ Ñ ÒØ ÖÓÙØ ÔÖÓÔ Ø Algebraic Approaches to Protocol Design p.52/53 Ð Ø ÓÒ ÊÓÙØ Ð Ø ÓÒ Ò Ý f : Σ W ÊÓÙØ f (σ) = { (n,dist(i,k),k), σ = (n,,i,k), (,, ), σ = φ. ÓÑÔ Ö ÓÒ ÓÔ Ö ØÓÖ Ò Ý < Ò Ð Ü Ð ÓÖ Ö ÔÖ Ö Ñ ÐÐ Ö ÒÙÑ Ö Ó È ÓÔ Ö Ø Û Ø ÓÖØ Ö Ø Ò dist(i,k) Ö Ø Ý ÓÓ Ò Ñ ÐÐ Ö k ÆÓÛ Ð Ö ØÖ ØÐÝ ÑÓÒÓØÓÒ Ý ÓÒ ØÖÙØ ÓÒº Algebraic Approaches to Protocol Design p.53/53