Difference between revisions of "Hacker Guide/Input"

From VideoLAN Wiki
Jump to navigation Jump to search
(Use Template:Note and Template:Warning. Better?)
 
(17 intermediate revisions by 6 users not shown)
Line 1: Line 1:
=The complex multi-layer input=
+
{{Back to|Hacker Guide}}
 +
==The complex multi-layer input==
  
 
The idea behind the input module is to treat packets, without knowing at all what is in it. It only takes a packet, reads its ID, and delivers it to the decoder at the right time indicated in the packet header (SCR and PCR fields in MPEG). All the basic browsing operations are implemented without peeking at the content of the elementary stream.
 
The idea behind the input module is to treat packets, without knowing at all what is in it. It only takes a packet, reads its ID, and delivers it to the decoder at the right time indicated in the packet header (SCR and PCR fields in MPEG). All the basic browsing operations are implemented without peeking at the content of the elementary stream.
  
Thus it remains very generic. This also means you can't do stuff like "play 3 frames now" or "move forward 10 frames" or "play as fast as you can but play all frames". It doesn't even know what a "frame" is. There is no privileged elementary stream, like the video one could be (for the simple reason that, according to MPEG, a stream may contain several video ES).
+
Thus it remains very generic. This also means you can't do stuff like "play 3 frames now" or "move forward 10 frames" or "play as fast as you can but play all frames". It doesn't even know what a "frame" is. There is no privileged elementary stream, like the video one could be (for the simple reason that, according to MPEG, a stream may contain several video {{ES}}).
  
==What happens to a file==
+
===What happens to a file===
  
An input thread is spawned for every file read. Indeed, input structures and decoders need to be reinitialized because the specificities of the stream may be different. input_CreateThread is called by the interface thread (playlist module).
+
An input thread is spawned for every file read. Indeed, input structures and decoders need to be reinitialized because the specificities of the stream may be different. <code>input_CreateThread</code> is called by the interface thread (playlist module).
  
At first, an input plug-in capable of reading the plugin item is looked for [this is inappropriate : we should first open the socket, and then probe the beginning of the stream to see which plug-in can read it]. The socket is opened by either input_FileOpen, input_NetworkOpen, or input_DvdOpen. This function sets two very important parameters : b_pace_control and b_seekable (see next section).
+
At first, vlc{{Check|for=Is this up-to-date? See [[{{TALKPAGENAME}}|talk]]}} looks for an access or <code>access_demux</code> module to open the stream, by calling the function <code>module->pf_activate</code>. If it succeeds, the module thread is started, and vlc can start looking for a demux module to demultiplex the output of the access module.
  
===Note===
+
===Stream Management===
We could use so-called "access" plugins for this whole mechanism of opening the input socket. This is not the case because we thought only those three methods were to be used at present, and if we need others we can still build them in.
 
  
Now we can launch the input plugin's pf_init function, and an endless loop doing pf_read and pf_demux. The plugin is responsible for initializing the stream structures (p_input->stream), managing packet buffers, reading packets and demultiplex them. But in most tasks it will be assisted by functions from the advanced input API (c). That is what we will study in the coming sections !
+
The function which has opened the input socket must specify two properties about it:
  
==Stream Management==
+
<var>p_input->stream.b_pace_control</var>: Whether or not the stream can be read at our own pace (determined by the stream's frequency and the host computer's system clock). For instance a file or a pipe (including TCP/IP connections) can be read at our pace, if we don't read fast enough, the other end of the pipe will just block on a <code>write()</code> operation. On the contrary, UDP streaming (such as the one used by VideoLAN Server) is done at the server's pace, and if we don't read fast enough, packets will simply be lost when the kernel's buffer is full. So the drift introduced by the server's clock must be regularly compensated. This property controls the clock management, and whether or not fast forward and slow motion can be done.
  
The function which has opened the input socket must specify two properties about it :
+
Subtleties in the clock management: With a UDP socket and a distant server, the drift is not negligible because on a whole movie it can account for seconds if one of the clocks is slightly borked. That means that presentation dates given by the input thread may be out of sync, to some extent, with the frequencies given in every Elementary Stream. Output threads (and, anecdotally, decoder threads) must deal with it.
  
