[vlc-devel] [PATCH 08/13] player: add the timer API

[Remi Denis-Courmont]

Le 2019-08-22 21:57, Remi Denis-Courmont a écrit :
> Le 2019-08-22 19:02, Romain Vimont a écrit :
>> On Thu, Aug 22, 2019 at 06:43:37PM +0300, Rémi Denis-Courmont wrote:
>>> Le torstaina 22. elokuuta 2019, 18.25.11 EEST Romain Vimont a écrit :
>>> > In that case, it should probably use the SOURCE timer, and use a local
>>> > thread to do stuff at the exact time it wants. (REGULAR is just an
>>> > helper for regular updates).
>>> 
>>> I don't see the use case for regular.
>> 
>> Mainly to update a continuous UI slider.
> 
> I've yet to see a display technology doing away with discrete pixels.

(There is a corner case whereby the input is very short relative to the 
pixel width of the slider, such that a pixel on the slider is shorter 
than the display refresh interval of the UI. But even then, the ideal 
behaviour is to query/interpolate the play time once per display refresh 
("VBLANK") - not based on the RTC. So I still don't see a use for 
polling timer. A much simpler behaviour is to just cap to minimum 
threshold with source-based timer.)

-- 
Rémi Denis-Courmont