Перейти к содержимому
шпаргалка.
Esc
↑↓навигация↵открыть⌘Jпредпросмотр
На этой странице

Управление памятью

Все темы С# Developer

Что такое куча и стек? Различия, принцип работы

Куча (Heap) - это область динамической памяти, используемая для хранения объектов и данных, которые создаются и освобождаются во время выполнения программы.

Принцип работы:
  • Управление памятью осуществляется автоматически через сборщик мусора (Garbage Collector) или вручную через операторы выделения и освобождения памяти (new, delete в C++, malloc, free в C).
Особенности:

  • Гибкость в выделении памяти, так как размер памяти может изменяться во время выполнения.

  • Более медленный доступ по сравнению со стеком из-за необходимости поиска свободного места и управления фрагментацией.

Стек (Stack) - это область памяти, используемая для хранения локальных переменных, вызовов функций и управления потоком выполнения программы.

Принцип работы:

  • Работает по принципу LIFO (Last In, First Out), где последняя выделенная память освобождается первой.

  • Управление памятью осуществляется автоматически с помощью указателя стека.

Особенности:

  • Быстрый доступ, так как выделение и освобождение памяти происходит по фиксированному порядку.

  • Ограниченный размер, определяемый при запуске программы.

  • Стек содержит кадры вызовов и часть локальных данных. JIT может хранить значения в регистрах, а захваченные локальные переменные — в объектах кучи; тип значения сам по себе не определяет размещение.

Основные различия:

  • Управление памятью:

    • Куча: Динамическое, управляемое сборщиком мусора или вручную.

    • Стек: Автоматическое, управляемое указателем стека.

  • Скорость доступа:

    • Куча: Медленнее из-за динамического выделения и освобождения.

    • Стек: Быстрее из-за статического порядка выделения и освобождения.

  • Размер:

    • Куча: Может быть большой и изменяться во время выполнения.

    • Стек: Обычно ограничен и задан при запуске программы.

  • Использование:

    • Куча: Для объектов и данных, которые живут дольше одного вызова функции или имеют неопределенный размер.

    • Стек: Для локальных переменных и параметров функций.

Как работает сборщик мусора?

Сборщик мусора (Garbage Collector) - это механизм автоматического управления памятью, который освобождает память, занятую объектами, больше не используемыми программой.

Принцип работы:
  1. Обнаружение неиспользуемых объектов:

    • Описание: Определяет объекты, которые больше не доступны из кода программы, и помечает их для удаления.

    • Стратегия .NET: трассирующий GC определяет достижимость от корней и использует поколения. Он не основан на подсчете ссылок.

  2. Освобождение памяти:

    • Описание: Удаляет помеченные объекты и возвращает занимаемую ими память в пул свободной памяти.

    • Процесс: Включает в себя компактацию памяти, чтобы уменьшить фрагментацию.

  3. Сборка поколений:

    • Описание: Объекты разделяются на поколения (молодые, старые) для оптимизации производительности.

    • Поколения: Молодые объекты часто собираются быстрее, старые объекты реже.

  4. Фазы работы:

    • Маркировка (Mark): Поиск и пометка всех объектов, к которым есть доступ.

    • Очистка (Sweep): Удаление объектов, которые не были помечены.

    • Компактация (Compaction): Перемещение оставшихся объектов, чтобы освободить непрерывные блоки памяти.

Преимущества :

  • Автоматизация: Упрощает управление памятью для разработчика.

  • Безопасность: Снижает вероятность утечек памяти и ошибок доступа к памяти.

Недостатки :

  • Производительность: Может временно замедлить работу приложения во время выполнения сборки мусора.

  • Непредсказуемость: Время запуска и продолжительность работы сборщика мусора могут быть непредсказуемыми.

Пример в .NET:

// Создание объектов
var obj1 = new MyClass();
var obj2 = new MyClass();