p_input->stream.b_pace_control : Whether or not the stream can be read at our own pace (determined by the stream's frequency and the host computer's system clock). For instance a file or a pipe (including TCP/IP connections) can be read at our pace, if we don't read fast enough, the other end of the pipe will just block on a write() operation. On the contrary, UDP streaming (such as the one used by VideoLAN Server) is done at the server's pace, and if we don't read fast enough, packets will simply be lost when the kernel's buffer is full. So the drift introduced by the server's clock must be regularly compensated. This property controls the clock management, and whether or not fast forward and slow motion can be done.
+
The same kind of problems may happen when reading from a device (like video4linux's <code>/dev/video</code> ) connected for instance to a video encoding board. There is no way we could differentiate it from a simple <code>cat foo.mpg | vlc - </code>, which doesn't imply any clock problem. So the Right Thing<span title="Using trademark sign as a joke">&trade;</span> would be to ask the user about the value of <var>b_pace_control</var> , but nobody would understand what it means (you are not the dumbest person on Earth, and obviously you have read this paragraph several times to understand it <span title="Smile">:-)</span>. Anyway, the drift should be negligible since the board would share the same clock as the CPU, so we chose to neglect it.
  
Subtilities in the clock management : With a UDP socket and a distant server, the drift is not negligible because on a whole movie it can account for seconds if one of the clocks is slightly fucked up. That means that presentation dates given by the input thread may be out of sync, to some extent, with the frequencies given in every Elementary Stream. Output threads (and, anecdotically, decoder threads) must deal with it.
+
<var>p_input->stream.b_seekable</var>: Whether we can do <code>lseek()</code> calls on the file descriptor or not. Basically whether we can jump anywhere in the stream (and thus display a scrollbar) or if we can only read one byte after the other. This has less impact on the stream management than the previous item, but it is not redundant, because for instance <code>cat foo.mpg | vlc -</code> is <code><var>b_pace_control</var> = 1</code> but <code><var>b_seekable</var> = 0</code>. On the contrary, you cannot have <code><var>b_pace_control</var> = 0</code> along with <code><var>b_seekable</var> = 1</code>. If a stream is seekable, <var>p_input->stream.p_selected_area->i_size</var> must be set (in an arbitrary unit, for instance bytes, but it must be the same as <var>p_input->i_tell</var> which indicates the byte we are currently reading from the stream).
  
The same kind of problems may happen when reading from a device (like video4linux's /dev/video ) connected for instance to a video encoding board. There is no way we could differentiate it from a simple cat foo.mpg | vlc - , which doesn't imply any clock problem. So the Right Thing (c) would be to ask the user about the value of b_pace_control , but nobody would understand what it means (you are not the dumbest person on Earth, and obviously you have read this paragraph several times to understand it :-). Anyway, the drift should be negligible since the board would share the same clock as the CPU, so we chose to neglect it.
+
====Offset to time conversions====
 +
Functions managing clocks are located in {{VLCSourceFile|src/input/input_clock.c}}. All we know about a file is its start offset and its end offset (<var>p_input->stream.p_selected_area->i_size</var>), currently in bytes, but it could be plugin-dependent. So how the hell can we display in the interface a time in seconds? Well, we cheat. [[PS]] streams have a <var>mux_rate</var> property which indicates how many bytes we should read in a second. This is subject to change at any time, but practically it is a constant for all streams we know. So we use it to determine time offsets.
  
p_input->stream.b_seekable : Whether we can do lseek() calls on the file descriptor or not. Basically whether we can jump anywhere in the stream (and thus display a scrollbar) or if we can only read one byte after the other. This has less impact on the stream management than the previous item, but it is not redundant, because for instance cat foo.mpg | vlc - is b_pace_control = 1 but b_seekable = 0. On the contrary, you cannot have b_pace_control = 0 along with b_seekable = 1. If a stream is seekable, p_input->stream.p_selected_area->i_size must be set (in an arbitrary unit, for instance bytes, but it must be the same as p_input->i_tell which indicates the byte we are currently reading from the stream).
+
===Structures exported to the interface===
  
===Offset to time conversions===
+
Let's focus on the communication {{API}} between the input module and the interface. The most important files are {{VLCSourceFile|include/vlc_input.h}}, which defines the <code>input_thread_t</code> structure, {{VLCSourceFile|include/input_internal.h}} for the stream descriptor structure (between access and demux) <code>stream__t</code>, and {{VLCSourceFile|include/vlc_esout.h}} for the ES descriptors (you can view it as a tree).
Functions managing clocks are located in src/input/input_clock.c. All we know about a file is its start offset and its end offset (p_input->stream.p_selected_area->i_size), currently in bytes, but it could be plugin-dependant. So how the hell can we display in the interface a time in seconds ? Well, we cheat. PS streams have a mux_rate property which indicates how many bytes we should read in a second. This is subject to change at any time, but practically it is a constant for all streams we know. So we use it to determine time offsets.
 
  
==Structures exported to the interface==
+
First, note that the <code>input_thread_t</code> structure features two <code>void *</code> pointers, <code>p_method_data</code> and <code>p_plugin_data</code>, which you can respectively use for buffer management data and plugin data.
  
Let's focus on the communication API between the input module and the interface. The most important file is include/input_ext-intf.h, which you should know almost by heart. This file defines the input_thread_t structure, the stream_descriptor_t and all programs and ES descriptors included (you can view it as a tree).
+
Second, a stream description is stored in a tree featuring program descriptors, which themselves contain several elementary stream descriptors. For those of you who don't know all MPEG concepts, an elementary stream (ES), is a continuous stream of video or (exclusive) audio data, directly readable by a decoder, without decapsulation.
  
First, note that the input_thread_t structure features two void * pointers, p_method_data and p_plugin_data, which you can respectivly use for buffer management data and plugin data.
+
This tree structure is illustrated by the following figure, where one stream holds two programs. In most cases there will only be one program (to my knowledge only {{TS}} streams can carry several programs, for instance a movie and a football game at the same time&mdash;this is adequate for satellite and cable broadcasting).
  
Second, a stream description is stored in a tree featuring program descriptors, which themselves contain several elementary stream descriptors. For those of you who don't know all MPEG concepts, an elementary stream, aka ES, is a continuous stream of video or (exclusive) audio data, directly readable by a decoder, without decapsulation.
+
{{Warning|
 +
For all modifications and accesses to the <code>p_input->stream structure</code>, you must hold the <code>p_input->stream.stream_lock</code>.
  
This tree structure is illustrated by the following figure, where one stream holds two programs. In most cases there will only be one program (to my knowledge only TS streams can carry several programs, for instance a movie and a football game at the same time - this is adequate for satellite and cable broadcasting).
+
ES are described by an ID (the ID the appropriate demultiplexer will look for), a <var>stream_id</var> (the real MPEG stream ID), a type (defined in ISO/IEC 13818-1 table 2-29) and a literal description. It also contains context information for the demultiplexer, and decoder information <code>p_decoder_fifo</code> we will talk about in the next chapter. If the stream you want to read is not an MPEG system layer (for instance AVI or RTP), a specific demultiplexer will have to be written. In that case, if you need to carry additional information, you can use <code>void * p_demux_data</code> at your convenience. It will be automatically freed on shutdown.
 +
}}
  
 +
====Why ID and not use the plain MPEG stream_id ?====
  
 +
When a packet (be it a {{TS}} packet, [[PS]] packet, or whatever) is read, the appropriate demultiplexer will look for an ID in the packet, find the relevant elementary stream, and demultiplex it if the user selected it. In case of TS packets, the only information we have is the {{ES}} {{PID}}, so the reference ID we keep is the PID. PID don't exist in PS streams, so we have to invent one. It is of course based on the <var>stream_id</var> found in all PS packets, but it is not enough, since private streams (i.e., AC3, SPU and LPCM) all share the same <var>stream_id</var> (0xBD). In that case the first byte of the PES payload is a stream private ID, so we combine this with the <var>stream_id</var> to get our ID (if you did not understand everything, it isn't very important&mdash;just remember we used our brains before writing the code :-).
  
===Warning===
+
The stream, program and ES structures are filled in by the plugin's <code>pf_init()</code> using functions in {{VLCSourceFile|src/input/input_programs.c}}, but are subject to change at any time. The DVD plugin parses .ifo files to know which ES are in the stream; the TS plugin reads the PAT and PMT structures in the stream; the PS plugin can either parse the PSM structure (but it is rarely present), or build the tree "on the fly" by pre-parsing the first megabyte of data.
  
For all modifications and accesses to the p_input->stream structure, you must hold the p_input->stream.stream_lock.
+
{{Warning|
 +
In most cases we need to pre-parse (that is, read the first MB of data, and go back to the beginning) a PS stream, because the PSM (Program Stream Map) structure is almost never present. This is not appropriate, though, but we don't have the choice. A few problems will arise. First, non-seekable streams cannot be pre-parsed, so the {{ES}} tree will be built on the fly. Second, if a new elementary stream starts after the first MB of data (for instance a subtitle track won't show up during the credits), it won't appear in the menu before we encounter the first packet. We cannot pre-parse the entire stream because it would take hours (even without decoding it).
  
ES are described by an ID (the ID the appropriate demultiplexer will look for), a stream_id (the real MPEG stream ID), a type (defined in ISO/IEC 13818-1 table 2-29) and a litteral description. It also contains context information for the demultiplexer, and decoder information p_decoder_fifo we will talk about in the next chapter. If the stream you want to read is not an MPEG system layer (for instance AVI or RTP), a specific demultiplexer will have to be written. In that case, if you need to carry additional information, you can use void * p_demux_data at your convenience. It will be automatically freed on shutdown.
+
It is currently the responsibility of the input plugin to spawn the necessary decoder threads. It must call <code>input_SelectES ( input_thread_t * p_input, es_descriptor_t * p_es )</code> on the selected ES.
  
===Why ID and not use the plain MPEG stream_id ?===
+
The stream descriptor also contains a list of areas. Areas are logical discontinuities in the stream, for instance chapters and titles in a DVD. There is only one area in {{TS}} and [[PS]] streams, though we could use them when the PSM (or PAT/PMT) version changes. The goal is that when you seek to another area, the input plugin loads the new stream descriptor tree (otherwise the selected ID may be wrong).
 +
}}
  
