xref: /dpdk/doc/guides/prog_guide/env_abstraction_layer.rst (revision 41dd9a6bc2d9c6e20e139ad713cc9d172572dd43)
15630257fSFerruh Yigit..  SPDX-License-Identifier: BSD-3-Clause
25630257fSFerruh Yigit    Copyright(c) 2010-2014 Intel Corporation.
3fc1f2750SBernard Iremonger
4*41dd9a6bSDavid YoungEnvironment Abstraction Layer (EAL) Library
5*41dd9a6bSDavid Young===========================================
6fc1f2750SBernard Iremonger
7fc1f2750SBernard IremongerThe Environment Abstraction Layer (EAL) is responsible for gaining access to low-level resources such as hardware and memory space.
8fc1f2750SBernard IremongerIt provides a generic interface that hides the environment specifics from the applications and libraries.
9fc1f2750SBernard IremongerIt is the responsibility of the initialization routine to decide how to allocate these resources
10e3e363a2SThomas Monjalon(that is, memory space, devices, timers, consoles, and so on).
11fc1f2750SBernard Iremonger
12fc1f2750SBernard IremongerTypical services expected from the EAL are:
13fc1f2750SBernard Iremonger
1448624fd9SSiobhan Butler*   DPDK Loading and Launching:
1548624fd9SSiobhan Butler    The DPDK and its application are linked as a single application and must be loaded by some means.
16fc1f2750SBernard Iremonger
17fc1f2750SBernard Iremonger*   Core Affinity/Assignment Procedures:
18fc1f2750SBernard Iremonger    The EAL provides mechanisms for assigning execution units to specific cores as well as creating execution instances.
19fc1f2750SBernard Iremonger
20fc1f2750SBernard Iremonger*   System Memory Reservation:
21fc1f2750SBernard Iremonger    The EAL facilitates the reservation of different memory zones, for example, physical memory areas for device interactions.
22fc1f2750SBernard Iremonger
23fc1f2750SBernard Iremonger*   Trace and Debug Functions: Logs, dump_stack, panic and so on.
24fc1f2750SBernard Iremonger
25fc1f2750SBernard Iremonger*   Utility Functions: Spinlocks and atomic counters that are not provided in libc.
26fc1f2750SBernard Iremonger
27fc1f2750SBernard Iremonger*   CPU Feature Identification: Determine at runtime if a particular feature, for example, Intel® AVX is supported.
28fc1f2750SBernard Iremonger    Determine if the current CPU supports the feature set that the binary was compiled for.
29fc1f2750SBernard Iremonger
30fc1f2750SBernard Iremonger*   Interrupt Handling: Interfaces to register/unregister callbacks to specific interrupt sources.
31fc1f2750SBernard Iremonger
32fc1f2750SBernard Iremonger*   Alarm Functions: Interfaces to set/remove callbacks to be run at a specific time.
33fc1f2750SBernard Iremonger
34fc1f2750SBernard IremongerEAL in a Linux-userland Execution Environment
35fc1f2750SBernard Iremonger---------------------------------------------
36fc1f2750SBernard Iremonger
3748624fd9SSiobhan ButlerIn a Linux user space environment, the DPDK application runs as a user-space application using the pthread library.
38fc1f2750SBernard Iremonger
39fc1f2750SBernard IremongerThe EAL performs physical memory allocation using mmap() in hugetlbfs (using huge page sizes to increase performance).
40*41dd9a6bSDavid YoungThis memory is exposed to DPDK service layers such as the :doc:`mempool_lib`.
41fc1f2750SBernard Iremonger
4248624fd9SSiobhan ButlerAt this point, the DPDK services layer will be initialized, then through pthread setaffinity calls,
43fc1f2750SBernard Iremongereach execution unit will be assigned to a specific logical core to run as a user-level thread.
44fc1f2750SBernard Iremonger
45fc1f2750SBernard IremongerThe time reference is provided by the CPU Time-Stamp Counter (TSC) or by the HPET kernel API through a mmap() call.
46fc1f2750SBernard Iremonger
47fc1f2750SBernard IremongerInitialization and Core Launching
48fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
49fc1f2750SBernard Iremonger
50fc1f2750SBernard IremongerPart of the initialization is done by the start function of glibc.
51fc1f2750SBernard 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.
52fc1f2750SBernard IremongerThen, the main() function is called. The core initialization and launch is done in rte_eal_init() (see the API documentation).
53fc1f2750SBernard IremongerIt consist of calls to the pthread library (more specifically, pthread_self(), pthread_create(), and pthread_setaffinity_np()).
54fc1f2750SBernard Iremonger
55218c4e68SBruce Richardson.. _figure_linux_launch:
56fc1f2750SBernard Iremonger
574a22e6eeSJohn McNamara.. figure:: img/linuxapp_launch.*
58fc1f2750SBernard Iremonger
594a22e6eeSJohn McNamara   EAL Initialization in a Linux Application Environment
60fc1f2750SBernard Iremonger
61fc1f2750SBernard Iremonger
62fc1f2750SBernard Iremonger.. note::
63fc1f2750SBernard Iremonger
64fc1f2750SBernard Iremonger    Initialization of objects, such as memory zones, rings, memory pools, lpm tables and hash tables,
65cb056611SStephen Hemminger    should be done as part of the overall application initialization on the main lcore.
66fc1f2750SBernard Iremonger    The creation and initialization functions for these objects are not multi-thread safe.
67fc1f2750SBernard Iremonger    However, once initialized, the objects themselves can safely be used in multiple threads simultaneously.
68fc1f2750SBernard Iremonger
69aec9c13cSHarry van HaarenShutdown and Cleanup
70aec9c13cSHarry van Haaren~~~~~~~~~~~~~~~~~~~~
71aec9c13cSHarry van Haaren
72aec9c13cSHarry van HaarenDuring the initialization of EAL resources such as hugepage backed memory can be
73aec9c13cSHarry van Haarenallocated by core components.  The memory allocated during ``rte_eal_init()``
74aec9c13cSHarry van Haarencan be released by calling the ``rte_eal_cleanup()`` function. Refer to the
75aec9c13cSHarry van HaarenAPI documentation for details.
76aec9c13cSHarry van Haaren
77fc1f2750SBernard IremongerMulti-process Support
78fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~
79fc1f2750SBernard Iremonger
80218c4e68SBruce RichardsonThe Linux EAL allows a multi-process as well as a multi-threaded (pthread) deployment model.
81*41dd9a6bSDavid YoungSee chapter :doc:`multi_proc_support` for more details.
82fc1f2750SBernard Iremonger
83fc1f2750SBernard IremongerMemory Mapping Discovery and Memory Reservation
84fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
85fc1f2750SBernard Iremonger
861ba4f673SDmitry KozlyukThe allocation of large contiguous physical memory is done using hugepages.
87fc1f2750SBernard IremongerThe EAL provides an API to reserve named memory zones in this contiguous memory.
88fc1f2750SBernard IremongerThe physical address of the reserved memory for that memory zone is also returned to the user by the memory zone reservation API.
89fc1f2750SBernard Iremonger
90b3173932SAnatoly BurakovThere are two modes in which DPDK memory subsystem can operate: dynamic mode,
91b3173932SAnatoly Burakovand legacy mode. Both modes are explained below.
92b3173932SAnatoly Burakov
93fc1f2750SBernard Iremonger.. note::
94fc1f2750SBernard Iremonger
951ba4f673SDmitry Kozlyuk    Memory reservations done using the APIs provided by rte_malloc
961ba4f673SDmitry Kozlyuk    are also backed by hugepages unless ``--no-huge`` option is given.
97fc1f2750SBernard Iremonger
981ba4f673SDmitry KozlyukDynamic Memory Mode
991ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^
100b3173932SAnatoly Burakov
1011ba4f673SDmitry KozlyukCurrently, this mode is only supported on Linux and Windows.
102b3173932SAnatoly Burakov
103b3173932SAnatoly BurakovIn this mode, usage of hugepages by DPDK application will grow and shrink based
104b3173932SAnatoly Burakovon application's requests. Any memory allocation through ``rte_malloc()``,
105b3173932SAnatoly Burakov``rte_memzone_reserve()`` or other methods, can potentially result in more
106b3173932SAnatoly Burakovhugepages being reserved from the system. Similarly, any memory deallocation can
107b3173932SAnatoly Burakovpotentially result in hugepages being released back to the system.
108b3173932SAnatoly Burakov
109b3173932SAnatoly BurakovMemory allocated in this mode is not guaranteed to be IOVA-contiguous. If large
110b3173932SAnatoly Burakovchunks of IOVA-contiguous are required (with "large" defined as "more than one
111b3173932SAnatoly Burakovpage"), it is recommended to either use VFIO driver for all physical devices (so
112b3173932SAnatoly Burakovthat IOVA and VA addresses can be the same, thereby bypassing physical addresses
113b3173932SAnatoly Burakoventirely), or use legacy memory mode.
114b3173932SAnatoly Burakov
115b3173932SAnatoly BurakovFor chunks of memory which must be IOVA-contiguous, it is recommended to use
116b3173932SAnatoly Burakov``rte_memzone_reserve()`` function with ``RTE_MEMZONE_IOVA_CONTIG`` flag
117b3173932SAnatoly Burakovspecified. This way, memory allocator will ensure that, whatever memory mode is
118b3173932SAnatoly Burakovin use, either reserved memory will satisfy the requirements, or the allocation
119b3173932SAnatoly Burakovwill fail.
120b3173932SAnatoly Burakov
121b3173932SAnatoly BurakovThere is no need to preallocate any memory at startup using ``-m`` or
122b3173932SAnatoly Burakov``--socket-mem`` command-line parameters, however it is still possible to do so,
123b3173932SAnatoly Burakovin which case preallocate memory will be "pinned" (i.e. will never be released
124b3173932SAnatoly Burakovby the application back to the system). It will be possible to allocate more
125b3173932SAnatoly Burakovhugepages, and deallocate those, but any preallocated pages will not be freed.
126b3173932SAnatoly BurakovIf neither ``-m`` nor ``--socket-mem`` were specified, no memory will be
127b3173932SAnatoly Burakovpreallocated, and all memory will be allocated at runtime, as needed.
128b3173932SAnatoly Burakov
129b3173932SAnatoly BurakovAnother available option to use in dynamic memory mode is
130b3173932SAnatoly Burakov``--single-file-segments`` command-line option. This option will put pages in
131b3173932SAnatoly Burakovsingle files (per memseg list), as opposed to creating a file per page. This is
132b3173932SAnatoly Burakovnormally not needed, but can be useful for use cases like userspace vhost, where
133b3173932SAnatoly Burakovthere is limited number of page file descriptors that can be passed to VirtIO.
134b3173932SAnatoly Burakov
135b3173932SAnatoly BurakovIf the application (or DPDK-internal code, such as device drivers) wishes to
136b3173932SAnatoly Burakovreceive notifications about newly allocated memory, it is possible to register
137b3173932SAnatoly Burakovfor memory event callbacks via ``rte_mem_event_callback_register()`` function.
138b3173932SAnatoly BurakovThis will call a callback function any time DPDK's memory map has changed.
139b3173932SAnatoly Burakov
140b3173932SAnatoly BurakovIf the application (or DPDK-internal code, such as device drivers) wishes to be
141b3173932SAnatoly Burakovnotified about memory allocations above specified threshold (and have a chance
142b3173932SAnatoly Burakovto deny them), allocation validator callbacks are also available via
143b3173932SAnatoly Burakov``rte_mem_alloc_validator_callback_register()`` function.
144b3173932SAnatoly Burakov
145e4348122SAnatoly BurakovA default validator callback is provided by EAL, which can be enabled with a
146e4348122SAnatoly Burakov``--socket-limit`` command-line option, for a simple way to limit maximum amount
147e4348122SAnatoly Burakovof memory that can be used by DPDK application.
148e4348122SAnatoly Burakov
1493855b415SAnatoly Burakov.. warning::
1503855b415SAnatoly Burakov    Memory subsystem uses DPDK IPC internally, so memory allocations/callbacks
1513855b415SAnatoly Burakov    and IPC must not be mixed: it is not safe to allocate/free memory inside
1523855b415SAnatoly Burakov    memory-related or IPC callbacks, and it is not safe to use IPC inside
1533855b415SAnatoly Burakov    memory-related callbacks. See chapter
154*41dd9a6bSDavid Young    :doc:`multi_proc_support` for more details about DPDK IPC.
1553855b415SAnatoly Burakov
1561ba4f673SDmitry KozlyukLegacy Memory Mode
1571ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^
158b3173932SAnatoly Burakov
159b3173932SAnatoly BurakovThis mode is enabled by specifying ``--legacy-mem`` command-line switch to the
160b3173932SAnatoly BurakovEAL. This switch will have no effect on FreeBSD as FreeBSD only supports
161b3173932SAnatoly Burakovlegacy mode anyway.
162b3173932SAnatoly Burakov
163b3173932SAnatoly BurakovThis mode mimics historical behavior of EAL. That is, EAL will reserve all
164b3173932SAnatoly Burakovmemory at startup, sort all memory into large IOVA-contiguous chunks, and will
165b3173932SAnatoly Burakovnot allow acquiring or releasing hugepages from the system at runtime.
166b3173932SAnatoly Burakov
167b3173932SAnatoly BurakovIf neither ``-m`` nor ``--socket-mem`` were specified, the entire available
168b3173932SAnatoly Burakovhugepage memory will be preallocated.
169b3173932SAnatoly Burakov
1701ba4f673SDmitry KozlyukHugepage Allocation Matching
1711ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^^^^^^^^^^
172476c847aSJim Harris
173476c847aSJim HarrisThis behavior is enabled by specifying the ``--match-allocations`` command-line
174476c847aSJim Harrisswitch to the EAL. This switch is Linux-only and not supported with
175476c847aSJim Harris``--legacy-mem`` nor ``--no-huge``.
176476c847aSJim Harris
177476c847aSJim HarrisSome applications using memory event callbacks may require that hugepages be
178476c847aSJim Harrisfreed exactly as they were allocated. These applications may also require
179476c847aSJim Harristhat any allocation from the malloc heap not span across allocations
180476c847aSJim Harrisassociated with two different memory event callbacks. Hugepage allocation
181476c847aSJim Harrismatching can be used by these types of applications to satisfy both of these
182476c847aSJim Harrisrequirements. This can result in some increased memory usage which is
183476c847aSJim Harrisvery dependent on the memory allocation patterns of the application.
184476c847aSJim Harris
1851ba4f673SDmitry Kozlyuk32-bit Support
1861ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^
187b3173932SAnatoly Burakov
188b3173932SAnatoly BurakovAdditional restrictions are present when running in 32-bit mode. In dynamic
189b3173932SAnatoly Burakovmemory mode, by default maximum of 2 gigabytes of VA space will be preallocated,
190cb056611SStephen Hemmingerand all of it will be on main lcore NUMA node unless ``--socket-mem`` flag is
191b3173932SAnatoly Burakovused.
192b3173932SAnatoly Burakov
193b3173932SAnatoly BurakovIn legacy mode, VA space will only be preallocated for segments that were
194b3173932SAnatoly Burakovrequested (plus padding, to keep IOVA-contiguousness).
195b3173932SAnatoly Burakov
1961ba4f673SDmitry KozlyukMaximum Amount of Memory
1971ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^^^^^^
198b3173932SAnatoly Burakov
199b3173932SAnatoly BurakovAll possible virtual memory space that can ever be used for hugepage mapping in
200b3173932SAnatoly Burakova DPDK process is preallocated at startup, thereby placing an upper limit on how
201b3173932SAnatoly Burakovmuch memory a DPDK application can have. DPDK memory is stored in segment lists,
202b3173932SAnatoly Burakoveach segment is strictly one physical page. It is possible to change the amount
203b3173932SAnatoly Burakovof virtual memory being preallocated at startup by editing the following config
204b3173932SAnatoly Burakovvariables:
205b3173932SAnatoly Burakov
20689c67ae2SCiara Power* ``RTE_MAX_MEMSEG_LISTS`` controls how many segment lists can DPDK have
20789c67ae2SCiara Power* ``RTE_MAX_MEM_MB_PER_LIST`` controls how much megabytes of memory each
208b3173932SAnatoly Burakov  segment list can address
2096c16a05cSKefu Chai* ``RTE_MAX_MEMSEG_PER_LIST`` controls how many segments each segment list
2106c16a05cSKefu Chai  can have
21189c67ae2SCiara Power* ``RTE_MAX_MEMSEG_PER_TYPE`` controls how many segments each memory type
212b3173932SAnatoly Burakov  can have (where "type" is defined as "page size + NUMA node" combination)
21389c67ae2SCiara Power* ``RTE_MAX_MEM_MB_PER_TYPE`` controls how much megabytes of memory each
214b3173932SAnatoly Burakov  memory type can address
21589c67ae2SCiara Power* ``RTE_MAX_MEM_MB`` places a global maximum on the amount of memory
216b3173932SAnatoly Burakov  DPDK can reserve
217b3173932SAnatoly Burakov
218b3173932SAnatoly BurakovNormally, these options do not need to be changed.
219b3173932SAnatoly Burakov
220b3173932SAnatoly Burakov.. note::
221b3173932SAnatoly Burakov
222b3173932SAnatoly Burakov    Preallocated virtual memory is not to be confused with preallocated hugepage
223b3173932SAnatoly Burakov    memory! All DPDK processes preallocate virtual memory at startup. Hugepages
224b3173932SAnatoly Burakov    can later be mapped into that preallocated VA space (if dynamic memory mode
225b3173932SAnatoly Burakov    is enabled), and can optionally be mapped into it at startup.
226b3173932SAnatoly Burakov
227979bb5d4SDmitry Kozlyuk.. _hugepage_mapping:
228979bb5d4SDmitry Kozlyuk
2291ba4f673SDmitry KozlyukHugepage Mapping
2301ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^
2311ba4f673SDmitry Kozlyuk
2321ba4f673SDmitry KozlyukBelow is an overview of methods used for each OS to obtain hugepages,
2331ba4f673SDmitry Kozlyukexplaining why certain limitations and options exist in EAL.
2341ba4f673SDmitry KozlyukSee the user guide for a specific OS for configuration details.
2351ba4f673SDmitry Kozlyuk
2361ba4f673SDmitry KozlyukFreeBSD uses ``contigmem`` kernel module
2371ba4f673SDmitry Kozlyukto reserve a fixed number of hugepages at system start,
2381ba4f673SDmitry Kozlyukwhich are mapped by EAL at initialization using a specific ``sysctl()``.
2391ba4f673SDmitry Kozlyuk
2401ba4f673SDmitry KozlyukWindows EAL allocates hugepages from the OS as needed using Win32 API,
2411ba4f673SDmitry Kozlyukso available amount depends on the system load.
2421ba4f673SDmitry KozlyukIt uses ``virt2phys`` kernel module to obtain physical addresses,
2431ba4f673SDmitry Kozlyukunless running in IOVA-as-VA mode (e.g. forced with ``--iova-mode=va``).
2441ba4f673SDmitry Kozlyuk
2451ba4f673SDmitry KozlyukLinux allows to select any combination of the following:
2461ba4f673SDmitry Kozlyuk
2471ba4f673SDmitry Kozlyuk* use files in hugetlbfs (the default)
2481ba4f673SDmitry Kozlyuk  or anonymous mappings (``--in-memory``);
2491ba4f673SDmitry Kozlyuk* map each hugepage from its own file (the default)
2501ba4f673SDmitry Kozlyuk  or map multiple hugepages from one big file (``--single-file-segments``).
2511ba4f673SDmitry Kozlyuk
2521ba4f673SDmitry KozlyukMapping hugepages from files in hugetlbfs is essential for multi-process,
2531ba4f673SDmitry Kozlyukbecause secondary processes need to map the same hugepages.
2541ba4f673SDmitry KozlyukEAL creates files like ``rtemap_0``
2551ba4f673SDmitry Kozlyukin directories specified with ``--huge-dir`` option
2561ba4f673SDmitry Kozlyuk(or in the mount point for a specific hugepage size).
2571ba4f673SDmitry KozlyukThe ``rte`` prefix can be changed using ``--file-prefix``.
2581ba4f673SDmitry KozlyukThis may be needed for running multiple primary processes
2591ba4f673SDmitry Kozlyukthat share a hugetlbfs mount point.
2601ba4f673SDmitry KozlyukEach backing file by default corresponds to one hugepage,
2611ba4f673SDmitry Kozlyukit is opened and locked for the entire time the hugepage is used.
2621ba4f673SDmitry KozlyukThis may exhaust the number of open files limit (``NOFILE``).
2631ba4f673SDmitry KozlyukSee :ref:`segment-file-descriptors` section
2641ba4f673SDmitry Kozlyukon how the number of open backing file descriptors can be reduced.
2651ba4f673SDmitry Kozlyuk
2661ba4f673SDmitry KozlyukIn dynamic memory mode, EAL removes a backing hugepage file
2671ba4f673SDmitry Kozlyukwhen all pages mapped from it are freed back to the system.
2681ba4f673SDmitry KozlyukHowever, backing files may persist after the application terminates
2691ba4f673SDmitry Kozlyukin case of a crash or a leak of DPDK memory (e.g. ``rte_free()`` is missing).
2701ba4f673SDmitry KozlyukThis reduces the number of hugepages available to other processes
2711ba4f673SDmitry Kozlyukas reported by ``/sys/kernel/mm/hugepages/hugepages-*/free_hugepages``.
2721ba4f673SDmitry KozlyukEAL can remove the backing files after opening them for mapping
2731ba4f673SDmitry Kozlyukif ``--huge-unlink`` is given to avoid polluting hugetlbfs.
2741ba4f673SDmitry KozlyukHowever, since it disables multi-process anyway,
2751ba4f673SDmitry Kozlyukusing anonymous mapping (``--in-memory``) is recommended instead.
2761ba4f673SDmitry Kozlyuk
2771ba4f673SDmitry Kozlyuk:ref:`EAL memory allocator <malloc>` relies on hugepages being zero-filled.
2781ba4f673SDmitry KozlyukHugepages are cleared by the kernel when a file in hugetlbfs or its part
2791ba4f673SDmitry Kozlyukis mapped for the first time system-wide
2801ba4f673SDmitry Kozlyukto prevent data leaks from previous users of the same hugepage.
2811ba4f673SDmitry KozlyukEAL ensures this behavior by removing existing backing files at startup
2821ba4f673SDmitry Kozlyukand by recreating them before opening for mapping (as a precaution).
2831ba4f673SDmitry Kozlyuk
2840dff3f26SDmitry KozlyukOne exception is ``--huge-unlink=never`` mode.
2850dff3f26SDmitry KozlyukIt is used to speed up EAL initialization, usually on application restart.
2860dff3f26SDmitry KozlyukClearing memory constitutes more than 95% of hugepage mapping time.
2870dff3f26SDmitry KozlyukEAL can save it by remapping existing backing files
2880dff3f26SDmitry Kozlyukwith all the data left in the mapped hugepages ("dirty" memory).
2890dff3f26SDmitry KozlyukSuch segments are marked with ``RTE_MEMSEG_FLAG_DIRTY``.
2900dff3f26SDmitry KozlyukMemory allocator detects dirty segments and handles them accordingly,
2910dff3f26SDmitry Kozlyukin particular, it clears memory requested with ``rte_zmalloc*()``.
2920dff3f26SDmitry KozlyukIn this mode EAL also does not remove a backing file
2930dff3f26SDmitry Kozlyukwhen all pages mapped from it are freed,
2940dff3f26SDmitry Kozlyukbecause they are intended to be reusable at restart.
2950dff3f26SDmitry Kozlyuk
2961ba4f673SDmitry KozlyukAnonymous mapping does not allow multi-process architecture.
2971ba4f673SDmitry KozlyukThis mode does not use hugetlbfs
2981ba4f673SDmitry Kozlyukand thus does not require root permissions for memory management
2991ba4f673SDmitry Kozlyuk(the limit of locked memory amount, ``MEMLOCK``, still applies).
3001ba4f673SDmitry KozlyukIt is free of filename conflict and leftover file issues.
3011ba4f673SDmitry KozlyukIf ``memfd_create(2)`` is supported both at build and run time,
3021ba4f673SDmitry KozlyukDPDK memory manager can provide file descriptors for memory segments,
3031ba4f673SDmitry Kozlyukwhich are required for VirtIO with vhost-user backend.
3041ba4f673SDmitry KozlyukThis can exhaust the number of open files limit (``NOFILE``)
3051ba4f673SDmitry Kozlyukdespite not creating any visible files.
3061ba4f673SDmitry KozlyukSee :ref:`segment-file-descriptors` section
3071ba4f673SDmitry Kozlyukon how the number of open file descriptors used by EAL can be reduced.
3081ba4f673SDmitry Kozlyuk
3091ba4f673SDmitry Kozlyuk.. _segment-file-descriptors:
3101ba4f673SDmitry Kozlyuk
3111ba4f673SDmitry KozlyukSegment File Descriptors
3121ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^^^^^^
3131e3380a2SAnatoly Burakov
3141e3380a2SAnatoly BurakovOn Linux, in most cases, EAL will store segment file descriptors in EAL. This
3151e3380a2SAnatoly Burakovcan become a problem when using smaller page sizes due to underlying limitations
3161e3380a2SAnatoly Burakovof ``glibc`` library. For example, Linux API calls such as ``select()`` may not
3171e3380a2SAnatoly Burakovwork correctly because ``glibc`` does not support more than certain number of
3181e3380a2SAnatoly Burakovfile descriptors.
3191e3380a2SAnatoly Burakov
3201e3380a2SAnatoly BurakovThere are two possible solutions for this problem. The recommended solution is
3211e3380a2SAnatoly Burakovto use ``--single-file-segments`` mode, as that mode will not use a file
3221e3380a2SAnatoly Burakovdescriptor per each page, and it will keep compatibility with Virtio with
3231e3380a2SAnatoly Burakovvhost-user backend. This option is not available when using ``--legacy-mem``
3241e3380a2SAnatoly Burakovmode.
3251e3380a2SAnatoly Burakov
3261e3380a2SAnatoly BurakovAnother option is to use bigger page sizes. Since fewer pages are required to
3271e3380a2SAnatoly Burakovcover the same memory area, fewer file descriptors will be stored internally
3281e3380a2SAnatoly Burakovby EAL.
3291e3380a2SAnatoly Burakov
33042fbb8e8SDon WallworkHugepage Worker Stacks
33142fbb8e8SDon Wallwork^^^^^^^^^^^^^^^^^^^^^^
33242fbb8e8SDon Wallwork
33342fbb8e8SDon WallworkWhen the ``--huge-worker-stack[=size]`` EAL option is specified, worker
33442fbb8e8SDon Wallworkthread stacks are allocated from hugepage memory local to the NUMA node
33542fbb8e8SDon Wallworkof the thread. Worker stack size defaults to system pthread stack size
33642fbb8e8SDon Wallworkif the optional size parameter is not specified.
33742fbb8e8SDon Wallwork
33842fbb8e8SDon Wallwork.. warning::
33942fbb8e8SDon Wallwork    Stacks allocated from hugepage memory are not protected by guard
34042fbb8e8SDon Wallwork    pages. Worker stacks must be sufficiently sized to prevent stack
34142fbb8e8SDon Wallwork    overflow when this option is used.
34242fbb8e8SDon Wallwork
34342fbb8e8SDon Wallwork    As with normal thread stacks, hugepage worker thread stack size is
34442fbb8e8SDon Wallwork    fixed and is not dynamically resized. Therefore, an application that
34542fbb8e8SDon Wallwork    is free of stack page faults under a given load should be safe with
34642fbb8e8SDon Wallwork    hugepage worker thread stacks given the same thread stack size and
34742fbb8e8SDon Wallwork    loading conditions.
34842fbb8e8SDon Wallwork
34966498f0fSAnatoly BurakovSupport for Externally Allocated Memory
35066498f0fSAnatoly Burakov~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
35166498f0fSAnatoly Burakov
352950e8fb4SAnatoly BurakovIt is possible to use externally allocated memory in DPDK. There are two ways in
353950e8fb4SAnatoly Burakovwhich using externally allocated memory can work: the malloc heap API's, and
354950e8fb4SAnatoly Burakovmanual memory management.
35566498f0fSAnatoly Burakov
356950e8fb4SAnatoly Burakov+ Using heap API's for externally allocated memory
357950e8fb4SAnatoly Burakov
358f43d3dbbSDavid MarchandUsing a set of malloc heap API's is the recommended way to use externally
359950e8fb4SAnatoly Burakovallocated memory in DPDK. In this way, support for externally allocated memory
360950e8fb4SAnatoly Burakovis implemented through overloading the socket ID - externally allocated heaps
361950e8fb4SAnatoly Burakovwill have socket ID's that would be considered invalid under normal
362950e8fb4SAnatoly Burakovcircumstances. Requesting an allocation to take place from a specified
363950e8fb4SAnatoly Burakovexternally allocated memory is a matter of supplying the correct socket ID to
364950e8fb4SAnatoly BurakovDPDK allocator, either directly (e.g. through a call to ``rte_malloc``) or
365950e8fb4SAnatoly Burakovindirectly (through data structure-specific allocation API's such as
366950e8fb4SAnatoly Burakov``rte_ring_create``). Using these API's also ensures that mapping of externally
367950e8fb4SAnatoly Burakovallocated memory for DMA is also performed on any memory segment that is added
368950e8fb4SAnatoly Burakovto a DPDK malloc heap.
369950e8fb4SAnatoly Burakov
370950e8fb4SAnatoly BurakovSince there is no way DPDK can verify whether memory is available or valid, this
371950e8fb4SAnatoly Burakovresponsibility falls on the shoulders of the user. All multiprocess
37266498f0fSAnatoly Burakovsynchronization is also user's responsibility, as well as ensuring  that all
37366498f0fSAnatoly Burakovcalls to add/attach/detach/remove memory are done in the correct order. It is
37466498f0fSAnatoly Burakovnot required to attach to a memory area in all processes - only attach to memory
37566498f0fSAnatoly Burakovareas as needed.
37666498f0fSAnatoly Burakov
37766498f0fSAnatoly BurakovThe expected workflow is as follows:
37866498f0fSAnatoly Burakov
37966498f0fSAnatoly Burakov* Get a pointer to memory area
38066498f0fSAnatoly Burakov* Create a named heap
38166498f0fSAnatoly Burakov* Add memory area(s) to the heap
38266498f0fSAnatoly Burakov    - If IOVA table is not specified, IOVA addresses will be assumed to be
38366498f0fSAnatoly Burakov      unavailable, and DMA mappings will not be performed
38466498f0fSAnatoly Burakov    - Other processes must attach to the memory area before they can use it
38566498f0fSAnatoly Burakov* Get socket ID used for the heap
38666498f0fSAnatoly Burakov* Use normal DPDK allocation procedures, using supplied socket ID
38766498f0fSAnatoly Burakov* If memory area is no longer needed, it can be removed from the heap
38866498f0fSAnatoly Burakov    - Other processes must detach from this memory area before it can be removed
38966498f0fSAnatoly Burakov* If heap is no longer needed, remove it
39066498f0fSAnatoly Burakov    - Socket ID will become invalid and will not be reused
39166498f0fSAnatoly Burakov
39266498f0fSAnatoly BurakovFor more information, please refer to ``rte_malloc`` API documentation,
39366498f0fSAnatoly Burakovspecifically the ``rte_malloc_heap_*`` family of function calls.
39466498f0fSAnatoly Burakov
395950e8fb4SAnatoly Burakov+ Using externally allocated memory without DPDK API's
396950e8fb4SAnatoly Burakov
397950e8fb4SAnatoly BurakovWhile using heap API's is the recommended method of using externally allocated
398950e8fb4SAnatoly Burakovmemory in DPDK, there are certain use cases where the overhead of DPDK heap API
399950e8fb4SAnatoly Burakovis undesirable - for example, when manual memory management is performed on an
400950e8fb4SAnatoly Burakovexternally allocated area. To support use cases where externally allocated
401950e8fb4SAnatoly Burakovmemory will not be used as part of normal DPDK workflow, there is also another
402950e8fb4SAnatoly Burakovset of API's under the ``rte_extmem_*`` namespace.
403950e8fb4SAnatoly Burakov
404950e8fb4SAnatoly BurakovThese API's are (as their name implies) intended to allow registering or
405950e8fb4SAnatoly Burakovunregistering externally allocated memory to/from DPDK's internal page table, to
406ebf9c7b1SAnatoly Burakovallow API's like ``rte_mem_virt2memseg`` etc. to work with externally allocated
407950e8fb4SAnatoly Burakovmemory. Memory added this way will not be available for any regular DPDK
408950e8fb4SAnatoly Burakovallocators; DPDK will leave this memory for the user application to manage.
409950e8fb4SAnatoly Burakov
410950e8fb4SAnatoly BurakovThe expected workflow is as follows:
411950e8fb4SAnatoly Burakov
412950e8fb4SAnatoly Burakov* Get a pointer to memory area
413950e8fb4SAnatoly Burakov* Register memory within DPDK
414950e8fb4SAnatoly Burakov    - If IOVA table is not specified, IOVA addresses will be assumed to be
415950e8fb4SAnatoly Burakov      unavailable
416bed79418SAnatoly Burakov    - Other processes must attach to the memory area before they can use it
417c33a675bSShahaf Shuler* Perform DMA mapping with ``rte_dev_dma_map`` if needed
418950e8fb4SAnatoly Burakov* Use the memory area in your application
419950e8fb4SAnatoly Burakov* If memory area is no longer needed, it can be unregistered
420950e8fb4SAnatoly Burakov    - If the area was mapped for DMA, unmapping must be performed before
421950e8fb4SAnatoly Burakov      unregistering memory
422bed79418SAnatoly Burakov    - Other processes must detach from the memory area before it can be
423bed79418SAnatoly Burakov      unregistered
424950e8fb4SAnatoly Burakov
425950e8fb4SAnatoly BurakovSince these externally allocated memory areas will not be managed by DPDK, it is
426950e8fb4SAnatoly Burakovtherefore up to the user application to decide how to use them and what to do
427950e8fb4SAnatoly Burakovwith them once they're registered.
428950e8fb4SAnatoly Burakov
429fc1f2750SBernard IremongerPer-lcore and Shared Variables
430fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
431fc1f2750SBernard Iremonger
432fc1f2750SBernard Iremonger.. note::
433fc1f2750SBernard Iremonger
434fc1f2750SBernard Iremonger    lcore refers to a logical execution unit of the processor, sometimes called a hardware *thread*.
435fc1f2750SBernard Iremonger
436fc1f2750SBernard IremongerShared variables are the default behavior.
437fc1f2750SBernard IremongerPer-lcore variables are implemented using *Thread Local Storage* (TLS) to provide per-thread local storage.
438fc1f2750SBernard Iremonger
439fc1f2750SBernard IremongerLogs
440fc1f2750SBernard Iremonger~~~~
441fc1f2750SBernard Iremonger
44209ce4131SBruce RichardsonWhile originally part of EAL, DPDK logging functionality is now provided by the :doc:`log_lib`.
443fc1f2750SBernard Iremonger
444fc1f2750SBernard IremongerTrace and Debug Functions
445fc1f2750SBernard Iremonger^^^^^^^^^^^^^^^^^^^^^^^^^
446fc1f2750SBernard Iremonger
447fc1f2750SBernard IremongerThere are some debug functions to dump the stack in glibc.
448fc1f2750SBernard IremongerThe rte_panic() function can voluntarily provoke a SIG_ABORT,
449fc1f2750SBernard Iremongerwhich can trigger the generation of a core file, readable by gdb.
450fc1f2750SBernard Iremonger
451fc1f2750SBernard IremongerCPU Feature Identification
452fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~
453fc1f2750SBernard Iremonger
45404cf0334SRami RosenThe EAL can query the CPU at runtime (using the rte_cpu_get_features() function) to determine which CPU features are available.
455fc1f2750SBernard Iremonger
4565762a565SCunming LiangUser Space Interrupt Event
4575762a565SCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~
4585762a565SCunming Liang
4595762a565SCunming Liang+ User Space Interrupt and Alarm Handling in Host Thread
460fc1f2750SBernard Iremonger
461fc1f2750SBernard IremongerThe EAL creates a host thread to poll the UIO device file descriptors to detect the interrupts.
462fc1f2750SBernard IremongerCallbacks can be registered or unregistered by the EAL functions for a specific interrupt event
463fc1f2750SBernard Iremongerand are called in the host thread asynchronously.
464fc1f2750SBernard IremongerThe EAL also allows timed callbacks to be used in the same way as for NIC interrupts.
465fc1f2750SBernard Iremonger
466fc1f2750SBernard Iremonger.. note::
467fc1f2750SBernard Iremonger
468b5ece772SGaetan Rivet    In DPDK PMD, the only interrupts handled by the dedicated host thread are those for link status change
469b5ece772SGaetan Rivet    (link up and link down notification) and for sudden device removal.
470fc1f2750SBernard Iremonger
4715762a565SCunming Liang
4725762a565SCunming Liang+ RX Interrupt Event
4735762a565SCunming Liang
4745762a565SCunming LiangThe receive and transmit routines provided by each PMD don't limit themselves to execute in polling thread mode.
4755762a565SCunming LiangTo ease the idle polling with tiny throughput, it's useful to pause the polling and wait until the wake-up event happens.
4765762a565SCunming LiangThe RX interrupt is the first choice to be such kind of wake-up event, but probably won't be the only one.
4775762a565SCunming Liang
4785762a565SCunming LiangEAL provides the event APIs for this event-driven thread mode.
47991d7846cSBruce RichardsonTaking Linux as an example, the implementation relies on epoll. Each thread can monitor an epoll instance
4805762a565SCunming Liangin which all the wake-up events' file descriptors are added. The event file descriptors are created and mapped to
4815762a565SCunming Liangthe interrupt vectors according to the UIO/VFIO spec.
48225c99fbdSBruce RichardsonFrom FreeBSD's perspective, kqueue is the alternative way, but not implemented yet.
4835762a565SCunming Liang
4845762a565SCunming LiangEAL initializes the mapping between event file descriptors and interrupt vectors, while each device initializes the mapping
4855762a565SCunming Liangbetween interrupt vectors and queues. In this way, EAL actually is unaware of the interrupt cause on the specific vector.
4865762a565SCunming LiangThe eth_dev driver takes responsibility to program the latter mapping.
4875762a565SCunming Liang
4885762a565SCunming Liang.. note::
4895762a565SCunming Liang
4905762a565SCunming Liang    Per queue RX interrupt event is only allowed in VFIO which supports multiple MSI-X vector. In UIO, the RX interrupt
4915762a565SCunming Liang    together with other interrupt causes shares the same vector. In this case, when RX interrupt and LSC(link status change)
4925762a565SCunming Liang    interrupt are both enabled(intr_conf.lsc == 1 && intr_conf.rxq == 1), only the former is capable.
4935762a565SCunming Liang
4945762a565SCunming LiangThe RX interrupt are controlled/enabled/disabled by ethdev APIs - 'rte_eth_dev_rx_intr_*'. They return failure if the PMD
4955762a565SCunming Lianghasn't support them yet. The intr_conf.rxq flag is used to turn on the capability of RX interrupt per device.
4965762a565SCunming Liang
497b5ece772SGaetan Rivet+ Device Removal Event
498b5ece772SGaetan Rivet
499b5ece772SGaetan RivetThis event is triggered by a device being removed at a bus level. Its
500b5ece772SGaetan Rivetunderlying resources may have been made unavailable (i.e. PCI mappings
501b5ece772SGaetan Rivetunmapped). The PMD must make sure that on such occurrence, the application can
502b5ece772SGaetan Rivetstill safely use its callbacks.
503b5ece772SGaetan Rivet
504b5ece772SGaetan RivetThis event can be subscribed to in the same way one would subscribe to a link
505b5ece772SGaetan Rivetstatus change event. The execution context is thus the same, i.e. it is the
506b5ece772SGaetan Rivetdedicated interrupt host thread.
507b5ece772SGaetan Rivet
508b5ece772SGaetan RivetConsidering this, it is likely that an application would want to close a
509b5ece772SGaetan Rivetdevice having emitted a Device Removal Event. In such case, calling
510b5ece772SGaetan Rivet``rte_eth_dev_close()`` can trigger it to unregister its own Device Removal Event
511b5ece772SGaetan Rivetcallback. Care must be taken not to close the device from the interrupt handler
512b5ece772SGaetan Rivetcontext. It is necessary to reschedule such closing operation.
513b5ece772SGaetan Rivet
514db27370bSStephen HemmingerBlock list
515db27370bSStephen Hemminger~~~~~~~~~~
516fc1f2750SBernard Iremonger
517db27370bSStephen HemmingerThe EAL PCI device block list functionality can be used to mark certain NIC ports as unavailable,
51848624fd9SSiobhan Butlerso they are ignored by the DPDK.
519db27370bSStephen HemmingerThe ports to be blocked are identified using the PCIe* description (Domain:Bus:Device.Function).
520fc1f2750SBernard Iremonger
521fc1f2750SBernard IremongerMisc Functions
522fc1f2750SBernard Iremonger~~~~~~~~~~~~~~
523fc1f2750SBernard Iremonger
524fc1f2750SBernard IremongerLocks and atomic operations are per-architecture (i686 and x86_64).
525fc1f2750SBernard Iremonger
526657a98f3SDavid MarchandLock annotations
527657a98f3SDavid Marchand~~~~~~~~~~~~~~~~
528657a98f3SDavid Marchand
529657a98f3SDavid MarchandR/W locks, seq locks and spinlocks have been instrumented to help developers in
530657a98f3SDavid Marchandcatching issues in DPDK.
531657a98f3SDavid Marchand
532657a98f3SDavid MarchandThis instrumentation relies on
533657a98f3SDavid Marchand`clang Thread Safety checks <https://clang.llvm.org/docs/ThreadSafetyAnalysis.html>`_.
534657a98f3SDavid MarchandAll attributes are prefixed with __rte and are fully described in the clang
535657a98f3SDavid Marchanddocumentation.
536657a98f3SDavid Marchand
537657a98f3SDavid MarchandSome general comments:
538657a98f3SDavid Marchand
539657a98f3SDavid Marchand- it is important that lock requirements are expressed at the function
540657a98f3SDavid Marchand  declaration level in headers so that other code units can be inspected,
541657a98f3SDavid Marchand- when some global lock is necessary to some user-exposed API, it is preferred
542657a98f3SDavid Marchand  to expose it via an internal helper rather than expose the global variable,
543657a98f3SDavid Marchand- there are a list of known limitations with clang instrumentation, but before
544657a98f3SDavid Marchand  waiving checks with ``__rte_no_thread_safety_analysis`` in your code, please
545657a98f3SDavid Marchand  discuss it on the mailing list,
546657a98f3SDavid Marchand
54770cc4e1fSDavid MarchandThe checks are enabled by default for libraries and drivers.
54870cc4e1fSDavid MarchandThey can be disabled by setting ``annotate_locks`` to ``false`` in
54970cc4e1fSDavid Marchandthe concerned library/driver ``meson.build``.
550657a98f3SDavid Marchand
551b76fafb1SDavid MarchandIOVA Mode Detection
552b76fafb1SDavid Marchand~~~~~~~~~~~~~~~~~~~
553b76fafb1SDavid Marchand
554b76fafb1SDavid MarchandIOVA Mode is selected by considering what the current usable Devices on the
555b76fafb1SDavid Marchandsystem require and/or support.
556b76fafb1SDavid Marchand
55779a0bbe5SAnatoly BurakovOn FreeBSD, RTE_IOVA_PA is always the default. On Linux, the IOVA mode is
55879a0bbe5SAnatoly Burakovdetected based on a 2-step heuristic detailed below.
559b76fafb1SDavid Marchand
560b76fafb1SDavid MarchandFor the first step, EAL asks each bus its requirement in terms of IOVA mode
561b76fafb1SDavid Marchandand decides on a preferred IOVA mode.
562b76fafb1SDavid Marchand
563b76fafb1SDavid Marchand- if all buses report RTE_IOVA_PA, then the preferred IOVA mode is RTE_IOVA_PA,
564b76fafb1SDavid Marchand- if all buses report RTE_IOVA_VA, then the preferred IOVA mode is RTE_IOVA_VA,
5657be78d02SJosh Soref- if all buses report RTE_IOVA_DC, no bus expressed a preference, then the
566b76fafb1SDavid Marchand  preferred mode is RTE_IOVA_DC,
567b76fafb1SDavid Marchand- if the buses disagree (at least one wants RTE_IOVA_PA and at least one wants
568b76fafb1SDavid Marchand  RTE_IOVA_VA), then the preferred IOVA mode is RTE_IOVA_DC (see below with the
569b76fafb1SDavid Marchand  check on Physical Addresses availability),
570b76fafb1SDavid Marchand
57179a0bbe5SAnatoly BurakovIf the buses have expressed no preference on which IOVA mode to pick, then a
57279a0bbe5SAnatoly Burakovdefault is selected using the following logic:
57379a0bbe5SAnatoly Burakov
57479a0bbe5SAnatoly Burakov- if physical addresses are not available, RTE_IOVA_VA mode is used
57579a0bbe5SAnatoly Burakov- if /sys/kernel/iommu_groups is not empty, RTE_IOVA_VA mode is used
57679a0bbe5SAnatoly Burakov- otherwise, RTE_IOVA_PA mode is used
57779a0bbe5SAnatoly Burakov
57879a0bbe5SAnatoly BurakovIn the case when the buses had disagreed on their preferred IOVA mode, part of
57979a0bbe5SAnatoly Burakovthe buses won't work because of this decision.
58079a0bbe5SAnatoly Burakov
581b76fafb1SDavid MarchandThe second step checks if the preferred mode complies with the Physical
582b76fafb1SDavid MarchandAddresses availability since those are only available to root user in recent
58379a0bbe5SAnatoly Burakovkernels. Namely, if the preferred mode is RTE_IOVA_PA but there is no access to
58479a0bbe5SAnatoly BurakovPhysical Addresses, then EAL init fails early, since later probing of the
58579a0bbe5SAnatoly Burakovdevices would fail anyway.
586b76fafb1SDavid Marchand
587bbe29a9bSJerin Jacob.. note::
588bbe29a9bSJerin Jacob
58979a0bbe5SAnatoly Burakov    The RTE_IOVA_VA mode is preferred as the default in most cases for the
59079a0bbe5SAnatoly Burakov    following reasons:
591bbe29a9bSJerin Jacob
592bbe29a9bSJerin Jacob    - All drivers are expected to work in RTE_IOVA_VA mode, irrespective of
593bbe29a9bSJerin Jacob      physical address availability.
594bbe29a9bSJerin Jacob    - By default, the mempool, first asks for IOVA-contiguous memory using
595bbe29a9bSJerin Jacob      ``RTE_MEMZONE_IOVA_CONTIG``. This is slow in RTE_IOVA_PA mode and it may
596bbe29a9bSJerin Jacob      affect the application boot time.
5979c30a6f3SHenry Nadeau    - It is easy to enable large amount of IOVA-contiguous memory use cases
598bbe29a9bSJerin Jacob      with IOVA in VA mode.
599bbe29a9bSJerin Jacob
600bbe29a9bSJerin Jacob    It is expected that all PCI drivers work in both RTE_IOVA_PA and
601bbe29a9bSJerin Jacob    RTE_IOVA_VA modes.
602bbe29a9bSJerin Jacob
603bbe29a9bSJerin Jacob    If a PCI driver does not support RTE_IOVA_PA mode, the
604bbe29a9bSJerin Jacob    ``RTE_PCI_DRV_NEED_IOVA_AS_VA`` flag is used to dictate that this PCI
605bbe29a9bSJerin Jacob    driver can only work in RTE_IOVA_VA mode.
606bbe29a9bSJerin Jacob
607a0dede62SVamsi Attunuru
608075b182bSEric ZhangIOVA Mode Configuration
609075b182bSEric Zhang~~~~~~~~~~~~~~~~~~~~~~~
610075b182bSEric Zhang
611075b182bSEric ZhangAuto detection of the IOVA mode, based on probing the bus and IOMMU configuration, may not report
612075b182bSEric Zhangthe desired addressing mode when virtual devices that are not directly attached to the bus are present.
613075b182bSEric ZhangTo facilitate forcing the IOVA mode to a specific value the EAL command line option ``--iova-mode`` can
614075b182bSEric Zhangbe used to select either physical addressing('pa') or virtual addressing('va').
615075b182bSEric Zhang
616580af30dSCiara Power.. _max_simd_bitwidth:
617580af30dSCiara Power
618580af30dSCiara Power
619580af30dSCiara PowerMax SIMD bitwidth
620580af30dSCiara Power~~~~~~~~~~~~~~~~~
621580af30dSCiara Power
622580af30dSCiara PowerThe EAL provides a single setting to limit the max SIMD bitwidth used by DPDK,
623580af30dSCiara Powerwhich is used in determining the vector path, if any, chosen by a component.
624580af30dSCiara PowerThe value can be set at runtime by an application using the
625580af30dSCiara Power'rte_vect_set_max_simd_bitwidth(uint16_t bitwidth)' function,
626580af30dSCiara Powerwhich should only be called once at initialization, before EAL init.
627580af30dSCiara PowerThe value can be overridden by the user using the EAL command-line option '--force-max-simd-bitwidth'.
628580af30dSCiara Power
629580af30dSCiara PowerWhen choosing a vector path, along with checking the CPU feature support,
630580af30dSCiara Powerthe value of the max SIMD bitwidth must also be checked, and can be retrieved using the
631580af30dSCiara Power'rte_vect_get_max_simd_bitwidth()' function.
632580af30dSCiara PowerThe value should be compared against the enum values for accepted max SIMD bitwidths:
633580af30dSCiara Power
634580af30dSCiara Power.. code-block:: c
635580af30dSCiara Power
636580af30dSCiara Power   enum rte_vect_max_simd {
637580af30dSCiara Power       RTE_VECT_SIMD_DISABLED = 64,
638580af30dSCiara Power       RTE_VECT_SIMD_128 = 128,
639580af30dSCiara Power       RTE_VECT_SIMD_256 = 256,
640580af30dSCiara Power       RTE_VECT_SIMD_512 = 512,
641580af30dSCiara Power       RTE_VECT_SIMD_MAX = INT16_MAX + 1,
642580af30dSCiara Power   };
643580af30dSCiara Power
644580af30dSCiara Power    if (rte_vect_get_max_simd_bitwidth() >= RTE_VECT_SIMD_512)
645580af30dSCiara Power        /* Take AVX-512 vector path */
646580af30dSCiara Power    else if (rte_vect_get_max_simd_bitwidth() >= RTE_VECT_SIMD_256)
647580af30dSCiara Power        /* Take AVX2 vector path */
648580af30dSCiara Power
649580af30dSCiara Power
650fc1f2750SBernard IremongerMemory Segments and Memory Zones (memzone)
651fc1f2750SBernard Iremonger------------------------------------------
652fc1f2750SBernard Iremonger
653fc1f2750SBernard IremongerThe mapping of physical memory is provided by this feature in the EAL.
654fc1f2750SBernard IremongerAs physical memory can have gaps, the memory is described in a table of descriptors,
655b3173932SAnatoly Burakovand each descriptor (called rte_memseg ) describes a physical page.
656fc1f2750SBernard Iremonger
657fc1f2750SBernard IremongerOn top of this, the memzone allocator's role is to reserve contiguous portions of physical memory.
658fc1f2750SBernard IremongerThese zones are identified by a unique name when the memory is reserved.
659fc1f2750SBernard Iremonger
660fc1f2750SBernard IremongerThe rte_memzone descriptors are also located in the configuration structure.
661fc1f2750SBernard IremongerThis structure is accessed using rte_eal_get_configuration().
662fc1f2750SBernard IremongerThe lookup (by name) of a memory zone returns a descriptor containing the physical address of the memory zone.
663fc1f2750SBernard Iremonger
664fc1f2750SBernard IremongerMemory zones can be reserved with specific start address alignment by supplying the align parameter
665fc1f2750SBernard Iremonger(by default, they are aligned to cache line size).
666fc1f2750SBernard IremongerThe alignment value should be a power of two and not less than the cache line size (64 bytes).
667fc1f2750SBernard IremongerMemory zones can also be reserved from either 2 MB or 1 GB hugepages, provided that both are available on the system.
668fc1f2750SBernard Iremonger
669b3173932SAnatoly BurakovBoth memsegs and memzones are stored using ``rte_fbarray`` structures. Please
670b3173932SAnatoly Burakovrefer to *DPDK API Reference* for more information.
671b3173932SAnatoly Burakov
6721733be6dSCunming Liang
6731733be6dSCunming LiangMultiple pthread
6741733be6dSCunming Liang----------------
6751733be6dSCunming Liang
676e1ed63b0SCunming LiangDPDK usually pins one pthread per core to avoid the overhead of task switching.
677e1ed63b0SCunming LiangThis allows for significant performance gains, but lacks flexibility and is not always efficient.
6781733be6dSCunming Liang
679e1ed63b0SCunming LiangPower management helps to improve the CPU efficiency by limiting the CPU runtime frequency.
680e1ed63b0SCunming LiangHowever, alternately it is possible to utilize the idle cycles available to take advantage of
681e1ed63b0SCunming Liangthe full capability of the CPU.
6821733be6dSCunming Liang
683e1ed63b0SCunming LiangBy taking advantage of cgroup, the CPU utilization quota can be simply assigned.
684fea1d908SJohn McNamaraThis gives another way to improve the CPU efficiency, however, there is a prerequisite;
685e1ed63b0SCunming LiangDPDK must handle the context switching between multiple pthreads per core.
6861733be6dSCunming Liang
687e1ed63b0SCunming LiangFor further flexibility, it is useful to set pthread affinity not only to a CPU but to a CPU set.
6881733be6dSCunming Liang
6891733be6dSCunming LiangEAL pthread and lcore Affinity
6901733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
6911733be6dSCunming Liang
692e1ed63b0SCunming LiangThe term "lcore" refers to an EAL thread, which is really a Linux/FreeBSD pthread.
693e1ed63b0SCunming Liang"EAL pthreads"  are created and managed by EAL and execute the tasks issued by *remote_launch*.
694e1ed63b0SCunming LiangIn each EAL pthread, there is a TLS (Thread Local Storage) called *_lcore_id* for unique identification.
695e1ed63b0SCunming LiangAs EAL pthreads usually bind 1:1 to the physical CPU, the *_lcore_id* is typically equal to the CPU ID.
6961733be6dSCunming Liang
697e1ed63b0SCunming LiangWhen using multiple pthreads, however, the binding is no longer always 1:1 between an EAL pthread and a specified physical CPU.
698e1ed63b0SCunming 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.
699e1ed63b0SCunming LiangFor this reason, there is an EAL long option '--lcores' defined to assign the CPU affinity of lcores.
700e1ed63b0SCunming LiangFor a specified lcore ID or ID group, the option allows setting the CPU set for that EAL pthread.
7011733be6dSCunming Liang
7021733be6dSCunming LiangThe format pattern:
7031733be6dSCunming Liang	--lcores='<lcore_set>[@cpu_set][,<lcore_set>[@cpu_set],...]'
7041733be6dSCunming Liang
7051733be6dSCunming Liang'lcore_set' and 'cpu_set' can be a single number, range or a group.
7061733be6dSCunming Liang
7071733be6dSCunming LiangA number is a "digit([0-9]+)"; a range is "<number>-<number>"; a group is "(<number|range>[,<number|range>,...])".
7081733be6dSCunming Liang
709e1ed63b0SCunming LiangIf a '\@cpu_set' value is not supplied, the value of 'cpu_set' will default to the value of 'lcore_set'.
7101733be6dSCunming Liang
7111733be6dSCunming Liang    ::
7121733be6dSCunming Liang
7131733be6dSCunming Liang    	For example, "--lcores='1,2@(5-7),(3-5)@(0,2),(0,6),7-8'" which means start 9 EAL thread;
7141733be6dSCunming Liang    	    lcore 0 runs on cpuset 0x41 (cpu 0,6);
7151733be6dSCunming Liang    	    lcore 1 runs on cpuset 0x2 (cpu 1);
7161733be6dSCunming Liang    	    lcore 2 runs on cpuset 0xe0 (cpu 5,6,7);
7171733be6dSCunming Liang    	    lcore 3,4,5 runs on cpuset 0x5 (cpu 0,2);
7181733be6dSCunming Liang    	    lcore 6 runs on cpuset 0x41 (cpu 0,6);
7191733be6dSCunming Liang    	    lcore 7 runs on cpuset 0x80 (cpu 7);
7201733be6dSCunming Liang    	    lcore 8 runs on cpuset 0x100 (cpu 8).
7211733be6dSCunming Liang
722e1ed63b0SCunming LiangUsing this option, for each given lcore ID, the associated CPUs can be assigned.
7231733be6dSCunming LiangIt's also compatible with the pattern of corelist('-l') option.
7241733be6dSCunming Liang
7251733be6dSCunming Liangnon-EAL pthread support
7261733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~
7271733be6dSCunming Liang
7285c307ba2SDavid MarchandIt is possible to use the DPDK execution context with any user pthread (aka. non-EAL pthreads).
7295c307ba2SDavid MarchandThere are two kinds of non-EAL pthreads:
7305c307ba2SDavid Marchand
7315c307ba2SDavid Marchand- a registered non-EAL pthread with a valid *_lcore_id* that was successfully assigned by calling ``rte_thread_register()``,
7325c307ba2SDavid Marchand- a non registered non-EAL pthread with a LCORE_ID_ANY,
7335c307ba2SDavid Marchand
7345c307ba2SDavid MarchandFor non registered non-EAL pthread (with a LCORE_ID_ANY *_lcore_id*), some 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).
7351733be6dSCunming Liang
7361733be6dSCunming LiangAll these impacts are mentioned in :ref:`known_issue_label` section.
7371733be6dSCunming Liang
7381733be6dSCunming LiangPublic Thread API
7391733be6dSCunming Liang~~~~~~~~~~~~~~~~~
7401733be6dSCunming Liang
741f88bf5a9SRami RosenThere are two public APIs ``rte_thread_set_affinity()`` and ``rte_thread_get_affinity()`` introduced for threads.
7421733be6dSCunming LiangWhen they're used in any pthread context, the Thread Local Storage(TLS) will be set/get.
7431733be6dSCunming Liang
7441733be6dSCunming LiangThose TLS include *_cpuset* and *_socket_id*:
7451733be6dSCunming Liang
746e1ed63b0SCunming Liang*	*_cpuset* stores the CPUs bitmap to which the pthread is affinitized.
7471733be6dSCunming Liang
748fea1d908SJohn 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.
7491733be6dSCunming Liang
7501733be6dSCunming Liang
751c3568ea3SDavid MarchandControl Thread API
752c3568ea3SDavid Marchand~~~~~~~~~~~~~~~~~~
753c3568ea3SDavid Marchand
754c3568ea3SDavid MarchandIt is possible to create Control Threads using the public API
75557ecf148SThomas Monjalon``rte_thread_create_control()``.
756c3568ea3SDavid MarchandThose threads can be used for management/infrastructure tasks and are used
757c3568ea3SDavid Marchandinternally by DPDK for multi process support and interrupt handling.
758c3568ea3SDavid Marchand
759c3568ea3SDavid MarchandThose threads will be scheduled on CPUs part of the original process CPU
760c3568ea3SDavid Marchandaffinity from which the dataplane and service lcores are excluded.
761c3568ea3SDavid Marchand
762c3568ea3SDavid MarchandFor example, on a 8 CPUs system, starting a dpdk application with -l 2,3
763c3568ea3SDavid Marchand(dataplane cores), then depending on the affinity configuration which can be
764c3568ea3SDavid Marchandcontrolled with tools like taskset (Linux) or cpuset (FreeBSD),
765c3568ea3SDavid Marchand
766c3568ea3SDavid Marchand- with no affinity configuration, the Control Threads will end up on
767c3568ea3SDavid Marchand  0-1,4-7 CPUs.
768c3568ea3SDavid Marchand- with affinity restricted to 2-4, the Control Threads will end up on
769c3568ea3SDavid Marchand  CPU 4.
770c3568ea3SDavid Marchand- with affinity restricted to 2-3, the Control Threads will end up on
771cb056611SStephen Hemminger  CPU 2 (main lcore, which is the default when no CPU is available).
772c3568ea3SDavid Marchand
7731733be6dSCunming Liang.. _known_issue_label:
7741733be6dSCunming Liang
7751733be6dSCunming LiangKnown Issues
7761733be6dSCunming Liang~~~~~~~~~~~~
7771733be6dSCunming Liang
7781733be6dSCunming Liang+ rte_mempool
7791733be6dSCunming Liang
780e1ed63b0SCunming Liang  The rte_mempool uses a per-lcore cache inside the mempool.
7815c307ba2SDavid Marchand  For unregistered non-EAL pthreads, ``rte_lcore_id()`` will not return a valid number.
7825c307ba2SDavid Marchand  So for now, when rte_mempool is used with unregistered non-EAL pthreads, the put/get operations will bypass the default mempool cache and there is a performance penalty because of this bypass.
7835c307ba2SDavid Marchand  Only user-owned external caches can be used in an unregistered non-EAL context in conjunction with ``rte_mempool_generic_put()`` and ``rte_mempool_generic_get()`` that accept an explicit cache parameter.
7841733be6dSCunming Liang
7851733be6dSCunming Liang+ rte_ring
7861733be6dSCunming Liang
787e1ed63b0SCunming Liang  rte_ring supports multi-producer enqueue and multi-consumer dequeue.
7887be78d02SJosh Soref  However, it is non-preemptive, this has a knock on effect of making rte_mempool non-preemptible.
7891733be6dSCunming Liang
7901733be6dSCunming Liang  .. note::
7911733be6dSCunming Liang
7921733be6dSCunming Liang    The "non-preemptive" constraint means:
7931733be6dSCunming Liang
7941733be6dSCunming Liang    - a pthread doing multi-producers enqueues on a given ring must not
7951733be6dSCunming Liang      be preempted by another pthread doing a multi-producer enqueue on
7961733be6dSCunming Liang      the same ring.
7971733be6dSCunming Liang    - a pthread doing multi-consumers dequeues on a given ring must not
7981733be6dSCunming Liang      be preempted by another pthread doing a multi-consumer dequeue on
7991733be6dSCunming Liang      the same ring.
8001733be6dSCunming Liang
8012d6d5ebbSShreyansh Jain    Bypassing this constraint may cause the 2nd pthread to spin until the 1st one is scheduled again.
8021733be6dSCunming Liang    Moreover, if the 1st pthread is preempted by a context that has an higher priority, it may even cause a dead lock.
8031733be6dSCunming Liang
8044a6e683cSHonnappa Nagarahalli  This means, use cases involving preemptible pthreads should consider using rte_ring carefully.
8051733be6dSCunming Liang
806443b949eSDavid Marchand  #. It CAN be used for preemptible single-producer and single-consumer use case.
8071733be6dSCunming Liang
808443b949eSDavid Marchand  #. It CAN be used for non-preemptible multi-producer and preemptible single-consumer use case.
8091733be6dSCunming Liang
810443b949eSDavid Marchand  #. It CAN be used for preemptible single-producer and non-preemptible multi-consumer use case.
8114a6e683cSHonnappa Nagarahalli
812443b949eSDavid Marchand  #. 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.
8134a6e683cSHonnappa Nagarahalli
814443b949eSDavid Marchand  #. It MUST not be used by multi-producer/consumer pthreads, whose scheduling policies are SCHED_FIFO or SCHED_RR.
8151733be6dSCunming Liang
816e75bc77fSGage Eads  Alternatively, applications can use the lock-free stack mempool handler. When
817e75bc77fSGage Eads  considering this handler, note that:
818e75bc77fSGage Eads
8197911ba04SPhil Yang  - It is currently limited to the aarch64 and x86_64 platforms, because it uses
8207911ba04SPhil Yang    an instruction (16-byte compare-and-swap) that is not yet available on other
821e75bc77fSGage Eads    platforms.
822e75bc77fSGage Eads  - It has worse average-case performance than the non-preemptive rte_ring, but
823e75bc77fSGage Eads    software caching (e.g. the mempool cache) can mitigate this by reducing the
824e75bc77fSGage Eads    number of stack accesses.
825e75bc77fSGage Eads
8261733be6dSCunming Liang+ rte_timer
8271733be6dSCunming Liang
8285c307ba2SDavid Marchand  Running  ``rte_timer_manage()`` on an unregistered non-EAL pthread is not allowed. However, resetting/stopping the timer from a non-EAL pthread is allowed.
8291733be6dSCunming Liang
8301733be6dSCunming Liang+ rte_log
8311733be6dSCunming Liang
8325c307ba2SDavid Marchand  In unregistered non-EAL pthreads, there is no per thread loglevel and logtype, global loglevels are used.
8331733be6dSCunming Liang
8341733be6dSCunming Liang+ misc
8351733be6dSCunming Liang
8365c307ba2SDavid Marchand  The debug statistics of rte_ring, rte_mempool and rte_timer are not supported in an unregistered non-EAL pthread.
8371733be6dSCunming Liang
8388f8e8f02SStephen HemmingerSignal Safety
8398f8e8f02SStephen Hemminger~~~~~~~~~~~~~
8408f8e8f02SStephen Hemminger
8418f8e8f02SStephen Hemminger  The Posix API defines an async-signal-safe function as one that can be safely
8428f8e8f02SStephen Hemminger  called from with a signal handler. Many DPDK functions are non-reentrant and
8438f8e8f02SStephen Hemminger  therefore are unsafe to call from a signal handler.
8448f8e8f02SStephen Hemminger
8458f8e8f02SStephen Hemminger  The kinds of issues that make DPDK functions unsafe can be understood when
8468f8e8f02SStephen Hemminger  one considers that much of the code in DPDK uses locks and other shared
8478f8e8f02SStephen Hemminger  resources. For example, calling ``rte_mempool_lookup()`` from a signal
8488f8e8f02SStephen Hemminger  would deadlock if the signal happened during previous call ``rte_mempool``
8498f8e8f02SStephen Hemminger  routines.
8508f8e8f02SStephen Hemminger
8518f8e8f02SStephen Hemminger  Other functions are not signal safe because they use one or more
8528f8e8f02SStephen Hemminger  library routines that are not themselves signal safe.
8538f8e8f02SStephen Hemminger  For example, calling ``rte_panic()`` is not safe in a signal handler
8548f8e8f02SStephen Hemminger  because it uses ``rte_log()`` and ``rte_log()`` calls the
8558f8e8f02SStephen Hemminger  ``syslog()`` library function which is in the list of
8568f8e8f02SStephen Hemminger  signal safe functions in
8578f8e8f02SStephen Hemminger  `Signal-Safety manual page <https://man7.org/linux/man-pages/man7/signal-safety.7.html>`_.
8588f8e8f02SStephen Hemminger
8598f8e8f02SStephen Hemminger  The set of functions that are expected to be async-signal-safe in DPDK
8608f8e8f02SStephen Hemminger  is shown in the following table. The functions not otherwise noted
8618f8e8f02SStephen Hemminger  are not async-signal-safe.
8628f8e8f02SStephen Hemminger
8638f8e8f02SStephen Hemminger.. csv-table:: **Signal Safe Functions**
8648f8e8f02SStephen Hemminger   :header: "Function"
8658f8e8f02SStephen Hemminger   :widths: 32
8668f8e8f02SStephen Hemminger
8678f8e8f02SStephen Hemminger   rte_dump_stack
8688f8e8f02SStephen Hemminger   rte_eal_get_lcore_state
8698f8e8f02SStephen Hemminger   rte_eal_get_runtime_dir
8708f8e8f02SStephen Hemminger   rte_eal_has_hugepages
8718f8e8f02SStephen Hemminger   rte_eal_has_pci
8728f8e8f02SStephen Hemminger   rte_eal_lcore_role
8738f8e8f02SStephen Hemminger   rte_eal_process_type
8748f8e8f02SStephen Hemminger   rte_eal_using_phys_addrs
8758f8e8f02SStephen Hemminger   rte_get_hpet_cycles
8768f8e8f02SStephen Hemminger   rte_get_hpet_hz
8778f8e8f02SStephen Hemminger   rte_get_main_lcore
8788f8e8f02SStephen Hemminger   rte_get_next_lcore
8798f8e8f02SStephen Hemminger   rte_get_tsc_hz
8808f8e8f02SStephen Hemminger   rte_hypervisor_get
8818f8e8f02SStephen Hemminger   rte_hypervisor_get_name
8828f8e8f02SStephen Hemminger   rte_lcore_count
8838f8e8f02SStephen Hemminger   rte_lcore_cpuset
8848f8e8f02SStephen Hemminger   rte_lcore_has_role
8858f8e8f02SStephen Hemminger   rte_lcore_index
8868f8e8f02SStephen Hemminger   rte_lcore_is_enabled
8878f8e8f02SStephen Hemminger   rte_lcore_to_cpu_id
8888f8e8f02SStephen Hemminger   rte_lcore_to_socket_id
8898f8e8f02SStephen Hemminger   rte_log_get_global_level
8908f8e8f02SStephen Hemminger   rte_log_get_level
8918f8e8f02SStephen Hemminger   rte_memory_get_nchannel
8928f8e8f02SStephen Hemminger   rte_memory_get_nrank
8938f8e8f02SStephen Hemminger   rte_reciprocal_value
8948f8e8f02SStephen Hemminger   rte_reciprocal_value_u64
8958f8e8f02SStephen Hemminger   rte_socket_count
8968f8e8f02SStephen Hemminger   rte_socket_id
8978f8e8f02SStephen Hemminger   rte_socket_id_by_idx
8988f8e8f02SStephen Hemminger   rte_strerror
8998f8e8f02SStephen Hemminger   rte_strscpy
9008f8e8f02SStephen Hemminger   rte_strsplit
9018f8e8f02SStephen Hemminger   rte_sys_gettid
9028f8e8f02SStephen Hemminger   rte_uuid_compare
9038f8e8f02SStephen Hemminger   rte_uuid_is_null
9048f8e8f02SStephen Hemminger   rte_uuid_parse
9058f8e8f02SStephen Hemminger   rte_uuid_unparse
9068f8e8f02SStephen Hemminger
9078f8e8f02SStephen Hemminger
9081733be6dSCunming Liangcgroup control
9091733be6dSCunming Liang~~~~~~~~~~~~~~
9101733be6dSCunming Liang
911e1ed63b0SCunming 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).
9121733be6dSCunming LiangWe expect only 50% of CPU spend on packet IO.
9131733be6dSCunming Liang
9141796f485SThomas Monjalon  .. code-block:: console
9151733be6dSCunming Liang
9161733be6dSCunming Liang    mkdir /sys/fs/cgroup/cpu/pkt_io
9171733be6dSCunming Liang    mkdir /sys/fs/cgroup/cpuset/pkt_io
9181733be6dSCunming Liang
9191733be6dSCunming Liang    echo $cpu > /sys/fs/cgroup/cpuset/cpuset.cpus
9201733be6dSCunming Liang
9211733be6dSCunming Liang    echo $t0 > /sys/fs/cgroup/cpu/pkt_io/tasks
9221733be6dSCunming Liang    echo $t0 > /sys/fs/cgroup/cpuset/pkt_io/tasks
9231733be6dSCunming Liang
9241733be6dSCunming Liang    echo $t1 > /sys/fs/cgroup/cpu/pkt_io/tasks
9251733be6dSCunming Liang    echo $t1 > /sys/fs/cgroup/cpuset/pkt_io/tasks
9261733be6dSCunming Liang
9271733be6dSCunming Liang    cd /sys/fs/cgroup/cpu/pkt_io
9281733be6dSCunming Liang    echo 100000 > pkt_io/cpu.cfs_period_us
9291733be6dSCunming Liang    echo  50000 > pkt_io/cpu.cfs_quota_us
9301733be6dSCunming Liang
9311ba4f673SDmitry Kozlyuk.. _malloc:
9321733be6dSCunming Liang
93356297061SSergio Gonzalez MonroyMalloc
93456297061SSergio Gonzalez Monroy------
93556297061SSergio Gonzalez Monroy
93656297061SSergio Gonzalez MonroyThe EAL provides a malloc API to allocate any-sized memory.
93756297061SSergio Gonzalez Monroy
93856297061SSergio Gonzalez MonroyThe objective of this API is to provide malloc-like functions to allow
93956297061SSergio Gonzalez Monroyallocation from hugepage memory and to facilitate application porting.
94056297061SSergio Gonzalez MonroyThe *DPDK API Reference* manual describes the available functions.
94156297061SSergio Gonzalez Monroy
94256297061SSergio Gonzalez MonroyTypically, these kinds of allocations should not be done in data plane
94356297061SSergio Gonzalez Monroyprocessing because they are slower than pool-based allocation and make
94456297061SSergio Gonzalez Monroyuse of locks within the allocation and free paths.
94556297061SSergio Gonzalez MonroyHowever, they can be used in configuration code.
94656297061SSergio Gonzalez Monroy
94756297061SSergio Gonzalez MonroyRefer to the rte_malloc() function description in the *DPDK API Reference*
94856297061SSergio Gonzalez Monroymanual for more information.
94956297061SSergio Gonzalez Monroy
95056297061SSergio Gonzalez Monroy
95156297061SSergio Gonzalez MonroyAlignment and NUMA Constraints
95256297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
95356297061SSergio Gonzalez Monroy
95456297061SSergio Gonzalez MonroyThe rte_malloc() takes an align argument that can be used to request a memory
95556297061SSergio Gonzalez Monroyarea that is aligned on a multiple of this value (which must be a power of two).
95656297061SSergio Gonzalez Monroy
95756297061SSergio Gonzalez MonroyOn systems with NUMA support, a call to the rte_malloc() function will return
95856297061SSergio Gonzalez Monroymemory that has been allocated on the NUMA socket of the core which made the call.
95956297061SSergio Gonzalez MonroyA set of APIs is also provided, to allow memory to be explicitly allocated on a
96056297061SSergio Gonzalez MonroyNUMA socket directly, or by allocated on the NUMA socket where another core is
96156297061SSergio Gonzalez Monroylocated, in the case where the memory is to be used by a logical core other than
96256297061SSergio Gonzalez Monroyon the one doing the memory allocation.
96356297061SSergio Gonzalez Monroy
96456297061SSergio Gonzalez MonroyUse Cases
96556297061SSergio Gonzalez Monroy~~~~~~~~~
96656297061SSergio Gonzalez Monroy
96756297061SSergio Gonzalez MonroyThis API is meant to be used by an application that requires malloc-like
96856297061SSergio Gonzalez Monroyfunctions at initialization time.
96956297061SSergio Gonzalez Monroy
97056297061SSergio Gonzalez MonroyFor allocating/freeing data at runtime, in the fast-path of an application,
97156297061SSergio Gonzalez Monroythe memory pool library should be used instead.
97256297061SSergio Gonzalez Monroy
97356297061SSergio Gonzalez MonroyInternal Implementation
97456297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~
97556297061SSergio Gonzalez Monroy
97656297061SSergio Gonzalez MonroyData Structures
97756297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^
97856297061SSergio Gonzalez Monroy
97956297061SSergio Gonzalez MonroyThere are two data structure types used internally in the malloc library:
98056297061SSergio Gonzalez Monroy
98156297061SSergio Gonzalez Monroy*   struct malloc_heap - used to track free space on a per-socket basis
98256297061SSergio Gonzalez Monroy
98356297061SSergio Gonzalez Monroy*   struct malloc_elem - the basic element of allocation and free-space
98456297061SSergio Gonzalez Monroy    tracking inside the library.
98556297061SSergio Gonzalez Monroy
98656297061SSergio Gonzalez MonroyStructure: malloc_heap
98756297061SSergio Gonzalez Monroy""""""""""""""""""""""
98856297061SSergio Gonzalez Monroy
98956297061SSergio Gonzalez MonroyThe malloc_heap structure is used to manage free space on a per-socket basis.
99056297061SSergio Gonzalez MonroyInternally, there is one heap structure per NUMA node, which allows us to
99156297061SSergio Gonzalez Monroyallocate memory to a thread based on the NUMA node on which this thread runs.
99256297061SSergio Gonzalez MonroyWhile this does not guarantee that the memory will be used on that NUMA node,
99356297061SSergio Gonzalez Monroyit is no worse than a scheme where the memory is always allocated on a fixed
99456297061SSergio Gonzalez Monroyor random node.
99556297061SSergio Gonzalez Monroy
99656297061SSergio Gonzalez MonroyThe key fields of the heap structure and their function are described below
99756297061SSergio Gonzalez Monroy(see also diagram above):
99856297061SSergio Gonzalez Monroy
99956297061SSergio Gonzalez Monroy*   lock - the lock field is needed to synchronize access to the heap.
100056297061SSergio Gonzalez Monroy    Given that the free space in the heap is tracked using a linked list,
100156297061SSergio Gonzalez Monroy    we need a lock to prevent two threads manipulating the list at the same time.
100256297061SSergio Gonzalez Monroy
100356297061SSergio Gonzalez Monroy*   free_head - this points to the first element in the list of free nodes for
100456297061SSergio Gonzalez Monroy    this malloc heap.
100556297061SSergio Gonzalez Monroy
1006b3173932SAnatoly Burakov*   first - this points to the first element in the heap.
100756297061SSergio Gonzalez Monroy
1008b3173932SAnatoly Burakov*   last - this points to the last element in the heap.
100956297061SSergio Gonzalez Monroy
101056297061SSergio Gonzalez Monroy.. _figure_malloc_heap:
101156297061SSergio Gonzalez Monroy
101256297061SSergio Gonzalez Monroy.. figure:: img/malloc_heap.*
101356297061SSergio Gonzalez Monroy
101456297061SSergio Gonzalez Monroy   Example of a malloc heap and malloc elements within the malloc library
101556297061SSergio Gonzalez Monroy
101656297061SSergio Gonzalez Monroy
101756297061SSergio Gonzalez Monroy.. _malloc_elem:
101856297061SSergio Gonzalez Monroy
101956297061SSergio Gonzalez MonroyStructure: malloc_elem
102056297061SSergio Gonzalez Monroy""""""""""""""""""""""
102156297061SSergio Gonzalez Monroy
102256297061SSergio Gonzalez MonroyThe malloc_elem structure is used as a generic header structure for various
102356297061SSergio Gonzalez Monroyblocks of memory.
1024b3173932SAnatoly BurakovIt is used in two different ways - all shown in the diagram above:
102556297061SSergio Gonzalez Monroy
102656297061SSergio Gonzalez Monroy#.  As a header on a block of free or allocated memory - normal case
102756297061SSergio Gonzalez Monroy
102856297061SSergio Gonzalez Monroy#.  As a padding header inside a block of memory
102956297061SSergio Gonzalez Monroy
103056297061SSergio Gonzalez MonroyThe most important fields in the structure and how they are used are described below.
103156297061SSergio Gonzalez Monroy
1032b3173932SAnatoly BurakovMalloc heap is a doubly-linked list, where each element keeps track of its
1033b3173932SAnatoly Burakovprevious and next elements. Due to the fact that hugepage memory can come and
1034d629b7b5SJohn McNamarago, neighboring malloc elements may not necessarily be adjacent in memory.
1035b3173932SAnatoly BurakovAlso, since a malloc element may span multiple pages, its contents may not
1036b3173932SAnatoly Burakovnecessarily be IOVA-contiguous either - each malloc element is only guaranteed
1037b3173932SAnatoly Burakovto be virtually contiguous.
1038b3173932SAnatoly Burakov
103956297061SSergio Gonzalez Monroy.. note::
104056297061SSergio Gonzalez Monroy
104156297061SSergio Gonzalez Monroy    If the usage of a particular field in one of the above three usages is not
104256297061SSergio Gonzalez Monroy    described, the field can be assumed to have an undefined value in that
104356297061SSergio Gonzalez Monroy    situation, for example, for padding headers only the "state" and "pad"
104456297061SSergio Gonzalez Monroy    fields have valid values.
104556297061SSergio Gonzalez Monroy
104656297061SSergio Gonzalez Monroy*   heap - this pointer is a reference back to the heap structure from which
104756297061SSergio Gonzalez Monroy    this block was allocated.
104856297061SSergio Gonzalez Monroy    It is used for normal memory blocks when they are being freed, to add the
104956297061SSergio Gonzalez Monroy    newly-freed block to the heap's free-list.
105056297061SSergio Gonzalez Monroy
1051b3173932SAnatoly Burakov*   prev - this pointer points to previous header element/block in memory. When
1052b3173932SAnatoly Burakov    freeing a block, this pointer is used to reference the previous block to
1053b3173932SAnatoly Burakov    check if that block is also free. If so, and the two blocks are immediately
1054b3173932SAnatoly Burakov    adjacent to each other, then the two free blocks are merged to form a single
1055b3173932SAnatoly Burakov    larger block.
105656297061SSergio Gonzalez Monroy
1057b3173932SAnatoly Burakov*   next - this pointer points to next header element/block in memory. When
1058b3173932SAnatoly Burakov    freeing a block, this pointer is used to reference the next block to check
1059b3173932SAnatoly Burakov    if that block is also free. If so, and the two blocks are immediately
1060b3173932SAnatoly Burakov    adjacent to each other, then the two free blocks are merged to form a single
1061b3173932SAnatoly Burakov    larger block.
1062b3173932SAnatoly Burakov
1063b3173932SAnatoly Burakov*   free_list - this is a structure pointing to previous and next elements in
1064b3173932SAnatoly Burakov    this heap's free list.
106556297061SSergio Gonzalez Monroy    It is only used in normal memory blocks; on ``malloc()`` to find a suitable
106656297061SSergio Gonzalez Monroy    free block to allocate and on ``free()`` to add the newly freed element to
106756297061SSergio Gonzalez Monroy    the free-list.
106856297061SSergio Gonzalez Monroy
106956297061SSergio Gonzalez Monroy*   state - This field can have one of three values: ``FREE``, ``BUSY`` or
107056297061SSergio Gonzalez Monroy    ``PAD``.
107156297061SSergio Gonzalez Monroy    The former two are to indicate the allocation state of a normal memory block
107256297061SSergio Gonzalez Monroy    and the latter is to indicate that the element structure is a dummy structure
107356297061SSergio Gonzalez Monroy    at the end of the start-of-block padding, i.e. where the start of the data
107456297061SSergio Gonzalez Monroy    within a block is not at the start of the block itself, due to alignment
107556297061SSergio Gonzalez Monroy    constraints.
107656297061SSergio Gonzalez Monroy    In that case, the pad header is used to locate the actual malloc element
107756297061SSergio Gonzalez Monroy    header for the block.
107856297061SSergio Gonzalez Monroy
10792edd037cSDmitry Kozlyuk*   dirty - this flag is only meaningful when ``state`` is ``FREE``.
10802edd037cSDmitry Kozlyuk    It indicates that the content of the element is not fully zero-filled.
10812edd037cSDmitry Kozlyuk    Memory from such blocks must be cleared when requested via ``rte_zmalloc*()``.
10820dff3f26SDmitry Kozlyuk    Dirty elements only appear with ``--huge-unlink=never``.
10832edd037cSDmitry Kozlyuk
108456297061SSergio Gonzalez Monroy*   pad - this holds the length of the padding present at the start of the block.
108556297061SSergio Gonzalez Monroy    In the case of a normal block header, it is added to the address of the end
108656297061SSergio Gonzalez Monroy    of the header to give the address of the start of the data area, i.e. the
108756297061SSergio Gonzalez Monroy    value passed back to the application on a malloc.
108856297061SSergio Gonzalez Monroy    Within a dummy header inside the padding, this same value is stored, and is
108956297061SSergio Gonzalez Monroy    subtracted from the address of the dummy header to yield the address of the
109056297061SSergio Gonzalez Monroy    actual block header.
109156297061SSergio Gonzalez Monroy
109256297061SSergio Gonzalez Monroy*   size - the size of the data block, including the header itself.
109356297061SSergio Gonzalez Monroy
109456297061SSergio Gonzalez MonroyMemory Allocation
109556297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^^^
109656297061SSergio Gonzalez Monroy
1097b3173932SAnatoly BurakovOn EAL initialization, all preallocated memory segments are setup as part of the
1098b3173932SAnatoly Burakovmalloc heap. This setup involves placing an :ref:`element header<malloc_elem>`
1099b3173932SAnatoly Burakovwith ``FREE`` at the start of each virtually contiguous segment of memory.
110056297061SSergio Gonzalez MonroyThe ``FREE`` element is then added to the ``free_list`` for the malloc heap.
110156297061SSergio Gonzalez Monroy
1102b3173932SAnatoly BurakovThis setup also happens whenever memory is allocated at runtime (if supported),
1103b3173932SAnatoly Burakovin which case newly allocated pages are also added to the heap, merging with any
1104b3173932SAnatoly Burakovadjacent free segments if there are any.
1105b3173932SAnatoly Burakov
110656297061SSergio Gonzalez MonroyWhen an application makes a call to a malloc-like function, the malloc function
110756297061SSergio Gonzalez Monroywill first index the ``lcore_config`` structure for the calling thread, and
110856297061SSergio Gonzalez Monroydetermine the NUMA node of that thread.
110956297061SSergio Gonzalez MonroyThe NUMA node is used to index the array of ``malloc_heap`` structures which is
111056297061SSergio Gonzalez Monroypassed as a parameter to the ``heap_alloc()`` function, along with the
111156297061SSergio Gonzalez Monroyrequested size, type, alignment and boundary parameters.
111256297061SSergio Gonzalez Monroy
111356297061SSergio Gonzalez MonroyThe ``heap_alloc()`` function will scan the free_list of the heap, and attempt
111456297061SSergio Gonzalez Monroyto find a free block suitable for storing data of the requested size, with the
111556297061SSergio Gonzalez Monroyrequested alignment and boundary constraints.
111656297061SSergio Gonzalez Monroy
111756297061SSergio Gonzalez MonroyWhen a suitable free element has been identified, the pointer to be returned
111856297061SSergio Gonzalez Monroyto the user is calculated.
111956297061SSergio Gonzalez MonroyThe cache-line of memory immediately preceding this pointer is filled with a
112056297061SSergio Gonzalez Monroystruct malloc_elem header.
112156297061SSergio Gonzalez MonroyBecause of alignment and boundary constraints, there could be free space at
112256297061SSergio Gonzalez Monroythe start and/or end of the element, resulting in the following behavior:
112356297061SSergio Gonzalez Monroy
112456297061SSergio Gonzalez Monroy#. Check for trailing space.
112556297061SSergio Gonzalez Monroy   If the trailing space is big enough, i.e. > 128 bytes, then the free element
112656297061SSergio Gonzalez Monroy   is split.
112756297061SSergio Gonzalez Monroy   If it is not, then we just ignore it (wasted space).
112856297061SSergio Gonzalez Monroy
112956297061SSergio Gonzalez Monroy#. Check for space at the start of the element.
113056297061SSergio Gonzalez Monroy   If the space at the start is small, i.e. <=128 bytes, then a pad header is
113156297061SSergio Gonzalez Monroy   used, and the remaining space is wasted.
113256297061SSergio Gonzalez Monroy   If, however, the remaining space is greater, then the free element is split.
113356297061SSergio Gonzalez Monroy
113456297061SSergio Gonzalez MonroyThe advantage of allocating the memory from the end of the existing element is
113556297061SSergio Gonzalez Monroythat no adjustment of the free list needs to take place - the existing element
1136b3173932SAnatoly Burakovon the free list just has its size value adjusted, and the next/previous elements
1137b3173932SAnatoly Burakovhave their "prev"/"next" pointers redirected to the newly created element.
1138b3173932SAnatoly Burakov
1139b3173932SAnatoly BurakovIn case when there is not enough memory in the heap to satisfy allocation
1140b3173932SAnatoly Burakovrequest, EAL will attempt to allocate more memory from the system (if supported)
1141b3173932SAnatoly Burakovand, following successful allocation, will retry reserving the memory again. In
1142b3173932SAnatoly Burakova multiprocessing scenario, all primary and secondary processes will synchronize
1143b3173932SAnatoly Burakovtheir memory maps to ensure that any valid pointer to DPDK memory is guaranteed
1144b3173932SAnatoly Burakovto be valid at all times in all currently running processes.
1145b3173932SAnatoly Burakov
1146b3173932SAnatoly BurakovFailure to synchronize memory maps in one of the processes will cause allocation
1147b3173932SAnatoly Burakovto fail, even though some of the processes may have allocated the memory
1148b3173932SAnatoly Burakovsuccessfully. The memory is not added to the malloc heap unless primary process
1149b3173932SAnatoly Burakovhas ensured that all other processes have mapped this memory successfully.
1150b3173932SAnatoly Burakov
1151b3173932SAnatoly BurakovAny successful allocation event will trigger a callback, for which user
1152b3173932SAnatoly Burakovapplications and other DPDK subsystems can register. Additionally, validation
1153b3173932SAnatoly Burakovcallbacks will be triggered before allocation if the newly allocated memory will
1154b3173932SAnatoly Burakovexceed threshold set by the user, giving a chance to allow or deny allocation.
1155b3173932SAnatoly Burakov
1156b3173932SAnatoly Burakov.. note::
1157b3173932SAnatoly Burakov
1158b3173932SAnatoly Burakov    Any allocation of new pages has to go through primary process. If the
1159b3173932SAnatoly Burakov    primary process is not active, no memory will be allocated even if it was
1160b3173932SAnatoly Burakov    theoretically possible to do so. This is because primary's process map acts
1161b3173932SAnatoly Burakov    as an authority on what should or should not be mapped, while each secondary
1162b3173932SAnatoly Burakov    process has its own, local memory map. Secondary processes do not update the
1163b3173932SAnatoly Burakov    shared memory map, they only copy its contents to their local memory map.
116456297061SSergio Gonzalez Monroy
116556297061SSergio Gonzalez MonroyFreeing Memory
116656297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^
116756297061SSergio Gonzalez Monroy
116856297061SSergio Gonzalez MonroyTo free an area of memory, the pointer to the start of the data area is passed
116956297061SSergio Gonzalez Monroyto the free function.
117056297061SSergio Gonzalez MonroyThe size of the ``malloc_elem`` structure is subtracted from this pointer to get
117156297061SSergio Gonzalez Monroythe element header for the block.
117256297061SSergio Gonzalez MonroyIf this header is of type ``PAD`` then the pad length is further subtracted from
117356297061SSergio Gonzalez Monroythe pointer to get the proper element header for the entire block.
117456297061SSergio Gonzalez Monroy
117556297061SSergio Gonzalez MonroyFrom this element header, we get pointers to the heap from which the block was
117656297061SSergio Gonzalez Monroyallocated and to where it must be freed, as well as the pointer to the previous
1177b3173932SAnatoly Burakovand next elements. These next and previous elements are then checked to see if
1178b3173932SAnatoly Burakovthey are also ``FREE`` and are immediately adjacent to the current one, and if
1179b3173932SAnatoly Burakovso, they are merged with the current element. This means that we can never have
1180b3173932SAnatoly Burakovtwo ``FREE`` memory blocks adjacent to one another, as they are always merged
1181b3173932SAnatoly Burakovinto a single block.
1182b3173932SAnatoly Burakov
1183b3173932SAnatoly BurakovIf deallocating pages at runtime is supported, and the free element encloses
1184b3173932SAnatoly Burakovone or more pages, those pages can be deallocated and be removed from the heap.
1185b3173932SAnatoly BurakovIf DPDK was started with command-line parameters for preallocating memory
1186b3173932SAnatoly Burakov(``-m`` or ``--socket-mem``), then those pages that were allocated at startup
1187b3173932SAnatoly Burakovwill not be deallocated.
1188b3173932SAnatoly Burakov
1189b3173932SAnatoly BurakovAny successful deallocation event will trigger a callback, for which user
1190b3173932SAnatoly Burakovapplications and other DPDK subsystems can register.
1191