Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux

staging: android: sync: Signal pt before sync_timeline object gets destroyed

There is a race condition

Assume we have *one* sync_fence object, with *one* sync_pt
which belongs to *one* sync_timeline, given this condition,
sync_timeline->kref will have two counts, one for sync_timeline
(implicit) and another for sync_pt.

Assume following is the situation on CPU

Theead-1 : (Thread which calls sync_timeline_destroy())
-> (some function calls)
-> sync_timeline_destory()
-> sync_timeline_signal() (CPU is inside this
function after putting reference to sync_timeline)

At this time Thread-2 comes and does following

Thread-2 : (fclose on fence fd)
> sync_fence_release() -> because of fclose() on fence object
-> sync_fence_free()
-> sync_pt_free()
-> kref_put(&pt->parent->kref, sync_timeline_free);
-> sync_timeline_free() (CPU is inside this because
this time kref will be zero after _put)

Thread-2 will free sync_timeline object before Thread-1
has finished its work inside sync_timeline_signal.

With this change we signals all sync_pt before putting
reference to sync_timeline object.

Cc: Colin Cross <ccross@android.com>
Cc: Android Kernel Team <kernel-team@android.com>
Signed-off-by: Prakash Kamliya <pkamliya@codeaurora.org>
[jstultz: minor commit subject tweak]
Signed-off-by: John Stultz <john.stultz@linaro.org>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>

authored by

Prakash Kamliya and committed by
Greg Kroah-Hartman
ac5b705b 1e85c1ea

+4 -4
+4 -4
drivers/staging/android/sync.c
··· 92 92 void sync_timeline_destroy(struct sync_timeline *obj) 93 93 { 94 94 obj->destroyed = true; 95 + smp_wmb(); 95 96 96 97 /* 97 - * If this is not the last reference, signal any children 98 - * that their parent is going away. 98 + * signal any children that their parent is going away. 99 99 */ 100 + sync_timeline_signal(obj); 100 101 101 - if (!kref_put(&obj->kref, sync_timeline_free)) 102 - sync_timeline_signal(obj); 102 + kref_put(&obj->kref, sync_timeline_free); 103 103 } 104 104 EXPORT_SYMBOL(sync_timeline_destroy); 105 105