Общее принцип работы процессов заключается в том, что между ними может разделяться код, но не данные.*
Статические переменные (а в C# это могут быть лишь статические поля класса) в C# создаются в момент загрузки содержащего их класса. Это не только оптимизация использования памяти (не используемые в программе классы не занимают лишнюю память и время инициализации), а и необходимость. Дело в том, что в сборке может быть потенциально бесконечное количество классов.
Пример: если у нас есть обобщённый класс
class C<T> where T: new()
{
static T t = new T();
}
то у нас возможны классы C<object>
, C<C<object>>
, C<C<C<object>>>
и т. д., так что разместить статические поля в бинарном файле программы просто невозможно.
Для других языков, в которых количество типов потенциально ограничено и определено во время компиляции, и статические POD-типы могут быть помещены в бинарник. Тем не менее, при загрузке процесс получает копию этих данных (например, посредством использования COW-сегмента памяти).
*Для Microsoft .NET даже это неверно, т. к. большая часть кода производится JIT-компилятором, и размещается в динамической памяти, т. е. для каждого процесса код может отличаться.