diff options
Diffstat (limited to 'src/arch/sharing/manager.h')
| -rw-r--r-- | src/arch/sharing/manager.h | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/arch/sharing/manager.h b/src/arch/sharing/manager.h index 85f4b1f..0a44214 100644 --- a/src/arch/sharing/manager.h +++ b/src/arch/sharing/manager.h @@ -29,6 +29,7 @@ #include <stdbool.h> +#include "container.h" #include "instance.h" @@ -59,7 +60,18 @@ GType g_share_manager_get_type(void); GShareManager *g_share_manager_new(GType); /* Retrouve ou crée une instance partagée. */ -GSharedInstance *g_share_manager_get(const GShareManager *, const void *); +GSharedInstance *g_share_manager_get(GShareManager *, const void *); + +/* Met à jour une instance partagée. */ +GSharedInstance *g_share_manager_update(GShareManager *, GSharedInstance *, const void *, GShareContainer *); + +/* Abandonne un usage d'une instance partagée. */ +void g_share_manager_put(GShareManager *, GSharedInstance *); + +/* Imprime des statistiques d'utilisation du gestionnaire. */ +#ifdef DEBUG_DUMP_STATS +void g_share_manager_dump_stats(GShareManager *); +#endif |