When a packet (be it a TS packet, PS packet, or whatever) is read, the appropriate demultiplexer will look for an ID in the packet, find the relevant elementary stream, and demultiplex it if the user selected it. In case of TS packets, the only information we have is the ES PID, so the reference ID we keep is the PID. PID don't exist in PS streams, so we have to invent one. It is of course based on the stream_id found in all PS packets, but it is not enough, since private streams (ie. AC3, SPU and LPCM) all share the same stream_id (0xBD). In that case the first byte of the PES payload is a stream private ID, so we combine this with the stream_id to get our ID (if you did not understand everything, it isn't very important - just remember we used our brains before writing the code :-).
+
===Methods used by the interface===
  
The stream, program and ES structures are filled in by the plugin's pf_init() using functions in src/input/input_programs.c, but are subject to change at any time. The DVD plugin parses .ifo files to know which ES are in the stream; the TS plugin reads the PAT and PMT structures in the stream; the PS plugin can either parse the PSM structure (but it is rarely present), or build the tree "on the fly" by pre-parsing the first megabyte of data.
+
Besides, <code>input_ext-intf.c</code> provides a few functions to control the reading of the stream:
 +
{{fn|input_SetStatus ( input_thread_t * p_input, int i_mode )|Changes the pace of reading. <var>i_mode</var> can be one of <code>INPUT_STATUS_END</code>, <code>INPUT_STATUS_PLAY</code>, <code>INPUT_STATUS_PAUSE</code>, <code>INPUT_STATUS_FASTER</code>, <code>INPUT_STATUS_SLOWER</code>.}}
  
