A Lock-Free Hash Table

Advanced Topics in Programming Languages: A Lock-Free Hash Table este o prezentare susţinută de Dr. Cliff Click la Google Tech Talks în data de 28 martie 2007. Subiectul este implementarea unei structuri de date de tip hash table fără utilizarea unor mecanisme explicite de sincronizare (locks). Soluţia propusă are performanţe mai bune decât toate soluţiile existente, atât cu un singur fir de execuţie, cât şi pe un sistem cu 768 de procesoare şi peste 800 de fire de execuţie.

Pe lângă subiectul în sine, foarte interesantă este maniera de proiectare şi mai ales verificare a soluţiei. Aceasta este bazată pe automate cu un număr de stări finite, demonstrând astfel în mod concret cum pot fi acestea folosite în practică, pe un caz concret. De asemenea, este interesant faptul că autorul are în vedere şi modul în care se comportă hardware maşina pe care rulează codul. Unele noţiuni precum CAS, fencing, stripping nu sunt explicate, autorul presupunând că auditorii au o pregătire în domeniul programării concurente.

Dr. Cliff Click este arhitect şef al maşinii virtuale Java (JVM) produsă de Azul Systems. Până în 2002 a lucrat la Sun Microsystems unde a fost arhitect şi dezvoltator al HotSpot Server Compiler.