Как назвать разделы/группы для трех объектов C++ при использовании init_seg?

Вот что я обнаружил в ходе тестирования на XP и VS2002/VS2003, Vista и VS2005/VS2008, Windows 7 и VS2008/VS2010, Windows 8 и VS2010/VS2012/VS2013 и Windows 10 с использованием VS2015. #pragma_init(<name>) доступен с версии VC++ 1.0 дней. MS не публикует слишком много информации об этом, но мы знаем, что это задокументировано из VC++1.0 (в архиве KB104248) через VS2017.

1. #pragma init_seg(lib) почти идеально. Однако объектные файлы расположены в алфавитном порядке в VS2008 и более ранних версиях, поэтому порядок инициализации — a-b-c (нежелательный), а не c-b-a (желательный). Это нормально на VS2010 и выше. Что не очевидно, так это то, что порядок выложен точно так же, как c-b-a в файлах vcproj.

2. #pragma init_seg(".CRT$XCB-0NN") вроде сработало. Наши std::strings STRING_A и STRING_B были созданы раньше (и объекты были в правильном порядке), но STRING_B вызвал сбой на suhutdown. Адрес был 0x0000000d, и похоже, что std::string (и его виртуальная таблица) были уничтожены слишком рано.

3. #pragma init_seg(".CRT$XCU-0NN") работал как положено во время запуска и завершения работы. Если я правильно проанализировал то, что прочитал, то U в имени группы XCU указывает на определенные пользователем объекты. Это означает, что наши объекты были созданы где-то между тем, что обеспечивают #pragma init_seg(lib) и #pragma init_seg(user).

Итак, вот как инициализировать объект C, затем объект B, затем объект A из исходных файлов a.cpp, b.cpp и c.cpp.

Исходный файл a.cpp:

class A
{
    ...
};

#pragma warning(disable: 4075)
#pragma init_seg(".CRT$XCU-030")
A a;    // created 3rd
#pragma warning(default: 4075)

Исходный файл b.cpp:

class B
{
    ...
};

#pragma warning(disable: 4075)
#pragma init_seg(".CRT$XCU-020")
const B b;    // created 2nd
#pragma warning(default: 4075)

Исходный файл c.cpp:

#pragma warning(disable: 4075)
#pragma init_seg(".CRT$XCU-010")
const std::string c;    // created 1st
const std::string d;    // created 1st
#pragma warning(default: 4075)

Наш вариант использования состоял в том, чтобы создать три объекта только для чтения и избежать проблем со статической инициализацией C++ . фиаско заказа и локальное хранилище потоков от Microsoft.

Этот метод позволяет избежать отсутствия динамических инициализаторов C++ в C++03. Это также обходит стороной неспособность Microsoft предоставить C++11 Динамическая инициализация и уничтожение с параллелизмом (или, точнее, неспособность Microsoft предоставить базовую языковую функцию в течение 10 лет).

Вот ссылка на проблему с Thread Local Storage (TLS) на MSDN:

В операционных системах Windows до Windows Vista __declspec(thread) имеет некоторые ограничения. Если DLL объявляет какие-либо данные или объект как __declspec(поток), это может вызвать ошибку защиты при динамической загрузке. После того, как DLL загружается с помощью LoadLibrary, это вызывает системный сбой всякий раз, когда код ссылается на данные __declspec(thread). Поскольку пространство глобальной переменной для потока выделяется во время выполнения, размер этого пространства основан на расчете требований приложения и требований всех статически связанных библиотек DLL. Когда вы используете LoadLibrary, вы не можете расширить это пространство, чтобы разрешить локальные переменные потока, объявленные с помощью __declspec( thread ). Используйте API-интерфейсы TLS, такие как TlsAlloc, в своей библиотеке DLL для выделения TLS, если библиотека DLL может быть загружена с помощью LoadLibrary.

Также стоит отметить, что нет ограничения на количество символов в названии раздела или группы. В архиве КБ 104248 используется имя "user_defined_segment_name" из 26 символов.

Вам нужно использовать #pragma section (https://msdn.microsoft.com/en-us/library/50bewfwa.aspx), чтобы указать атрибуты раздела, если вы используете собственное имя раздела.

#pragma section("foo",long,read,write)
#pragma init_seg("foo")

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

// tu1.cpp
#pragma section("foo$1",long,read,write)
#pragma init_seg("foo$1")

// tu2.cpp
#pragma section("foo$2",long,read,write)
#pragma init_seg("foo$2")

Данные из tu1.cpp теперь будут раньше данных из tu2.cpp.

Вы можете упорядочить вещи относительно библиотеки времени выполнения C, добавив суффикс к сегментам CRT.

// tu1.cpp
#pragma section(".CRT$XCU1",long,read,write)
#pragma init_seg("foo$1")

// tu2.cpp
#pragma section(".CRT$XCU2",long,read,write)
#pragma init_seg("foo$2")

TU1 теперь стоит перед TU2 и сгруппирован с другими данными.