diff options
Diffstat (limited to 'src/arch/sharing/manager.h')
-rw-r--r-- | src/arch/sharing/manager.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/arch/sharing/manager.h b/src/arch/sharing/manager.h index 959087d..f2fcea6 100644 --- a/src/arch/sharing/manager.h +++ b/src/arch/sharing/manager.h @@ -65,6 +65,12 @@ GSharedInstance *g_share_manager_get(GShareManager *, GSharedInstance *); /* Met à jour une instance partagée. */ GSharedInstance *g_share_manager_update(GShareManager *, GSharedInstance *, GSharedInstance *, GShareContainer *); +/* Prépare une modification légère et locale d'un élément. */ +size_t g_share_manager_prepare_light_update(GShareManager *, GSharedInstance *); + +/* Conclut une modification légère et locale d'un élément. */ +GSharedInstance *g_share_manager_complete_light_update(GShareManager *, GSharedInstance *, size_t); + /* Abandonne un usage d'une instance partagée. */ void g_share_manager_put(GShareManager *, GSharedInstance *); |