===Warning===
+
{{Note|
 +
Internally, the pace of reading is determined by the variable <var>p_input->stream.control.i_rate</var>. The default value is <code>DEFAULT_RATE</code>. The lower the value, the faster the pace is. Rate changes are taken into account in <code>input_ClockManageRef</code>. Pause is accomplished by simply stopping the input thread (it is then awakened by a pthread signal). In that case, decoders will be stopped too. Please remember this if you do statistics on decoding times (like [https://git.videolan.org/?p{{=}}vlc.git;a{{=}}blob;f{{=}}src/video_parser/vpar_synchro.c src/video_parser/vpar_synchro.c] does). Don't call this function if <code><var>p_input->b_pace_control</var> {{=}}{{=}} 0</code>.
 +
}}
 +
{{fn|input_Seek ( input_thread_t * p_input, off_t i_position )|Changes the offset of reading. Used to jump to another place in a file. You mustn't call this function if <code><var>p_input->stream.b_seekable</var><nowiki> == 0</nowiki></code>. The position is a number (usually <code>long long</code>, depends on your libc) between <var>p_input->p_selected_area->i_start</var> and <var>p_input->p_selected_area->i_size</var> (current value is in <var>p_input->p_selected_area->i_tell</var>).}}
  
In most cases we need to pre-parse (that is, read the first MB of data, and go back to the beginning) a PS stream, because the PSM (Program Stream Map) structure is almost never present. This is not appropriate, though, but we don't have the choice. A few problems will arise. First, non-seekable streams cannot be pre-parsed, so the ES tree will be built on the fly. Second, if a new elementary stream starts after the first MB of data (for instance a subtitle track won't show up during the credits), it won't appear in the menu before we encounter the first packet. We cannot pre-parse the entire stream because it would take hours (even without decoding it).
+
{{Note|
 +
Multimedia files can be very large, especially when we read a device like <code>/dev/dvd</code>, so offsets must be 64 bits large. Under a lot of systems, like FreeBSD, <var>off_t</var> are 64 bits by default, but it is not the case under GNU libc 2.x. That is why we need to compile VLC with <code>-D_FILE_OFFSET_BITS{{=}}64 -D__USE_UNIX98</code>.
 +
}}
  
It is currently the responsibility of the input plugin to spawn the necessary decoder threads. It must call input_SelectES ( input_thread_t * p_input, es_descriptor_t * p_es ) on the selected ES.
+
====Escaping stream discontinuities====
  
The stream descriptor also contains a list of areas. Areas are logical discontinuities in the stream, for instance chapters and titles in a DVD. There is only one area in TS and PS streams, though we could use them when the PSM (or PAT/PMT) version changes. The goal is that when you seek to another area, the input plugin loads the new stream descriptor tree (otherwise the selected ID may be wrong).
+
Changing the reading position at random can result in a messed up stream, and the decoder which reads it may segfault. To avoid this, we send several <code>NULL</code> packets (i.e., packets containing nothing but zeros) before changing the reading position. Indeed, under most video and audio formats, a long enough stream of zeros is an escape sequence and the decoder can exit cleanly.
 +
{{fn|input_OffsetToTime ( input_thread_t * p_input, char * psz_buffer, off_t i_offset )|Converts an offset value to a time coordinate (used for interface display). [currently it is broken with MPEG-2 files]}}
 +
{{fn|input_ChangeES ( input_thread_t * p_input, es_descriptor_t * p_es, u8 i_cat )|Unselects all elementary streams of type <var>i_cat</var> and selects <code>p_es</code>. Used for instance to change language or subtitle track.}}
 +
{{fn|input_ToggleES ( input_thread_t * p_input, es_descriptor_t * p_es, boolean_t b_select )|This is the clean way to select or unselect a particular elementary stream from the interface.}}
  
==Methods used by the interface==
+
===Buffers management===
  
Besides, input_ext-intf.c provides a few functions to control the reading of the stream :
+
Input plugins must implement a way to allocate and deallocate packets (whose structures will be described in the next chapter). We basically need four functions:
 +
{{fn|pf_new_packet ( void * p_private_data, size_t i_buffer_size )|Allocates a new <var>data_packet_t</var> and an associated buffer of <var>i_buffer_size</var> bytes.}}
 +
{{fn|pf_new_pes ( void * p_private_data )|Allocates a new <var>pes_packet_t</var>.}}
 +
{{fn|pf_delete_packet ( void * p_private_data, data_packet_t * p_data )|Deallocates <code>p_data</code>}}
 +
{{fn|pf_delete_pes ( void * p_private_data, pes_packet_t * p_pes )|Deallocates <code>p_pes</code>.}}
  
*input_SetStatus ( input_thread_t * p_input, int i_mode ) : Changes the pace of reading. i_mode can be one of INPUT_STATUS_END, INPUT_STATUS_PLAY, INPUT_STATUS_PAUSE, INPUT_STATUS_FASTER, INPUT_STATUS_SLOWER.
+
All functions are given <code>p_input->p_method_data</code> as first parameter, so that you can keep records of allocated and freed packets.
  
===Note===
+
====Buffers management strategies====
Internally, the pace of reading is determined by the variable p_input->stream.control.i_rate. The default value is DEFAULT_RATE. The lower the value, the faster the pace is. Rate changes are taken into account in input_ClockManageRef. Pause is accomplished by simply stopping the input thread (it is then awaken by a pthread signal). In that case, decoders will be stopped too. Please remember this if you do statistics on decoding times (like src/video_parser/vpar_synchro.c does). Don't call this function if p_input->b_pace_control == 0.
 
  
*input_Seek ( input_thread_t * p_input, off_t i_position ) : Changes the offset of reading. Used to jump to another place in a file. You mustn't call this function if p_input->stream.b_seekable == 0. The position is a number (usually long long, depends on your libc) between p_input->p_selected_area->i_start and p_input->p_selected_area->i_size (current value is in p_input->p_selected_area->i_tell).
+
Buffers management can be done in three ways:
  
===Note===
+
#Traditional libc allocation: For a long time we have used in the [[PS]] plugin <code>malloc()</code> and <code>free()</code> every time we needed to allocate or deallocate a packet. Contrary to a popular belief, it is not that slow.
Multimedia files can be very large, especially when we read a device like /dev/dvd, so offsets must be 64 bits large. Under a lot of systems, like FreeBSD, off_t are 64 bits by default, but it is not the case under GNU libc 2.x. That is why we need to compile VLC with -D_FILE_OFFSET_BITS=64 -D__USE_UNIX98.
+
#Netlist: In this method we allocate a very big buffer at the beginning of the problem, and then manage a list of pointers to free packets (the "netlist"). This only works well if all packets have the same size. It is used for <code>long</code> for the {{TS}} input. The DVD plugin also uses it, but adds a refcount flag because buffers (2048 bytes) can be shared among several packets. It is now deprecated and won't be documented.
 +
#Buffer cache: We are currently developing a new method. It is already in use in the PS plugin. The idea is to call <code>malloc()</code> and <code>free()</code> to absorb stream irregularities, but re-use all allocated buffers via a cache system. We are extending it so that it can be used in any plugin without performance hit, but it is currently left undocumented.
  
===Escaping stream discontinuities===
+
===Demultiplexing the stream===
  
Changing the reading position at random can result in a messed up stream, and the decoder which reads it may segfault. To avoid this, we send several NULL packets (ie. packets containing nothing but zeros) before changing the reading position. Indeed, under most video and audio formats, a long enough stream of zeros is an escape sequence and the decoder can exit cleanly.
+
After being read by <code>pf_read</code>, your plugin must give a function pointer to the demultiplexer function. The demultiplexer is responsible for parsing the packet, gathering PES, and feeding decoders.
  
*input_OffsetToTime ( input_thread_t * p_input, char * psz_buffer, off_t i_offset ) : Converts an offset value to a time coordinate (used for interface display). [currently it is broken with MPEG-2 files]
+
Demultiplexers for standard MPEG structures ([[PS]] and {{TS}}) have already been written. You just need to indicate <code>input_DemuxPS</code> and <code>input_DemuxTS</code> for <var>pf_demux</var>. You can also write your own demultiplexer.
*input_ChangeES ( input_thread_t * p_input, es_descriptor_t * p_es, u8 i_cat ) : Unselects all elementary streams of type i_cat and selects p_es. Used for instance to change language or subtitle track.
 
*input_ToggleES ( input_thread_t * p_input, es_descriptor_t * p_es, boolean_t b_select ) : This is the clean way to select or unselect a particular elementary stream from the interface.
 
  
==Buffers management==
+
It is not the purpose of this document to describe the different levels of encapsulation in an MPEG stream. Please refer to your MPEG specification for that.
 
 
Input plugins must implement a way to allocate and deallocate packets (whose structures will be described in the next chapter). We basically need four functions :
 
 
 
*pf_new_packet ( void * p_private_data, size_t i_buffer_size ) : Allocates a new data_packet_t and an associated buffer of i_buffer_size bytes.
 
*pf_new_pes ( void * p_private_data ) : Allocates a new pes_packet_t.
 
*pf_delete_packet ( void * p_private_data, data_packet_t * p_data )  : Deallocates p_data.
 
*pf_delete_pes ( void * p_private_data, pes_packet_t * p_pes ) : Deallocates p_pes.
 
 
 
All functions are given p_input->p_method_data as first parameter, so that you can keep records of allocated and freed packets.
 
  
===Buffers management strategies===
+
{{Hacker Guide}}
 
 
Buffers management can be done in three ways :
 
 
 
#Traditional libc allocation : For a long time we have used in the PS plugin malloc() and free() every time we needed to allocate or deallocate a packet. Contrary to a popular belief, it is not that slow.
 
#Netlist : In this method we allocate a very big buffer at the beginning of the problem, and then manage a list of pointers to free packets (the "netlist"). This only works well if all packets have the same size. It is used for long for the TS input. The DVD plugin also uses it, but adds a refcount flag because buffers (2048 bytes) can be shared among several packets. It is now deprecated and won't be documented.
 
#Buffer cache : We are currently developing a new method. It is already in use in the PS plugin. The idea is to call malloc() and free() to absorb stream irregularities, but re-use all allocated buffers via a cache system. We are extending it so that it can be used in any plugin without performance hit, but it is currently left undocumented.
 
 
 
==Demultiplexing the stream==
 
 
 
After being read by pf_read , your plugin must give a function pointer to the demultiplexer function. The demultiplexer is responsible for parsing the packet, gathering PES, and feeding decoders.
 
 
 
Demultiplexers for standard MPEG structures (PS and TS) have already been written. You just need to indicate input_DemuxPS and input_DemuxTS for pf_demux. You can also write your own demultiplexer.
 
 
 
It is not the purpose of this document to describe the different levels of encapsulation in an MPEG stream. Please refer to your MPEG specification for that.
 

Latest revision as of 23:48, 23 April 2019

← Back to Hacker Guide

The complex multi-layer input

The idea behind the input module is to treat packets, without knowing at all what is in it. It only takes a packet, reads its ID, and delivers it to the decoder at the right time indicated in the packet header (SCR and PCR fields in MPEG). All the basic browsing operations are implemented without peeking at the content of the elementary stream.

Thus it remains very generic. This also means you can't do stuff like "play 3 frames now" or "move forward 10 frames" or "play as fast as you can but play all frames". It doesn't even know what a "frame" is. There is no privileged elementary stream, like the video one could be (for the simple reason that, according to MPEG, a stream may contain several video ES).

What happens to a file

An input thread is spawned for every file read. Indeed, input structures and decoders need to be reinitialized because the specificities of the stream may be different. input_CreateThread is called by the interface thread (playlist module).

At first, vlc[Is this up-to-date? See talk] looks for an access or access_demux module to open the stream, by calling the function module->pf_activate. If it succeeds, the module thread is started, and vlc can start looking for a demux module to demultiplex the output of the access module.

Stream Management

The function which has opened the input socket must specify two properties about it:

p_input->stream.b_pace_control: Whether or not the stream can be read at our own pace (determined by the stream's frequency and the host computer's system clock). For instance a file or a pipe (including TCP/IP connections) can be read at our pace, if we don't read fast enough, the other end of the pipe will just block on a write() operation. On the contrary, UDP streaming (such as the one used by VideoLAN Server) is done at the server's pace, and if we don't read fast enough, packets will simply be lost when the kernel's buffer is full. So the drift introduced by the server's clock must be regularly compensated. This property controls the clock management, and whether or not fast forward and slow motion can be done.

Subtleties in the clock management: With a UDP socket and a distant server, the drift is not negligible because on a whole movie it can account for seconds if one of the clocks is slightly borked. That means that presentation dates given by the input thread may be out of sync, to some extent, with the frequencies given in every Elementary Stream. Output threads (and, anecdotally, decoder threads) must deal with it.

The same kind of problems may happen when reading from a device (like video4linux's /dev/video ) connected for instance to a video encoding board. There is no way we could differentiate it from a simple cat foo.mpg | vlc - , which doesn't imply any clock problem. So the Right Thing would be to ask the user about the value of b_pace_control , but nobody would understand what it means (you are not the dumbest person on Earth, and obviously you have read this paragraph several times to understand it :-). Anyway, the drift should be negligible since the board would share the same clock as the CPU, so we chose to neglect it.

p_input->stream.b_seekable: Whether we can do lseek() calls on the file descriptor or not. Basically whether we can jump anywhere in the stream (and thus display a scrollbar) or if we can only read one byte after the other. This has less impact on the stream management than the previous item, but it is not redundant, because for instance cat foo.mpg | vlc - is b_pace_control = 1 but b_seekable = 0. On the contrary, you cannot have b_pace_control = 0 along with b_seekable = 1. If a stream is seekable, p_input->stream.p_selected_area->i_size must be set (in an arbitrary unit, for instance bytes, but it must be the same as p_input->i_tell which indicates the byte we are currently reading from the stream).

Offset to time conversions

Functions managing clocks are located in src/input/input_clock.c. All we know about a file is its start offset and its end offset (p_input->stream.p_selected_area->i_size), currently in bytes, but it could be plugin-dependent. So how the hell can we display in the interface a time in seconds? Well, we cheat. PS streams have a mux_rate property which indicates how many bytes we should read in a second. This is subject to change at any time, but practically it is a constant for all streams we know. So we use it to determine time offsets.

Structures exported to the interface

Let's focus on the communication API between the input module and the interface. The most important files are include/vlc_input.h, which defines the input_thread_t structure, include/input_internal.h for the stream descriptor structure (between access and demux) stream__t, and include/vlc_esout.h for the ES descriptors (you can view it as a tree).

First, note that the input_thread_t structure features two void * pointers, p_method_data and p_plugin_data, which you can respectively use for buffer management data and plugin data.

Second, a stream description is stored in a tree featuring program descriptors, which themselves contain several elementary stream descriptors. For those of you who don't know all MPEG concepts, an elementary stream (ES), is a continuous stream of video or (exclusive) audio data, directly readable by a decoder, without decapsulation.

This tree structure is illustrated by the following figure, where one stream holds two programs. In most cases there will only be one program (to my knowledge only TS streams can carry several programs, for instance a movie and a football game at the same time—this is adequate for satellite and cable broadcasting).

Caution

For all modifications and accesses to the p_input->stream structure, you must hold the p_input->stream.stream_lock.

ES are described by an ID (the ID the appropriate demultiplexer will look for), a stream_id (the real MPEG stream ID), a type (defined in ISO/IEC 13818-1 table 2-29) and a literal description. It also contains context information for the demultiplexer, and decoder information p_decoder_fifo we will talk about in the next chapter. If the stream you want to read is not an MPEG system layer (for instance AVI or RTP), a specific demultiplexer will have to be written. In that case, if you need to carry additional information, you can use void * p_demux_data at your convenience. It will be automatically freed on shutdown.

Why ID and not use the plain MPEG stream_id ?

When a packet (be it a TS packet, PS packet, or whatever) is read, the appropriate demultiplexer will look for an ID in the packet, find the relevant elementary stream, and demultiplex it if the user selected it. In case of TS packets, the only information we have is the ES PID, so the reference ID we keep is the PID. PID don't exist in PS streams, so we have to invent one. It is of course based on the stream_id found in all PS packets, but it is not enough, since private streams (i.e., AC3, SPU and LPCM) all share the same stream_id (0xBD). In that case the first byte of the PES payload is a stream private ID, so we combine this with the stream_id to get our ID (if you did not understand everything, it isn't very important—just remember we used our brains before writing the code :-).

The stream, program and ES structures are filled in by the plugin's pf_init() using functions in src/input/input_programs.c, but are subject to change at any time. The DVD plugin parses .ifo files to know which ES are in the stream; the TS plugin reads the PAT and PMT structures in the stream; the PS plugin can either parse the PSM structure (but it is rarely present), or build the tree "on the fly" by pre-parsing the first megabyte of data.

Caution

In most cases we need to pre-parse (that is, read the first MB of data, and go back to the beginning) a PS stream, because the PSM (Program Stream Map) structure is almost never present. This is not appropriate, though, but we don't have the choice. A few problems will arise. First, non-seekable streams cannot be pre-parsed, so the ES tree will be built on the fly. Second, if a new elementary stream starts after the first MB of data (for instance a subtitle track won't show up during the credits), it won't appear in the menu before we encounter the first packet. We cannot pre-parse the entire stream because it would take hours (even without decoding it).

It is currently the responsibility of the input plugin to spawn the necessary decoder threads. It must call input_SelectES ( input_thread_t * p_input, es_descriptor_t * p_es ) on the selected ES.

The stream descriptor also contains a list of areas. Areas are logical discontinuities in the stream, for instance chapters and titles in a DVD. There is only one area in TS and PS streams, though we could use them when the PSM (or PAT/PMT) version changes. The goal is that when you seek to another area, the input plugin loads the new stream descriptor tree (otherwise the selected ID may be wrong).

Methods used by the interface

Besides, input_ext-intf.c provides a few functions to control the reading of the stream:

input_SetStatus ( input_thread_t * p_input, int i_mode )
Changes the pace of reading. i_mode can be one of INPUT_STATUS_END, INPUT_STATUS_PLAY, INPUT_STATUS_PAUSE, INPUT_STATUS_FASTER, INPUT_STATUS_SLOWER.
Note

Internally, the pace of reading is determined by the variable p_input->stream.control.i_rate. The default value is DEFAULT_RATE. The lower the value, the faster the pace is. Rate changes are taken into account in input_ClockManageRef. Pause is accomplished by simply stopping the input thread (it is then awakened by a pthread signal). In that case, decoders will be stopped too. Please remember this if you do statistics on decoding times (like src/video_parser/vpar_synchro.c does). Don't call this function if p_input->b_pace_control == 0.

input_Seek ( input_thread_t * p_input, off_t i_position )
Changes the offset of reading. Used to jump to another place in a file. You mustn't call this function if p_input->stream.b_seekable == 0. The position is a number (usually long long, depends on your libc) between p_input->p_selected_area->i_start and p_input->p_selected_area->i_size (current value is in p_input->p_selected_area->i_tell).
Note

Multimedia files can be very large, especially when we read a device like /dev/dvd, so offsets must be 64 bits large. Under a lot of systems, like FreeBSD, off_t are 64 bits by default, but it is not the case under GNU libc 2.x. That is why we need to compile VLC with -D_FILE_OFFSET_BITS=64 -D__USE_UNIX98.

Escaping stream discontinuities

Changing the reading position at random can result in a messed up stream, and the decoder which reads it may segfault. To avoid this, we send several NULL packets (i.e., packets containing nothing but zeros) before changing the reading position. Indeed, under most video and audio formats, a long enough stream of zeros is an escape sequence and the decoder can exit cleanly.

input_OffsetToTime ( input_thread_t * p_input, char * psz_buffer, off_t i_offset )
Converts an offset value to a time coordinate (used for interface display). [currently it is broken with MPEG-2 files]
input_ChangeES ( input_thread_t * p_input, es_descriptor_t * p_es, u8 i_cat )
Unselects all elementary streams of type i_cat and selects p_es. Used for instance to change language or subtitle track.
input_ToggleES ( input_thread_t * p_input, es_descriptor_t * p_es, boolean_t b_select )
This is the clean way to select or unselect a particular elementary stream from the interface.

Buffers management

Input plugins must implement a way to allocate and deallocate packets (whose structures will be described in the next chapter). We basically need four functions:

pf_new_packet ( void * p_private_data, size_t i_buffer_size )
Allocates a new data_packet_t and an associated buffer of i_buffer_size bytes.
pf_new_pes ( void * p_private_data )
Allocates a new pes_packet_t.
pf_delete_packet ( void * p_private_data, data_packet_t * p_data )
Deallocates p_data
pf_delete_pes ( void * p_private_data, pes_packet_t * p_pes )
Deallocates p_pes.

All functions are given p_input->p_method_data as first parameter, so that you can keep records of allocated and freed packets.

Buffers management strategies

Buffers management can be done in three ways:

  1. Traditional libc allocation: For a long time we have used in the PS plugin malloc() and free() every time we needed to allocate or deallocate a packet. Contrary to a popular belief, it is not that slow.
  2. Netlist: In this method we allocate a very big buffer at the beginning of the problem, and then manage a list of pointers to free packets (the "netlist"). This only works well if all packets have the same size. It is used for long for the TS input. The DVD plugin also uses it, but adds a refcount flag because buffers (2048 bytes) can be shared among several packets. It is now deprecated and won't be documented.
  3. Buffer cache: We are currently developing a new method. It is already in use in the PS plugin. The idea is to call malloc() and free() to absorb stream irregularities, but re-use all allocated buffers via a cache system. We are extending it so that it can be used in any plugin without performance hit, but it is currently left undocumented.

Demultiplexing the stream

After being read by pf_read, your plugin must give a function pointer to the demultiplexer function. The demultiplexer is responsible for parsing the packet, gathering PES, and feeding decoders.

Demultiplexers for standard MPEG structures (PS and TS) have already been written. You just need to indicate input_DemuxPS and input_DemuxTS for pf_demux. You can also write your own demultiplexer.

It is not the purpose of this document to describe the different levels of encapsulation in an MPEG stream. Please refer to your MPEG specification for that.

This page is part of official VLC media player Documentation (User GuideStreaming HowToHacker GuideModules)
Please read the Documentation Editing Guidelines before you edit the documentation
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.