// Удаление ссылок на объекты
obj1 = null;
obj2 = null;

// В какой-то момент сборщик мусора освободит память, занятую obj1 и obj2

Сборщик мусора управляет памятью, позволяя разработчикам сосредоточиться на логике приложения, а не на ручном управлении памятью.

Зачем нужны using и IDisposable при наличии GC?

Зачем нужно зарезервированное слово using в C#:

  • Управление ресурсами: using используется для автоматического освобождения ресурсов, как управляемых (managed), так и неуправляемых (unmanaged), по завершении их использования.

  • Освобождение ресурсов: Обеспечивает вызов метода Dispose для объектов, реализующих интерфейс IDisposable, что позволяет своевременно освобождать ресурсы.

Пример использования using:

using (var resource = new Resource())
{
    // Использование ресурса
}
// Ресурс автоматически освобождается после блока using

Disposable-паттерн:

Описание:

  • Интерфейс IDisposable : Определяет метод Dispose, который должен быть реализован для освобождения ресурсов.

  • Реализация: Классы, использующие неуправляемые ресурсы, реализуют этот интерфейс для освобождения памяти и других ресурсов.

Пример реализации IDisposable:

public class Resource : IDisposable
{
    private bool disposed = false;

    // Реализация метода Dispose
    public void Dispose()
    {
        Dispose(true);
        GC.SuppressFinalize(this);
    }

    protected virtual void Dispose(bool disposing)
    {
        if (!disposed)
        {
            if (disposing)
            {
                // Освобождение управляемых ресурсов
            }
            // Освобождение неуправляемых ресурсов
            disposed = true;
        }
    }

    ~Resource()
    {
        Dispose(false);
    }
}

Почему так важно:

  • Управляемые ресурсы: .NET автоматически управляет памятью, но управляемые ресурсы могут включать в себя объекты, которые сами управляют неуправляемыми ресурсами (например, файлы, сетевые соединения).

  • Неуправляемые ресурсы: Это ресурсы, которые не контролируются средой выполнения .NET (например, хендлы файлов, соединения с базой данных). Их необходимо освобождать вручную, иначе они могут привести к утечкам памяти и другим проблемам.

Итог:

  • using : Обеспечивает удобный синтаксис для гарантированного освобождения ресурсов.

  • Disposable -паттерн: Позволяет правильно управлять и освобождать как управляемые, так и неуправляемые ресурсы, предотвращая утечки и повышая надежность приложения.

Какие особенности работы с Large Object Heap?

Large Object Heap (LOH) – это специальная область памяти в .NET, предназначенная для хранения крупных объектов размером 85 000 байт и больше.

Размещение объектов: Крупные объекты, такие как большие массивы или строки, размещаются в LOH. Это делается для оптимизации производительности, так как такие объекты требуют значительного объема непрерывной памяти.

LOH собирается вместе с поколением 2. По умолчанию крупные объекты обычно не перемещаются, чтобы избежать дорогого копирования; это может оставлять свободные промежутки.

Сборка мусора: Сборка мусора для LOH происходит реже, чем для SOH, обычно при полной сборке мусора (Generation 2). Это может привести к фрагментации памяти, так как объекты в LOH не перемещаются.

LOH может фрагментироваться. Начиная с .NET Framework 4.5.1 можно запросить его компактацию через GCSettings.LargeObjectHeapCompactionMode; поэтому рассчитывать на неизменный адрес объекта нельзя.

Оптимизация производительности: Для оптимизации производительности рекомендуется минимизировать количество крупных объектов и избегать их частого создания и удаления. Это поможет уменьшить нагрузку на LOH и предотвратить фрагментацию памяти.

Пример включения компактной сборки мусора для LOH: 
GCSettings.LargeObjectHeapCompactionMode = GCLargeObjectHeapCompactionMode.CompactOnce;
GC.Collect(2, GCCollectionMode.Forced);

Эта страница была полезной?