blob: dec6d85293922a94f78ad72e97d7aa6fc0565f27 [file] [log] [blame]
Gustavo Padovan1867a232016-05-31 16:59:05 -03001/*
Gustavo Padovane912c882016-08-11 12:26:42 -03002 * Sync File validation framework
Gustavo Padovan1867a232016-05-31 16:59:05 -03003 *
4 * Copyright (C) 2012 Google, Inc.
5 *
6 * This software is licensed under the terms of the GNU General Public
7 * License version 2, as published by the Free Software Foundation, and
8 * may be copied, distributed, and modified under those terms.
9 *
10 * This program is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
14 *
15 */
16
17#include <linux/file.h>
18#include <linux/fs.h>
19#include <linux/uaccess.h>
Gustavo Padovanaff9da12016-05-31 16:59:07 -030020#include <linux/slab.h>
Gustavo Padovan1867a232016-05-31 16:59:05 -030021#include <linux/sync_file.h>
22
Gustavo Padovan1fe82e22016-05-31 16:59:12 -030023#include "sync_debug.h"
Gustavo Padovan1867a232016-05-31 16:59:05 -030024
Gustavo Padovanaff9da12016-05-31 16:59:07 -030025#define CREATE_TRACE_POINTS
Gustavo Padovana04f9152016-08-11 12:26:41 -030026#include "sync_trace.h"
Gustavo Padovanaff9da12016-05-31 16:59:07 -030027
Gustavo Padovanfc0c9a02016-08-11 13:45:53 -030028/*
29 * SW SYNC validation framework
30 *
31 * A sync object driver that uses a 32bit counter to coordinate
32 * synchronization. Useful when there is no hardware primitive backing
33 * the synchronization.
34 *
35 * To start the framework just open:
36 *
37 * <debugfs>/sync/sw_sync
38 *
39 * That will create a sync timeline, all fences created under this timeline
40 * file descriptor will belong to the this timeline.
41 *
42 * The 'sw_sync' file can be opened many times as to create different
43 * timelines.
44 *
45 * Fences can be created with SW_SYNC_IOC_CREATE_FENCE ioctl with struct
46 * sw_sync_ioctl_create_fence as parameter.
47 *
48 * To increment the timeline counter, SW_SYNC_IOC_INC ioctl should be used
49 * with the increment as u32. This will update the last signaled value
50 * from the timeline and signal any fence that has a seqno smaller or equal
51 * to it.
52 *
53 * struct sw_sync_ioctl_create_fence
54 * @value: the seqno to initialise the fence with
55 * @name: the name of the new sync point
56 * @fence: return the fd of the new sync_file with the created fence
57 */
Gustavo Padovan6f65aa82016-05-31 16:59:08 -030058struct sw_sync_create_fence_data {
59 __u32 value;
60 char name[32];
61 __s32 fence; /* fd of new fence */
62};
63
64#define SW_SYNC_IOC_MAGIC 'W'
65
66#define SW_SYNC_IOC_CREATE_FENCE _IOWR(SW_SYNC_IOC_MAGIC, 0,\
67 struct sw_sync_create_fence_data)
Gustavo Padovanfc0c9a02016-08-11 13:45:53 -030068
Gustavo Padovan6f65aa82016-05-31 16:59:08 -030069#define SW_SYNC_IOC_INC _IOW(SW_SYNC_IOC_MAGIC, 1, __u32)
70
Gustavo Padovanaff9da12016-05-31 16:59:07 -030071static const struct fence_ops timeline_fence_ops;
72
73static inline struct sync_pt *fence_to_sync_pt(struct fence *fence)
74{
75 if (fence->ops != &timeline_fence_ops)
76 return NULL;
77 return container_of(fence, struct sync_pt, base);
78}
79
80/**
81 * sync_timeline_create() - creates a sync object
Gustavo Padovanaff9da12016-05-31 16:59:07 -030082 * @name: sync_timeline name
83 *
84 * Creates a new sync_timeline. Returns the sync_timeline object or NULL in
85 * case of error.
86 */
Gustavo Padovanb9bc2b72016-05-31 16:59:11 -030087struct sync_timeline *sync_timeline_create(const char *name)
Gustavo Padovanaff9da12016-05-31 16:59:07 -030088{
89 struct sync_timeline *obj;
90
91 obj = kzalloc(sizeof(*obj), GFP_KERNEL);
92 if (!obj)
93 return NULL;
94
95 kref_init(&obj->kref);
96 obj->context = fence_context_alloc(1);
97 strlcpy(obj->name, name, sizeof(obj->name));
Gustavo Padovanaff9da12016-05-31 16:59:07 -030098
Chris Wilsondb767402017-06-29 22:12:53 +010099 obj->pt_tree = RB_ROOT;
Chris Wilsone82ecb22017-06-29 22:05:32 +0100100 INIT_LIST_HEAD(&obj->pt_list);
101 spin_lock_init(&obj->lock);
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300102
103 sync_timeline_debug_add(obj);
104
105 return obj;
106}
107
108static void sync_timeline_free(struct kref *kref)
109{
110 struct sync_timeline *obj =
111 container_of(kref, struct sync_timeline, kref);
112
113 sync_timeline_debug_remove(obj);
114
115 kfree(obj);
116}
117
118static void sync_timeline_get(struct sync_timeline *obj)
119{
120 kref_get(&obj->kref);
121}
122
123static void sync_timeline_put(struct sync_timeline *obj)
124{
125 kref_put(&obj->kref, sync_timeline_free);
126}
127
Gustavo Padovan4496b882017-07-29 12:22:15 -0300128static const char *timeline_fence_get_driver_name(struct fence *fence)
129{
130 return "sw_sync";
131}
132
133static const char *timeline_fence_get_timeline_name(struct fence *fence)
134{
135 struct sync_timeline *parent = fence_parent(fence);
136
137 return parent->name;
138}
139
140static void timeline_fence_release(struct fence *fence)
141{
142 struct sync_pt *pt = fence_to_sync_pt(fence);
143 struct sync_timeline *parent = fence_parent(fence);
144
145 if (!list_empty(&pt->link)) {
146 unsigned long flags;
147
148 spin_lock_irqsave(fence->lock, flags);
149 if (!list_empty(&pt->link)) {
150 list_del(&pt->link);
151 rb_erase(&pt->node, &parent->pt_tree);
152 }
153 spin_unlock_irqrestore(fence->lock, flags);
154 }
155
156 sync_timeline_put(parent);
157 fence_free(fence);
158}
159
160static bool timeline_fence_signaled(struct fence *fence)
161{
162 struct sync_timeline *parent = fence_parent(fence);
163
164 return !__fence_is_later(fence->seqno, parent->value);
165}
166
167static bool timeline_fence_enable_signaling(struct fence *fence)
168{
169 return true;
170}
171
172static void timeline_fence_value_str(struct fence *fence,
173 char *str, int size)
174{
175 snprintf(str, size, "%d", fence->seqno);
176}
177
178static void timeline_fence_timeline_value_str(struct fence *fence,
179 char *str, int size)
180{
181 struct sync_timeline *parent = fence_parent(fence);
182
183 snprintf(str, size, "%d", parent->value);
184}
185
186static const struct fence_ops timeline_fence_ops = {
187 .get_driver_name = timeline_fence_get_driver_name,
188 .get_timeline_name = timeline_fence_get_timeline_name,
189 .enable_signaling = timeline_fence_enable_signaling,
190 .signaled = timeline_fence_signaled,
191 .wait = fence_default_wait,
192 .release = timeline_fence_release,
193 .fence_value_str = timeline_fence_value_str,
194 .timeline_value_str = timeline_fence_timeline_value_str,
195};
196
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300197/**
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300198 * sync_timeline_signal() - signal a status change on a sync_timeline
199 * @obj: sync_timeline to signal
200 * @inc: num to increment on timeline->value
201 *
202 * A sync implementation should call this any time one of it's fences
203 * has signaled or has an error condition.
204 */
205static void sync_timeline_signal(struct sync_timeline *obj, unsigned int inc)
206{
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300207 struct sync_pt *pt, *next;
208
209 trace_sync_timeline(obj);
210
Chris Wilsone82ecb22017-06-29 22:05:32 +0100211 spin_lock_irq(&obj->lock);
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300212
213 obj->value += inc;
214
Chris Wilsondb767402017-06-29 22:12:53 +0100215 list_for_each_entry_safe(pt, next, &obj->pt_list, link) {
216 if (!fence_is_signaled_locked(&pt->base))
217 break;
218
219 list_del_init(&pt->link);
220 rb_erase(&pt->node, &obj->pt_tree);
221 }
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300222
Chris Wilsone82ecb22017-06-29 22:05:32 +0100223 spin_unlock_irq(&obj->lock);
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300224}
225
226/**
227 * sync_pt_create() - creates a sync pt
228 * @parent: fence's parent sync_timeline
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300229 * @inc: value of the fence
230 *
231 * Creates a new sync_pt as a child of @parent. @size bytes will be
232 * allocated allowing for implementation specific data to be kept after
233 * the generic sync_timeline struct. Returns the sync_pt object or
234 * NULL in case of error.
235 */
Chris Wilson1bf0b232017-06-29 13:59:28 +0100236static struct sync_pt *sync_pt_create(struct sync_timeline *obj,
237 unsigned int value)
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300238{
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300239 struct sync_pt *pt;
240
Chris Wilson1bf0b232017-06-29 13:59:28 +0100241 pt = kzalloc(sizeof(*pt), GFP_KERNEL);
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300242 if (!pt)
243 return NULL;
244
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300245 sync_timeline_get(obj);
Chris Wilsone82ecb22017-06-29 22:05:32 +0100246 fence_init(&pt->base, &timeline_fence_ops, &obj->lock,
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300247 obj->context, value);
Chris Wilsone82ecb22017-06-29 22:05:32 +0100248 INIT_LIST_HEAD(&pt->link);
Chris Wilsonf14ad422017-06-29 13:59:27 +0100249
Chris Wilsone82ecb22017-06-29 22:05:32 +0100250 spin_lock_irq(&obj->lock);
Chris Wilsondb767402017-06-29 22:12:53 +0100251 if (!fence_is_signaled_locked(&pt->base)) {
252 struct rb_node **p = &obj->pt_tree.rb_node;
253 struct rb_node *parent = NULL;
254
255 while (*p) {
256 struct sync_pt *other;
257 int cmp;
258
259 parent = *p;
260 other = rb_entry(parent, typeof(*pt), node);
261 cmp = value - other->base.seqno;
262 if (cmp > 0) {
263 p = &parent->rb_right;
264 } else if (cmp < 0) {
265 p = &parent->rb_left;
266 } else {
267 if (fence_get_rcu(&other->base)) {
268 fence_put(&pt->base);
269 pt = other;
270 goto unlock;
271 }
272 p = &parent->rb_left;
273 }
274 }
275 rb_link_node(&pt->node, parent, p);
276 rb_insert_color(&pt->node, &obj->pt_tree);
277
278 parent = rb_next(&pt->node);
279 list_add_tail(&pt->link,
280 parent ? &rb_entry(parent, typeof(*pt), node)->link : &obj->pt_list);
281 }
282unlock:
Chris Wilsone82ecb22017-06-29 22:05:32 +0100283 spin_unlock_irq(&obj->lock);
Chris Wilsonf14ad422017-06-29 13:59:27 +0100284
Gustavo Padovanaff9da12016-05-31 16:59:07 -0300285 return pt;
286}
287
Gustavo Padovan1867a232016-05-31 16:59:05 -0300288/*
289 * *WARNING*
290 *
291 * improper use of this can result in deadlocking kernel drivers from userspace.
292 */
293
294/* opening sw_sync create a new sync obj */
295static int sw_sync_debugfs_open(struct inode *inode, struct file *file)
296{
297 struct sync_timeline *obj;
298 char task_comm[TASK_COMM_LEN];
299
300 get_task_comm(task_comm, current);
301
Gustavo Padovanb9bc2b72016-05-31 16:59:11 -0300302 obj = sync_timeline_create(task_comm);
Gustavo Padovan1867a232016-05-31 16:59:05 -0300303 if (!obj)
304 return -ENOMEM;
305
306 file->private_data = obj;
307
308 return 0;
309}
310
311static int sw_sync_debugfs_release(struct inode *inode, struct file *file)
312{
313 struct sync_timeline *obj = file->private_data;
314
Gustavo Padovan71110232016-05-31 16:59:10 -0300315 smp_wmb();
316
317 sync_timeline_put(obj);
Gustavo Padovan1867a232016-05-31 16:59:05 -0300318 return 0;
319}
320
321static long sw_sync_ioctl_create_fence(struct sync_timeline *obj,
322 unsigned long arg)
323{
324 int fd = get_unused_fd_flags(O_CLOEXEC);
325 int err;
326 struct sync_pt *pt;
327 struct sync_file *sync_file;
328 struct sw_sync_create_fence_data data;
329
330 if (fd < 0)
331 return fd;
332
333 if (copy_from_user(&data, (void __user *)arg, sizeof(data))) {
334 err = -EFAULT;
335 goto err;
336 }
337
Chris Wilson1bf0b232017-06-29 13:59:28 +0100338 pt = sync_pt_create(obj, data.value);
Gustavo Padovan1867a232016-05-31 16:59:05 -0300339 if (!pt) {
340 err = -ENOMEM;
341 goto err;
342 }
343
344 sync_file = sync_file_create(&pt->base);
345 if (!sync_file) {
346 fence_put(&pt->base);
347 err = -ENOMEM;
348 goto err;
349 }
350
351 data.fence = fd;
352 if (copy_to_user((void __user *)arg, &data, sizeof(data))) {
353 fput(sync_file->file);
354 err = -EFAULT;
355 goto err;
356 }
357
358 fd_install(fd, sync_file->file);
359
360 return 0;
361
362err:
363 put_unused_fd(fd);
364 return err;
365}
366
367static long sw_sync_ioctl_inc(struct sync_timeline *obj, unsigned long arg)
368{
369 u32 value;
370
371 if (copy_from_user(&value, (void __user *)arg, sizeof(value)))
372 return -EFAULT;
373
Chris Wilson985b5b22017-06-29 13:59:26 +0100374 while (value > INT_MAX) {
375 sync_timeline_signal(obj, INT_MAX);
376 value -= INT_MAX;
377 }
378
Gustavo Padovan1867a232016-05-31 16:59:05 -0300379 sync_timeline_signal(obj, value);
380
381 return 0;
382}
383
384static long sw_sync_ioctl(struct file *file, unsigned int cmd,
385 unsigned long arg)
386{
387 struct sync_timeline *obj = file->private_data;
388
389 switch (cmd) {
390 case SW_SYNC_IOC_CREATE_FENCE:
391 return sw_sync_ioctl_create_fence(obj, arg);
392
393 case SW_SYNC_IOC_INC:
394 return sw_sync_ioctl_inc(obj, arg);
395
396 default:
397 return -ENOTTY;
398 }
399}
400
401const struct file_operations sw_sync_debugfs_fops = {
402 .open = sw_sync_debugfs_open,
403 .release = sw_sync_debugfs_release,
404 .unlocked_ioctl = sw_sync_ioctl,
405 .compat_ioctl = sw_sync_ioctl,
406};