diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2016-12-18 15:32:27 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2016-12-18 15:32:27 (GMT) |
commit | b0bcf250999b2242019f137e38f52390a86e71cd (patch) | |
tree | f3436a3ddbbd4773005ecb891630a815ed001341 /src/arch/sharing/manager.h | |
parent | 6bde4016160057a22234d4ed698903dca52ce162 (diff) |
Shared all Dalvik operands between all their users.
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 |