Machines virtuelles : gestion de la mémoire et flux de contrôle

Cette séance de cours traite de l'architecture et du fonctionnement des machines virtuelles, en se concentrant sur la machine CEK en tant qu'extension de la machine CK. L'instructeur explique comment la machine CEK intègre un environnement pour gérer la mémoire et les variables, permettant la modélisation de la mutation dans les langages de programmation. La séance de cours couvre la sémantique des transitions d'état dans la machine CEK, en soulignant l'importance de la sécurité de la mémoire et les défis qui y sont associés. La distinction entre les expressions et les énoncés est mise en évidence, illustrant la façon dont différents paradigmes de programmation gèrent les affectations. L'instructeur présente également l'architecture de von Neumann, détaillant les composants d'une CPU et comment les programmes sont exécutés sous forme de séquences d'instructions. La séance de cours explore en outre le flux de contrôle, y compris les appels de branchement et de fonction, et discute des représentations intermédiaires dans les compilateurs, en comparant les machines à piles et les machines à registres illimités. Les compromis entre la simplicité et la performance dans les machines virtuelles sont examinés, concluant avec les avantages de l'utilisation de machines virtuelles pour la portabilité et la sécurité dans la programmation.