pavelkolodin
Моя ситуация такова. Пытаюсь изучать С++, треды, линукс-среду. С++ позволяет думать и объектами и ассемблером в одном исходнике. При желании можно забыть слова "указатель" и "байт". Но ведь понятно, что все твои красивые объекты с длинной родословной будут цинично скомпилированы в процессорный корм и структуры из вполне восьмибитовых байт.

Желание скрестить ежа с ужем в результате дает 3 метра колючей проволоки...
pavelkolodin
Короче, хотелось бы поизучать тему "С++ изнутри". Как реализована STL, операторы new, delete и пр. Это чтобы в моменты сомнений решать - смогу ли я сделать лучше, чем сделано в std::vector, например. Или реализовывать ли свой диспетчер памяти или написать new?

Интересное желание, однако я думаю слабо выполнимое(судя о тому что написано ниже). Можно конечно отдельно взятый контейнер сделать немножко лучше, однако при этом пострадает остальная часть концепции. Ведь STL это не только контейнеры, но и итераторы, алгоритмы, функторы. Причем все это довольно тесно связано.
pavelkolodin
К примеру, у меня была задача накопления текстовых строк. Один тред накапливал, второй в них рылся. Я применил vector. В один прекрасный момент возникала ситуация, когда роющийся тред находил какую-то строку, запоминал на неё указатель и топал дальше с намерением её прочитать ещё раз. В это время его выполнение прерывалось другим тредом, который выполнял в очередной раз добавление в вектор новой строки. Но в этот раз вектор решал перераспределить себе память и перемещал всего себя в другое место в памяти. Когда управление передавалось на роющийся тред, то оказывалось, что в руках у него не указатель на строку, а указатель возможно уже в чужую память. Дальше этот тред "читал строку" и ОС зарубала процесс топором. Получается, у меня образовалась критическая секция, которую нужно обложить мьютексами.

А эта проблема никоим образом не связана с потоками. Любая операция вставки в вектор и дэк может инвалидировать запомненный ранее итератор (читай указатель)... , что написано в доках. И никакой мъютекс тут не поможет
pavelkolodin
А ведь я мог заюзать связанный список и для каждой новой строки вызывать new. Строка добавлялась бы всегда за одинаковое время и никакой критической секции бы не было. Ничего бы не перемещалось, а расло бы как дерево. Вот видите, нужно помнить, что высокоабстрактный вектор таки хранится в физической памяти. Ни в каком Java или Python я бы так не накололся.
В общем, посоветуйте, куда податься, что читать о том, из каких шурупов состоят высокие материи языка С++.
Спасибо. Icq 297566544, Peorg@Jabber.org
Не факт что в Жабе получив iterator и выполнив множество операций вставки в контейнер вы не получили бы исключение. На самом деле в C++ с мей точки зрения наиболее четко определены свойства контейнеров и итераторов по ним. Например для вектора гарантируется постоянное время доступа к элементу по индексу.
Что же касается книжек
1 Бъерн Страуструп Язык программирования С++ Специальное излание
2 Николай Джосьтис С++ стандартная библиотека Tutorial & Reference
3 Уже упомянутый Скотт Мейерс Эффективный STL