blob: de9512afd6117ea289f365bdb9fec82e4d99a51e [file] [log] [blame]
Thierry Reding0e70dad2017-02-07 18:51:13 +01001.. _todo:
2
3=========
4TODO list
5=========
6
7This section contains a list of smaller janitorial tasks in the kernel DRM
8graphics subsystem useful as newbie projects. Or for slow rainy days.
9
10Subsystem-wide refactorings
11===========================
12
13De-midlayer drivers
14-------------------
15
16With the recent ``drm_bus`` cleanup patches for 3.17 it is no longer required
17to have a ``drm_bus`` structure set up. Drivers can directly set up the
18``drm_device`` structure instead of relying on bus methods in ``drm_usb.c``
Daniel Vetter085c6c02017-04-04 11:52:54 +020019and ``drm_pci.c``. The goal is to get rid of the driver's ``->load`` /
Thierry Reding0e70dad2017-02-07 18:51:13 +010020``->unload`` callbacks and open-code the load/unload sequence properly, using
21the new two-stage ``drm_device`` setup/teardown.
22
23Once all existing drivers are converted we can also remove those bus support
24files for USB and platform devices.
25
26All you need is a GPU for a non-converted driver (currently almost all of
27them, but also all the virtual ones used by KVM, so everyone qualifies).
28
29Contact: Daniel Vetter, Thierry Reding, respective driver maintainers
30
31Switch from reference/unreference to get/put
32--------------------------------------------
33
34For some reason DRM core uses ``reference``/``unreference`` suffixes for
35refcounting functions, but kernel uses ``get``/``put`` (e.g.
36``kref_get``/``put()``). It would be good to switch over for consistency, and
37it's shorter. Needs to be done in 3 steps for each pair of functions:
38
39* Create new ``get``/``put`` functions, define the old names as compatibility
40 wrappers
41* Switch over each file/driver using a cocci-generated spatch.
42* Once all users of the old names are gone, remove them.
43
44This way drivers/patches in the progress of getting merged won't break.
45
46Contact: Daniel Vetter
47
48Convert existing KMS drivers to atomic modesetting
49--------------------------------------------------
50
513.19 has the atomic modeset interfaces and helpers, so drivers can now be
52converted over. Modern compositors like Wayland or Surfaceflinger on Android
53really want an atomic modeset interface, so this is all about the bright
54future.
55
56There is a conversion guide for atomic and all you need is a GPU for a
57non-converted driver (again virtual HW drivers for KVM are still all
58suitable).
59
60As part of this drivers also need to convert to universal plane (which means
61exposing primary & cursor as proper plane objects). But that's much easier to
62do by directly using the new atomic helper driver callbacks.
63
64Contact: Daniel Vetter, respective driver maintainers
65
Daniel Vetter1a80cc12017-02-26 20:38:50 +010066Clean up the clipped coordination confusion around planes
67---------------------------------------------------------
68
69We have a helper to get this right with drm_plane_helper_check_update(), but
70it's not consistently used. This should be fixed, preferrably in the atomic
71helpers (and drivers then moved over to clipped coordinates). Probably the
72helper should also be moved from drm_plane_helper.c to the atomic helpers, to
73avoid confusion - the other helpers in that file are all deprecated legacy
74helpers.
75
76Contact: Ville Syrjälä, Daniel Vetter, driver maintainers
77
Thierry Reding0e70dad2017-02-07 18:51:13 +010078Convert early atomic drivers to async commit helpers
79----------------------------------------------------
80
81For the first year the atomic modeset helpers didn't support asynchronous /
82nonblocking commits, and every driver had to hand-roll them. This is fixed
83now, but there's still a pile of existing drivers that easily could be
84converted over to the new infrastructure.
85
86One issue with the helpers is that they require that drivers handle completion
87events for atomic commits correctly. But fixing these bugs is good anyway.
88
89Contact: Daniel Vetter, respective driver maintainers
90
Daniel Vetterf217f552017-03-22 09:36:10 +010091Better manual-upload support for atomic
92---------------------------------------
93
94This would be especially useful for tinydrm:
95
96- Add a struct drm_rect dirty_clip to drm_crtc_state. When duplicating the
97 crtc state, clear that to the max values, x/y = 0 and w/h = MAX_INT, in
98 __drm_atomic_helper_crtc_duplicate_state().
99
Thierry Reding0cac6ac2017-07-31 14:42:59 +0200100- Move tinydrm_merge_clips into drm_framebuffer.c, dropping the tinydrm\_
101 prefix ofc and using drm_fb\_. drm_framebuffer.c makes sense since this
Daniel Vetterf217f552017-03-22 09:36:10 +0100102 is a function useful to implement the fb->dirty function.
103
104- Create a new drm_fb_dirty function which does essentially what e.g.
105 mipi_dbi_fb_dirty does. You can use e.g. drm_atomic_helper_update_plane as the
106 template. But instead of doing a simple full-screen plane update, this new
107 helper also sets crtc_state->dirty_clip to the right coordinates. And of
108 course it needs to check whether the fb is actually active (and maybe where),
109 so there's some book-keeping involved. There's also some good fun involved in
110 scaling things appropriately. For that case we might simply give up and
111 declare the entire area covered by the plane as dirty.
112
113Contact: Noralf Trønnes, Daniel Vetter
114
Thierry Reding0e70dad2017-02-07 18:51:13 +0100115Fallout from atomic KMS
116-----------------------
117
118``drm_atomic_helper.c`` provides a batch of functions which implement legacy
119IOCTLs on top of the new atomic driver interface. Which is really nice for
120gradual conversion of drivers, but unfortunately the semantic mismatches are
121a bit too severe. So there's some follow-up work to adjust the function
122interfaces to fix these issues:
123
124* atomic needs the lock acquire context. At the moment that's passed around
125 implicitly with some horrible hacks, and it's also allocate with
126 ``GFP_NOFAIL`` behind the scenes. All legacy paths need to start allocating
127 the acquire context explicitly on stack and then also pass it down into
128 drivers explicitly so that the legacy-on-atomic functions can use them.
129
Daniel Vetterbe05fe12017-09-11 08:51:51 +0200130 Except for some driver code this is done.
131
Thierry Reding0e70dad2017-02-07 18:51:13 +0100132* A bunch of the vtable hooks are now in the wrong place: DRM has a split
133 between core vfunc tables (named ``drm_foo_funcs``), which are used to
134 implement the userspace ABI. And then there's the optional hooks for the
135 helper libraries (name ``drm_foo_helper_funcs``), which are purely for
136 internal use. Some of these hooks should be move from ``_funcs`` to
137 ``_helper_funcs`` since they are not part of the core ABI. There's a
138 ``FIXME`` comment in the kerneldoc for each such case in ``drm_crtc.h``.
139
140* There's a new helper ``drm_atomic_helper_best_encoder()`` which could be
141 used by all atomic drivers which don't select the encoder for a given
142 connector at runtime. That's almost all of them, and would allow us to get
143 rid of a lot of ``best_encoder`` boilerplate in drivers.
144
Daniel Vetterbe05fe12017-09-11 08:51:51 +0200145 This was almost done, but new drivers added a few more cases again.
146
Thierry Reding0e70dad2017-02-07 18:51:13 +0100147Contact: Daniel Vetter
148
149Get rid of dev->struct_mutex from GEM drivers
150---------------------------------------------
151
152``dev->struct_mutex`` is the Big DRM Lock from legacy days and infested
153everything. Nowadays in modern drivers the only bit where it's mandatory is
154serializing GEM buffer object destruction. Which unfortunately means drivers
155have to keep track of that lock and either call ``unreference`` or
156``unreference_locked`` depending upon context.
157
158Core GEM doesn't have a need for ``struct_mutex`` any more since kernel 4.8,
159and there's a ``gem_free_object_unlocked`` callback for any drivers which are
160entirely ``struct_mutex`` free.
161
162For drivers that need ``struct_mutex`` it should be replaced with a driver-
163private lock. The tricky part is the BO free functions, since those can't
164reliably take that lock any more. Instead state needs to be protected with
165suitable subordinate locks or some cleanup work pushed to a worker thread. For
166performance-critical drivers it might also be better to go with a more
167fine-grained per-buffer object and per-context lockings scheme. Currently the
168following drivers still use ``struct_mutex``: ``msm``, ``omapdrm`` and
169``udl``.
170
Daniel Vetter085c6c02017-04-04 11:52:54 +0200171Contact: Daniel Vetter, respective driver maintainers
Thierry Reding0e70dad2017-02-07 18:51:13 +0100172
Sean Paul45ae2782017-09-08 10:32:07 -0400173Convert instances of dev_info/dev_err/dev_warn to their DRM_DEV_* equivalent
174----------------------------------------------------------------------------
175
176For drivers which could have multiple instances, it is necessary to
177differentiate between which is which in the logs. Since DRM_INFO/WARN/ERROR
178don't do this, drivers used dev_info/warn/err to make this differentiation. We
179now have DRM_DEV_* variants of the drm print macros, so we can start to convert
180those drivers back to using drm-formwatted specific log messages.
181
182Contact: Sean Paul, Maintainer of the driver you plan to convert
183
Thierry Reding0e70dad2017-02-07 18:51:13 +0100184Core refactorings
185=================
186
187Use new IDR deletion interface to clean up drm_gem_handle_delete()
188------------------------------------------------------------------
189
190See the "This is gross" comment -- apparently the IDR system now can return an
191error code instead of oopsing.
192
193Clean up the DRM header mess
194----------------------------
195
196Currently the DRM subsystem has only one global header, ``drmP.h``. This is
197used both for functions exported to helper libraries and drivers and functions
198only used internally in the ``drm.ko`` module. The goal would be to move all
199header declarations not needed outside of ``drm.ko`` into
200``drivers/gpu/drm/drm_*_internal.h`` header files. ``EXPORT_SYMBOL`` also
201needs to be dropped for these functions.
202
203This would nicely tie in with the below task to create kerneldoc after the API
204is cleaned up. Or with the "hide legacy cruft better" task.
205
206Note that this is well in progress, but ``drmP.h`` is still huge. The updated
207plan is to switch to per-file driver API headers, which will also structure
208the kerneldoc better. This should also allow more fine-grained ``#include``
209directives.
210
Daniel Vetter085c6c02017-04-04 11:52:54 +0200211In the end no .c file should need to include ``drmP.h`` anymore.
212
Thierry Reding0e70dad2017-02-07 18:51:13 +0100213Contact: Daniel Vetter
214
215Add missing kerneldoc for exported functions
216--------------------------------------------
217
218The DRM reference documentation is still lacking kerneldoc in a few areas. The
219task would be to clean up interfaces like moving functions around between
220files to better group them and improving the interfaces like dropping return
221values for functions that never fail. Then write kerneldoc for all exported
Mauro Carvalho Chehabff41c4192017-05-14 11:50:11 -0300222functions and an overview section and integrate it all into the drm book.
Thierry Reding0e70dad2017-02-07 18:51:13 +0100223
224See https://dri.freedesktop.org/docs/drm/ for what's there already.
225
226Contact: Daniel Vetter
227
228Hide legacy cruft better
229------------------------
230
231Way back DRM supported only drivers which shadow-attached to PCI devices with
232userspace or fbdev drivers setting up outputs. Modern DRM drivers take charge
233of the entire device, you can spot them with the DRIVER_MODESET flag.
234
235Unfortunately there's still large piles of legacy code around which needs to
236be hidden so that driver writers don't accidentally end up using it. And to
237prevent security issues in those legacy IOCTLs from being exploited on modern
238drivers. This has multiple possible subtasks:
239
Thierry Reding0e70dad2017-02-07 18:51:13 +0100240* Extract support code for legacy features into a ``drm-legacy.ko`` kernel
241 module and compile it only when one of the legacy drivers is enabled.
Thierry Reding0e70dad2017-02-07 18:51:13 +0100242
243This is mostly done, the only thing left is to split up ``drm_irq.c`` into
244legacy cruft and the parts needed by modern KMS drivers.
245
246Contact: Daniel Vetter
247
248Make panic handling work
249------------------------
250
251This is a really varied tasks with lots of little bits and pieces:
252
253* The panic path can't be tested currently, leading to constant breaking. The
254 main issue here is that panics can be triggered from hardirq contexts and
255 hence all panic related callback can run in hardirq context. It would be
256 awesome if we could test at least the fbdev helper code and driver code by
257 e.g. trigger calls through drm debugfs files. hardirq context could be
258 achieved by using an IPI to the local processor.
259
260* There's a massive confusion of different panic handlers. DRM fbdev emulation
261 helpers have one, but on top of that the fbcon code itself also has one. We
262 need to make sure that they stop fighting over each another.
263
264* ``drm_can_sleep()`` is a mess. It hides real bugs in normal operations and
265 isn't a full solution for panic paths. We need to make sure that it only
266 returns true if there's a panic going on for real, and fix up all the
267 fallout.
268
269* The panic handler must never sleep, which also means it can't ever
270 ``mutex_lock()``. Also it can't grab any other lock unconditionally, not
271 even spinlocks (because NMI and hardirq can panic too). We need to either
272 make sure to not call such paths, or trylock everything. Really tricky.
273
274* For the above locking troubles reasons it's pretty much impossible to
275 attempt a synchronous modeset from panic handlers. The only thing we could
276 try to achive is an atomic ``set_base`` of the primary plane, and hope that
277 it shows up. Everything else probably needs to be delayed to some worker or
278 something else which happens later on. Otherwise it just kills the box
279 harder, prevent the panic from going out on e.g. netconsole.
280
281* There's also proposal for a simplied DRM console instead of the full-blown
282 fbcon and DRM fbdev emulation. Any kind of panic handling tricks should
283 obviously work for both console, in case we ever get kmslog merged.
284
285Contact: Daniel Vetter
286
Daniel Vetter0cad7f72017-03-22 21:54:01 +0100287Clean up the debugfs support
288----------------------------
289
290There's a bunch of issues with it:
291
292- The drm_info_list ->show() function doesn't even bother to cast to the drm
293 structure for you. This is lazy.
294
295- We probably want to have some support for debugfs files on crtc/connectors and
296 maybe other kms objects directly in core. There's even drm_print support in
297 the funcs for these objects to dump kms state, so it's all there. And then the
298 ->show() functions should obviously give you a pointer to the right object.
299
300- The drm_info_list stuff is centered on drm_minor instead of drm_device. For
301 anything we want to print drm_device (or maybe drm_file) is the right thing.
302
303- The drm_driver->debugfs_init hooks we have is just an artifact of the old
304 midlayered load sequence. DRM debugfs should work more like sysfs, where you
305 can create properties/files for an object anytime you want, and the core
306 takes care of publishing/unpuplishing all the files at register/unregister
307 time. Drivers shouldn't need to worry about these technicalities, and fixing
308 this (together with the drm_minor->drm_device move) would allow us to remove
309 debugfs_init.
310
311Contact: Daniel Vetter
312
Thierry Reding0e70dad2017-02-07 18:51:13 +0100313Better Testing
314==============
315
316Enable trinity for DRM
317----------------------
318
319And fix up the fallout. Should be really interesting ...
320
321Make KMS tests in i-g-t generic
322-------------------------------
323
324The i915 driver team maintains an extensive testsuite for the i915 DRM driver,
325including tons of testcases for corner-cases in the modesetting API. It would
326be awesome if those tests (at least the ones not relying on Intel-specific GEM
327features) could be made to run on any KMS driver.
328
329Basic work to run i-g-t tests on non-i915 is done, what's now missing is mass-
330converting things over. For modeset tests we also first need a bit of
331infrastructure to use dumb buffers for untiled buffers, to be able to run all
332the non-i915 specific modeset tests.
333
334Contact: Daniel Vetter
335
336Create a virtual KMS driver for testing (vkms)
337----------------------------------------------
338
339With all the latest helpers it should be fairly simple to create a virtual KMS
340driver useful for testing, or for running X or similar on headless machines
341(to be able to still use the GPU). This would be similar to vgem, but aimed at
342the modeset side.
343
344Once the basics are there there's tons of possibilities to extend it.
345
346Contact: Daniel Vetter
347
348Driver Specific
349===============
350
Daniel Vetterf217f552017-03-22 09:36:10 +0100351tinydrm
352-------
353
354Tinydrm is the helper driver for really simple fb drivers. The goal is to make
355those drivers as simple as possible, so lots of room for refactoring:
356
357- backlight helpers, probably best to put them into a new drm_backlight.c.
358 This is because drivers/video is de-facto unmaintained. We could also
359 move drivers/video/backlight to drivers/gpu/backlight and take it all
360 over within drm-misc, but that's more work.
361
362- spi helpers, probably best put into spi core/helper code. Thierry said
363 the spi maintainer is fast&reactive, so shouldn't be a big issue.
364
365- extract the mipi-dbi helper (well, the non-tinydrm specific parts at
366 least) into a separate helper, like we have for mipi-dsi already. Or follow
367 one of the ideas for having a shared dsi/dbi helper, abstracting away the
368 transport details more.
369
370- tinydrm_lastclose could be drm_fb_helper_lastclose. Only thing we need
371 for that is to store the drm_fb_helper pointer somewhere in
372 drm_device->mode_config. And then we could roll that out to all the
373 drivers.
374
375- tinydrm_gem_cma_prime_import_sg_table should probably go into the cma
376 helpers, as a _vmapped variant (since not every driver needs the vmap).
377 And tinydrm_gem_cma_free_object could the be merged into
378 drm_gem_cma_free_object().
379
380- tinydrm_fb_create we could move into drm_simple_pipe, only need to add
381 the fb_create hook to drm_simple_pipe_funcs, which would again simplify a
382 bunch of things (since it gives you a one-stop vfunc for simple drivers).
383
384- Quick aside: The unregister devm stuff is kinda getting the lifetimes of
385 a drm_device wrong. Doesn't matter, since everyone else gets it wrong
386 too :-)
387
388- With the fbdev pointer in dev->mode_config we could also make
389 suspend/resume helpers entirely generic, at least if we add a
390 dev->mode_config.suspend_state. We could even provide a generic pm_ops
391 structure with those.
392
393- also rework the drm_framebuffer_funcs->dirty hook wire-up, see above.
394
395Contact: Noralf Trønnes, Daniel Vetter
396
Thierry Reding0e70dad2017-02-07 18:51:13 +0100397Outside DRM
398===========