diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2017-04-22 21:53:07 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2017-04-22 21:53:07 (GMT) |
commit | 9c1367eb2e75dfac59f33e851dee8d39542072ac (patch) | |
tree | dd999e736e12c47d9d0b90808451d14c6279a85d /src/arch/sharing/manager.h | |
parent | a2979604ebaa3d564908f13e4f9ab345fca0ff28 (diff) |
Shared target operands in memory when possible.
Diffstat (limited to 'src/arch/sharing/manager.h')
-rw-r--r-- | src/arch/sharing/manager.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/arch/sharing/manager.h b/src/arch/sharing/manager.h index f2fcea6..959087d 100644 --- a/src/arch/sharing/manager.h +++ b/src/arch/sharing/manager.h @@ -65,12 +65,6 @@ 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 *); |