• ✨ Оглавление
  • 1️⃣ Основная модель памяти в .NET
  • 2️⃣ Stack (Стек)
  • 3️⃣ Heap (Куча)
  • 4️⃣ Garbage Collector (GC)
  • 5️⃣ Стратегия сборки мусора
  • 6️⃣ Boxed value types
  • 7️⃣ String и память
  • 8️⃣ Подводные моменты и вопросы на собесе
  • 9️⃣ Пример иллюстрации
  • 🔟 Таблица для собеса

⬆ Вернуться к главной

В .NET память делится на две основные области:

• Хранит:

  • Локальные переменные value types (int, struct).
  • Ссылки на объекты reference type.

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

  • LIFO (Last In First Out) — последний вошёл, первый вышел.
  • Автоматическое освобождение при выходе из метода.
  • Высокая производительность.

• Пример:

  void Foo()
  {
      int a = 10; // на стеке
      object obj = new object(); // ссылка на стек, объект в куче
  } // стек очищается при выходе из Foo()

• Хранит:

  • Объекты reference type (class, string, массивы).
  • Value type, если они упакованы (boxed).

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

  • GC освобождает память.
  • Медленнее, чем стек.
  • Не LIFO, объекты живут, пока на них есть ссылки.

• Пример:

  class Person { public string Name; }
  var p = new Person(); // объект в куче, p на стеке содержит ссылку

• Что делает:

  • Автоматически освобождает память, когда объекты больше не используются.
  • Оптимизирует размещение объектов.

• Как работает:

  • Generation 0 — молодые объекты, быстро собираются.
  • Generation 1 — промежуточные объекты.
  • Generation 2 — долгоживущие объекты.
  • Large Object Heap (LOH) — объекты >85 000 байт, собираются реже.

• Триггеры сборки:

  • Недостаток памяти.
  • Задания сборки через GC.Collect() (редко и не рекомендуется).

1. Mark (Пометить)

   • GC отмечает все живые объекты (которые доступны через ссылки).

2. Sweep (Очистить)

   • Освобождает память для неиспользуемых объектов.

3. Compact (Компактация)

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

4. Generation promotion

   • Если объект пережил несколько сборок → повышается в поколении (0 → 1 → 2).

• Value type, помещённый в объект:

  • Появляется на куче.
  • GC управляет его жизненным циклом.

• Пример:

  int x = 10;
  object obj = x; // boxing
  int y = (int)obj; // unboxing

• Immutable reference type.
• Хранится в куче.
• String interning — одинаковые литералы могут ссылаться на один объект.
• Любое изменение создаёт новый объект в куче.

1. Stack vs Heap

   • Почему value type на стеке? Почему reference type на куче?
   • Как стек очищается автоматически, а heap — через GC?

2. Boxing / Unboxing

   • Как влияет на производительность и память?
   • Где хранится упакованный value type?

3. Generations

   • Почему молодые объекты собираются чаще?
   • Что такое LOH?

4. GC.Collect()

   • Можно ли принудительно вызвать GC? Когда это оправдано?

5. Memory leaks

   • Как можно допустить утечку памяти в managed среде? (События, статические ссылки)

6. Allocation speed

   • Stack быстрее heap?
   • Почему?

7. Reference counting vs tracing GC

   • .NET использует tracing GC (не подсчет ссылок), вопросы о циклах ссылок.

8. Pinned objects

   • Для interop с unmanaged кодом (fixed, GCHandle).

class Person { public string Name; }

void Foo()
{
    int a = 5;          // stack
    Person p = new();   // p ссылка на stack, объект в heap
    object o = a;       // boxing -> heap
}

Foo(); // a и p исчезают со стека, объект Person ждёт GC

⬆ Вернуться к главной

✨Dvurechensky✨