SY (systemy sieciowe i komputerowe)AZ (algorytmika i złożoność obliczeniowa)
Opis przedmiotu:
Seminarium dotyczy algorytmicznych podstaw działania protokołow sieciowych.
Podstawowe przedmioty „sieciowe" skupiają się na praktycznych aspektach
korzystania z takich protokołow. Omawiając np. protokoły routingu dynamicznego
opisuje się szczegołowo sposoby ich konfigurowania, ale znacznie skromniej
omawia się algorytmy znajdujące się wewnątrz tych protokołow, a analizę tych
algorytmow pomija się w zupełności. Wspomina się np. o tym, że protokoł RIP
implementuje rozproszoną asynchroniczną wersję algorytmu Bellmana-Forda
(znanego w swojej klasycznej, sekwencyjnej wersji np. z wykładu „Algorytmow i
struktur danych"), ale opis problemow związanych z jego zbieżnością ogranicza
się do podania możliwych scenariuszy zapętlenia. Tymczasem można udowodnić
wiele twierdzeń na temat zachowania się tego algorytmu. Matematyczna analiza
algorytmu Bellmana-Forda pozwala zrozumieć ograniczenia protokołu RIP i
wyjaśnia np. czemu EIGRP, mimo iż też jest protokołem wektora odległości, nie
ma problemow ze zbieżnością znanych z protokołu RIP.
Podobnie jak nie trzeba wiedzieć, co to jest heterodyna, by słuchać ulubionej
aducji radiowej, tak i nie trzeba też wiedzieć, jak działa algorytm Bellmana-
Forda, by korzystać z Internetu. (Świat dąży do maksymalizowania
niekompetencji -- kiedyś trzeba było rozumieć, jak działa heterodyna, by np.
naprawić radio. Teraz taka wiedza nawet serwisantowi nie jest potrzebna.
Analogicznie nawet administrator sieci z certyfikatem Cisco CCIE nie musi znać
matematyki, ktora jest podstawą protokołow sieciowych. Aby jednak _zrozumieć_
-- z bardziej filozoficznych niż prakseologicznych pobudek -- jak działają
sieci komputerowe, taka wiedza jest po prostu niezbędna.)
Kilka lat temu usiłowałem prowadzić przedmiot pod takim samym tytułem. Wykład
nie jest jednak dobrą formą przedstawiania treści opisanych głownie w
oryginalnych pracach naukowych. Dlatego obecnie proponuję seminarium w ramach
ktorego przeczytalibyśmy kilkanaście artykułow dotyczących rozproszonych
algorytmow routingu dynamicznego (głownie w sieciach IP), rozproszonych
algorytmow wyznaczania drzew rozpinających (głownie w Ethernecie), algorytmow
i struktur danych używanych do efektywnej implementacji tablic routingu (np.
algorytm Lulea) itp.
**Uwaga:** Ani Akademia Blackbery ani inne wymienione przedmioty nie są
wymagane do tego przedmiotu, ale nie mogę ich skasować.
