Explore la mémoire transactionnelle et la simplification matérielle pour le contrôle de la concurrence dans les logiciels, mettant l'accent sur les avantages de la spéculation matérielle et de la concurrence déclarative.
Explore Multiversion Concurrency Control et Snapshot Isolation dans les systèmes de base de données, assurant des instantanés cohérents et réduisant les conflits.
Explore les fondements théoriques de RDMA et de NVRAM dans les technologies multiprocesseurs, couvrant la discorde, le contrôle de la convergence et la tolérance aux défauts.
Fournit un aperçu des systèmes HTAP, couvrant le contrôle de la concordance, la mise en page des données, les compromis de consolidation et l'efficacité des instantanés en fonction de la charge de travail.
Couvre les implémentations sans attente d'objets atomiques, en se concentrant sur les compteurs et les instantanés, en discutant des idées clés pour renforcer l'atomicité et la liberté d'attente.
Couvre le système logiciel Canalflow pour l'analyse numérique du flux de fluide incompressible dans les géométries des canaux, y compris les méthodes spectrales et les solutions invariantes.
Explore l'analyse micro-architecturale de DBMS moderne, en mettant l'accent sur l'optimisation des performances et l'atténuation du décrochage des caches de données.
Introduit des systèmes de base de données, couvrant l'écosystème DBMS, le modèle relationnel, l'aperçu des cours, les prérequis, le plan de cours, le système de classement, les projets et les méthodes d'enseignement.
