Базовый CS с нуля
Память: тест с выбором
Суть Синтез по юниту в формате выбора: address vs value, байтовая адресация, pointer и dereference, время жизни stack vs heap.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на middle-высоте — в небеШесть вопросов, связывающих весь юнит воедино. Ни один не про заучивание определения — каждый требует совместить две-три идеи (address vs value, byte, pointer, stack vs heap) и рассудить, что машина делает на самом деле.
Цель
Подтверди, что умеешь связать ключевые идеи юнита: у ячейки есть и address, и value, byte — единица адресации, value сам может быть address (pointer), а stack и heap — два региона одной и той же памяти с разным временем жизни.
Викторина
Completed
Ячейка по address 7 хранит value 7. Какое утверждение верно?
Heads-up В ячейке, у которой address случайно равен value, нет ничего особенного. Address и value независимы — одно называет местоположение, другое есть данные. Их равенство здесь — чистое совпадение.
Heads-up Запись меняет только value в ячейке. Address — постоянная позиция ячейки в ряду, и он не меняется при перезаписи содержимого.
Heads-up Ячейка становится pointer только когда программа намеренно использует её value как address. Value, равный собственному address ячейки, не делает её self-pointer; ничто здесь не трактует 7 как address.
Викторина
Completed
Программа хранит 32-битное целое в byte-адресуемой памяти начиная с address 100. Какие address оно занимает и почему?
Heads-up Каждый address называет ровно один byte (8 бит), а не 32 бита. 32-битному значению нужно четыре byte, значит оно занимает четыре последовательных address; CPU грузит их вместе.
Heads-up Память byte-адресуема, а не bit-адресуема. Address называет целый byte, поэтому 32-битному значению нужно 32 / 8 = 4 address, а не 32.
Heads-up Два byte хранят лишь 16 бит. 32-битному целому нужно четыре byte (четыре address). Число byte получается делением битов на 8.
Викторина
Completed
Ячейка по address 5 хранит value 12. Ячейка по address 12 хранит value 99. Программа делает dereference pointer'а по address 5. Сколько чтений памяти произойдёт и каков итоговый результат?
Heads-up Dereference не останавливается на ячейке-pointer. Он использует найденный value (12) как второй address и читает и эту ячейку. Результат — value по address 12, то есть 99.
Heads-up Dereference не зацикливается назад. Он читает pointer (5 даёт 12), затем читает address 12 и получает 99. Результат — 99, а не стартовый address.
Heads-up Value pointer'а 12 — это address, а не данные. Нужно второе чтение по address 12, чтобы добраться до настоящего value 99. Оба чтения обязательны.
Викторина
Completed
Почему indirection через pointer встречается почти в каждой нетривиальной программе, хотя стоит лишнего чтения памяти?
Heads-up Indirection медленнее для одного доступа — она добавляет чтение. Pointer используют ради sharing и гибких обновлений, а не ради скорости одной выборки.
Heads-up Железо может прочитать любую ячейку напрямую по её address. Pointer — программная конвенция поверх, нужная при sharing или indirection, а не требование железа.
Heads-up Pointer добавляет хранение (сам address-pointer плюс данные, на которые он указывает). Выгода — sharing и косвенные обновления, а не меньший объём хранения.
Викторина
Completed
Функция main вызывает a, та вызывает b. Пока b работает, a создаёт большой объект на heap и держит на него pointer. b возвращается, затем возвращается a. Что верно про память после этого?
Heads-up Данные на heap не привязаны ко времени жизни функции. В отличие от stack-фрейма, они живут, пока не освобождены явно или garbage collector'ом — эта независимость от времени жизни вызова и есть смысл heap.
Heads-up Stack работает по LIFO: самый поздно добавленный фрейм (b) снимается первым — при возврате b. Фрейм никогда не переживает свою функцию.
Heads-up Stack и heap — регионы одной и той же физической RAM. Объект выживает из-за правил времени жизни heap, а не потому что лежит на другом железе.
Викторина
Completed
Рекурсивная функция без базового случая бесконечно вызывает себя, и программа падает со stack overflow. Что произошло на самом деле в терминах модели юнита?
Heads-up Stack overflow — про регион stack, а не heap. Каждый вызов кладёт фрейм на stack; без базового случая фреймы копятся, пока не превышен фиксированный размер stack.
Heads-up Падение — это превышение зарезервированного размера региона stack, а не нехватка address у машины. Address-пространство куда больше маленького фиксированного лимита stack.
Heads-up Stack overflow — про число фреймов (глубину вложенности), а не размер отдельного value. Безграничная рекурсия растит счётчик фреймов без предела.
Итог
Сквозная линия юнита — одна модель: память есть ряд byte-адресуемых ячеек; у каждой ячейки фиксированный address и изменяемый value; value сам может быть address — это и делает pointer, а следование за ним (dereference) стоит одного лишнего чтения; и одна и та же физическая память разделена на LIFO-stack, чьи фреймы живут ровно столько, сколько их функция, и heap, чьи объекты могут пережить любой вызов. Каждый вопрос выше сводится к различению address и value и времени жизни от местоположения.