Séance de cours

La récupération de la mémoire : techniques et algorithmes

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours de l'instructeur couvre le concept de récupération de la mémoire, en soulignant l'importance de la gestion des ressources de mémoire finies. Il traite des techniques traditionnelles telles que la collecte automatique des déchets et la gestion explicite de la mémoire, des langages contrastés tels que Java et C / C ++. La séance de cours explore les défis de la récupération de mémoire dans des processus simultanés, présentant le comptage de référence sans verrou et les pointeurs de danger comme des solutions. Il explique les principes derrière Hazard Pointers, Reachability, et le processus de récupération de la mémoire. La séance de cours présente également Epoch-based Reclamation (EBR) comme une méthode pour suivre les progrès entre les processus pour une gestion efficace de la mémoire. Enfin, il explore l'approche hybride de QSense, combinant les forces de Cadence et EBR pour des performances et une fiabilité optimales.

Source officielle

Concepts associés (32)

Gestion de la mémoire

La gestion de la mémoire est une forme de gestion des ressources appliquée à la mémoire de l'ordinateur. L'exigence essentielle de la gestion de la mémoire est de fournir des moyens d'allouer dynamiquement des portions de mémoire aux programmes à leur demande, et de les libérer pour réutilisation lorsqu'elles ne sont plus nécessaires. Ceci est essentiel pour tout système informatique avancé où plus d'un processus peuvent être en cours à tout moment. Catégorie:Architecture informatique Catégorie:Pages avec

Manual memory management

In computer science, manual memory management refers to the usage of manual instructions by the programmer to identify and deallocate unused objects, or garbage. Up until the mid-1990s, the majority of programming languages used in industry supported manual memory management, though garbage collection has existed since 1959, when it was introduced with Lisp. Today, however, languages with garbage collection such as Java are increasingly popular and the languages Objective-C and Swift provide similar functionality through Automatic Reference Counting.

Gestion de mémoire par régions

En informatique, la gestion de mémoire par région est un type de gestion de mémoire avec lequel chaque objet alloué est assigné à une région. Une région, alias une zone, une arène, ou un contexte mémoire, est une collection d’objets alloués qui peut être efficacement désallouée en bloc. Comme l’allocation par pile, les régions facilitent l’allocation et la désallocation de la mémoire à faible coût ; mais elles sont plus flexibles, permettant aux objets de vivre plus longtemps que la pile d’activation dans laquelle ils ont été alloués.

Fuite de mémoire

En informatique, une fuite de mémoire est un bogue expliqué par une occupation croissante et non contrôlée ou non désirée de la taille des données résidentes en mémoire, ce qui entraine la saturation de la mémoire de l’ordinateur. Dans un programme qui stocke régulièrement de nouvelles données en mémoire, la cause la plus classique d'un tel bogue est l'absence de désallocation (de libération) de l'espace utilisé lorsque ces objets ne sont plus référencés.

Memory safety

Memory safety is the state of being protected from various software bugs and security vulnerabilities when dealing with memory access, such as buffer overflows and dangling pointers. For example, Java is said to be memory-safe because its runtime error detection checks array bounds and pointer dereferences. In contrast, C and C++ allow arbitrary pointer arithmetic with pointers implemented as direct memory addresses with no provision for bounds checking, and thus are potentially memory-unsafe.

Afficher plus

Séances de cours associées (64)

Attribution de mémoire dynamique en C++

Explore l'allocation dynamique de la mémoire en C, couvrant les fonctions malloc, calloc et realloc, en mettant l'accent sur la gestion appropriée de la mémoire et les tableaux dynamiques.

Gestion de la mémoire: allocation et deallocation

Couvre la gestion de la mémoire, en se concentrant sur l'allocation et la désallocation des blocs de mémoire, y compris les techniques de collecte des ordures et les problèmes de fragmentation.

Attribution de mémoire dynamique en C++

Couvre le concept de pointeurs en C++, l'allocation dynamique de la mémoire et les meilleures pratiques.

Introduction au cours: Compilation de langues de haut niveau

Couvre le cours sur la compilation de langages de haut niveau et l'optimisation du code.

La collecte des ordures dans les langues orientées objet

Explore les techniques de collecte des ordures dans des langages orientés objet, en se concentrant principalement sur la copie et la génération GC, l'organisation des tas, les politiques de promotion et les défis de répartition des méthodes.

Afficher plus

Concepts associés (32)

Gestion de la mémoire

Manual memory management

Gestion de mémoire par régions

Fuite de mémoire

Memory safety

Afficher plus