¿Cuáles de estos objetos son elegibles para la recolección de basura?

Question

Esta es una pregunta que me formularon recientemente en mi entrevista: ¿Qué objeto (s) 'aleatorio' se recopilarían durante la llamada 'GC.Collect()'?

String a = new Random().Next(0, 1) ==1 ? "Whatever 1" : "Whatever 2"; 

String b = new WeakReference(new Random()).Target.Next(0, 1) == 1 ? 
    "Whatever 1" : "Whatever 2"; 

GC.Collect(); 

Respondí que se trata de una cuestión específica de la implementación y depende en gran medida de la aplicación GC y las correspondientes semántica de referencia débiles. Hasta donde yo sé, la especificación C# no proporciona una descripción exacta de lo que GC.Collect debería hacer y cómo deberían manejarse las referencias débiles.

Sin embargo, mi entrevistador quería escuchar algo más.

Answer 1

Ambos Random() instancias y la WeakReference son elegibles para la recolección:

• La primera Random no se almacenó en un local, y mucho menos un local que se lee más adelante.
• El segundo Random se hizo pasar a un WeakReference, por lo que estaría bien para recoger todos modos, pero el WeakReference en sí no se mantiene en cualquier lugar, por lo que también es elegible para la colección.

Ninguna de las cadenas son (hay solo 2 instancias de cadena aquí, no 4, incluso si se alcanzó cada ruta de código posible): porque son literales en el código C#, se internan una vez que existen.

Answer 2

Es cierto que esto depende de la implementación (y del compilador). Si todo esto está en el mismo método, no puede saber qué objetos están todavía en la pila. Ya que los objetos en la pila todavía se referencian no serían coleccionables.

Lo que el entrevistador quería que hiciera es verificar qué objetos son todavía accesibles a la llamada de GC. Recoja asumiendo una implementación "perfecta" que lo descarte todo lo antes posible.

Answer 3

GC.Collect es como en Java equivalente a System.gc()

Es "recomienda" para comprobar si hay valores nulos para eliminarlos. Realmente no se puede depender de esta característica ya que es muy automática a diferencia de C++.

Espero que ayude!

Answer 4

Sin embargo, mi entrevistador quería escuchar algo más.

espero que querían oír una respuesta como la que Marc Gravell ha publicado aquí, sino que se basa en un modelo excesivamente simplificado de cómo el recolector de basura de trabajo máquinas virtuales que no tiene ninguna semejanza con la realidad.

Por ejemplo, la llamada a GC.Collect podría optimizar la llamada final, en cuyo caso no hay raíces globales, por lo que se recopilan todos los bloques asignados en el montón. O el compilador puede crear una nueva entrada en el marco de la pila para cada temporal (no solo las variables en el código fuente) que mantiene todo accesible y no se recoge nada.O el compilador podría intercambiar el orden de la creación de las cadenas a y b y recoger el objeto Random se refiere la WeakReference antes de que el método se invoca Target causando una excepción null referencia para que el otro Random no es ni siquiera asignados.