Seminarium: Systemy Rozproszone
20 maja 2004, godzina
12:15, sala
Projekt Mono jest inicjatywą Open Source mającą na celu stworzenie niezależnej implementacji platformy .NET na systemy Unix/Linux. Podczas prezentacji scharakteryzuję pokrótce projekt, oraz niedawno wypuszczoną wersję Beta 1 produktu. Następnie omówię otwarte problemy w projekcie ze szczególnym uwzględnieniem udoskonalenia istniejącego w Mono Garbage Collectora o mechanizmy odśmiecania oparte na algorytmie generacyjnym.
Podczas prezentacji opowiem o pomyśle na prace magisterską, w ramach której miałoby powstać narzędzie do efektywnego odpytywania wielu routerów poprzez protokół SNMP i późniejszego prezentowania wyników w postaci wykresów. Opowiem też o Round Robin Database, który został stworzony właśnie w celu przechowywania serii kolejnych wyników, pobieranych w ustalonych odstępach czasu.
Ważnym elementem tworzenia oprogramowania jest zapewnienie jego poprawności. Najczęściej do wykrywania błędów stosuje się testy sprawdzające funkcjonowanie gotowego programu podczas wykonania. Dużo lepiej jest, gdy błędy wykrywane są automatycznie np. podczas kompilacji. Formą tego jest choćby znana wszystkim statyczna kontrola typów.
Istnieją jednak narzędzia bardziej zaawansowane, pozwalające szybko (a więc gdy programista pamięta jeszcze co napisał) znaleźć niektóre typowe błędy.
Narzędziem takim jest Extended Static Checker for Java. Pozwala on statycznie wykryć wiele typowych błędów popełnianych przez proramistów, jak odwołania do NULL, wyjście poza zakres tablicy czy błędne rzutowanie.
Do działania ESC/Java wymaga, aby programista napisał w kodzie specjalne adnotacje, wspomagające wnioskowanie o programie (niezmienniki, warunki wstępne metod itp). Aby proces ten nie był zbyt uciążliwy, ważne jest wsparcie ze strony środowiska IDE. Zintegrowanie ESC/Java z Eclipse będzie właśnie tematem mojej pracy magisterskiej.
Wszystkich serdecznie zapraszamy,
Marcin Przekop
Marcin Semeniuk
Michał Wełnicki