Objects containing FINALIZE method?

Question

Guess the title must have provided you with the sufficient idea of what I want to know, but I must elaborate it a little here, so that you can get the exact idea.

I know the following about the Finalize method:

1. We need to create a destructor in C# using ~Classname inside the class. According to C#, Finalize & destructors are synonyms (I read it on MSDN, I don't know if the last part of the statement is even correct or not).

2. It is used to "gracefully release the unmanaged resources".

3. It can be called by the user (developer) accordingly, or when the application is running short on memory (managed heap), or at the end of the application.

4. Any object having the Finalize method will be added to the finalization queue during runtime.

The following image is taken from MSDN Magazine Article. It shows the Roots, Managed Heap (MH), Finalization Queue (FQ) & Freachable Queue (F-RQ). All this process occurs during runtime.

---

My questions are as follows:

1. How does the references to, objects present in MH are added to FQ? (Means, are they automatically added to FQ because they have Finalize or GC adds them by keeping their track.)

2. Does GC runs through FQ as well to clear the references? (For the object references that uses GC.SuppressFinalization.)

3. If MH has enough memory for the incoming objects for sometime, but at the same time the special thread in F-RQ is done with the Finalize method of the reference(s) present in the F-RQ than, at that instant will GC run specially for F-RQ to reclaim the memory or will it run for both MH & F-RQ or will it wait until MH falls short on memory?

EDIT:

For question 3: Consider the following image with all the references in F-RQ not reachable.

If there are any mistake(s) in the above stated questions or knowledge, feel free to point it out & an explanation to it will be really appreciated.

Answer 1

1. The GC adds objects to the finalizer queue when they have a finalizer. I don't understand your distinction between "automatically added because they have Finalize" and "GC adds them". The GC adds them because they have a finalizer. From the programmer's point of view, it's automatic.

2. When an object calls GC.SuppressFinalize(), it's flagged as not needing finalization. There's no need for the GC to later "run through" the queue to remove that object's reference. It's simply ignored when the queue is processed.

3. Yes. I.e. first, there is no one "GC"…several different implementations for .NET exist. Second, the GC is complex enough that its behavior can't really be summarized like that.

Note that all of this is implementation detail. Here's what we as users of C# need to know:

• If we use unmanaged resources that cannot be managed via the SafeHandle class, we need to add a finalizer to our class, and in the finalizer release those resources.
• We also need to implement IDisposable in that case (among others), and in our implementation call GC.SuppressFinalize() so that the GC knows to not waste time running our finalizer.

The rest can change at any time. It might be interesting academically, or if you're looking to write your own GC. But otherwise, it's not generally actionable information.

In addition to the article you've already referenced, you might also be interested in:

MSDN Blogs > cbrumme's WebLog > Finalization

Object.Finalize Method – How finalization works

SO: Generational Garbage collection Vs Garbage collection in .NET