Seminarium: Systemy Rozproszone
24 listopada 2022 o 12:15, sala 4070, transmisja online
W ostatnim czasie coraz częściej słyszymy o postępach w dziedzinie informatyki kwantowej. Firmy takie jak Google i IBM prześcigają się w tworzeniu pojemniejszych, szybszych i dokładniejszych komputerów kwantowych. Dają one obietnicę znacznego (nawet wykładniczego, dla niektórych problemów) przyspieszenia względem urządzeń klasycznych, co daje nam wiele nowych możliwości, jednak tym samym stanowią zagrożenie dla, między innymi, współczesnej kryptografii.
Budowa komputerów kwantowych obsługujących dużą liczbę kubitów (kwantowy odpowiednik bitu) wciąż nie jest łatwa. Problemem jest fizyczna realizacja, a raczej jej niedoskonałość i wynikające z niej błędy w obliczeniach np. na poziomie bramek logicznych. Rozwiązaniem może być łączenie komputerów w sieci, ponieważ w tym przypadku zysk z rozpraszania obliczeń może być znacznie większy niż przy obliczeniach klasycznych.
Przedstawię podstawowe zagadnienia informatyki kwantowej oraz jej zastosowania. Opiszę wygląd rozproszonej infrastruktury komputerów kwantowych oraz korzyści, jakie niesie ze sobą korzystanie z tego modelu.
Zapraszam,
Szymon Michniak
Bibliografia:
Postępy w elektronice małej mocy i technologiach pozyskiwania energii, wykorzystujących źródła środowiskowe, utorowały drogę do rozpowszechnienia trwałych systemów, mogących pracować bez zasilania bateryjnego.
Jednakże ze względu na częste przerwy zasilania i cykle ładowania-rozładowania takie środowisko programistyczne prezentuje zupełnie nowe wyzwania, takie jak chociażby problem zapewnienia prawidłowego postępu aplikacji i spójności pamięci. Aby temu sprostać powstało wiele rozwiązań programistycznych, opartych przede wszystkim na zastosowaniu punktów kontrolnych lub paradygmatu zadaniowego. Dotychczas istniejące rozwiązania pozostawiają jednak wiele do życzenia.
Przedstawię Immortal Threads — nowatorski model programowania, który udostępnia pseudo-stosowe wielowątkowe przetwarzanie z wywłaszczaniem w nieregularnym środowisku obliczeniowym sterowanym zdarzeniami.
Zapraszam,
Artur Pragacz
Bibliografia: