Локальные переменные и вывоз мусора

Question

Есть кусок моего кода, который вызывается многократно (2000+ каждую секунду). Чтобы избежать генерации мусора и снизить накладные расходы на производительность, я переместил все локальные переменные на уровне класса, но я не уверен, что этот подход эффективен ...

Мой вопрос ...

• Когда локальные переменные собираются сборщиком мусора?
• Выполняет ли перемещение локальных переменных на уровне класса и повышает производительность мусора?

Answer 1

Рассмотрим очень простой пример (где SomeObject класс, а не структура):

class C 
{ 
    void MethodCalledMillionsOfTimes() 
    { 
    var so = new SomeObject(); 
    // some use of so 
    } 
} 

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

Тогда предположим, что он превращается в:

class C 
{ 
    SomeObject soField; 

    void MethodCalledMillionsOfTimes() 
    { 
    soField = new SomeObject(); 
    // some use of soField 
    } 
} 

Это ничего не меняет! Вы по-прежнему создаете один новый экземпляр для каждого вызова метода. Сборщик мусора должен выполнять ту же работу.

Но что, если вы сделали:

class C 
{ 
    SomeObject soField = new SomeObject(); 

    void MethodCalledMillionsOfTimes() 
    { 
    // some use of soField 
    } 
} 

На этот раз тот же объект повторно используется каждый раз, когда метод вызывается снова на том же экземпляре. Таким образом, меньше объектов нужно собирать мусор (предполагая, что метод фактически вызывается много раз на том же объекте C). Обратите внимание, что это может работать только в том случае, если экземпляр SomeObject может использоваться много раз и не имеет своего состояния «разрушен» при каждом использовании.

Если многие потоки вызывают метод сразу, убедитесь, что объект soField может справиться с этим.

Если вы идете дальше и сказать:

class C 
{ 
    static SomeObject soStaticField = new SomeObject(); 

    void MethodCalledMillionsOfTimes() 
    { 
    // some use of soStaticField 
    } 
} 

то есть только один объект разделяется между всеми экземплярами C.No SomeObject должен быть собран GC.

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

Answer 2

Переменные не собираются с мусором. Объекты собирают мусор ... и они могут быть собраны в любое время после того, как среда выполнения может обнаружить, что они больше не ссылаются на какой-либо живой код. Это может включать в себя объекты, указанные локальные переменные:

public void Foo() 
{ 
    object x = new object(); 
    // The object can't be collected here... 
    Console.WriteLine(x); 
    // But it *can* be collected here 
    Console.WriteLine("This line doesn't depend on x"); 
} 

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

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