Вопрос про выделение памяти в linux, виртуальную память, своп и т.п.

Его прибьют?

Да.

А за что формально?

Ибо нефиг. Или тебе требуется судебное решение?

Никто вообще не гарантирует, что твоё приложение, пусть даже самое правильное на свете, проживёт хоть сколько-нибудь. Может сгореть компьютер, ядро выдать панику, кончиться память, прийти злой админ с kill -KILL $pid, случиться землятрясение и т.п.

Ведь ранее со стороны ОС было дано согласие на использование 80Гб.

Ты как-то странно интерпретируешь суть вызова mmap.

Я вообще не в курсе, что любой new() или malloc() сводится к вызову mmap.

А как правильно интерпретировать то, что malloc() (пускай за ним стоит mmap) вернул мне ненулевой указатель? У меня одна интерпретация - система пошарилась по закромам и нашла мне столько байт, сколько я попросил. Иначе, вернула бы 0. Иначе получается, что я могу попросить 8192 байт, а мне могут дать 4096. Откуда мне знать, что там всего половина? Это наркоманское программирование... Нет?

А как правильно интерпретировать то, что malloc() (пускай за ним стоит mmap) вернул мне ненулевой указатель? У меня одна интерпретация - система пошарилась по закромам и нашла мне столько байт, сколько я попросил.

malloc означает, что тебе выдали память из кучи. Мы про семантику malloc или mmap?

Откуда мне знать, что там всего половина? Это наркоманское программирование... Нет?

А откуда ты можешь знать, что в следующее мгновение пользователь не нажмёт reset? Ниоткуда. Это наркоманское программирование?

Поставим вопрос иначе: а откуда системе знать, сколько у ней будет памяти для тебя? Ты сказал, что тебе надо N килобайт, система запомнила. Если у ней будет в наличии, когда ты будешь этой памятью пользоваться — тебе дадут. А нет — ну значит не повезло.

Его прибьют?

Да.

Я вооще-то где-то читал, что как раз наоборот. оомкиллер других будет убивать, но не процесс, который память просил. Ссылка почитать есть?

что любой new() или malloc() сводится к вызову mmap

malloc вызывает либо sbrk(2), либо mmap(2)

Он будет убивать того, кого счёл наиболее «вкусным». Пруфом тут может быть разве что ссылка на сорцы omm killer-а.

Вот тут вконце поста 3 полезных ссылки: http://make-linux.blogspot.ru/2011/01/overcommit-memory.html

система пошарилась по закромам и нашла мне столько байт

Вот тут вопрос байт чего она нашла, фактически - виртуального адресного пространства, а не реальной памяти.

Бульбец! Ну вот ты бы уже 100500 раз прочел все, что нужно. А так долбишь мозги и себе, и людям!

Представь себе стратегию: ты занимаешь у человека 50т.р., но тебе все сразу не нужны, и ты потихоньку тягаешь, а он в блокнотике записывает, сколько ты уже взял. Вот, скажем, есть у человека 35т.р. А ты уже 30 натягал. Приходишь в очередной раз за 10т.р. И тут возможны ситуации: либо ему кто-то уже дал n-ю сумму, в результате чего у него есть ≥10т.р., либо хрен. Во втором случае он тебе говорит: или позже приходи, или ПНХ. В первом — дает сумму, как ни в чем не бывало.

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

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

Это понятно, что виртуальной. Вопрос в другом - там товарищ утверждает, что кроме вариантов «выделено» и «не выделено» существует третий «выделено, но меньше чем запрошено».

Блин, ну почитай же ты, наконец, что тебе пичкают!

Если overcommit разрешает "перебор" (что правильно на серверах), то здесь нет ситуации "выделено меньше, чем ты просил"! Тебе просто дают указатель на первую свободную страницу памяти. По мере необходимости, подгружаются новые страницы и т.п.

Аналогия: попробуй-ка на винте с 1ГБ свободного места создай терабайтный файл. Он создастся. Но по мере записи туда данных, если ты порнушку не поудаляешь, наступит момент, когда место внезапно кончится. Ты тоже будешь спрашивать: "ай-яй-яй, как же так? У меня ведь на 140-гигабайтном винте был уже создан терабайтный файлик, а вдруг место кончилось…"

Про «подгружаются новые страницы» - понятно. Обычный механизм функционирования виртуальной памяти. Ясно, что не всё, что мне выделено, я смогу использовать, особенно при overcommit_memory.

Вопрос в другом. Где-то выше товарищ написал, что если я запросил N байт, то ВЫДЕЛИТЬ мне могут меньше. Вот от этого я окуел. То, что использовать я всю выделенную память не смогу - это ещё ладно, входит в понятие виртуальной памяти, но что на запрос N байт мне могут ВЫДЕЛИТЬ (виртуальной памяти) меньше, чем я просил - это сурово. Либо я не так понял человека.

Это был ты! Я нашёл этот коммент: C++. Предсказуемость поведения менеджера памяти. (комментарий)

Я понял твой коммент так, что malloc() может выделить виртуальной памяти меньше, чем запрошено. А ты видимо имел ввиду, что физической будет меньше, чем запрошено - это как раз ясно, механизм выделения памяти ведь виртуальный...

Ну вот, ты меня немного недопонял. Тебе никогда не выделяют сразу столько, сколько ты просил. Память выделяется по мере ее заполнения. А вот ежели она "внезапно" кончилась, а тебе еще недодали, то получится забавная ситуация.

Я всё-таки настаиваю на другой формулировке. Выделяется - это слово, которым мы описываем работу new(), malloc(). Эти функции работают с виртуальной памятью. А виртуальная выделяется либо вся сразу (запрошенная), либо не выделяется вообще.

А уж как эта виртуальная память будет обеспечена физической и будет ли вообще - это другой контекст разговора. Конексты путаются.

А, ну тогда считай, что выделилось столько, сколько требовали, но обеспеченно было лишь столько, сколько есть.