Konkurentné programovanie - 4. seminár z 26.9.2024

Zhrnutie prednášky

Seminár z Konkurentného programovania nadväzuje na tému vláknovej bezpečnosti objektov opakovaním pojmov stav objektu, obmedzenia medzi premennými a dočasná nekonzistentnosť pri zmene stavu. Vysvetľujú sa stratégie zabezpečenia - vlastníctvo stavu, nemennosť, delegovanie na vláknovo bezpečné premenné a spoločné zamykanie tým istým zámkom, vrátane prípadu vzájomne závislých premenných (napríklad interval s hranicami). Druhá časť sa venuje vláknovo bezpečným kolekciám v Jave - historickým Vector a Hashtable a obaleniu bežných kolekcií cez Collections.synchronizedList/Map/Set. Rozoberajú sa problémy so zloženými operáciami a iteráciou cez kolekciu, ktoré treba dodatočne synchronizovať tým istým zámkom ako kolekcia samotná. Na záver sa naznačuje prechod ku konkurentným kolekciám z java.util.concurrent.

• Vláknová bezpečnosť objektov a tried
• Stav objektu a obmedzenia medzi premennými
• Dočasná nekonzistentnosť pri zmene stavu
• Vlastníctvo stavu a immutabilita
• Synchronizované kolekcie Vector a Hashtable
• Collections.synchronizedList/Map/Set
• Zložené operácie a iterácia nad kolekciou
• Úvod ku konkurentným kolekciám

Zhrnutie pripravené s pomocou AI z prepisu videa.