Wiki page eo-refcount.md changed with summary [created] by Xavi Artigas

This commit is contained in:
Xavi Artigas 2017-11-09 05:29:34 -08:00 committed by apache
parent a0f4e64424
commit ed4c57d411
1 changed files with 609 additions and 0 deletions

View File

@ -0,0 +1,609 @@
---
~~Title: Reference Counting in Eo~~
---
# Reference Counting in Eo #
The previous tutorial ([Introduction to Eo](eo-intro.md)) explained how Eo objects should be created and destroyed in order to avoid *memory leaks*. The present tutorial shows graphically the inner workings of the reference counting mechanism.
To do so, some new *instrumentation* techniques are introduced. These techniques allow collecting information about the state of your program, and, although not frequently used in normal applications, they can be useful for debugging purposes.
## Prerequisites ##
* Read the [Introduction to Eo](eo-intro.md) tutorial, which is the basis for this one.
## Step One: Print the Reference Counts ##
The previous tutorial talked a lot about reference counts, but it never printed one on the screen. This tutorial will begin by doing just that. It turns out this is not a trivial task, and that is why it has been moved to this second tutorial.
Without further ado: the method to retrieve the reference count of an object is ``efl_ref_count()``. It takes an ``Eo *`` as parameter and returns an integer.
This tutorial starts where the previous one left off, so here's the final listing from the [Introduction to Eo](eo-intro.md) tutorial:
```c
#define EFL_EO_API_SUPPORT 1
#define EFL_BETA_API_SUPPORT 1
#include <Eina.h>
#include <Efl.h>
#include <Elementary.h>
#include <stdlib.h>
Eo *_root, *_child1, *_child2;
// Create our test hierarchy
static void
_obj_create()
{
// First create a root element
_root = efl_add(EFL_MODEL_ITEM_CLASS, NULL,
efl_name_set(efl_added, "Root"));
// Create the first child element
_child1 = efl_add(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child1"));
// Create the second child element, this time, with an extra reference
_child2 = efl_add_ref(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child2"));
}
// Destroy the test hierarchy
static void
_obj_destroy()
{
// Destroy the root element
printf ("Deleting root...\n");
efl_unref(_root);
// Destroy the child2 element, for which we were keeping an extra reference
printf ("Deleting Child2...\n");
efl_unref(_child2);
}
EAPI_MAIN void
efl_main(void *data EINA_UNUSED, const Efl_Event *ev EINA_UNUSED)
{
// Create all objects
_obj_create();
// Destroy all objects
_obj_destroy();
// Exit
efl_exit(0);
}
EFL_MAIN()
```
Add a new method before ``_obj_create()`` that uses ``efl_ref_count()`` to print the counts of all the objects in a nice table:
```c
// Prints status of all our objects in a pretty table
static void
_status_print()
{
printf("Object: %6s %6s %6s\n", "ROOT", "CHILD1", "CHILD2");
printf("Refcount: %6d %6d %6d\n",
efl_ref_count(_root),
efl_ref_count(_child1),
efl_ref_count(_child2));
}
```
And call this method in a couple of interesting places. For example, in your main function (``efl_main()``) after creating all the objects (``_obj_create()``) and after destroying them (``_obj_destroy()``):
```c
[...]
// Create all objects
_obj_create();
printf ("Initial state:\n");
_status_print();
// Destroy all objects
_obj_destroy();
printf ("Final state:\n");
_status_print();
[...]
```
What do you think is going to happen if you run this program? Go ahead and try.
The expected behavior is *undefined*, which usually means your program will abort abnormally (commonly known as *crash*). This is what happened:
You can always ask an object for its internal reference count... as long as the object still exists. The problem with the above code is that when a reference count reaches 0, the object is destroyed. If you still hold a pointer to that object (like ``_root`` or ``_child1``) that pointer is *invalid*, and trying to use it as a parameter to any EFL call will result in *undefined behavior*.
In summary, the first call to ``_status_print()`` succeeded because the objects where alive, but the second one, after calling ``_obj_destroy()``, crashed because all the objects had been destroyed, and hence their pointers where invalid.
In your applications, you should not try to use an object after you returned the reference you had to it, so you should not encounter this problem. In some rare cases, though, for debugging or didactic purposes, you might want to examine the state of an object, even after it has been destroyed.
## Step Two: Weak References ##
There is a mechanism in EFL that avoids invalid pointers, by turning them into ``NULL`` pointers. You can then check your object pointer to see if it is ``NULL`` before trying to access it, and some EFL functions will accept ``NULL`` as an object pointer and return appropriate results.
For instance, ``efl_ref_count()`` (used in ``_status_print()``) returns a reference count of 0 when the object parameter is ``NULL``, meaning that the object has already been destroyed.
To achieve this, EFL uses *Weak References*. The following code snippets explain how to use them and how they work.
First, add 3 more ``Eo *`` global variables to keep track of the weak references (*wref*'s for short). Put this line below the other 3 global variables:
```c
Eo *_root_ref, *_child1_ref, *_child2_ref;
```
As you can see, wrefs are also regular ``Eo`` pointers; you can use them anywhere you would use an object pointer.
In fact, you could get rid of the previous plain object pointers (``_root``, ``_child1`` and ``_child2``) and only use the wrefs from now on. This tutorial keeps them separate to highlight that plain object pointers will become invalid, whereas wrefs will become NULL.
Now, replace the previous usage of the plain object pointers in the ``printf()`` call in ``_status_print()`` with the wrefs:
```c
[...]
printf("Refcount: %6d %6d %6d\n",
efl_ref_count(_root_ref),
efl_ref_count(_child1_ref),
efl_ref_count(_child2_ref));
[...]
```
Finally, create the wrefs by adding a call to ``efl_wref_add()`` after each call to ``efl_add()`` in the ``_obj_create()`` method. It should look like this:
```c
static void
_obj_create()
{
// First create a root element
_root = efl_add(EFL_MODEL_ITEM_CLASS, NULL,
efl_name_set(efl_added, "Root"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_root, &_root_ref);
// Create the first child element
_child1 = efl_add(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child1"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child1, &_child1_ref);
// Create the second child element, this time, with an extra reference
_child2 = efl_add_ref(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child2"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child2, &_child2_ref);
}
```
Notice how ``efl_wref_add()`` has two parameters: The first one is the object to keep track of, and the second one is a pointer to an ``Eo *`` which will receive the wref.
> **NOTE:**
> ``efl_wref_add()`` does not get any extra reference to the object. After these changes, ``_child1`` still has 1 reference which belongs to its parent and ``_child2`` still has two references (one belongs to the parent and the other to the program).
Now you can run the program, and it should not crash anymore. You should see this in your terminal:
```
Initial state:
Object: ROOT CHILD1 CHILD2
Refcount: 1 1 2
Deleting Root...
Deleting Child2...
Final state:
Object: ROOT CHILD1 CHILD2
Refcount: 0 0 0
```
Which finally comes to show visually what the previous tutorial tried to explain with words: You can see the reference counts that ``_obj_create()`` has produced, and you can verify that all of them have been returned after calling ``_obj_destroy()``.
Try not returning the extra reference you hold for ``_child2`` and see what happens.
## Step Three: Print Some More ##
Just for completeness' sake, the tutorial will now call ``_status_print()`` in another place and add the parent of each object in the information.
Call ``_status_print()`` after returning the ``_root`` reference but before returning the ``_child2`` reference. ``_obj_destroy()`` should look like this:
```c
[...]
// Destroy the root element
printf ("Deleting root...\n");
efl_unref(_root);
printf ("After deleting root:\n");
_status_print();
[...]
```
And now, print the name of the parent of every object in the ``_status_print()`` method, right after printing the reference counts:
```c
printf("Parent: %6s %6s %6s\n\n",
_parent_name_get(_root_ref),
_parent_name_get(_child1_ref),
_parent_name_get(_child2_ref));
```
Now, the ``_parent_name_get()`` method does not exist; you need to create it. It has been moved to a different method because it deals with a few special cases. Add this snippet before ``_status_print()``:
```c
// Retrieves the name of an object's parent, handling special cases like not
// having any parent, or the object having been already destroyed.
static const char*
_parent_name_get(Eo *obj)
{
// Object has been destroyed
if (efl_ref_count(obj) == 0) return "-";
// Object has no parent
if (efl_parent_get(obj) == NULL) return "none";
// Otherwise, return parent's name
return efl_name_get(efl_parent_get(obj));
}
```
Remember you will be calling this method in situations where some of the objects might have already been destroyed. Therefore, the first thing this method does is checking whether the reference count is 0 with ``efl_ref_count()``. In that case it returns a simple dash "-".
Remember also that you can do this, because you are using weak references. Passing an invalid pointer to ``efl_ref_count()`` would result in undefined behavior.
The second thing the method does is checking whether the object has a parent or not by calling ``efl_parent_get()``. If it has no parent, it returns "none".
Finally, the method returns the name of the parent obtained with ``efl_name_get()``.
This step of the tutorial is now complete. The whole program should look like this:
```c
#define EFL_EO_API_SUPPORT 1
#define EFL_BETA_API_SUPPORT 1
#include <Eina.h>
#include <Efl.h>
#include <Elementary.h>
#include <stdlib.h>
Eo *_root, *_child1, *_child2;
Eo *_root_ref, *_child1_ref, *_child2_ref;
// Retrieves the name of an object's parent, handling special cases like not
// having any parent, or the object having been already destroyed.
static const char*
_parent_name_get(Eo *obj)
{
// Object has been destroyed
if (efl_ref_count(obj) == 0) return "-";
// Object has no parent
if (efl_parent_get(obj) == NULL) return "none";
// Otherwise, return parent's name
return efl_name_get(efl_parent_get(obj));
}
// Prints status of all our objects in a pretty table
static void
_status_print()
{
printf("Object: %6s %6s %6s\n", "ROOT", "CHILD1", "CHILD2");
printf("Refcount: %6d %6d %6d\n",
efl_ref_count(_root_ref),
efl_ref_count(_child1_ref),
efl_ref_count(_child2_ref));
printf("Parent: %6s %6s %6s\n\n",
_parent_name_get(_root_ref),
_parent_name_get(_child1_ref),
_parent_name_get(_child2_ref));
}
// Create our test hierarchy
static void
_obj_create()
{
// First create a root element
_root = efl_add(EFL_MODEL_ITEM_CLASS, NULL,
efl_name_set(efl_added, "Root"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_root, &_root_ref);
// Create the first child element
_child1 = efl_add(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child1"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child1, &_child1_ref);
// Create the second child element, this time, with an extra reference
_child2 = efl_add_ref(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child2"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child2, &_child2_ref);
}
// Destroy the test hierarchy
static void
_obj_destroy()
{
// Destroy the root element
printf ("Deleting root...\n");
efl_unref(_root);
printf ("After deleting root:\n");
_status_print();
// Destroy the child2 element, for which we were keeping an extra reference
printf ("Deleting Child2...\n");
efl_unref(_child2);
}
EAPI_MAIN void
efl_main(void *data EINA_UNUSED, const Efl_Event *ev EINA_UNUSED)
{
// Create all objects
_obj_create();
printf ("Initial state:\n");
_status_print();
// Destroy all objects
_obj_destroy();
printf ("Final state:\n");
_status_print();
// Exit
efl_exit(0);
}
EFL_MAIN()
```
If you run it, you should get this on the terminal:
```
Initial state:
Object: ROOT CHILD1 CHILD2
Refcount: 1 1 2
Parent: none Root Root
Deleting Root...
After deleting Root:
Object: ROOT CHILD1 CHILD2
Refcount: 0 0 1
Parent: - - none
Deleting Child2...
Final state:
Object: ROOT CHILD1 CHILD2
Refcount: 0 0 0
Parent: - - -
```
Many interesting things to see here. Note how, after returning the reference for ``_root`` (but before returning the one for ``_child2``), the ``_root`` and ``_child1`` objects have already been destroyed. This is expected, because the only reference to ``_child1`` was held by ``_root``, so upon destroying ``_root``, ``_child1`` disappears too.
Notice also how ``_child2`` survives the destruction of its parent, because of the extra reference you are holding to it.
Finally, notice how the parent of ``_child2`` is not ``_root`` anymore after ``_root`` is destroyed.
## Step Four: Being Notified ##
There's still one more thing you can do with reference counting, and that is being notified when objects are finally destroyed.
As it is apparent by now, you are aware of the references **you** hold to an object, but, generally speaking, you don't know how many references do other parts of the code hold. Therefore, in some situations it can be complicated to know when an object is **finally destroyed**.
If you really need to know, you can register an event callback with ``efl_event_callback_add()`` that will be triggered and that happens.
Use it to be notified of the destruction of each object. ``_obj_create()`` should look like this:
```c
// First create a root element
_root = efl_add(EFL_MODEL_ITEM_CLASS, NULL,
efl_name_set(efl_added, "Root"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_root, &_root_ref);
// Register a callback for DELETION events
efl_event_callback_add(_root, EFL_EVENT_DEL, _obj_destroy_cb, NULL);
// Create the first child element
_child1 = efl_add(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child1"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child1, &_child1_ref);
// Register a callback for DELETION events
efl_event_callback_add(_child1, EFL_EVENT_DEL, _obj_destroy_cb, NULL);
// Create the second child element, this time, with an extra reference
_child2 = efl_add_ref(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child2"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child2, &_child2_ref);
// Register a callback for DELETION events
efl_event_callback_add(_child2, EFL_EVENT_DEL, _obj_destroy_cb, NULL);
```
The first parameter to ``efl_event_callback_add()`` is the object you want to track. The second one is the type of event you want to be notified of (``EFL_EVENT_DEL``). The third parameter is the callback you need to write (``_obj_destroy_cb``), and the fourth one is extra data you might want to pass to your callback (none, in this case).
Write now the notification callback, right above ``_obj_create()``:
```c
// Gets called whenever an object is deleted
static void
_obj_destroy_cb(void *data EINA_UNUSED, const Efl_Event *event)
{
Eo *obj = event->object;
printf("Object named \"%s\" is about to be deleted\n", efl_name_get(obj));
_status_print();
}
```
All callback methods in EFL are generic, in that they receive the custom data you passed when you registered the callback, and then an ``Efl_Event *`` with the details of the event that triggered the callback.
In this case, you are interested in the object that is about to be deleted, and that is found in ``event->object``. The method prints its name, and then the status of all objects.
This tutorial is now complete. It should look like this:
```c
#define EFL_EO_API_SUPPORT 1
#define EFL_BETA_API_SUPPORT 1
#include <Eina.h>
#include <Efl.h>
#include <Elementary.h>
#include <stdlib.h>
Eo *_root, *_child1, *_child2;
Eo *_root_ref, *_child1_ref, *_child2_ref;
// Retrieves the name of an object's parent, handling special cases like not
// having any parent, or the object having been already destroyed.
static const char*
_parent_name_get(Eo *obj)
{
// Object has been destroyed
if (efl_ref_count(obj) == 0) return "-";
// Object has no parent
if (efl_parent_get(obj) == NULL) return "none";
// Otherwise, return parent's name
return efl_name_get(efl_parent_get(obj));
}
// Prints status of all our objects in a pretty table
static void
_status_print()
{
printf("Object: %6s %6s %6s\n", "ROOT", "CHILD1", "CHILD2");
printf("Refcount: %6d %6d %6d\n",
efl_ref_count(_root_ref),
efl_ref_count(_child1_ref),
efl_ref_count(_child2_ref));
printf("Parent: %6s %6s %6s\n\n",
_parent_name_get(_root_ref),
_parent_name_get(_child1_ref),
_parent_name_get(_child2_ref));
}
// Gets called whenever an object is deleted
static void
_obj_destroy_cb(void *data EINA_UNUSED, const Efl_Event *event)
{
Eo *obj = event->object;
printf("Object named \"%s\" is about to be deleted\n", efl_name_get(obj));
_status_print();
}
// Create our test hierarchy
static void
_obj_create()
{
// First create a root element
_root = efl_add(EFL_MODEL_ITEM_CLASS, NULL,
efl_name_set(efl_added, "Root"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_root, &_root_ref);
// Register a callback for DELETION events
efl_event_callback_add(_root, EFL_EVENT_DEL, _obj_destroy_cb, NULL);
// Create the first child element
_child1 = efl_add(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child1"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child1, &_child1_ref);
// Register a callback for DELETION events
efl_event_callback_add(_child1, EFL_EVENT_DEL, _obj_destroy_cb, NULL);
// Create the second child element, this time, with an extra reference
_child2 = efl_add_ref(EFL_MODEL_ITEM_CLASS, _root,
efl_name_set(efl_added, "Child2"));
// Add a weak reference so we can keep track of its state
efl_wref_add(_child2, &_child2_ref);
// Register a callback for DELETION events
efl_event_callback_add(_child2, EFL_EVENT_DEL, _obj_destroy_cb, NULL);
}
// Destroy the test hierarchy
static void
_obj_destroy()
{
// Destroy the root element
printf ("Deleting root...\n");
efl_unref(_root);
printf ("After deleting root:\n");
_status_print();
// Destroy the child2 element, for which we were keeping an extra reference
printf ("Deleting Child2...\n");
efl_unref(_child2);
}
EAPI_MAIN void
efl_main(void *data EINA_UNUSED, const Efl_Event *ev EINA_UNUSED)
{
// Create all objects
_obj_create();
printf ("Initial state:\n");
_status_print();
// Destroy all objects
_obj_destroy();
printf ("Final state:\n");
_status_print();
// Exit
efl_exit(0);
}
EFL_MAIN()
```
Build and run it, and you should get this on the terminal:
```
Initial state:
Object: ROOT CHILD1 CHILD2
Refcount: 1 1 2
Parent: none Root Root
Deleting Root...
Object named "Root" is about to be deleted
Object: ROOT CHILD1 CHILD2
Refcount: 0 1 2
Parent: - Root Root
Object named "Child1" is about to be deleted
Object: ROOT CHILD1 CHILD2
Refcount: 0 0 2
Parent: - - Root
After deleting Root:
Object: ROOT CHILD1 CHILD2
Refcount: 0 0 1
Parent: - - none
Deleting Child2...
Object named "Child2" is about to be deleted
Object: ROOT CHILD1 CHILD2
Refcount: 0 0 0
Parent: - - -
Final state:
Object: ROOT CHILD1 CHILD2
Refcount: 0 0 0
Parent: - - -
```
You can see that the ``_obj_destroy_cb()`` is called for each of the objects, in more or less the expected order (``_child2`` is the last one).
It is also worth noting that, inside a destruction callback, only the information regarding the object being destroyed is reliable. Note how, when being notified of the destruction of ``_root``, ``_root`` has already been destroyed, but not its children (``_child1`` still has a reference count of 1, and its parent is ``_root``).
## Summary ##
At the end of this tutorial you have learned:
* You can find out the reference count of an object with ``efl_ref_count()``.
* Object pointers **should never be used after returning the reference** you held to that object.
* If you need to examine an object which might have already been destroyed, you can use a Weak Reference obtained with ``efl_wref_add()``.
* Do not expect ``efl_ref_count()`` to return 0 if you are not using weak references (expect undefined behavior instead).
* You can be notified of some events, like object destruction, by registering a callback method with ``efl_event_callback_add()``.
## Further Reading ##
[Introduction to Eo](eo-intro.md)
: Part one of this tutorial
[Setting up the Development Environment](/develop/setup/c/)
: Read this before trying to develop with the EFL