Mémoire transactionnelle: Simplification matérielle

Cette séance de cours s'inscrit dans le concept de la mémoire transactionnelle, se concentrant sur les changements matériels pour simplifier le contrôle de la concurrence. Il couvre des sujets tels que le verrouillage à grain fin, les changements matériels pour le suivi spéculatif de l'adresse, l'élision du verrouillage matériel, et les avantages de l'utilisation de la mémoire transactionnelle. L'instructeur explique les défis des mécanismes de verrouillage traditionnels, le concept de verrouillage manuel et la mise en place de la mémoire transactionnelle matérielle. La séance de cours traite également de la nature Composable des transactions, des mécanismes de récupération et de la mise en œuvre de la mémoire transactionnelle dans les processeurs Intel. Dans l'ensemble, la séance de cours met l'accent sur la façon dont la spéculation matérielle peut simplifier les problèmes de logiciels et permettre le contrôle de la concordance déclarative.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Séances de cours associées (64)

Concepts associés (43)

CS-307: Introduction to multiprocessor architecture

Multiprocessors are a core component in all types of computing infrastructure, from phones to datacenters. This course will build on the prerequisites of processor design and concurrency to introduce

Programmation concurrente

La programmation concurrente est un paradigme de programmation tenant compte, dans un programme, de l'existence de plusieurs piles sémantiques qui peuvent être appelées threads, processus ou tâches. Elles sont matérialisées en machine par une pile d'exécution et un ensemble de données privées. La concurrence est indispensable lorsque l'on souhaite écrire des programmes interagissant avec le monde réel (qui est concurrent) ou tirant parti de multiples unités centrales (couplées, comme dans un système multiprocesseurs, ou distribuées, éventuellement en grille ou en grappe).

Multiversion Concurrency Control

Multiversion concurrency control (abrégé en MCC ou MVCC) est une méthode informatique de contrôle des accès concurrents fréquemment utilisée dans les systèmes de gestion de base de données et les langages de programmation concernant la gestion des caches en mémoire. Le principe de MVCC repose sur un verrouillage dit optimiste contrairement au verrouillage pessimiste qui consiste à bloquer préalablement les objets à des garanties de bonne fin. L'inconvénient logique est qu'une mise à jour peut être annulée du fait d'un "blocage" en fin de traitement.

Optimistic concurrency control

Optimistic concurrency control (OCC), also known as optimistic locking, is a concurrency control method applied to transactional systems such as relational database management systems and software transactional memory. OCC assumes that multiple transactions can frequently complete without interfering with each other. While running, transactions use data resources without acquiring locks on those resources. Before committing, each transaction verifies that no other transaction has modified the data it has read.

Intel Core

Intel Core is a line of streamlined midrange consumer, workstation and enthusiast computer central processing units (CPUs) marketed by Intel Corporation. These processors displaced the existing mid- to high-end Pentium processors at the time of their introduction, moving the Pentium to the entry level. Identical or more capable versions of Core processors are also sold as Xeon processors for the server and workstation markets. The lineup of Core processors includes the Intel Core i3, Intel Core i5, Intel Core i7, and Intel Core i9, along with the X-series of Intel Core CPUs.

Distributed concurrency control

Distributed concurrency control is the concurrency control of a system distributed over a computer network (Bernstein et al. 1987, Weikum and Vossen 2001). In database systems and transaction processing (transaction management) distributed concurrency control refers primarily to the concurrency control of a distributed database. It also refers to the concurrency control in a multidatabase (and other multi-transactional object) environment (e.g., federated database, grid computing, and cloud computing environments.

Mémoire transactionnelle: Simplification matérielle CS-307: Introduction to multiprocessor architecture

Explore la mémoire transactionnelle matérielle pour simplifier le contrôle simultané et améliorer les performances dans les tables de hachage.

Mémoire Transactionnelle: Hardware Concurrency Control CS-307: Introduction to multiprocessor architecture

Explore la mémoire transactionnelle pour le contrôle de la concurrence matérielle, en discutant des mécanismes de verrouillage, des compromis de performance et des modifications matérielles.

Mécanismes de synchronisation évolutive pour les systèmes d'exploitation de nombreux cœurs

Explore les mécanismes de synchronisation évolutive pour de nombreux systèmes d'exploitation de base, en mettant l'accent sur les défis de la gestion de la croissance des données et des régressions dans le système d'exploitation.

Mémoire transactionnelle : verrouillage en deux phases et lectures invisibles CS-453: Concurrent computing

Explore les perspectives historiques et les mécanismes de la mémoire transactionnelle, en soulignant l'importance et les défis de sa mise en œuvre dans les systèmes informatiques modernes.

Synchronisation avancée et mémoire transactionnelle CS-471: Advanced multiprocessor architecture

Couvre les techniques de synchronisation avancées, les opérations atomiques, les implémentations de verrous et la prise en charge matérielle des verrous de file d'attente.