xref: /dpdk/doc/guides/prog_guide/env_abstraction_layer.rst (revision d629b7b5fe812f0040b83d27d2ada33b003aa918)
15630257fSFerruh Yigit..  SPDX-License-Identifier: BSD-3-Clause
25630257fSFerruh Yigit    Copyright(c) 2010-2014 Intel Corporation.
3fc1f2750SBernard Iremonger
4fc1f2750SBernard Iremonger.. _Environment_Abstraction_Layer:
5fc1f2750SBernard Iremonger
6fc1f2750SBernard IremongerEnvironment Abstraction Layer
7fc1f2750SBernard Iremonger=============================
8fc1f2750SBernard Iremonger
9fc1f2750SBernard IremongerThe Environment Abstraction Layer (EAL) is responsible for gaining access to low-level resources such as hardware and memory space.
10fc1f2750SBernard IremongerIt provides a generic interface that hides the environment specifics from the applications and libraries.
11fc1f2750SBernard IremongerIt is the responsibility of the initialization routine to decide how to allocate these resources
12e3e363a2SThomas Monjalon(that is, memory space, devices, timers, consoles, and so on).
13fc1f2750SBernard Iremonger
14fc1f2750SBernard IremongerTypical services expected from the EAL are:
15fc1f2750SBernard Iremonger
1648624fd9SSiobhan Butler*   DPDK Loading and Launching:
1748624fd9SSiobhan Butler    The DPDK and its application are linked as a single application and must be loaded by some means.
18fc1f2750SBernard Iremonger
19fc1f2750SBernard Iremonger*   Core Affinity/Assignment Procedures:
20fc1f2750SBernard Iremonger    The EAL provides mechanisms for assigning execution units to specific cores as well as creating execution instances.
21fc1f2750SBernard Iremonger
22fc1f2750SBernard Iremonger*   System Memory Reservation:
23fc1f2750SBernard Iremonger    The EAL facilitates the reservation of different memory zones, for example, physical memory areas for device interactions.
24fc1f2750SBernard Iremonger
25fc1f2750SBernard Iremonger*   Trace and Debug Functions: Logs, dump_stack, panic and so on.
26fc1f2750SBernard Iremonger
27fc1f2750SBernard Iremonger*   Utility Functions: Spinlocks and atomic counters that are not provided in libc.
28fc1f2750SBernard Iremonger
29fc1f2750SBernard Iremonger*   CPU Feature Identification: Determine at runtime if a particular feature, for example, Intel® AVX is supported.
30fc1f2750SBernard Iremonger    Determine if the current CPU supports the feature set that the binary was compiled for.
31fc1f2750SBernard Iremonger
32fc1f2750SBernard Iremonger*   Interrupt Handling: Interfaces to register/unregister callbacks to specific interrupt sources.
33fc1f2750SBernard Iremonger
34fc1f2750SBernard Iremonger*   Alarm Functions: Interfaces to set/remove callbacks to be run at a specific time.
35fc1f2750SBernard Iremonger
36fc1f2750SBernard IremongerEAL in a Linux-userland Execution Environment
37fc1f2750SBernard Iremonger---------------------------------------------
38fc1f2750SBernard Iremonger
3948624fd9SSiobhan ButlerIn a Linux user space environment, the DPDK application runs as a user-space application using the pthread library.
40fc1f2750SBernard Iremonger
41fc1f2750SBernard IremongerThe EAL performs physical memory allocation using mmap() in hugetlbfs (using huge page sizes to increase performance).
4248624fd9SSiobhan ButlerThis memory is exposed to DPDK service layers such as the :ref:`Mempool Library <Mempool_Library>`.
43fc1f2750SBernard Iremonger
4448624fd9SSiobhan ButlerAt this point, the DPDK services layer will be initialized, then through pthread setaffinity calls,
45fc1f2750SBernard Iremongereach execution unit will be assigned to a specific logical core to run as a user-level thread.
46fc1f2750SBernard Iremonger
47fc1f2750SBernard IremongerThe time reference is provided by the CPU Time-Stamp Counter (TSC) or by the HPET kernel API through a mmap() call.
48fc1f2750SBernard Iremonger
49fc1f2750SBernard IremongerInitialization and Core Launching
50fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
51fc1f2750SBernard Iremonger
52fc1f2750SBernard IremongerPart of the initialization is done by the start function of glibc.
53fc1f2750SBernard IremongerA check is also performed at initialization time to ensure that the micro architecture type chosen in the config file is supported by the CPU.
54fc1f2750SBernard IremongerThen, the main() function is called. The core initialization and launch is done in rte_eal_init() (see the API documentation).
55fc1f2750SBernard IremongerIt consist of calls to the pthread library (more specifically, pthread_self(), pthread_create(), and pthread_setaffinity_np()).
56fc1f2750SBernard Iremonger
57218c4e68SBruce Richardson.. _figure_linux_launch:
58fc1f2750SBernard Iremonger
594a22e6eeSJohn McNamara.. figure:: img/linuxapp_launch.*
60fc1f2750SBernard Iremonger
614a22e6eeSJohn McNamara   EAL Initialization in a Linux Application Environment
62fc1f2750SBernard Iremonger
63fc1f2750SBernard Iremonger
64fc1f2750SBernard Iremonger.. note::
65fc1f2750SBernard Iremonger
66fc1f2750SBernard Iremonger    Initialization of objects, such as memory zones, rings, memory pools, lpm tables and hash tables,
67fc1f2750SBernard Iremonger    should be done as part of the overall application initialization on the master lcore.
68fc1f2750SBernard Iremonger    The creation and initialization functions for these objects are not multi-thread safe.
69fc1f2750SBernard Iremonger    However, once initialized, the objects themselves can safely be used in multiple threads simultaneously.
70fc1f2750SBernard Iremonger
71aec9c13cSHarry van HaarenShutdown and Cleanup
72aec9c13cSHarry van Haaren~~~~~~~~~~~~~~~~~~~~
73aec9c13cSHarry van Haaren
74aec9c13cSHarry van HaarenDuring the initialization of EAL resources such as hugepage backed memory can be
75aec9c13cSHarry van Haarenallocated by core components.  The memory allocated during ``rte_eal_init()``
76aec9c13cSHarry van Haarencan be released by calling the ``rte_eal_cleanup()`` function. Refer to the
77aec9c13cSHarry van HaarenAPI documentation for details.
78aec9c13cSHarry van Haaren
79fc1f2750SBernard IremongerMulti-process Support
80fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~
81fc1f2750SBernard Iremonger
82218c4e68SBruce RichardsonThe Linux EAL allows a multi-process as well as a multi-threaded (pthread) deployment model.
83f02730abSFerruh YigitSee chapter
84fc1f2750SBernard Iremonger:ref:`Multi-process Support <Multi-process_Support>` for more details.
85fc1f2750SBernard Iremonger
86fc1f2750SBernard IremongerMemory Mapping Discovery and Memory Reservation
87fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
88fc1f2750SBernard Iremonger
89fc1f2750SBernard IremongerThe allocation of large contiguous physical memory is done using the hugetlbfs kernel filesystem.
90fc1f2750SBernard IremongerThe EAL provides an API to reserve named memory zones in this contiguous memory.
91fc1f2750SBernard IremongerThe physical address of the reserved memory for that memory zone is also returned to the user by the memory zone reservation API.
92fc1f2750SBernard Iremonger
93b3173932SAnatoly BurakovThere are two modes in which DPDK memory subsystem can operate: dynamic mode,
94b3173932SAnatoly Burakovand legacy mode. Both modes are explained below.
95b3173932SAnatoly Burakov
96fc1f2750SBernard Iremonger.. note::
97fc1f2750SBernard Iremonger
985eaef15cSThomas Monjalon    Memory reservations done using the APIs provided by rte_malloc are also backed by pages from the hugetlbfs filesystem.
99fc1f2750SBernard Iremonger
100b3173932SAnatoly Burakov+ Dynamic memory mode
101b3173932SAnatoly Burakov
102b3173932SAnatoly BurakovCurrently, this mode is only supported on Linux.
103b3173932SAnatoly Burakov
104b3173932SAnatoly BurakovIn this mode, usage of hugepages by DPDK application will grow and shrink based
105b3173932SAnatoly Burakovon application's requests. Any memory allocation through ``rte_malloc()``,
106b3173932SAnatoly Burakov``rte_memzone_reserve()`` or other methods, can potentially result in more
107b3173932SAnatoly Burakovhugepages being reserved from the system. Similarly, any memory deallocation can
108b3173932SAnatoly Burakovpotentially result in hugepages being released back to the system.
109b3173932SAnatoly Burakov
110b3173932SAnatoly BurakovMemory allocated in this mode is not guaranteed to be IOVA-contiguous. If large
111b3173932SAnatoly Burakovchunks of IOVA-contiguous are required (with "large" defined as "more than one
112b3173932SAnatoly Burakovpage"), it is recommended to either use VFIO driver for all physical devices (so
113b3173932SAnatoly Burakovthat IOVA and VA addresses can be the same, thereby bypassing physical addresses
114b3173932SAnatoly Burakoventirely), or use legacy memory mode.
115b3173932SAnatoly Burakov
116b3173932SAnatoly BurakovFor chunks of memory which must be IOVA-contiguous, it is recommended to use
117b3173932SAnatoly Burakov``rte_memzone_reserve()`` function with ``RTE_MEMZONE_IOVA_CONTIG`` flag
118b3173932SAnatoly Burakovspecified. This way, memory allocator will ensure that, whatever memory mode is
119b3173932SAnatoly Burakovin use, either reserved memory will satisfy the requirements, or the allocation
120b3173932SAnatoly Burakovwill fail.
121b3173932SAnatoly Burakov
122b3173932SAnatoly BurakovThere is no need to preallocate any memory at startup using ``-m`` or
123b3173932SAnatoly Burakov``--socket-mem`` command-line parameters, however it is still possible to do so,
124b3173932SAnatoly Burakovin which case preallocate memory will be "pinned" (i.e. will never be released
125b3173932SAnatoly Burakovby the application back to the system). It will be possible to allocate more
126b3173932SAnatoly Burakovhugepages, and deallocate those, but any preallocated pages will not be freed.
127b3173932SAnatoly BurakovIf neither ``-m`` nor ``--socket-mem`` were specified, no memory will be
128b3173932SAnatoly Burakovpreallocated, and all memory will be allocated at runtime, as needed.
129b3173932SAnatoly Burakov
130b3173932SAnatoly BurakovAnother available option to use in dynamic memory mode is
131b3173932SAnatoly Burakov``--single-file-segments`` command-line option. This option will put pages in
132b3173932SAnatoly Burakovsingle files (per memseg list), as opposed to creating a file per page. This is
133b3173932SAnatoly Burakovnormally not needed, but can be useful for use cases like userspace vhost, where
134b3173932SAnatoly Burakovthere is limited number of page file descriptors that can be passed to VirtIO.
135b3173932SAnatoly Burakov
136b3173932SAnatoly BurakovIf the application (or DPDK-internal code, such as device drivers) wishes to
137b3173932SAnatoly Burakovreceive notifications about newly allocated memory, it is possible to register
138b3173932SAnatoly Burakovfor memory event callbacks via ``rte_mem_event_callback_register()`` function.
139b3173932SAnatoly BurakovThis will call a callback function any time DPDK's memory map has changed.
140b3173932SAnatoly Burakov
141b3173932SAnatoly BurakovIf the application (or DPDK-internal code, such as device drivers) wishes to be
142b3173932SAnatoly Burakovnotified about memory allocations above specified threshold (and have a chance
143b3173932SAnatoly Burakovto deny them), allocation validator callbacks are also available via
144b3173932SAnatoly Burakov``rte_mem_alloc_validator_callback_register()`` function.
145b3173932SAnatoly Burakov
146e4348122SAnatoly BurakovA default validator callback is provided by EAL, which can be enabled with a
147e4348122SAnatoly Burakov``--socket-limit`` command-line option, for a simple way to limit maximum amount
148e4348122SAnatoly Burakovof memory that can be used by DPDK application.
149e4348122SAnatoly Burakov
150b3173932SAnatoly Burakov+ Legacy memory mode
151b3173932SAnatoly Burakov
152b3173932SAnatoly BurakovThis mode is enabled by specifying ``--legacy-mem`` command-line switch to the
153b3173932SAnatoly BurakovEAL. This switch will have no effect on FreeBSD as FreeBSD only supports
154b3173932SAnatoly Burakovlegacy mode anyway.
155b3173932SAnatoly Burakov
156b3173932SAnatoly BurakovThis mode mimics historical behavior of EAL. That is, EAL will reserve all
157b3173932SAnatoly Burakovmemory at startup, sort all memory into large IOVA-contiguous chunks, and will
158b3173932SAnatoly Burakovnot allow acquiring or releasing hugepages from the system at runtime.
159b3173932SAnatoly Burakov
160b3173932SAnatoly BurakovIf neither ``-m`` nor ``--socket-mem`` were specified, the entire available
161b3173932SAnatoly Burakovhugepage memory will be preallocated.
162b3173932SAnatoly Burakov
163476c847aSJim Harris+ Hugepage allocation matching
164476c847aSJim Harris
165476c847aSJim HarrisThis behavior is enabled by specifying the ``--match-allocations`` command-line
166476c847aSJim Harrisswitch to the EAL. This switch is Linux-only and not supported with
167476c847aSJim Harris``--legacy-mem`` nor ``--no-huge``.
168476c847aSJim Harris
169476c847aSJim HarrisSome applications using memory event callbacks may require that hugepages be
170476c847aSJim Harrisfreed exactly as they were allocated. These applications may also require
171476c847aSJim Harristhat any allocation from the malloc heap not span across allocations
172476c847aSJim Harrisassociated with two different memory event callbacks. Hugepage allocation
173476c847aSJim Harrismatching can be used by these types of applications to satisfy both of these
174476c847aSJim Harrisrequirements. This can result in some increased memory usage which is
175476c847aSJim Harrisvery dependent on the memory allocation patterns of the application.
176476c847aSJim Harris
177b3173932SAnatoly Burakov+ 32-bit support
178b3173932SAnatoly Burakov
179b3173932SAnatoly BurakovAdditional restrictions are present when running in 32-bit mode. In dynamic
180b3173932SAnatoly Burakovmemory mode, by default maximum of 2 gigabytes of VA space will be preallocated,
181b3173932SAnatoly Burakovand all of it will be on master lcore NUMA node unless ``--socket-mem`` flag is
182b3173932SAnatoly Burakovused.
183b3173932SAnatoly Burakov
184b3173932SAnatoly BurakovIn legacy mode, VA space will only be preallocated for segments that were
185b3173932SAnatoly Burakovrequested (plus padding, to keep IOVA-contiguousness).
186b3173932SAnatoly Burakov
187b3173932SAnatoly Burakov+ Maximum amount of memory
188b3173932SAnatoly Burakov
189b3173932SAnatoly BurakovAll possible virtual memory space that can ever be used for hugepage mapping in
190b3173932SAnatoly Burakova DPDK process is preallocated at startup, thereby placing an upper limit on how
191b3173932SAnatoly Burakovmuch memory a DPDK application can have. DPDK memory is stored in segment lists,
192b3173932SAnatoly Burakoveach segment is strictly one physical page. It is possible to change the amount
193b3173932SAnatoly Burakovof virtual memory being preallocated at startup by editing the following config
194b3173932SAnatoly Burakovvariables:
195b3173932SAnatoly Burakov
196b3173932SAnatoly Burakov* ``CONFIG_RTE_MAX_MEMSEG_LISTS`` controls how many segment lists can DPDK have
197b3173932SAnatoly Burakov* ``CONFIG_RTE_MAX_MEM_MB_PER_LIST`` controls how much megabytes of memory each
198b3173932SAnatoly Burakov  segment list can address
199b3173932SAnatoly Burakov* ``CONFIG_RTE_MAX_MEMSEG_PER_LIST`` controls how many segments each segment can
200b3173932SAnatoly Burakov  have
201b3173932SAnatoly Burakov* ``CONFIG_RTE_MAX_MEMSEG_PER_TYPE`` controls how many segments each memory type
202b3173932SAnatoly Burakov  can have (where "type" is defined as "page size + NUMA node" combination)
203b3173932SAnatoly Burakov* ``CONFIG_RTE_MAX_MEM_MB_PER_TYPE`` controls how much megabytes of memory each
204b3173932SAnatoly Burakov  memory type can address
205b3173932SAnatoly Burakov* ``CONFIG_RTE_MAX_MEM_MB`` places a global maximum on the amount of memory
206b3173932SAnatoly Burakov  DPDK can reserve
207b3173932SAnatoly Burakov
208b3173932SAnatoly BurakovNormally, these options do not need to be changed.
209b3173932SAnatoly Burakov
210b3173932SAnatoly Burakov.. note::
211b3173932SAnatoly Burakov
212b3173932SAnatoly Burakov    Preallocated virtual memory is not to be confused with preallocated hugepage
213b3173932SAnatoly Burakov    memory! All DPDK processes preallocate virtual memory at startup. Hugepages
214b3173932SAnatoly Burakov    can later be mapped into that preallocated VA space (if dynamic memory mode
215b3173932SAnatoly Burakov    is enabled), and can optionally be mapped into it at startup.
216b3173932SAnatoly Burakov
2171e3380a2SAnatoly Burakov+ Segment file descriptors
2181e3380a2SAnatoly Burakov
2191e3380a2SAnatoly BurakovOn Linux, in most cases, EAL will store segment file descriptors in EAL. This
2201e3380a2SAnatoly Burakovcan become a problem when using smaller page sizes due to underlying limitations
2211e3380a2SAnatoly Burakovof ``glibc`` library. For example, Linux API calls such as ``select()`` may not
2221e3380a2SAnatoly Burakovwork correctly because ``glibc`` does not support more than certain number of
2231e3380a2SAnatoly Burakovfile descriptors.
2241e3380a2SAnatoly Burakov
2251e3380a2SAnatoly BurakovThere are two possible solutions for this problem. The recommended solution is
2261e3380a2SAnatoly Burakovto use ``--single-file-segments`` mode, as that mode will not use a file
2271e3380a2SAnatoly Burakovdescriptor per each page, and it will keep compatibility with Virtio with
2281e3380a2SAnatoly Burakovvhost-user backend. This option is not available when using ``--legacy-mem``
2291e3380a2SAnatoly Burakovmode.
2301e3380a2SAnatoly Burakov
2311e3380a2SAnatoly BurakovAnother option is to use bigger page sizes. Since fewer pages are required to
2321e3380a2SAnatoly Burakovcover the same memory area, fewer file descriptors will be stored internally
2331e3380a2SAnatoly Burakovby EAL.
2341e3380a2SAnatoly Burakov
23566498f0fSAnatoly BurakovSupport for Externally Allocated Memory
23666498f0fSAnatoly Burakov~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
23766498f0fSAnatoly Burakov
238950e8fb4SAnatoly BurakovIt is possible to use externally allocated memory in DPDK. There are two ways in
239950e8fb4SAnatoly Burakovwhich using externally allocated memory can work: the malloc heap API's, and
240950e8fb4SAnatoly Burakovmanual memory management.
24166498f0fSAnatoly Burakov
242950e8fb4SAnatoly Burakov+ Using heap API's for externally allocated memory
243950e8fb4SAnatoly Burakov
244950e8fb4SAnatoly BurakovUsing using a set of malloc heap API's is the recommended way to use externally
245950e8fb4SAnatoly Burakovallocated memory in DPDK. In this way, support for externally allocated memory
246950e8fb4SAnatoly Burakovis implemented through overloading the socket ID - externally allocated heaps
247950e8fb4SAnatoly Burakovwill have socket ID's that would be considered invalid under normal
248950e8fb4SAnatoly Burakovcircumstances. Requesting an allocation to take place from a specified
249950e8fb4SAnatoly Burakovexternally allocated memory is a matter of supplying the correct socket ID to
250950e8fb4SAnatoly BurakovDPDK allocator, either directly (e.g. through a call to ``rte_malloc``) or
251950e8fb4SAnatoly Burakovindirectly (through data structure-specific allocation API's such as
252950e8fb4SAnatoly Burakov``rte_ring_create``). Using these API's also ensures that mapping of externally
253950e8fb4SAnatoly Burakovallocated memory for DMA is also performed on any memory segment that is added
254950e8fb4SAnatoly Burakovto a DPDK malloc heap.
255950e8fb4SAnatoly Burakov
256950e8fb4SAnatoly BurakovSince there is no way DPDK can verify whether memory is available or valid, this
257950e8fb4SAnatoly Burakovresponsibility falls on the shoulders of the user. All multiprocess
25866498f0fSAnatoly Burakovsynchronization is also user's responsibility, as well as ensuring  that all
25966498f0fSAnatoly Burakovcalls to add/attach/detach/remove memory are done in the correct order. It is
26066498f0fSAnatoly Burakovnot required to attach to a memory area in all processes - only attach to memory
26166498f0fSAnatoly Burakovareas as needed.
26266498f0fSAnatoly Burakov
26366498f0fSAnatoly BurakovThe expected workflow is as follows:
26466498f0fSAnatoly Burakov
26566498f0fSAnatoly Burakov* Get a pointer to memory area
26666498f0fSAnatoly Burakov* Create a named heap
26766498f0fSAnatoly Burakov* Add memory area(s) to the heap
26866498f0fSAnatoly Burakov    - If IOVA table is not specified, IOVA addresses will be assumed to be
26966498f0fSAnatoly Burakov      unavailable, and DMA mappings will not be performed
27066498f0fSAnatoly Burakov    - Other processes must attach to the memory area before they can use it
27166498f0fSAnatoly Burakov* Get socket ID used for the heap
27266498f0fSAnatoly Burakov* Use normal DPDK allocation procedures, using supplied socket ID
27366498f0fSAnatoly Burakov* If memory area is no longer needed, it can be removed from the heap
27466498f0fSAnatoly Burakov    - Other processes must detach from this memory area before it can be removed
27566498f0fSAnatoly Burakov* If heap is no longer needed, remove it
27666498f0fSAnatoly Burakov    - Socket ID will become invalid and will not be reused
27766498f0fSAnatoly Burakov
27866498f0fSAnatoly BurakovFor more information, please refer to ``rte_malloc`` API documentation,
27966498f0fSAnatoly Burakovspecifically the ``rte_malloc_heap_*`` family of function calls.
28066498f0fSAnatoly Burakov
281950e8fb4SAnatoly Burakov+ Using externally allocated memory without DPDK API's
282950e8fb4SAnatoly Burakov
283950e8fb4SAnatoly BurakovWhile using heap API's is the recommended method of using externally allocated
284950e8fb4SAnatoly Burakovmemory in DPDK, there are certain use cases where the overhead of DPDK heap API
285950e8fb4SAnatoly Burakovis undesirable - for example, when manual memory management is performed on an
286950e8fb4SAnatoly Burakovexternally allocated area. To support use cases where externally allocated
287950e8fb4SAnatoly Burakovmemory will not be used as part of normal DPDK workflow, there is also another
288950e8fb4SAnatoly Burakovset of API's under the ``rte_extmem_*`` namespace.
289950e8fb4SAnatoly Burakov
290950e8fb4SAnatoly BurakovThese API's are (as their name implies) intended to allow registering or
291950e8fb4SAnatoly Burakovunregistering externally allocated memory to/from DPDK's internal page table, to
292950e8fb4SAnatoly Burakovallow API's like ``rte_virt2memseg`` etc. to work with externally allocated
293950e8fb4SAnatoly Burakovmemory. Memory added this way will not be available for any regular DPDK
294950e8fb4SAnatoly Burakovallocators; DPDK will leave this memory for the user application to manage.
295950e8fb4SAnatoly Burakov
296950e8fb4SAnatoly BurakovThe expected workflow is as follows:
297950e8fb4SAnatoly Burakov
298950e8fb4SAnatoly Burakov* Get a pointer to memory area
299950e8fb4SAnatoly Burakov* Register memory within DPDK
300950e8fb4SAnatoly Burakov    - If IOVA table is not specified, IOVA addresses will be assumed to be
301950e8fb4SAnatoly Burakov      unavailable
302bed79418SAnatoly Burakov    - Other processes must attach to the memory area before they can use it
303c33a675bSShahaf Shuler* Perform DMA mapping with ``rte_dev_dma_map`` if needed
304950e8fb4SAnatoly Burakov* Use the memory area in your application
305950e8fb4SAnatoly Burakov* If memory area is no longer needed, it can be unregistered
306950e8fb4SAnatoly Burakov    - If the area was mapped for DMA, unmapping must be performed before
307950e8fb4SAnatoly Burakov      unregistering memory
308bed79418SAnatoly Burakov    - Other processes must detach from the memory area before it can be
309bed79418SAnatoly Burakov      unregistered
310950e8fb4SAnatoly Burakov
311950e8fb4SAnatoly BurakovSince these externally allocated memory areas will not be managed by DPDK, it is
312950e8fb4SAnatoly Burakovtherefore up to the user application to decide how to use them and what to do
313950e8fb4SAnatoly Burakovwith them once they're registered.
314950e8fb4SAnatoly Burakov
315fc1f2750SBernard IremongerPer-lcore and Shared Variables
316fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
317fc1f2750SBernard Iremonger
318fc1f2750SBernard Iremonger.. note::
319fc1f2750SBernard Iremonger
320fc1f2750SBernard Iremonger    lcore refers to a logical execution unit of the processor, sometimes called a hardware *thread*.
321fc1f2750SBernard Iremonger
322fc1f2750SBernard IremongerShared variables are the default behavior.
323fc1f2750SBernard IremongerPer-lcore variables are implemented using *Thread Local Storage* (TLS) to provide per-thread local storage.
324fc1f2750SBernard Iremonger
325fc1f2750SBernard IremongerLogs
326fc1f2750SBernard Iremonger~~~~
327fc1f2750SBernard Iremonger
328fc1f2750SBernard IremongerA logging API is provided by EAL.
329fc1f2750SBernard IremongerBy default, in a Linux application, logs are sent to syslog and also to the console.
330fc1f2750SBernard IremongerHowever, the log function can be overridden by the user to use a different logging mechanism.
331fc1f2750SBernard Iremonger
332fc1f2750SBernard IremongerTrace and Debug Functions
333fc1f2750SBernard Iremonger^^^^^^^^^^^^^^^^^^^^^^^^^
334fc1f2750SBernard Iremonger
335fc1f2750SBernard IremongerThere are some debug functions to dump the stack in glibc.
336fc1f2750SBernard IremongerThe rte_panic() function can voluntarily provoke a SIG_ABORT,
337fc1f2750SBernard Iremongerwhich can trigger the generation of a core file, readable by gdb.
338fc1f2750SBernard Iremonger
339fc1f2750SBernard IremongerCPU Feature Identification
340fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~
341fc1f2750SBernard Iremonger
34204cf0334SRami RosenThe EAL can query the CPU at runtime (using the rte_cpu_get_features() function) to determine which CPU features are available.
343fc1f2750SBernard Iremonger
3445762a565SCunming LiangUser Space Interrupt Event
3455762a565SCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~
3465762a565SCunming Liang
3475762a565SCunming Liang+ User Space Interrupt and Alarm Handling in Host Thread
348fc1f2750SBernard Iremonger
349fc1f2750SBernard IremongerThe EAL creates a host thread to poll the UIO device file descriptors to detect the interrupts.
350fc1f2750SBernard IremongerCallbacks can be registered or unregistered by the EAL functions for a specific interrupt event
351fc1f2750SBernard Iremongerand are called in the host thread asynchronously.
352fc1f2750SBernard IremongerThe EAL also allows timed callbacks to be used in the same way as for NIC interrupts.
353fc1f2750SBernard Iremonger
354fc1f2750SBernard Iremonger.. note::
355fc1f2750SBernard Iremonger
356b5ece772SGaetan Rivet    In DPDK PMD, the only interrupts handled by the dedicated host thread are those for link status change
357b5ece772SGaetan Rivet    (link up and link down notification) and for sudden device removal.
358fc1f2750SBernard Iremonger
3595762a565SCunming Liang
3605762a565SCunming Liang+ RX Interrupt Event
3615762a565SCunming Liang
3625762a565SCunming LiangThe receive and transmit routines provided by each PMD don't limit themselves to execute in polling thread mode.
3635762a565SCunming LiangTo ease the idle polling with tiny throughput, it's useful to pause the polling and wait until the wake-up event happens.
3645762a565SCunming LiangThe RX interrupt is the first choice to be such kind of wake-up event, but probably won't be the only one.
3655762a565SCunming Liang
3665762a565SCunming LiangEAL provides the event APIs for this event-driven thread mode.
36791d7846cSBruce RichardsonTaking Linux as an example, the implementation relies on epoll. Each thread can monitor an epoll instance
3685762a565SCunming Liangin which all the wake-up events' file descriptors are added. The event file descriptors are created and mapped to
3695762a565SCunming Liangthe interrupt vectors according to the UIO/VFIO spec.
37025c99fbdSBruce RichardsonFrom FreeBSD's perspective, kqueue is the alternative way, but not implemented yet.
3715762a565SCunming Liang
3725762a565SCunming LiangEAL initializes the mapping between event file descriptors and interrupt vectors, while each device initializes the mapping
3735762a565SCunming Liangbetween interrupt vectors and queues. In this way, EAL actually is unaware of the interrupt cause on the specific vector.
3745762a565SCunming LiangThe eth_dev driver takes responsibility to program the latter mapping.
3755762a565SCunming Liang
3765762a565SCunming Liang.. note::
3775762a565SCunming Liang
3785762a565SCunming Liang    Per queue RX interrupt event is only allowed in VFIO which supports multiple MSI-X vector. In UIO, the RX interrupt
3795762a565SCunming Liang    together with other interrupt causes shares the same vector. In this case, when RX interrupt and LSC(link status change)
3805762a565SCunming Liang    interrupt are both enabled(intr_conf.lsc == 1 && intr_conf.rxq == 1), only the former is capable.
3815762a565SCunming Liang
3825762a565SCunming LiangThe RX interrupt are controlled/enabled/disabled by ethdev APIs - 'rte_eth_dev_rx_intr_*'. They return failure if the PMD
3835762a565SCunming Lianghasn't support them yet. The intr_conf.rxq flag is used to turn on the capability of RX interrupt per device.
3845762a565SCunming Liang
385b5ece772SGaetan Rivet+ Device Removal Event
386b5ece772SGaetan Rivet
387b5ece772SGaetan RivetThis event is triggered by a device being removed at a bus level. Its
388b5ece772SGaetan Rivetunderlying resources may have been made unavailable (i.e. PCI mappings
389b5ece772SGaetan Rivetunmapped). The PMD must make sure that on such occurrence, the application can
390b5ece772SGaetan Rivetstill safely use its callbacks.
391b5ece772SGaetan Rivet
392b5ece772SGaetan RivetThis event can be subscribed to in the same way one would subscribe to a link
393b5ece772SGaetan Rivetstatus change event. The execution context is thus the same, i.e. it is the
394b5ece772SGaetan Rivetdedicated interrupt host thread.
395b5ece772SGaetan Rivet
396b5ece772SGaetan RivetConsidering this, it is likely that an application would want to close a
397b5ece772SGaetan Rivetdevice having emitted a Device Removal Event. In such case, calling
398b5ece772SGaetan Rivet``rte_eth_dev_close()`` can trigger it to unregister its own Device Removal Event
399b5ece772SGaetan Rivetcallback. Care must be taken not to close the device from the interrupt handler
400b5ece772SGaetan Rivetcontext. It is necessary to reschedule such closing operation.
401b5ece772SGaetan Rivet
402fc1f2750SBernard IremongerBlacklisting
403fc1f2750SBernard Iremonger~~~~~~~~~~~~
404fc1f2750SBernard Iremonger
405fc1f2750SBernard IremongerThe EAL PCI device blacklist functionality can be used to mark certain NIC ports as blacklisted,
40648624fd9SSiobhan Butlerso they are ignored by the DPDK.
407fc1f2750SBernard IremongerThe ports to be blacklisted are identified using the PCIe* description (Domain:Bus:Device.Function).
408fc1f2750SBernard Iremonger
409fc1f2750SBernard IremongerMisc Functions
410fc1f2750SBernard Iremonger~~~~~~~~~~~~~~
411fc1f2750SBernard Iremonger
412fc1f2750SBernard IremongerLocks and atomic operations are per-architecture (i686 and x86_64).
413fc1f2750SBernard Iremonger
414075b182bSEric ZhangIOVA Mode Configuration
415075b182bSEric Zhang~~~~~~~~~~~~~~~~~~~~~~~
416075b182bSEric Zhang
417075b182bSEric ZhangAuto detection of the IOVA mode, based on probing the bus and IOMMU configuration, may not report
418075b182bSEric Zhangthe desired addressing mode when virtual devices that are not directly attached to the bus are present.
419075b182bSEric ZhangTo facilitate forcing the IOVA mode to a specific value the EAL command line option ``--iova-mode`` can
420075b182bSEric Zhangbe used to select either physical addressing('pa') or virtual addressing('va').
421075b182bSEric Zhang
422fc1f2750SBernard IremongerMemory Segments and Memory Zones (memzone)
423fc1f2750SBernard Iremonger------------------------------------------
424fc1f2750SBernard Iremonger
425fc1f2750SBernard IremongerThe mapping of physical memory is provided by this feature in the EAL.
426fc1f2750SBernard IremongerAs physical memory can have gaps, the memory is described in a table of descriptors,
427b3173932SAnatoly Burakovand each descriptor (called rte_memseg ) describes a physical page.
428fc1f2750SBernard Iremonger
429fc1f2750SBernard IremongerOn top of this, the memzone allocator's role is to reserve contiguous portions of physical memory.
430fc1f2750SBernard IremongerThese zones are identified by a unique name when the memory is reserved.
431fc1f2750SBernard Iremonger
432fc1f2750SBernard IremongerThe rte_memzone descriptors are also located in the configuration structure.
433fc1f2750SBernard IremongerThis structure is accessed using rte_eal_get_configuration().
434fc1f2750SBernard IremongerThe lookup (by name) of a memory zone returns a descriptor containing the physical address of the memory zone.
435fc1f2750SBernard Iremonger
436fc1f2750SBernard IremongerMemory zones can be reserved with specific start address alignment by supplying the align parameter
437fc1f2750SBernard Iremonger(by default, they are aligned to cache line size).
438fc1f2750SBernard IremongerThe alignment value should be a power of two and not less than the cache line size (64 bytes).
439fc1f2750SBernard IremongerMemory zones can also be reserved from either 2 MB or 1 GB hugepages, provided that both are available on the system.
440fc1f2750SBernard Iremonger
441b3173932SAnatoly BurakovBoth memsegs and memzones are stored using ``rte_fbarray`` structures. Please
442b3173932SAnatoly Burakovrefer to *DPDK API Reference* for more information.
443b3173932SAnatoly Burakov
4441733be6dSCunming Liang
4451733be6dSCunming LiangMultiple pthread
4461733be6dSCunming Liang----------------
4471733be6dSCunming Liang
448e1ed63b0SCunming LiangDPDK usually pins one pthread per core to avoid the overhead of task switching.
449e1ed63b0SCunming LiangThis allows for significant performance gains, but lacks flexibility and is not always efficient.
4501733be6dSCunming Liang
451e1ed63b0SCunming LiangPower management helps to improve the CPU efficiency by limiting the CPU runtime frequency.
452e1ed63b0SCunming LiangHowever, alternately it is possible to utilize the idle cycles available to take advantage of
453e1ed63b0SCunming Liangthe full capability of the CPU.
4541733be6dSCunming Liang
455e1ed63b0SCunming LiangBy taking advantage of cgroup, the CPU utilization quota can be simply assigned.
456fea1d908SJohn McNamaraThis gives another way to improve the CPU efficiency, however, there is a prerequisite;
457e1ed63b0SCunming LiangDPDK must handle the context switching between multiple pthreads per core.
4581733be6dSCunming Liang
459e1ed63b0SCunming LiangFor further flexibility, it is useful to set pthread affinity not only to a CPU but to a CPU set.
4601733be6dSCunming Liang
4611733be6dSCunming LiangEAL pthread and lcore Affinity
4621733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
4631733be6dSCunming Liang
464e1ed63b0SCunming LiangThe term "lcore" refers to an EAL thread, which is really a Linux/FreeBSD pthread.
465e1ed63b0SCunming Liang"EAL pthreads"  are created and managed by EAL and execute the tasks issued by *remote_launch*.
466e1ed63b0SCunming LiangIn each EAL pthread, there is a TLS (Thread Local Storage) called *_lcore_id* for unique identification.
467e1ed63b0SCunming LiangAs EAL pthreads usually bind 1:1 to the physical CPU, the *_lcore_id* is typically equal to the CPU ID.
4681733be6dSCunming Liang
469e1ed63b0SCunming LiangWhen using multiple pthreads, however, the binding is no longer always 1:1 between an EAL pthread and a specified physical CPU.
470e1ed63b0SCunming LiangThe EAL pthread may have affinity to a CPU set, and as such the *_lcore_id* will not be the same as the CPU ID.
471e1ed63b0SCunming LiangFor this reason, there is an EAL long option '--lcores' defined to assign the CPU affinity of lcores.
472e1ed63b0SCunming LiangFor a specified lcore ID or ID group, the option allows setting the CPU set for that EAL pthread.
4731733be6dSCunming Liang
4741733be6dSCunming LiangThe format pattern:
4751733be6dSCunming Liang	--lcores='<lcore_set>[@cpu_set][,<lcore_set>[@cpu_set],...]'
4761733be6dSCunming Liang
4771733be6dSCunming Liang'lcore_set' and 'cpu_set' can be a single number, range or a group.
4781733be6dSCunming Liang
4791733be6dSCunming LiangA number is a "digit([0-9]+)"; a range is "<number>-<number>"; a group is "(<number|range>[,<number|range>,...])".
4801733be6dSCunming Liang
481e1ed63b0SCunming LiangIf a '\@cpu_set' value is not supplied, the value of 'cpu_set' will default to the value of 'lcore_set'.
4821733be6dSCunming Liang
4831733be6dSCunming Liang    ::
4841733be6dSCunming Liang
4851733be6dSCunming Liang    	For example, "--lcores='1,2@(5-7),(3-5)@(0,2),(0,6),7-8'" which means start 9 EAL thread;
4861733be6dSCunming Liang    	    lcore 0 runs on cpuset 0x41 (cpu 0,6);
4871733be6dSCunming Liang    	    lcore 1 runs on cpuset 0x2 (cpu 1);
4881733be6dSCunming Liang    	    lcore 2 runs on cpuset 0xe0 (cpu 5,6,7);
4891733be6dSCunming Liang    	    lcore 3,4,5 runs on cpuset 0x5 (cpu 0,2);
4901733be6dSCunming Liang    	    lcore 6 runs on cpuset 0x41 (cpu 0,6);
4911733be6dSCunming Liang    	    lcore 7 runs on cpuset 0x80 (cpu 7);
4921733be6dSCunming Liang    	    lcore 8 runs on cpuset 0x100 (cpu 8).
4931733be6dSCunming Liang
494e1ed63b0SCunming LiangUsing this option, for each given lcore ID, the associated CPUs can be assigned.
4951733be6dSCunming LiangIt's also compatible with the pattern of corelist('-l') option.
4961733be6dSCunming Liang
4971733be6dSCunming Liangnon-EAL pthread support
4981733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~
4991733be6dSCunming Liang
500e1ed63b0SCunming LiangIt is possible to use the DPDK execution context with any user pthread (aka. Non-EAL pthreads).
501e1ed63b0SCunming LiangIn a non-EAL pthread, the *_lcore_id* is always LCORE_ID_ANY which identifies that it is not an EAL thread with a valid, unique, *_lcore_id*.
502e1ed63b0SCunming LiangSome libraries will use an alternative unique ID (e.g. TID), some will not be impacted at all, and some will work but with limitations (e.g. timer and mempool libraries).
5031733be6dSCunming Liang
5041733be6dSCunming LiangAll these impacts are mentioned in :ref:`known_issue_label` section.
5051733be6dSCunming Liang
5061733be6dSCunming LiangPublic Thread API
5071733be6dSCunming Liang~~~~~~~~~~~~~~~~~
5081733be6dSCunming Liang
509f88bf5a9SRami RosenThere are two public APIs ``rte_thread_set_affinity()`` and ``rte_thread_get_affinity()`` introduced for threads.
5101733be6dSCunming LiangWhen they're used in any pthread context, the Thread Local Storage(TLS) will be set/get.
5111733be6dSCunming Liang
5121733be6dSCunming LiangThose TLS include *_cpuset* and *_socket_id*:
5131733be6dSCunming Liang
514e1ed63b0SCunming Liang*	*_cpuset* stores the CPUs bitmap to which the pthread is affinitized.
5151733be6dSCunming Liang
516fea1d908SJohn McNamara*	*_socket_id* stores the NUMA node of the CPU set. If the CPUs in CPU set belong to different NUMA node, the *_socket_id* will be set to SOCKET_ID_ANY.
5171733be6dSCunming Liang
5181733be6dSCunming Liang
519c3568ea3SDavid MarchandControl Thread API
520c3568ea3SDavid Marchand~~~~~~~~~~~~~~~~~~
521c3568ea3SDavid Marchand
522c3568ea3SDavid MarchandIt is possible to create Control Threads using the public API
523c3568ea3SDavid Marchand``rte_ctrl_thread_create()``.
524c3568ea3SDavid MarchandThose threads can be used for management/infrastructure tasks and are used
525c3568ea3SDavid Marchandinternally by DPDK for multi process support and interrupt handling.
526c3568ea3SDavid Marchand
527c3568ea3SDavid MarchandThose threads will be scheduled on CPUs part of the original process CPU
528c3568ea3SDavid Marchandaffinity from which the dataplane and service lcores are excluded.
529c3568ea3SDavid Marchand
530c3568ea3SDavid MarchandFor example, on a 8 CPUs system, starting a dpdk application with -l 2,3
531c3568ea3SDavid Marchand(dataplane cores), then depending on the affinity configuration which can be
532c3568ea3SDavid Marchandcontrolled with tools like taskset (Linux) or cpuset (FreeBSD),
533c3568ea3SDavid Marchand
534c3568ea3SDavid Marchand- with no affinity configuration, the Control Threads will end up on
535c3568ea3SDavid Marchand  0-1,4-7 CPUs.
536c3568ea3SDavid Marchand- with affinity restricted to 2-4, the Control Threads will end up on
537c3568ea3SDavid Marchand  CPU 4.
538c3568ea3SDavid Marchand- with affinity restricted to 2-3, the Control Threads will end up on
539c3568ea3SDavid Marchand  CPU 2 (master lcore, which is the default when no CPU is available).
540c3568ea3SDavid Marchand
5411733be6dSCunming Liang.. _known_issue_label:
5421733be6dSCunming Liang
5431733be6dSCunming LiangKnown Issues
5441733be6dSCunming Liang~~~~~~~~~~~~
5451733be6dSCunming Liang
5461733be6dSCunming Liang+ rte_mempool
5471733be6dSCunming Liang
548e1ed63b0SCunming Liang  The rte_mempool uses a per-lcore cache inside the mempool.
549e1ed63b0SCunming Liang  For non-EAL pthreads, ``rte_lcore_id()`` will not return a valid number.
5504b506275SLazaros Koromilas  So for now, when rte_mempool is used with non-EAL pthreads, the put/get operations will bypass the default mempool cache and there is a performance penalty because of this bypass.
5514b506275SLazaros Koromilas  Only user-owned external caches can be used in a non-EAL context in conjunction with ``rte_mempool_generic_put()`` and ``rte_mempool_generic_get()`` that accept an explicit cache parameter.
5521733be6dSCunming Liang
5531733be6dSCunming Liang+ rte_ring
5541733be6dSCunming Liang
555e1ed63b0SCunming Liang  rte_ring supports multi-producer enqueue and multi-consumer dequeue.
556fea1d908SJohn McNamara  However, it is non-preemptive, this has a knock on effect of making rte_mempool non-preemptable.
5571733be6dSCunming Liang
5581733be6dSCunming Liang  .. note::
5591733be6dSCunming Liang
5601733be6dSCunming Liang    The "non-preemptive" constraint means:
5611733be6dSCunming Liang
5621733be6dSCunming Liang    - a pthread doing multi-producers enqueues on a given ring must not
5631733be6dSCunming Liang      be preempted by another pthread doing a multi-producer enqueue on
5641733be6dSCunming Liang      the same ring.
5651733be6dSCunming Liang    - a pthread doing multi-consumers dequeues on a given ring must not
5661733be6dSCunming Liang      be preempted by another pthread doing a multi-consumer dequeue on
5671733be6dSCunming Liang      the same ring.
5681733be6dSCunming Liang
5692d6d5ebbSShreyansh Jain    Bypassing this constraint may cause the 2nd pthread to spin until the 1st one is scheduled again.
5701733be6dSCunming Liang    Moreover, if the 1st pthread is preempted by a context that has an higher priority, it may even cause a dead lock.
5711733be6dSCunming Liang
5724a6e683cSHonnappa Nagarahalli  This means, use cases involving preemptible pthreads should consider using rte_ring carefully.
5731733be6dSCunming Liang
5744a6e683cSHonnappa Nagarahalli  1. It CAN be used for preemptible single-producer and single-consumer use case.
5751733be6dSCunming Liang
5764a6e683cSHonnappa Nagarahalli  2. It CAN be used for non-preemptible multi-producer and preemptible single-consumer use case.
5771733be6dSCunming Liang
5784a6e683cSHonnappa Nagarahalli  3. It CAN be used for preemptible single-producer and non-preemptible multi-consumer use case.
5794a6e683cSHonnappa Nagarahalli
5804a6e683cSHonnappa Nagarahalli  4. It MAY be used by preemptible multi-producer and/or preemptible multi-consumer pthreads whose scheduling policy are all SCHED_OTHER(cfs), SCHED_IDLE or SCHED_BATCH. User SHOULD be aware of the performance penalty before using it.
5814a6e683cSHonnappa Nagarahalli
5824a6e683cSHonnappa Nagarahalli  5. It MUST not be used by multi-producer/consumer pthreads, whose scheduling policies are SCHED_FIFO or SCHED_RR.
5831733be6dSCunming Liang
584e75bc77fSGage Eads  Alternatively, applications can use the lock-free stack mempool handler. When
585e75bc77fSGage Eads  considering this handler, note that:
586e75bc77fSGage Eads
587e75bc77fSGage Eads  - It is currently limited to the x86_64 platform, because it uses an
588e75bc77fSGage Eads    instruction (16-byte compare-and-swap) that is not yet available on other
589e75bc77fSGage Eads    platforms.
590e75bc77fSGage Eads  - It has worse average-case performance than the non-preemptive rte_ring, but
591e75bc77fSGage Eads    software caching (e.g. the mempool cache) can mitigate this by reducing the
592e75bc77fSGage Eads    number of stack accesses.
593e75bc77fSGage Eads
5941733be6dSCunming Liang+ rte_timer
5951733be6dSCunming Liang
596cdba9376SRami Rosen  Running  ``rte_timer_manage()`` on a non-EAL pthread is not allowed. However, resetting/stopping the timer from a non-EAL pthread is allowed.
5971733be6dSCunming Liang
5981733be6dSCunming Liang+ rte_log
5991733be6dSCunming Liang
600e1ed63b0SCunming Liang  In non-EAL pthreads, there is no per thread loglevel and logtype, global loglevels are used.
6011733be6dSCunming Liang
6021733be6dSCunming Liang+ misc
6031733be6dSCunming Liang
6041733be6dSCunming Liang  The debug statistics of rte_ring, rte_mempool and rte_timer are not supported in a non-EAL pthread.
6051733be6dSCunming Liang
6061733be6dSCunming Liangcgroup control
6071733be6dSCunming Liang~~~~~~~~~~~~~~
6081733be6dSCunming Liang
609e1ed63b0SCunming LiangThe following is a simple example of cgroup control usage, there are two pthreads(t0 and t1) doing packet I/O on the same core ($CPU).
6101733be6dSCunming LiangWe expect only 50% of CPU spend on packet IO.
6111733be6dSCunming Liang
6121796f485SThomas Monjalon  .. code-block:: console
6131733be6dSCunming Liang
6141733be6dSCunming Liang    mkdir /sys/fs/cgroup/cpu/pkt_io
6151733be6dSCunming Liang    mkdir /sys/fs/cgroup/cpuset/pkt_io
6161733be6dSCunming Liang
6171733be6dSCunming Liang    echo $cpu > /sys/fs/cgroup/cpuset/cpuset.cpus
6181733be6dSCunming Liang
6191733be6dSCunming Liang    echo $t0 > /sys/fs/cgroup/cpu/pkt_io/tasks
6201733be6dSCunming Liang    echo $t0 > /sys/fs/cgroup/cpuset/pkt_io/tasks
6211733be6dSCunming Liang
6221733be6dSCunming Liang    echo $t1 > /sys/fs/cgroup/cpu/pkt_io/tasks
6231733be6dSCunming Liang    echo $t1 > /sys/fs/cgroup/cpuset/pkt_io/tasks
6241733be6dSCunming Liang
6251733be6dSCunming Liang    cd /sys/fs/cgroup/cpu/pkt_io
6261733be6dSCunming Liang    echo 100000 > pkt_io/cpu.cfs_period_us
6271733be6dSCunming Liang    echo  50000 > pkt_io/cpu.cfs_quota_us
6281733be6dSCunming Liang
6291733be6dSCunming Liang
63056297061SSergio Gonzalez MonroyMalloc
63156297061SSergio Gonzalez Monroy------
63256297061SSergio Gonzalez Monroy
63356297061SSergio Gonzalez MonroyThe EAL provides a malloc API to allocate any-sized memory.
63456297061SSergio Gonzalez Monroy
63556297061SSergio Gonzalez MonroyThe objective of this API is to provide malloc-like functions to allow
63656297061SSergio Gonzalez Monroyallocation from hugepage memory and to facilitate application porting.
63756297061SSergio Gonzalez MonroyThe *DPDK API Reference* manual describes the available functions.
63856297061SSergio Gonzalez Monroy
63956297061SSergio Gonzalez MonroyTypically, these kinds of allocations should not be done in data plane
64056297061SSergio Gonzalez Monroyprocessing because they are slower than pool-based allocation and make
64156297061SSergio Gonzalez Monroyuse of locks within the allocation and free paths.
64256297061SSergio Gonzalez MonroyHowever, they can be used in configuration code.
64356297061SSergio Gonzalez Monroy
64456297061SSergio Gonzalez MonroyRefer to the rte_malloc() function description in the *DPDK API Reference*
64556297061SSergio Gonzalez Monroymanual for more information.
64656297061SSergio Gonzalez Monroy
64756297061SSergio Gonzalez MonroyCookies
64856297061SSergio Gonzalez Monroy~~~~~~~
64956297061SSergio Gonzalez Monroy
65056297061SSergio Gonzalez MonroyWhen CONFIG_RTE_MALLOC_DEBUG is enabled, the allocated memory contains
65156297061SSergio Gonzalez Monroyoverwrite protection fields to help identify buffer overflows.
65256297061SSergio Gonzalez Monroy
65356297061SSergio Gonzalez MonroyAlignment and NUMA Constraints
65456297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
65556297061SSergio Gonzalez Monroy
65656297061SSergio Gonzalez MonroyThe rte_malloc() takes an align argument that can be used to request a memory
65756297061SSergio Gonzalez Monroyarea that is aligned on a multiple of this value (which must be a power of two).
65856297061SSergio Gonzalez Monroy
65956297061SSergio Gonzalez MonroyOn systems with NUMA support, a call to the rte_malloc() function will return
66056297061SSergio Gonzalez Monroymemory that has been allocated on the NUMA socket of the core which made the call.
66156297061SSergio Gonzalez MonroyA set of APIs is also provided, to allow memory to be explicitly allocated on a
66256297061SSergio Gonzalez MonroyNUMA socket directly, or by allocated on the NUMA socket where another core is
66356297061SSergio Gonzalez Monroylocated, in the case where the memory is to be used by a logical core other than
66456297061SSergio Gonzalez Monroyon the one doing the memory allocation.
66556297061SSergio Gonzalez Monroy
66656297061SSergio Gonzalez MonroyUse Cases
66756297061SSergio Gonzalez Monroy~~~~~~~~~
66856297061SSergio Gonzalez Monroy
66956297061SSergio Gonzalez MonroyThis API is meant to be used by an application that requires malloc-like
67056297061SSergio Gonzalez Monroyfunctions at initialization time.
67156297061SSergio Gonzalez Monroy
67256297061SSergio Gonzalez MonroyFor allocating/freeing data at runtime, in the fast-path of an application,
67356297061SSergio Gonzalez Monroythe memory pool library should be used instead.
67456297061SSergio Gonzalez Monroy
67556297061SSergio Gonzalez MonroyInternal Implementation
67656297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~
67756297061SSergio Gonzalez Monroy
67856297061SSergio Gonzalez MonroyData Structures
67956297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^
68056297061SSergio Gonzalez Monroy
68156297061SSergio Gonzalez MonroyThere are two data structure types used internally in the malloc library:
68256297061SSergio Gonzalez Monroy
68356297061SSergio Gonzalez Monroy*   struct malloc_heap - used to track free space on a per-socket basis
68456297061SSergio Gonzalez Monroy
68556297061SSergio Gonzalez Monroy*   struct malloc_elem - the basic element of allocation and free-space
68656297061SSergio Gonzalez Monroy    tracking inside the library.
68756297061SSergio Gonzalez Monroy
68856297061SSergio Gonzalez MonroyStructure: malloc_heap
68956297061SSergio Gonzalez Monroy""""""""""""""""""""""
69056297061SSergio Gonzalez Monroy
69156297061SSergio Gonzalez MonroyThe malloc_heap structure is used to manage free space on a per-socket basis.
69256297061SSergio Gonzalez MonroyInternally, there is one heap structure per NUMA node, which allows us to
69356297061SSergio Gonzalez Monroyallocate memory to a thread based on the NUMA node on which this thread runs.
69456297061SSergio Gonzalez MonroyWhile this does not guarantee that the memory will be used on that NUMA node,
69556297061SSergio Gonzalez Monroyit is no worse than a scheme where the memory is always allocated on a fixed
69656297061SSergio Gonzalez Monroyor random node.
69756297061SSergio Gonzalez Monroy
69856297061SSergio Gonzalez MonroyThe key fields of the heap structure and their function are described below
69956297061SSergio Gonzalez Monroy(see also diagram above):
70056297061SSergio Gonzalez Monroy
70156297061SSergio Gonzalez Monroy*   lock - the lock field is needed to synchronize access to the heap.
70256297061SSergio Gonzalez Monroy    Given that the free space in the heap is tracked using a linked list,
70356297061SSergio Gonzalez Monroy    we need a lock to prevent two threads manipulating the list at the same time.
70456297061SSergio Gonzalez Monroy
70556297061SSergio Gonzalez Monroy*   free_head - this points to the first element in the list of free nodes for
70656297061SSergio Gonzalez Monroy    this malloc heap.
70756297061SSergio Gonzalez Monroy
708b3173932SAnatoly Burakov*   first - this points to the first element in the heap.
70956297061SSergio Gonzalez Monroy
710b3173932SAnatoly Burakov*   last - this points to the last element in the heap.
71156297061SSergio Gonzalez Monroy
71256297061SSergio Gonzalez Monroy.. _figure_malloc_heap:
71356297061SSergio Gonzalez Monroy
71456297061SSergio Gonzalez Monroy.. figure:: img/malloc_heap.*
71556297061SSergio Gonzalez Monroy
71656297061SSergio Gonzalez Monroy   Example of a malloc heap and malloc elements within the malloc library
71756297061SSergio Gonzalez Monroy
71856297061SSergio Gonzalez Monroy
71956297061SSergio Gonzalez Monroy.. _malloc_elem:
72056297061SSergio Gonzalez Monroy
72156297061SSergio Gonzalez MonroyStructure: malloc_elem
72256297061SSergio Gonzalez Monroy""""""""""""""""""""""
72356297061SSergio Gonzalez Monroy
72456297061SSergio Gonzalez MonroyThe malloc_elem structure is used as a generic header structure for various
72556297061SSergio Gonzalez Monroyblocks of memory.
726b3173932SAnatoly BurakovIt is used in two different ways - all shown in the diagram above:
72756297061SSergio Gonzalez Monroy
72856297061SSergio Gonzalez Monroy#.  As a header on a block of free or allocated memory - normal case
72956297061SSergio Gonzalez Monroy
73056297061SSergio Gonzalez Monroy#.  As a padding header inside a block of memory
73156297061SSergio Gonzalez Monroy
73256297061SSergio Gonzalez MonroyThe most important fields in the structure and how they are used are described below.
73356297061SSergio Gonzalez Monroy
734b3173932SAnatoly BurakovMalloc heap is a doubly-linked list, where each element keeps track of its
735b3173932SAnatoly Burakovprevious and next elements. Due to the fact that hugepage memory can come and
736*d629b7b5SJohn McNamarago, neighboring malloc elements may not necessarily be adjacent in memory.
737b3173932SAnatoly BurakovAlso, since a malloc element may span multiple pages, its contents may not
738b3173932SAnatoly Burakovnecessarily be IOVA-contiguous either - each malloc element is only guaranteed
739b3173932SAnatoly Burakovto be virtually contiguous.
740b3173932SAnatoly Burakov
74156297061SSergio Gonzalez Monroy.. note::
74256297061SSergio Gonzalez Monroy
74356297061SSergio Gonzalez Monroy    If the usage of a particular field in one of the above three usages is not
74456297061SSergio Gonzalez Monroy    described, the field can be assumed to have an undefined value in that
74556297061SSergio Gonzalez Monroy    situation, for example, for padding headers only the "state" and "pad"
74656297061SSergio Gonzalez Monroy    fields have valid values.
74756297061SSergio Gonzalez Monroy
74856297061SSergio Gonzalez Monroy*   heap - this pointer is a reference back to the heap structure from which
74956297061SSergio Gonzalez Monroy    this block was allocated.
75056297061SSergio Gonzalez Monroy    It is used for normal memory blocks when they are being freed, to add the
75156297061SSergio Gonzalez Monroy    newly-freed block to the heap's free-list.
75256297061SSergio Gonzalez Monroy
753b3173932SAnatoly Burakov*   prev - this pointer points to previous header element/block in memory. When
754b3173932SAnatoly Burakov    freeing a block, this pointer is used to reference the previous block to
755b3173932SAnatoly Burakov    check if that block is also free. If so, and the two blocks are immediately
756b3173932SAnatoly Burakov    adjacent to each other, then the two free blocks are merged to form a single
757b3173932SAnatoly Burakov    larger block.
75856297061SSergio Gonzalez Monroy
759b3173932SAnatoly Burakov*   next - this pointer points to next header element/block in memory. When
760b3173932SAnatoly Burakov    freeing a block, this pointer is used to reference the next block to check
761b3173932SAnatoly Burakov    if that block is also free. If so, and the two blocks are immediately
762b3173932SAnatoly Burakov    adjacent to each other, then the two free blocks are merged to form a single
763b3173932SAnatoly Burakov    larger block.
764b3173932SAnatoly Burakov
765b3173932SAnatoly Burakov*   free_list - this is a structure pointing to previous and next elements in
766b3173932SAnatoly Burakov    this heap's free list.
76756297061SSergio Gonzalez Monroy    It is only used in normal memory blocks; on ``malloc()`` to find a suitable
76856297061SSergio Gonzalez Monroy    free block to allocate and on ``free()`` to add the newly freed element to
76956297061SSergio Gonzalez Monroy    the free-list.
77056297061SSergio Gonzalez Monroy
77156297061SSergio Gonzalez Monroy*   state - This field can have one of three values: ``FREE``, ``BUSY`` or
77256297061SSergio Gonzalez Monroy    ``PAD``.
77356297061SSergio Gonzalez Monroy    The former two are to indicate the allocation state of a normal memory block
77456297061SSergio Gonzalez Monroy    and the latter is to indicate that the element structure is a dummy structure
77556297061SSergio Gonzalez Monroy    at the end of the start-of-block padding, i.e. where the start of the data
77656297061SSergio Gonzalez Monroy    within a block is not at the start of the block itself, due to alignment
77756297061SSergio Gonzalez Monroy    constraints.
77856297061SSergio Gonzalez Monroy    In that case, the pad header is used to locate the actual malloc element
77956297061SSergio Gonzalez Monroy    header for the block.
78056297061SSergio Gonzalez Monroy
78156297061SSergio Gonzalez Monroy*   pad - this holds the length of the padding present at the start of the block.
78256297061SSergio Gonzalez Monroy    In the case of a normal block header, it is added to the address of the end
78356297061SSergio Gonzalez Monroy    of the header to give the address of the start of the data area, i.e. the
78456297061SSergio Gonzalez Monroy    value passed back to the application on a malloc.
78556297061SSergio Gonzalez Monroy    Within a dummy header inside the padding, this same value is stored, and is
78656297061SSergio Gonzalez Monroy    subtracted from the address of the dummy header to yield the address of the
78756297061SSergio Gonzalez Monroy    actual block header.
78856297061SSergio Gonzalez Monroy
78956297061SSergio Gonzalez Monroy*   size - the size of the data block, including the header itself.
79056297061SSergio Gonzalez Monroy
79156297061SSergio Gonzalez MonroyMemory Allocation
79256297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^^^
79356297061SSergio Gonzalez Monroy
794b3173932SAnatoly BurakovOn EAL initialization, all preallocated memory segments are setup as part of the
795b3173932SAnatoly Burakovmalloc heap. This setup involves placing an :ref:`element header<malloc_elem>`
796b3173932SAnatoly Burakovwith ``FREE`` at the start of each virtually contiguous segment of memory.
79756297061SSergio Gonzalez MonroyThe ``FREE`` element is then added to the ``free_list`` for the malloc heap.
79856297061SSergio Gonzalez Monroy
799b3173932SAnatoly BurakovThis setup also happens whenever memory is allocated at runtime (if supported),
800b3173932SAnatoly Burakovin which case newly allocated pages are also added to the heap, merging with any
801b3173932SAnatoly Burakovadjacent free segments if there are any.
802b3173932SAnatoly Burakov
80356297061SSergio Gonzalez MonroyWhen an application makes a call to a malloc-like function, the malloc function
80456297061SSergio Gonzalez Monroywill first index the ``lcore_config`` structure for the calling thread, and
80556297061SSergio Gonzalez Monroydetermine the NUMA node of that thread.
80656297061SSergio Gonzalez MonroyThe NUMA node is used to index the array of ``malloc_heap`` structures which is
80756297061SSergio Gonzalez Monroypassed as a parameter to the ``heap_alloc()`` function, along with the
80856297061SSergio Gonzalez Monroyrequested size, type, alignment and boundary parameters.
80956297061SSergio Gonzalez Monroy
81056297061SSergio Gonzalez MonroyThe ``heap_alloc()`` function will scan the free_list of the heap, and attempt
81156297061SSergio Gonzalez Monroyto find a free block suitable for storing data of the requested size, with the
81256297061SSergio Gonzalez Monroyrequested alignment and boundary constraints.
81356297061SSergio Gonzalez Monroy
81456297061SSergio Gonzalez MonroyWhen a suitable free element has been identified, the pointer to be returned
81556297061SSergio Gonzalez Monroyto the user is calculated.
81656297061SSergio Gonzalez MonroyThe cache-line of memory immediately preceding this pointer is filled with a
81756297061SSergio Gonzalez Monroystruct malloc_elem header.
81856297061SSergio Gonzalez MonroyBecause of alignment and boundary constraints, there could be free space at
81956297061SSergio Gonzalez Monroythe start and/or end of the element, resulting in the following behavior:
82056297061SSergio Gonzalez Monroy
82156297061SSergio Gonzalez Monroy#. Check for trailing space.
82256297061SSergio Gonzalez Monroy   If the trailing space is big enough, i.e. > 128 bytes, then the free element
82356297061SSergio Gonzalez Monroy   is split.
82456297061SSergio Gonzalez Monroy   If it is not, then we just ignore it (wasted space).
82556297061SSergio Gonzalez Monroy
82656297061SSergio Gonzalez Monroy#. Check for space at the start of the element.
82756297061SSergio Gonzalez Monroy   If the space at the start is small, i.e. <=128 bytes, then a pad header is
82856297061SSergio Gonzalez Monroy   used, and the remaining space is wasted.
82956297061SSergio Gonzalez Monroy   If, however, the remaining space is greater, then the free element is split.
83056297061SSergio Gonzalez Monroy
83156297061SSergio Gonzalez MonroyThe advantage of allocating the memory from the end of the existing element is
83256297061SSergio Gonzalez Monroythat no adjustment of the free list needs to take place - the existing element
833b3173932SAnatoly Burakovon the free list just has its size value adjusted, and the next/previous elements
834b3173932SAnatoly Burakovhave their "prev"/"next" pointers redirected to the newly created element.
835b3173932SAnatoly Burakov
836b3173932SAnatoly BurakovIn case when there is not enough memory in the heap to satisfy allocation
837b3173932SAnatoly Burakovrequest, EAL will attempt to allocate more memory from the system (if supported)
838b3173932SAnatoly Burakovand, following successful allocation, will retry reserving the memory again. In
839b3173932SAnatoly Burakova multiprocessing scenario, all primary and secondary processes will synchronize
840b3173932SAnatoly Burakovtheir memory maps to ensure that any valid pointer to DPDK memory is guaranteed
841b3173932SAnatoly Burakovto be valid at all times in all currently running processes.
842b3173932SAnatoly Burakov
843b3173932SAnatoly BurakovFailure to synchronize memory maps in one of the processes will cause allocation
844b3173932SAnatoly Burakovto fail, even though some of the processes may have allocated the memory
845b3173932SAnatoly Burakovsuccessfully. The memory is not added to the malloc heap unless primary process
846b3173932SAnatoly Burakovhas ensured that all other processes have mapped this memory successfully.
847b3173932SAnatoly Burakov
848b3173932SAnatoly BurakovAny successful allocation event will trigger a callback, for which user
849b3173932SAnatoly Burakovapplications and other DPDK subsystems can register. Additionally, validation
850b3173932SAnatoly Burakovcallbacks will be triggered before allocation if the newly allocated memory will
851b3173932SAnatoly Burakovexceed threshold set by the user, giving a chance to allow or deny allocation.
852b3173932SAnatoly Burakov
853b3173932SAnatoly Burakov.. note::
854b3173932SAnatoly Burakov
855b3173932SAnatoly Burakov    Any allocation of new pages has to go through primary process. If the
856b3173932SAnatoly Burakov    primary process is not active, no memory will be allocated even if it was
857b3173932SAnatoly Burakov    theoretically possible to do so. This is because primary's process map acts
858b3173932SAnatoly Burakov    as an authority on what should or should not be mapped, while each secondary
859b3173932SAnatoly Burakov    process has its own, local memory map. Secondary processes do not update the
860b3173932SAnatoly Burakov    shared memory map, they only copy its contents to their local memory map.
86156297061SSergio Gonzalez Monroy
86256297061SSergio Gonzalez MonroyFreeing Memory
86356297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^
86456297061SSergio Gonzalez Monroy
86556297061SSergio Gonzalez MonroyTo free an area of memory, the pointer to the start of the data area is passed
86656297061SSergio Gonzalez Monroyto the free function.
86756297061SSergio Gonzalez MonroyThe size of the ``malloc_elem`` structure is subtracted from this pointer to get
86856297061SSergio Gonzalez Monroythe element header for the block.
86956297061SSergio Gonzalez MonroyIf this header is of type ``PAD`` then the pad length is further subtracted from
87056297061SSergio Gonzalez Monroythe pointer to get the proper element header for the entire block.
87156297061SSergio Gonzalez Monroy
87256297061SSergio Gonzalez MonroyFrom this element header, we get pointers to the heap from which the block was
87356297061SSergio Gonzalez Monroyallocated and to where it must be freed, as well as the pointer to the previous
874b3173932SAnatoly Burakovand next elements. These next and previous elements are then checked to see if
875b3173932SAnatoly Burakovthey are also ``FREE`` and are immediately adjacent to the current one, and if
876b3173932SAnatoly Burakovso, they are merged with the current element. This means that we can never have
877b3173932SAnatoly Burakovtwo ``FREE`` memory blocks adjacent to one another, as they are always merged
878b3173932SAnatoly Burakovinto a single block.
879b3173932SAnatoly Burakov
880b3173932SAnatoly BurakovIf deallocating pages at runtime is supported, and the free element encloses
881b3173932SAnatoly Burakovone or more pages, those pages can be deallocated and be removed from the heap.
882b3173932SAnatoly BurakovIf DPDK was started with command-line parameters for preallocating memory
883b3173932SAnatoly Burakov(``-m`` or ``--socket-mem``), then those pages that were allocated at startup
884b3173932SAnatoly Burakovwill not be deallocated.
885b3173932SAnatoly Burakov
886b3173932SAnatoly BurakovAny successful deallocation event will trigger a callback, for which user
887b3173932SAnatoly Burakovapplications and other DPDK subsystems can register.
888