Почему при выходе за пределы массива мы получаем «мусор», а не нули?

Почему при выходе за пределы массива мы получаем «мусор», а не нули?
Прошу объяснить подробно, почему, как и с чем это связано. Домашнюю работу задали на курсах)

0

Сообщение от Undisputed но уже zeroed страницей, если запрос на выделение памяти содержит просьбу обнулить содержимое памяти?

Что это вообще означает "запрос на выделение памяти с просьбой обнулить"?
Такого не бывает.
Инициализация, которая есть в этом примере,

Сообщение от Undisputed C++ 1 int* b = new int[5]{};

применяется к уже готовой, выделенной памяти.

1

Сообщение от DrOffset Что это вообще означает "запрос на выделение памяти с просьбой обнулить"?

У TheCalligrapher в сообщении было следующее:

При постраничном выделении возможно обнуление страницы, если вы его попросите

здесь же мы просим обнулить?

С другой стороны это сообщение выглядит так, что нужно просить обнуление определенной страницы, но в программе же мы не выделяем страницы, это подкапотные детали, куда мы не достаем... поэтому этот вариант я исключил, остался только {}

0

Сообщение от Undisputed здесь же мы просим обнулить?

Нет.
Ну ты чего? Это же вообще несвязанные вещи, находящиеся на разных уровнях абстракции.
Как вообще может в голову прийти смешать инициализацию уровня языка и постраничное выделение памяти в ОС??

В любом случае инициализация технически выполняется после выделения памяти, тем самым образуя в ней валидные объекты. На уровень выделения памяти в менеджере памяти никакие детали создания объектов не просачиваются, не говоря уж про уровень ОС.

1

Сообщение от DrOffset Как вообще может в голову прийти смешать инициализацию уровня языка и постраничное выделение памяти в ОС??

По правде говоря прежде я даже и не думал об этом. Просто увидел пост, что запрос на обнуление сегодня бесплатный, т.к когда нужно зануленная память, то выделяется залуненная страница.

Сообщение от DrOffset В любом случае инициализация технически выполняется после выделения памяти, тем самым образуя в ней валидные объекты.

Вот я был такого же мнения. Но как тогда объяснить это сообщение?

Сообщение от TheCalligrapher При постраничном выделении возможно обнуление страницы, если вы его попросите, которое при этом реализуется зачастую не буквальным обнулением, а выделением страницы из заранее заготовленного пула обнуленных страниц, поддерживаемого ОС.

Мы же не оперируем в языке страницами, а просим N байт, обнуление которых доступно только через {}, насколько я помню

0

Сообщение от Undisputed Но как тогда объяснить это сообщение?

Ну справедливости ради он нигде не писал, что "попросить" нужно обязательно средствами языка.
Кроме того совсем не обязательно, что под словом "мы" понимались обычные программисты.

Так что я бы трактовал это как: "человек, который пишет аллокатор на основе системных функций, может с помощью этих системных функций запросить обнуленные страницы".

Сообщение от Undisputed Мы же не оперируем в языке страницами

Ну чисто логически, если речь зашла про страницы, то предполагать только контекст С++ уже бессмысленно. Этим упоминанием он вывел плоскость разговора далеко за пределы языка.

1

DrOffset,
Если так то теперь все понятно, спасибо. О таком варианте я даже не подумал потому что это был ответ на вопрос ТС, который учитывая какие вопросы он задает, скорее всего имел ввиду языковую плоскость, поэтому я даже не подумал выходить за рамки этой плоскости

0

Сообщение от Undisputed скорее всего имел ввиду языковую плоскость, поэтому я даже не подумал выходить за рамки этой плоскости

В языковой плоскости уже был ответ: UB.

1

Alexey123446, UB и мусор за пределами массива это ортогональные вещи. Они существуют независимо. А необнулённость памяти не зависит от того кто использовал её. Если это была ваша же программа, но вы пытаетесь читать данные другого формата, то оно тоже будет мусором. Это тоже не зависит от тех кто в детстве не выиграл школьный конкурс "Самый умный".

0

Сообщение от Undisputed Интересное утверждение, тогда как речь идет о конкретном языке программирования, который насколько я знаю этого не гарантирует. При этом не уточняется ОС, а в то что все разработчики ОС договорились и как то гарантируют такое поведение не очень то и верится. Можете пожалуйста поделиться, на чем основано такое общее утверждение?

Я не утверждал, что это гарантируется. Где вы такое увидели? Да и откуда вдруг пошла речь о "всех разработчиках ОС"?

Я фокусировался лишь на следующих моментах:

1. Обнуление выделенной памяти не обязано происходить на уровне user space, т.е. делаться через некий memset кодом программы или стандартной библиотеки, а в подходящих случаях может выполняться функциональностью ядра ОС. Это может быть как выделение памяти из пула заранее обнуленных страниц, так и средства обнуления "на лету" менеджера виртуальной памяти.

Это, разумеется, относится не к какому-то несчастному int a[10] = { 0 } или int *p = new int[10]{} в середине выполнения программы, а к большим блокам памяти, для которых можно ожидать перенаправления запроса на память на уровень ОС, или о неких начальных распределениях, для которых компилятор может гарантировать то, что они распределяются в "свежем" блоке памяти и т.д. и т.п. Это относится к ситуациям, когда обнуление не гарантируется языком, но может по возможности предоставляться (или даже гарантироваться) ОС, и к функциональности calloc (или даже некоего "большого" new int[]{}), где обнуление гарантируется языком.

А будет ли выделенная такими способами память действительно обнуленной в тех случаях, когда язык этого не гарантирует - может зависеть и от ситуации, и от настроек ОС, и еще много от чего. В частности, насколько я помню, современные ОС не позволят вам увидеть в выделенных страницах "мусор" от других приложений. То есть весь "мусор" который вы там видите - всегда ваш. Опять же, учитывая, что такие вещи могут очевидным образом выливаться в противоречие между безопасностью и производительностью, они могут регулироваться внутренними настройками ОС.

Например, выделяя память через malloc на старте программы на http://coliru.stacked-crooked.com или на локальных линуксах или виндах, я вижу девственно обнуленные страницы (кроме случаев отладочного CDCDCDCD, разумеется).

2. Современные ОС - это не DOS, к которому кто-то прикрутил доморощенный хак для запуска параллельных приложений. Поэтому когда кто-то начинает разглагольствовать о том, что мы, оказывается, работаем с "ОЗУ", в котором, ясное дело, болтаются данные от соседних приложений - это вызывает, мягко говоря, легкое недоумение.

1

Сообщение от TheCalligrapher Я не утверждал, что это гарантируется. Где вы такое увидели? Да и откуда вдруг пошла речь о "всех разработчиках ОС"?

Согласен, однако вы сказали следующее:

Сообщение от TheCalligrapher в современных десктопных операционных системах с виртуальной памятью, ваша программа не получает никакой материальной памяти сразу после выделения. Поэтому проблемы тяжелых затрат времени на обнуление на таких платформах просто не существует.

ну и возник резонный вопрос, вот у меня сейчас есть современная ОС с виртуальной памятью, и выделение обнуленной памяти должно быть бесплатным (точнее, сам процесс зануления), как впрочем и на любой другой, современной ОС... Это именно то, что вызвало вопросы. Но теперь после ряда уточнений мне стало ясно, о чем именно идет речь.

Благодарю за разъяснение.

0