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, 67cb056611SStephen Hemminger should be done as part of the overall application initialization on the main 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 891ba4f673SDmitry KozlyukThe allocation of large contiguous physical memory is done using hugepages. 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 981ba4f673SDmitry Kozlyuk Memory reservations done using the APIs provided by rte_malloc 991ba4f673SDmitry Kozlyuk are also backed by hugepages unless ``--no-huge`` option is given. 100fc1f2750SBernard Iremonger 1011ba4f673SDmitry KozlyukDynamic Memory Mode 1021ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^ 103b3173932SAnatoly Burakov 1041ba4f673SDmitry KozlyukCurrently, this mode is only supported on Linux and Windows. 105b3173932SAnatoly Burakov 106b3173932SAnatoly BurakovIn this mode, usage of hugepages by DPDK application will grow and shrink based 107b3173932SAnatoly Burakovon application's requests. Any memory allocation through ``rte_malloc()``, 108b3173932SAnatoly Burakov``rte_memzone_reserve()`` or other methods, can potentially result in more 109b3173932SAnatoly Burakovhugepages being reserved from the system. Similarly, any memory deallocation can 110b3173932SAnatoly Burakovpotentially result in hugepages being released back to the system. 111b3173932SAnatoly Burakov 112b3173932SAnatoly BurakovMemory allocated in this mode is not guaranteed to be IOVA-contiguous. If large 113b3173932SAnatoly Burakovchunks of IOVA-contiguous are required (with "large" defined as "more than one 114b3173932SAnatoly Burakovpage"), it is recommended to either use VFIO driver for all physical devices (so 115b3173932SAnatoly Burakovthat IOVA and VA addresses can be the same, thereby bypassing physical addresses 116b3173932SAnatoly Burakoventirely), or use legacy memory mode. 117b3173932SAnatoly Burakov 118b3173932SAnatoly BurakovFor chunks of memory which must be IOVA-contiguous, it is recommended to use 119b3173932SAnatoly Burakov``rte_memzone_reserve()`` function with ``RTE_MEMZONE_IOVA_CONTIG`` flag 120b3173932SAnatoly Burakovspecified. This way, memory allocator will ensure that, whatever memory mode is 121b3173932SAnatoly Burakovin use, either reserved memory will satisfy the requirements, or the allocation 122b3173932SAnatoly Burakovwill fail. 123b3173932SAnatoly Burakov 124b3173932SAnatoly BurakovThere is no need to preallocate any memory at startup using ``-m`` or 125b3173932SAnatoly Burakov``--socket-mem`` command-line parameters, however it is still possible to do so, 126b3173932SAnatoly Burakovin which case preallocate memory will be "pinned" (i.e. will never be released 127b3173932SAnatoly Burakovby the application back to the system). It will be possible to allocate more 128b3173932SAnatoly Burakovhugepages, and deallocate those, but any preallocated pages will not be freed. 129b3173932SAnatoly BurakovIf neither ``-m`` nor ``--socket-mem`` were specified, no memory will be 130b3173932SAnatoly Burakovpreallocated, and all memory will be allocated at runtime, as needed. 131b3173932SAnatoly Burakov 132b3173932SAnatoly BurakovAnother available option to use in dynamic memory mode is 133b3173932SAnatoly Burakov``--single-file-segments`` command-line option. This option will put pages in 134b3173932SAnatoly Burakovsingle files (per memseg list), as opposed to creating a file per page. This is 135b3173932SAnatoly Burakovnormally not needed, but can be useful for use cases like userspace vhost, where 136b3173932SAnatoly Burakovthere is limited number of page file descriptors that can be passed to VirtIO. 137b3173932SAnatoly Burakov 138b3173932SAnatoly BurakovIf the application (or DPDK-internal code, such as device drivers) wishes to 139b3173932SAnatoly Burakovreceive notifications about newly allocated memory, it is possible to register 140b3173932SAnatoly Burakovfor memory event callbacks via ``rte_mem_event_callback_register()`` function. 141b3173932SAnatoly BurakovThis will call a callback function any time DPDK's memory map has changed. 142b3173932SAnatoly Burakov 143b3173932SAnatoly BurakovIf the application (or DPDK-internal code, such as device drivers) wishes to be 144b3173932SAnatoly Burakovnotified about memory allocations above specified threshold (and have a chance 145b3173932SAnatoly Burakovto deny them), allocation validator callbacks are also available via 146b3173932SAnatoly Burakov``rte_mem_alloc_validator_callback_register()`` function. 147b3173932SAnatoly Burakov 148e4348122SAnatoly BurakovA default validator callback is provided by EAL, which can be enabled with a 149e4348122SAnatoly Burakov``--socket-limit`` command-line option, for a simple way to limit maximum amount 150e4348122SAnatoly Burakovof memory that can be used by DPDK application. 151e4348122SAnatoly Burakov 1523855b415SAnatoly Burakov.. warning:: 1533855b415SAnatoly Burakov Memory subsystem uses DPDK IPC internally, so memory allocations/callbacks 1543855b415SAnatoly Burakov and IPC must not be mixed: it is not safe to allocate/free memory inside 1553855b415SAnatoly Burakov memory-related or IPC callbacks, and it is not safe to use IPC inside 1563855b415SAnatoly Burakov memory-related callbacks. See chapter 1573855b415SAnatoly Burakov :ref:`Multi-process Support <Multi-process_Support>` for more details about 1583855b415SAnatoly Burakov DPDK IPC. 1593855b415SAnatoly Burakov 1601ba4f673SDmitry KozlyukLegacy Memory Mode 1611ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^ 162b3173932SAnatoly Burakov 163b3173932SAnatoly BurakovThis mode is enabled by specifying ``--legacy-mem`` command-line switch to the 164b3173932SAnatoly BurakovEAL. This switch will have no effect on FreeBSD as FreeBSD only supports 165b3173932SAnatoly Burakovlegacy mode anyway. 166b3173932SAnatoly Burakov 167b3173932SAnatoly BurakovThis mode mimics historical behavior of EAL. That is, EAL will reserve all 168b3173932SAnatoly Burakovmemory at startup, sort all memory into large IOVA-contiguous chunks, and will 169b3173932SAnatoly Burakovnot allow acquiring or releasing hugepages from the system at runtime. 170b3173932SAnatoly Burakov 171b3173932SAnatoly BurakovIf neither ``-m`` nor ``--socket-mem`` were specified, the entire available 172b3173932SAnatoly Burakovhugepage memory will be preallocated. 173b3173932SAnatoly Burakov 1741ba4f673SDmitry KozlyukHugepage Allocation Matching 1751ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 176476c847aSJim Harris 177476c847aSJim HarrisThis behavior is enabled by specifying the ``--match-allocations`` command-line 178476c847aSJim Harrisswitch to the EAL. This switch is Linux-only and not supported with 179476c847aSJim Harris``--legacy-mem`` nor ``--no-huge``. 180476c847aSJim Harris 181476c847aSJim HarrisSome applications using memory event callbacks may require that hugepages be 182476c847aSJim Harrisfreed exactly as they were allocated. These applications may also require 183476c847aSJim Harristhat any allocation from the malloc heap not span across allocations 184476c847aSJim Harrisassociated with two different memory event callbacks. Hugepage allocation 185476c847aSJim Harrismatching can be used by these types of applications to satisfy both of these 186476c847aSJim Harrisrequirements. This can result in some increased memory usage which is 187476c847aSJim Harrisvery dependent on the memory allocation patterns of the application. 188476c847aSJim Harris 1891ba4f673SDmitry Kozlyuk32-bit Support 1901ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^ 191b3173932SAnatoly Burakov 192b3173932SAnatoly BurakovAdditional restrictions are present when running in 32-bit mode. In dynamic 193b3173932SAnatoly Burakovmemory mode, by default maximum of 2 gigabytes of VA space will be preallocated, 194cb056611SStephen Hemmingerand all of it will be on main lcore NUMA node unless ``--socket-mem`` flag is 195b3173932SAnatoly Burakovused. 196b3173932SAnatoly Burakov 197b3173932SAnatoly BurakovIn legacy mode, VA space will only be preallocated for segments that were 198b3173932SAnatoly Burakovrequested (plus padding, to keep IOVA-contiguousness). 199b3173932SAnatoly Burakov 2001ba4f673SDmitry KozlyukMaximum Amount of Memory 2011ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^^^^^^ 202b3173932SAnatoly Burakov 203b3173932SAnatoly BurakovAll possible virtual memory space that can ever be used for hugepage mapping in 204b3173932SAnatoly Burakova DPDK process is preallocated at startup, thereby placing an upper limit on how 205b3173932SAnatoly Burakovmuch memory a DPDK application can have. DPDK memory is stored in segment lists, 206b3173932SAnatoly Burakoveach segment is strictly one physical page. It is possible to change the amount 207b3173932SAnatoly Burakovof virtual memory being preallocated at startup by editing the following config 208b3173932SAnatoly Burakovvariables: 209b3173932SAnatoly Burakov 21089c67ae2SCiara Power* ``RTE_MAX_MEMSEG_LISTS`` controls how many segment lists can DPDK have 21189c67ae2SCiara Power* ``RTE_MAX_MEM_MB_PER_LIST`` controls how much megabytes of memory each 212b3173932SAnatoly Burakov segment list can address 2136c16a05cSKefu Chai* ``RTE_MAX_MEMSEG_PER_LIST`` controls how many segments each segment list 2146c16a05cSKefu Chai can have 21589c67ae2SCiara Power* ``RTE_MAX_MEMSEG_PER_TYPE`` controls how many segments each memory type 216b3173932SAnatoly Burakov can have (where "type" is defined as "page size + NUMA node" combination) 21789c67ae2SCiara Power* ``RTE_MAX_MEM_MB_PER_TYPE`` controls how much megabytes of memory each 218b3173932SAnatoly Burakov memory type can address 21989c67ae2SCiara Power* ``RTE_MAX_MEM_MB`` places a global maximum on the amount of memory 220b3173932SAnatoly Burakov DPDK can reserve 221b3173932SAnatoly Burakov 222b3173932SAnatoly BurakovNormally, these options do not need to be changed. 223b3173932SAnatoly Burakov 224b3173932SAnatoly Burakov.. note:: 225b3173932SAnatoly Burakov 226b3173932SAnatoly Burakov Preallocated virtual memory is not to be confused with preallocated hugepage 227b3173932SAnatoly Burakov memory! All DPDK processes preallocate virtual memory at startup. Hugepages 228b3173932SAnatoly Burakov can later be mapped into that preallocated VA space (if dynamic memory mode 229b3173932SAnatoly Burakov is enabled), and can optionally be mapped into it at startup. 230b3173932SAnatoly Burakov 2311ba4f673SDmitry KozlyukHugepage Mapping 2321ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^ 2331ba4f673SDmitry Kozlyuk 2341ba4f673SDmitry KozlyukBelow is an overview of methods used for each OS to obtain hugepages, 2351ba4f673SDmitry Kozlyukexplaining why certain limitations and options exist in EAL. 2361ba4f673SDmitry KozlyukSee the user guide for a specific OS for configuration details. 2371ba4f673SDmitry Kozlyuk 2381ba4f673SDmitry KozlyukFreeBSD uses ``contigmem`` kernel module 2391ba4f673SDmitry Kozlyukto reserve a fixed number of hugepages at system start, 2401ba4f673SDmitry Kozlyukwhich are mapped by EAL at initialization using a specific ``sysctl()``. 2411ba4f673SDmitry Kozlyuk 2421ba4f673SDmitry KozlyukWindows EAL allocates hugepages from the OS as needed using Win32 API, 2431ba4f673SDmitry Kozlyukso available amount depends on the system load. 2441ba4f673SDmitry KozlyukIt uses ``virt2phys`` kernel module to obtain physical addresses, 2451ba4f673SDmitry Kozlyukunless running in IOVA-as-VA mode (e.g. forced with ``--iova-mode=va``). 2461ba4f673SDmitry Kozlyuk 2471ba4f673SDmitry KozlyukLinux allows to select any combination of the following: 2481ba4f673SDmitry Kozlyuk 2491ba4f673SDmitry Kozlyuk* use files in hugetlbfs (the default) 2501ba4f673SDmitry Kozlyuk or anonymous mappings (``--in-memory``); 2511ba4f673SDmitry Kozlyuk* map each hugepage from its own file (the default) 2521ba4f673SDmitry Kozlyuk or map multiple hugepages from one big file (``--single-file-segments``). 2531ba4f673SDmitry Kozlyuk 2541ba4f673SDmitry KozlyukMapping hugepages from files in hugetlbfs is essential for multi-process, 2551ba4f673SDmitry Kozlyukbecause secondary processes need to map the same hugepages. 2561ba4f673SDmitry KozlyukEAL creates files like ``rtemap_0`` 2571ba4f673SDmitry Kozlyukin directories specified with ``--huge-dir`` option 2581ba4f673SDmitry Kozlyuk(or in the mount point for a specific hugepage size). 2591ba4f673SDmitry KozlyukThe ``rte`` prefix can be changed using ``--file-prefix``. 2601ba4f673SDmitry KozlyukThis may be needed for running multiple primary processes 2611ba4f673SDmitry Kozlyukthat share a hugetlbfs mount point. 2621ba4f673SDmitry KozlyukEach backing file by default corresponds to one hugepage, 2631ba4f673SDmitry Kozlyukit is opened and locked for the entire time the hugepage is used. 2641ba4f673SDmitry KozlyukThis may exhaust the number of open files limit (``NOFILE``). 2651ba4f673SDmitry KozlyukSee :ref:`segment-file-descriptors` section 2661ba4f673SDmitry Kozlyukon how the number of open backing file descriptors can be reduced. 2671ba4f673SDmitry Kozlyuk 2681ba4f673SDmitry KozlyukIn dynamic memory mode, EAL removes a backing hugepage file 2691ba4f673SDmitry Kozlyukwhen all pages mapped from it are freed back to the system. 2701ba4f673SDmitry KozlyukHowever, backing files may persist after the application terminates 2711ba4f673SDmitry Kozlyukin case of a crash or a leak of DPDK memory (e.g. ``rte_free()`` is missing). 2721ba4f673SDmitry KozlyukThis reduces the number of hugepages available to other processes 2731ba4f673SDmitry Kozlyukas reported by ``/sys/kernel/mm/hugepages/hugepages-*/free_hugepages``. 2741ba4f673SDmitry KozlyukEAL can remove the backing files after opening them for mapping 2751ba4f673SDmitry Kozlyukif ``--huge-unlink`` is given to avoid polluting hugetlbfs. 2761ba4f673SDmitry KozlyukHowever, since it disables multi-process anyway, 2771ba4f673SDmitry Kozlyukusing anonymous mapping (``--in-memory``) is recommended instead. 2781ba4f673SDmitry Kozlyuk 2791ba4f673SDmitry Kozlyuk:ref:`EAL memory allocator <malloc>` relies on hugepages being zero-filled. 2801ba4f673SDmitry KozlyukHugepages are cleared by the kernel when a file in hugetlbfs or its part 2811ba4f673SDmitry Kozlyukis mapped for the first time system-wide 2821ba4f673SDmitry Kozlyukto prevent data leaks from previous users of the same hugepage. 2831ba4f673SDmitry KozlyukEAL ensures this behavior by removing existing backing files at startup 2841ba4f673SDmitry Kozlyukand by recreating them before opening for mapping (as a precaution). 2851ba4f673SDmitry Kozlyuk 286*0dff3f26SDmitry KozlyukOne exception is ``--huge-unlink=never`` mode. 287*0dff3f26SDmitry KozlyukIt is used to speed up EAL initialization, usually on application restart. 288*0dff3f26SDmitry KozlyukClearing memory constitutes more than 95% of hugepage mapping time. 289*0dff3f26SDmitry KozlyukEAL can save it by remapping existing backing files 290*0dff3f26SDmitry Kozlyukwith all the data left in the mapped hugepages ("dirty" memory). 291*0dff3f26SDmitry KozlyukSuch segments are marked with ``RTE_MEMSEG_FLAG_DIRTY``. 292*0dff3f26SDmitry KozlyukMemory allocator detects dirty segments and handles them accordingly, 293*0dff3f26SDmitry Kozlyukin particular, it clears memory requested with ``rte_zmalloc*()``. 294*0dff3f26SDmitry KozlyukIn this mode EAL also does not remove a backing file 295*0dff3f26SDmitry Kozlyukwhen all pages mapped from it are freed, 296*0dff3f26SDmitry Kozlyukbecause they are intended to be reusable at restart. 297*0dff3f26SDmitry Kozlyuk 2981ba4f673SDmitry KozlyukAnonymous mapping does not allow multi-process architecture. 2991ba4f673SDmitry KozlyukThis mode does not use hugetlbfs 3001ba4f673SDmitry Kozlyukand thus does not require root permissions for memory management 3011ba4f673SDmitry Kozlyuk(the limit of locked memory amount, ``MEMLOCK``, still applies). 3021ba4f673SDmitry KozlyukIt is free of filename conflict and leftover file issues. 3031ba4f673SDmitry KozlyukIf ``memfd_create(2)`` is supported both at build and run time, 3041ba4f673SDmitry KozlyukDPDK memory manager can provide file descriptors for memory segments, 3051ba4f673SDmitry Kozlyukwhich are required for VirtIO with vhost-user backend. 3061ba4f673SDmitry KozlyukThis can exhaust the number of open files limit (``NOFILE``) 3071ba4f673SDmitry Kozlyukdespite not creating any visible files. 3081ba4f673SDmitry KozlyukSee :ref:`segment-file-descriptors` section 3091ba4f673SDmitry Kozlyukon how the number of open file descriptors used by EAL can be reduced. 3101ba4f673SDmitry Kozlyuk 3111ba4f673SDmitry Kozlyuk.. _segment-file-descriptors: 3121ba4f673SDmitry Kozlyuk 3131ba4f673SDmitry KozlyukSegment File Descriptors 3141ba4f673SDmitry Kozlyuk^^^^^^^^^^^^^^^^^^^^^^^^ 3151e3380a2SAnatoly Burakov 3161e3380a2SAnatoly BurakovOn Linux, in most cases, EAL will store segment file descriptors in EAL. This 3171e3380a2SAnatoly Burakovcan become a problem when using smaller page sizes due to underlying limitations 3181e3380a2SAnatoly Burakovof ``glibc`` library. For example, Linux API calls such as ``select()`` may not 3191e3380a2SAnatoly Burakovwork correctly because ``glibc`` does not support more than certain number of 3201e3380a2SAnatoly Burakovfile descriptors. 3211e3380a2SAnatoly Burakov 3221e3380a2SAnatoly BurakovThere are two possible solutions for this problem. The recommended solution is 3231e3380a2SAnatoly Burakovto use ``--single-file-segments`` mode, as that mode will not use a file 3241e3380a2SAnatoly Burakovdescriptor per each page, and it will keep compatibility with Virtio with 3251e3380a2SAnatoly Burakovvhost-user backend. This option is not available when using ``--legacy-mem`` 3261e3380a2SAnatoly Burakovmode. 3271e3380a2SAnatoly Burakov 3281e3380a2SAnatoly BurakovAnother option is to use bigger page sizes. Since fewer pages are required to 3291e3380a2SAnatoly Burakovcover the same memory area, fewer file descriptors will be stored internally 3301e3380a2SAnatoly Burakovby EAL. 3311e3380a2SAnatoly Burakov 33266498f0fSAnatoly BurakovSupport for Externally Allocated Memory 33366498f0fSAnatoly Burakov~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 33466498f0fSAnatoly Burakov 335950e8fb4SAnatoly BurakovIt is possible to use externally allocated memory in DPDK. There are two ways in 336950e8fb4SAnatoly Burakovwhich using externally allocated memory can work: the malloc heap API's, and 337950e8fb4SAnatoly Burakovmanual memory management. 33866498f0fSAnatoly Burakov 339950e8fb4SAnatoly Burakov+ Using heap API's for externally allocated memory 340950e8fb4SAnatoly Burakov 341f43d3dbbSDavid MarchandUsing a set of malloc heap API's is the recommended way to use externally 342950e8fb4SAnatoly Burakovallocated memory in DPDK. In this way, support for externally allocated memory 343950e8fb4SAnatoly Burakovis implemented through overloading the socket ID - externally allocated heaps 344950e8fb4SAnatoly Burakovwill have socket ID's that would be considered invalid under normal 345950e8fb4SAnatoly Burakovcircumstances. Requesting an allocation to take place from a specified 346950e8fb4SAnatoly Burakovexternally allocated memory is a matter of supplying the correct socket ID to 347950e8fb4SAnatoly BurakovDPDK allocator, either directly (e.g. through a call to ``rte_malloc``) or 348950e8fb4SAnatoly Burakovindirectly (through data structure-specific allocation API's such as 349950e8fb4SAnatoly Burakov``rte_ring_create``). Using these API's also ensures that mapping of externally 350950e8fb4SAnatoly Burakovallocated memory for DMA is also performed on any memory segment that is added 351950e8fb4SAnatoly Burakovto a DPDK malloc heap. 352950e8fb4SAnatoly Burakov 353950e8fb4SAnatoly BurakovSince there is no way DPDK can verify whether memory is available or valid, this 354950e8fb4SAnatoly Burakovresponsibility falls on the shoulders of the user. All multiprocess 35566498f0fSAnatoly Burakovsynchronization is also user's responsibility, as well as ensuring that all 35666498f0fSAnatoly Burakovcalls to add/attach/detach/remove memory are done in the correct order. It is 35766498f0fSAnatoly Burakovnot required to attach to a memory area in all processes - only attach to memory 35866498f0fSAnatoly Burakovareas as needed. 35966498f0fSAnatoly Burakov 36066498f0fSAnatoly BurakovThe expected workflow is as follows: 36166498f0fSAnatoly Burakov 36266498f0fSAnatoly Burakov* Get a pointer to memory area 36366498f0fSAnatoly Burakov* Create a named heap 36466498f0fSAnatoly Burakov* Add memory area(s) to the heap 36566498f0fSAnatoly Burakov - If IOVA table is not specified, IOVA addresses will be assumed to be 36666498f0fSAnatoly Burakov unavailable, and DMA mappings will not be performed 36766498f0fSAnatoly Burakov - Other processes must attach to the memory area before they can use it 36866498f0fSAnatoly Burakov* Get socket ID used for the heap 36966498f0fSAnatoly Burakov* Use normal DPDK allocation procedures, using supplied socket ID 37066498f0fSAnatoly Burakov* If memory area is no longer needed, it can be removed from the heap 37166498f0fSAnatoly Burakov - Other processes must detach from this memory area before it can be removed 37266498f0fSAnatoly Burakov* If heap is no longer needed, remove it 37366498f0fSAnatoly Burakov - Socket ID will become invalid and will not be reused 37466498f0fSAnatoly Burakov 37566498f0fSAnatoly BurakovFor more information, please refer to ``rte_malloc`` API documentation, 37666498f0fSAnatoly Burakovspecifically the ``rte_malloc_heap_*`` family of function calls. 37766498f0fSAnatoly Burakov 378950e8fb4SAnatoly Burakov+ Using externally allocated memory without DPDK API's 379950e8fb4SAnatoly Burakov 380950e8fb4SAnatoly BurakovWhile using heap API's is the recommended method of using externally allocated 381950e8fb4SAnatoly Burakovmemory in DPDK, there are certain use cases where the overhead of DPDK heap API 382950e8fb4SAnatoly Burakovis undesirable - for example, when manual memory management is performed on an 383950e8fb4SAnatoly Burakovexternally allocated area. To support use cases where externally allocated 384950e8fb4SAnatoly Burakovmemory will not be used as part of normal DPDK workflow, there is also another 385950e8fb4SAnatoly Burakovset of API's under the ``rte_extmem_*`` namespace. 386950e8fb4SAnatoly Burakov 387950e8fb4SAnatoly BurakovThese API's are (as their name implies) intended to allow registering or 388950e8fb4SAnatoly Burakovunregistering externally allocated memory to/from DPDK's internal page table, to 389ebf9c7b1SAnatoly Burakovallow API's like ``rte_mem_virt2memseg`` etc. to work with externally allocated 390950e8fb4SAnatoly Burakovmemory. Memory added this way will not be available for any regular DPDK 391950e8fb4SAnatoly Burakovallocators; DPDK will leave this memory for the user application to manage. 392950e8fb4SAnatoly Burakov 393950e8fb4SAnatoly BurakovThe expected workflow is as follows: 394950e8fb4SAnatoly Burakov 395950e8fb4SAnatoly Burakov* Get a pointer to memory area 396950e8fb4SAnatoly Burakov* Register memory within DPDK 397950e8fb4SAnatoly Burakov - If IOVA table is not specified, IOVA addresses will be assumed to be 398950e8fb4SAnatoly Burakov unavailable 399bed79418SAnatoly Burakov - Other processes must attach to the memory area before they can use it 400c33a675bSShahaf Shuler* Perform DMA mapping with ``rte_dev_dma_map`` if needed 401950e8fb4SAnatoly Burakov* Use the memory area in your application 402950e8fb4SAnatoly Burakov* If memory area is no longer needed, it can be unregistered 403950e8fb4SAnatoly Burakov - If the area was mapped for DMA, unmapping must be performed before 404950e8fb4SAnatoly Burakov unregistering memory 405bed79418SAnatoly Burakov - Other processes must detach from the memory area before it can be 406bed79418SAnatoly Burakov unregistered 407950e8fb4SAnatoly Burakov 408950e8fb4SAnatoly BurakovSince these externally allocated memory areas will not be managed by DPDK, it is 409950e8fb4SAnatoly Burakovtherefore up to the user application to decide how to use them and what to do 410950e8fb4SAnatoly Burakovwith them once they're registered. 411950e8fb4SAnatoly Burakov 412fc1f2750SBernard IremongerPer-lcore and Shared Variables 413fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 414fc1f2750SBernard Iremonger 415fc1f2750SBernard Iremonger.. note:: 416fc1f2750SBernard Iremonger 417fc1f2750SBernard Iremonger lcore refers to a logical execution unit of the processor, sometimes called a hardware *thread*. 418fc1f2750SBernard Iremonger 419fc1f2750SBernard IremongerShared variables are the default behavior. 420fc1f2750SBernard IremongerPer-lcore variables are implemented using *Thread Local Storage* (TLS) to provide per-thread local storage. 421fc1f2750SBernard Iremonger 422fc1f2750SBernard IremongerLogs 423fc1f2750SBernard Iremonger~~~~ 424fc1f2750SBernard Iremonger 425fc1f2750SBernard IremongerA logging API is provided by EAL. 426fc1f2750SBernard IremongerBy default, in a Linux application, logs are sent to syslog and also to the console. 427fc1f2750SBernard IremongerHowever, the log function can be overridden by the user to use a different logging mechanism. 428fc1f2750SBernard Iremonger 429fc1f2750SBernard IremongerTrace and Debug Functions 430fc1f2750SBernard Iremonger^^^^^^^^^^^^^^^^^^^^^^^^^ 431fc1f2750SBernard Iremonger 432fc1f2750SBernard IremongerThere are some debug functions to dump the stack in glibc. 433fc1f2750SBernard IremongerThe rte_panic() function can voluntarily provoke a SIG_ABORT, 434fc1f2750SBernard Iremongerwhich can trigger the generation of a core file, readable by gdb. 435fc1f2750SBernard Iremonger 436fc1f2750SBernard IremongerCPU Feature Identification 437fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~ 438fc1f2750SBernard Iremonger 43904cf0334SRami RosenThe EAL can query the CPU at runtime (using the rte_cpu_get_features() function) to determine which CPU features are available. 440fc1f2750SBernard Iremonger 4415762a565SCunming LiangUser Space Interrupt Event 4425762a565SCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~ 4435762a565SCunming Liang 4445762a565SCunming Liang+ User Space Interrupt and Alarm Handling in Host Thread 445fc1f2750SBernard Iremonger 446fc1f2750SBernard IremongerThe EAL creates a host thread to poll the UIO device file descriptors to detect the interrupts. 447fc1f2750SBernard IremongerCallbacks can be registered or unregistered by the EAL functions for a specific interrupt event 448fc1f2750SBernard Iremongerand are called in the host thread asynchronously. 449fc1f2750SBernard IremongerThe EAL also allows timed callbacks to be used in the same way as for NIC interrupts. 450fc1f2750SBernard Iremonger 451fc1f2750SBernard Iremonger.. note:: 452fc1f2750SBernard Iremonger 453b5ece772SGaetan Rivet In DPDK PMD, the only interrupts handled by the dedicated host thread are those for link status change 454b5ece772SGaetan Rivet (link up and link down notification) and for sudden device removal. 455fc1f2750SBernard Iremonger 4565762a565SCunming Liang 4575762a565SCunming Liang+ RX Interrupt Event 4585762a565SCunming Liang 4595762a565SCunming LiangThe receive and transmit routines provided by each PMD don't limit themselves to execute in polling thread mode. 4605762a565SCunming LiangTo ease the idle polling with tiny throughput, it's useful to pause the polling and wait until the wake-up event happens. 4615762a565SCunming LiangThe RX interrupt is the first choice to be such kind of wake-up event, but probably won't be the only one. 4625762a565SCunming Liang 4635762a565SCunming LiangEAL provides the event APIs for this event-driven thread mode. 46491d7846cSBruce RichardsonTaking Linux as an example, the implementation relies on epoll. Each thread can monitor an epoll instance 4655762a565SCunming Liangin which all the wake-up events' file descriptors are added. The event file descriptors are created and mapped to 4665762a565SCunming Liangthe interrupt vectors according to the UIO/VFIO spec. 46725c99fbdSBruce RichardsonFrom FreeBSD's perspective, kqueue is the alternative way, but not implemented yet. 4685762a565SCunming Liang 4695762a565SCunming LiangEAL initializes the mapping between event file descriptors and interrupt vectors, while each device initializes the mapping 4705762a565SCunming Liangbetween interrupt vectors and queues. In this way, EAL actually is unaware of the interrupt cause on the specific vector. 4715762a565SCunming LiangThe eth_dev driver takes responsibility to program the latter mapping. 4725762a565SCunming Liang 4735762a565SCunming Liang.. note:: 4745762a565SCunming Liang 4755762a565SCunming Liang Per queue RX interrupt event is only allowed in VFIO which supports multiple MSI-X vector. In UIO, the RX interrupt 4765762a565SCunming Liang together with other interrupt causes shares the same vector. In this case, when RX interrupt and LSC(link status change) 4775762a565SCunming Liang interrupt are both enabled(intr_conf.lsc == 1 && intr_conf.rxq == 1), only the former is capable. 4785762a565SCunming Liang 4795762a565SCunming LiangThe RX interrupt are controlled/enabled/disabled by ethdev APIs - 'rte_eth_dev_rx_intr_*'. They return failure if the PMD 4805762a565SCunming Lianghasn't support them yet. The intr_conf.rxq flag is used to turn on the capability of RX interrupt per device. 4815762a565SCunming Liang 482b5ece772SGaetan Rivet+ Device Removal Event 483b5ece772SGaetan Rivet 484b5ece772SGaetan RivetThis event is triggered by a device being removed at a bus level. Its 485b5ece772SGaetan Rivetunderlying resources may have been made unavailable (i.e. PCI mappings 486b5ece772SGaetan Rivetunmapped). The PMD must make sure that on such occurrence, the application can 487b5ece772SGaetan Rivetstill safely use its callbacks. 488b5ece772SGaetan Rivet 489b5ece772SGaetan RivetThis event can be subscribed to in the same way one would subscribe to a link 490b5ece772SGaetan Rivetstatus change event. The execution context is thus the same, i.e. it is the 491b5ece772SGaetan Rivetdedicated interrupt host thread. 492b5ece772SGaetan Rivet 493b5ece772SGaetan RivetConsidering this, it is likely that an application would want to close a 494b5ece772SGaetan Rivetdevice having emitted a Device Removal Event. In such case, calling 495b5ece772SGaetan Rivet``rte_eth_dev_close()`` can trigger it to unregister its own Device Removal Event 496b5ece772SGaetan Rivetcallback. Care must be taken not to close the device from the interrupt handler 497b5ece772SGaetan Rivetcontext. It is necessary to reschedule such closing operation. 498b5ece772SGaetan Rivet 499db27370bSStephen HemmingerBlock list 500db27370bSStephen Hemminger~~~~~~~~~~ 501fc1f2750SBernard Iremonger 502db27370bSStephen HemmingerThe EAL PCI device block list functionality can be used to mark certain NIC ports as unavailable, 50348624fd9SSiobhan Butlerso they are ignored by the DPDK. 504db27370bSStephen HemmingerThe ports to be blocked are identified using the PCIe* description (Domain:Bus:Device.Function). 505fc1f2750SBernard Iremonger 506fc1f2750SBernard IremongerMisc Functions 507fc1f2750SBernard Iremonger~~~~~~~~~~~~~~ 508fc1f2750SBernard Iremonger 509fc1f2750SBernard IremongerLocks and atomic operations are per-architecture (i686 and x86_64). 510fc1f2750SBernard Iremonger 511b76fafb1SDavid MarchandIOVA Mode Detection 512b76fafb1SDavid Marchand~~~~~~~~~~~~~~~~~~~ 513b76fafb1SDavid Marchand 514b76fafb1SDavid MarchandIOVA Mode is selected by considering what the current usable Devices on the 515b76fafb1SDavid Marchandsystem require and/or support. 516b76fafb1SDavid Marchand 51779a0bbe5SAnatoly BurakovOn FreeBSD, RTE_IOVA_PA is always the default. On Linux, the IOVA mode is 51879a0bbe5SAnatoly Burakovdetected based on a 2-step heuristic detailed below. 519b76fafb1SDavid Marchand 520b76fafb1SDavid MarchandFor the first step, EAL asks each bus its requirement in terms of IOVA mode 521b76fafb1SDavid Marchandand decides on a preferred IOVA mode. 522b76fafb1SDavid Marchand 523b76fafb1SDavid Marchand- if all buses report RTE_IOVA_PA, then the preferred IOVA mode is RTE_IOVA_PA, 524b76fafb1SDavid Marchand- if all buses report RTE_IOVA_VA, then the preferred IOVA mode is RTE_IOVA_VA, 5257be78d02SJosh Soref- if all buses report RTE_IOVA_DC, no bus expressed a preference, then the 526b76fafb1SDavid Marchand preferred mode is RTE_IOVA_DC, 527b76fafb1SDavid Marchand- if the buses disagree (at least one wants RTE_IOVA_PA and at least one wants 528b76fafb1SDavid Marchand RTE_IOVA_VA), then the preferred IOVA mode is RTE_IOVA_DC (see below with the 529b76fafb1SDavid Marchand check on Physical Addresses availability), 530b76fafb1SDavid Marchand 53179a0bbe5SAnatoly BurakovIf the buses have expressed no preference on which IOVA mode to pick, then a 53279a0bbe5SAnatoly Burakovdefault is selected using the following logic: 53379a0bbe5SAnatoly Burakov 53479a0bbe5SAnatoly Burakov- if physical addresses are not available, RTE_IOVA_VA mode is used 53579a0bbe5SAnatoly Burakov- if /sys/kernel/iommu_groups is not empty, RTE_IOVA_VA mode is used 53679a0bbe5SAnatoly Burakov- otherwise, RTE_IOVA_PA mode is used 53779a0bbe5SAnatoly Burakov 53879a0bbe5SAnatoly BurakovIn the case when the buses had disagreed on their preferred IOVA mode, part of 53979a0bbe5SAnatoly Burakovthe buses won't work because of this decision. 54079a0bbe5SAnatoly Burakov 541b76fafb1SDavid MarchandThe second step checks if the preferred mode complies with the Physical 542b76fafb1SDavid MarchandAddresses availability since those are only available to root user in recent 54379a0bbe5SAnatoly Burakovkernels. Namely, if the preferred mode is RTE_IOVA_PA but there is no access to 54479a0bbe5SAnatoly BurakovPhysical Addresses, then EAL init fails early, since later probing of the 54579a0bbe5SAnatoly Burakovdevices would fail anyway. 546b76fafb1SDavid Marchand 547bbe29a9bSJerin Jacob.. note:: 548bbe29a9bSJerin Jacob 54979a0bbe5SAnatoly Burakov The RTE_IOVA_VA mode is preferred as the default in most cases for the 55079a0bbe5SAnatoly Burakov following reasons: 551bbe29a9bSJerin Jacob 552bbe29a9bSJerin Jacob - All drivers are expected to work in RTE_IOVA_VA mode, irrespective of 553bbe29a9bSJerin Jacob physical address availability. 554bbe29a9bSJerin Jacob - By default, the mempool, first asks for IOVA-contiguous memory using 555bbe29a9bSJerin Jacob ``RTE_MEMZONE_IOVA_CONTIG``. This is slow in RTE_IOVA_PA mode and it may 556bbe29a9bSJerin Jacob affect the application boot time. 5579c30a6f3SHenry Nadeau - It is easy to enable large amount of IOVA-contiguous memory use cases 558bbe29a9bSJerin Jacob with IOVA in VA mode. 559bbe29a9bSJerin Jacob 560bbe29a9bSJerin Jacob It is expected that all PCI drivers work in both RTE_IOVA_PA and 561bbe29a9bSJerin Jacob RTE_IOVA_VA modes. 562bbe29a9bSJerin Jacob 563bbe29a9bSJerin Jacob If a PCI driver does not support RTE_IOVA_PA mode, the 564bbe29a9bSJerin Jacob ``RTE_PCI_DRV_NEED_IOVA_AS_VA`` flag is used to dictate that this PCI 565bbe29a9bSJerin Jacob driver can only work in RTE_IOVA_VA mode. 566bbe29a9bSJerin Jacob 567a0dede62SVamsi Attunuru When the KNI kernel module is detected, RTE_IOVA_PA mode is preferred as a 568a0dede62SVamsi Attunuru performance penalty is expected in RTE_IOVA_VA mode. 569a0dede62SVamsi Attunuru 570075b182bSEric ZhangIOVA Mode Configuration 571075b182bSEric Zhang~~~~~~~~~~~~~~~~~~~~~~~ 572075b182bSEric Zhang 573075b182bSEric ZhangAuto detection of the IOVA mode, based on probing the bus and IOMMU configuration, may not report 574075b182bSEric Zhangthe desired addressing mode when virtual devices that are not directly attached to the bus are present. 575075b182bSEric ZhangTo facilitate forcing the IOVA mode to a specific value the EAL command line option ``--iova-mode`` can 576075b182bSEric Zhangbe used to select either physical addressing('pa') or virtual addressing('va'). 577075b182bSEric Zhang 578580af30dSCiara Power.. _max_simd_bitwidth: 579580af30dSCiara Power 580580af30dSCiara Power 581580af30dSCiara PowerMax SIMD bitwidth 582580af30dSCiara Power~~~~~~~~~~~~~~~~~ 583580af30dSCiara Power 584580af30dSCiara PowerThe EAL provides a single setting to limit the max SIMD bitwidth used by DPDK, 585580af30dSCiara Powerwhich is used in determining the vector path, if any, chosen by a component. 586580af30dSCiara PowerThe value can be set at runtime by an application using the 587580af30dSCiara Power'rte_vect_set_max_simd_bitwidth(uint16_t bitwidth)' function, 588580af30dSCiara Powerwhich should only be called once at initialization, before EAL init. 589580af30dSCiara PowerThe value can be overridden by the user using the EAL command-line option '--force-max-simd-bitwidth'. 590580af30dSCiara Power 591580af30dSCiara PowerWhen choosing a vector path, along with checking the CPU feature support, 592580af30dSCiara Powerthe value of the max SIMD bitwidth must also be checked, and can be retrieved using the 593580af30dSCiara Power'rte_vect_get_max_simd_bitwidth()' function. 594580af30dSCiara PowerThe value should be compared against the enum values for accepted max SIMD bitwidths: 595580af30dSCiara Power 596580af30dSCiara Power.. code-block:: c 597580af30dSCiara Power 598580af30dSCiara Power enum rte_vect_max_simd { 599580af30dSCiara Power RTE_VECT_SIMD_DISABLED = 64, 600580af30dSCiara Power RTE_VECT_SIMD_128 = 128, 601580af30dSCiara Power RTE_VECT_SIMD_256 = 256, 602580af30dSCiara Power RTE_VECT_SIMD_512 = 512, 603580af30dSCiara Power RTE_VECT_SIMD_MAX = INT16_MAX + 1, 604580af30dSCiara Power }; 605580af30dSCiara Power 606580af30dSCiara Power if (rte_vect_get_max_simd_bitwidth() >= RTE_VECT_SIMD_512) 607580af30dSCiara Power /* Take AVX-512 vector path */ 608580af30dSCiara Power else if (rte_vect_get_max_simd_bitwidth() >= RTE_VECT_SIMD_256) 609580af30dSCiara Power /* Take AVX2 vector path */ 610580af30dSCiara Power 611580af30dSCiara Power 612fc1f2750SBernard IremongerMemory Segments and Memory Zones (memzone) 613fc1f2750SBernard Iremonger------------------------------------------ 614fc1f2750SBernard Iremonger 615fc1f2750SBernard IremongerThe mapping of physical memory is provided by this feature in the EAL. 616fc1f2750SBernard IremongerAs physical memory can have gaps, the memory is described in a table of descriptors, 617b3173932SAnatoly Burakovand each descriptor (called rte_memseg ) describes a physical page. 618fc1f2750SBernard Iremonger 619fc1f2750SBernard IremongerOn top of this, the memzone allocator's role is to reserve contiguous portions of physical memory. 620fc1f2750SBernard IremongerThese zones are identified by a unique name when the memory is reserved. 621fc1f2750SBernard Iremonger 622fc1f2750SBernard IremongerThe rte_memzone descriptors are also located in the configuration structure. 623fc1f2750SBernard IremongerThis structure is accessed using rte_eal_get_configuration(). 624fc1f2750SBernard IremongerThe lookup (by name) of a memory zone returns a descriptor containing the physical address of the memory zone. 625fc1f2750SBernard Iremonger 626fc1f2750SBernard IremongerMemory zones can be reserved with specific start address alignment by supplying the align parameter 627fc1f2750SBernard Iremonger(by default, they are aligned to cache line size). 628fc1f2750SBernard IremongerThe alignment value should be a power of two and not less than the cache line size (64 bytes). 629fc1f2750SBernard IremongerMemory zones can also be reserved from either 2 MB or 1 GB hugepages, provided that both are available on the system. 630fc1f2750SBernard Iremonger 631b3173932SAnatoly BurakovBoth memsegs and memzones are stored using ``rte_fbarray`` structures. Please 632b3173932SAnatoly Burakovrefer to *DPDK API Reference* for more information. 633b3173932SAnatoly Burakov 6341733be6dSCunming Liang 6351733be6dSCunming LiangMultiple pthread 6361733be6dSCunming Liang---------------- 6371733be6dSCunming Liang 638e1ed63b0SCunming LiangDPDK usually pins one pthread per core to avoid the overhead of task switching. 639e1ed63b0SCunming LiangThis allows for significant performance gains, but lacks flexibility and is not always efficient. 6401733be6dSCunming Liang 641e1ed63b0SCunming LiangPower management helps to improve the CPU efficiency by limiting the CPU runtime frequency. 642e1ed63b0SCunming LiangHowever, alternately it is possible to utilize the idle cycles available to take advantage of 643e1ed63b0SCunming Liangthe full capability of the CPU. 6441733be6dSCunming Liang 645e1ed63b0SCunming LiangBy taking advantage of cgroup, the CPU utilization quota can be simply assigned. 646fea1d908SJohn McNamaraThis gives another way to improve the CPU efficiency, however, there is a prerequisite; 647e1ed63b0SCunming LiangDPDK must handle the context switching between multiple pthreads per core. 6481733be6dSCunming Liang 649e1ed63b0SCunming LiangFor further flexibility, it is useful to set pthread affinity not only to a CPU but to a CPU set. 6501733be6dSCunming Liang 6511733be6dSCunming LiangEAL pthread and lcore Affinity 6521733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 6531733be6dSCunming Liang 654e1ed63b0SCunming LiangThe term "lcore" refers to an EAL thread, which is really a Linux/FreeBSD pthread. 655e1ed63b0SCunming Liang"EAL pthreads" are created and managed by EAL and execute the tasks issued by *remote_launch*. 656e1ed63b0SCunming LiangIn each EAL pthread, there is a TLS (Thread Local Storage) called *_lcore_id* for unique identification. 657e1ed63b0SCunming LiangAs EAL pthreads usually bind 1:1 to the physical CPU, the *_lcore_id* is typically equal to the CPU ID. 6581733be6dSCunming Liang 659e1ed63b0SCunming LiangWhen using multiple pthreads, however, the binding is no longer always 1:1 between an EAL pthread and a specified physical CPU. 660e1ed63b0SCunming 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. 661e1ed63b0SCunming LiangFor this reason, there is an EAL long option '--lcores' defined to assign the CPU affinity of lcores. 662e1ed63b0SCunming LiangFor a specified lcore ID or ID group, the option allows setting the CPU set for that EAL pthread. 6631733be6dSCunming Liang 6641733be6dSCunming LiangThe format pattern: 6651733be6dSCunming Liang --lcores='<lcore_set>[@cpu_set][,<lcore_set>[@cpu_set],...]' 6661733be6dSCunming Liang 6671733be6dSCunming Liang'lcore_set' and 'cpu_set' can be a single number, range or a group. 6681733be6dSCunming Liang 6691733be6dSCunming LiangA number is a "digit([0-9]+)"; a range is "<number>-<number>"; a group is "(<number|range>[,<number|range>,...])". 6701733be6dSCunming Liang 671e1ed63b0SCunming LiangIf a '\@cpu_set' value is not supplied, the value of 'cpu_set' will default to the value of 'lcore_set'. 6721733be6dSCunming Liang 6731733be6dSCunming Liang :: 6741733be6dSCunming Liang 6751733be6dSCunming Liang For example, "--lcores='1,2@(5-7),(3-5)@(0,2),(0,6),7-8'" which means start 9 EAL thread; 6761733be6dSCunming Liang lcore 0 runs on cpuset 0x41 (cpu 0,6); 6771733be6dSCunming Liang lcore 1 runs on cpuset 0x2 (cpu 1); 6781733be6dSCunming Liang lcore 2 runs on cpuset 0xe0 (cpu 5,6,7); 6791733be6dSCunming Liang lcore 3,4,5 runs on cpuset 0x5 (cpu 0,2); 6801733be6dSCunming Liang lcore 6 runs on cpuset 0x41 (cpu 0,6); 6811733be6dSCunming Liang lcore 7 runs on cpuset 0x80 (cpu 7); 6821733be6dSCunming Liang lcore 8 runs on cpuset 0x100 (cpu 8). 6831733be6dSCunming Liang 684e1ed63b0SCunming LiangUsing this option, for each given lcore ID, the associated CPUs can be assigned. 6851733be6dSCunming LiangIt's also compatible with the pattern of corelist('-l') option. 6861733be6dSCunming Liang 6871733be6dSCunming Liangnon-EAL pthread support 6881733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~ 6891733be6dSCunming Liang 6905c307ba2SDavid MarchandIt is possible to use the DPDK execution context with any user pthread (aka. non-EAL pthreads). 6915c307ba2SDavid MarchandThere are two kinds of non-EAL pthreads: 6925c307ba2SDavid Marchand 6935c307ba2SDavid Marchand- a registered non-EAL pthread with a valid *_lcore_id* that was successfully assigned by calling ``rte_thread_register()``, 6945c307ba2SDavid Marchand- a non registered non-EAL pthread with a LCORE_ID_ANY, 6955c307ba2SDavid Marchand 6965c307ba2SDavid 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). 6971733be6dSCunming Liang 6981733be6dSCunming LiangAll these impacts are mentioned in :ref:`known_issue_label` section. 6991733be6dSCunming Liang 7001733be6dSCunming LiangPublic Thread API 7011733be6dSCunming Liang~~~~~~~~~~~~~~~~~ 7021733be6dSCunming Liang 703f88bf5a9SRami RosenThere are two public APIs ``rte_thread_set_affinity()`` and ``rte_thread_get_affinity()`` introduced for threads. 7041733be6dSCunming LiangWhen they're used in any pthread context, the Thread Local Storage(TLS) will be set/get. 7051733be6dSCunming Liang 7061733be6dSCunming LiangThose TLS include *_cpuset* and *_socket_id*: 7071733be6dSCunming Liang 708e1ed63b0SCunming Liang* *_cpuset* stores the CPUs bitmap to which the pthread is affinitized. 7091733be6dSCunming Liang 710fea1d908SJohn 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. 7111733be6dSCunming Liang 7121733be6dSCunming Liang 713c3568ea3SDavid MarchandControl Thread API 714c3568ea3SDavid Marchand~~~~~~~~~~~~~~~~~~ 715c3568ea3SDavid Marchand 716c3568ea3SDavid MarchandIt is possible to create Control Threads using the public API 717c3568ea3SDavid Marchand``rte_ctrl_thread_create()``. 718c3568ea3SDavid MarchandThose threads can be used for management/infrastructure tasks and are used 719c3568ea3SDavid Marchandinternally by DPDK for multi process support and interrupt handling. 720c3568ea3SDavid Marchand 721c3568ea3SDavid MarchandThose threads will be scheduled on CPUs part of the original process CPU 722c3568ea3SDavid Marchandaffinity from which the dataplane and service lcores are excluded. 723c3568ea3SDavid Marchand 724c3568ea3SDavid MarchandFor example, on a 8 CPUs system, starting a dpdk application with -l 2,3 725c3568ea3SDavid Marchand(dataplane cores), then depending on the affinity configuration which can be 726c3568ea3SDavid Marchandcontrolled with tools like taskset (Linux) or cpuset (FreeBSD), 727c3568ea3SDavid Marchand 728c3568ea3SDavid Marchand- with no affinity configuration, the Control Threads will end up on 729c3568ea3SDavid Marchand 0-1,4-7 CPUs. 730c3568ea3SDavid Marchand- with affinity restricted to 2-4, the Control Threads will end up on 731c3568ea3SDavid Marchand CPU 4. 732c3568ea3SDavid Marchand- with affinity restricted to 2-3, the Control Threads will end up on 733cb056611SStephen Hemminger CPU 2 (main lcore, which is the default when no CPU is available). 734c3568ea3SDavid Marchand 7351733be6dSCunming Liang.. _known_issue_label: 7361733be6dSCunming Liang 7371733be6dSCunming LiangKnown Issues 7381733be6dSCunming Liang~~~~~~~~~~~~ 7391733be6dSCunming Liang 7401733be6dSCunming Liang+ rte_mempool 7411733be6dSCunming Liang 742e1ed63b0SCunming Liang The rte_mempool uses a per-lcore cache inside the mempool. 7435c307ba2SDavid Marchand For unregistered non-EAL pthreads, ``rte_lcore_id()`` will not return a valid number. 7445c307ba2SDavid 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. 7455c307ba2SDavid 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. 7461733be6dSCunming Liang 7471733be6dSCunming Liang+ rte_ring 7481733be6dSCunming Liang 749e1ed63b0SCunming Liang rte_ring supports multi-producer enqueue and multi-consumer dequeue. 7507be78d02SJosh Soref However, it is non-preemptive, this has a knock on effect of making rte_mempool non-preemptible. 7511733be6dSCunming Liang 7521733be6dSCunming Liang .. note:: 7531733be6dSCunming Liang 7541733be6dSCunming Liang The "non-preemptive" constraint means: 7551733be6dSCunming Liang 7561733be6dSCunming Liang - a pthread doing multi-producers enqueues on a given ring must not 7571733be6dSCunming Liang be preempted by another pthread doing a multi-producer enqueue on 7581733be6dSCunming Liang the same ring. 7591733be6dSCunming Liang - a pthread doing multi-consumers dequeues on a given ring must not 7601733be6dSCunming Liang be preempted by another pthread doing a multi-consumer dequeue on 7611733be6dSCunming Liang the same ring. 7621733be6dSCunming Liang 7632d6d5ebbSShreyansh Jain Bypassing this constraint may cause the 2nd pthread to spin until the 1st one is scheduled again. 7641733be6dSCunming Liang Moreover, if the 1st pthread is preempted by a context that has an higher priority, it may even cause a dead lock. 7651733be6dSCunming Liang 7664a6e683cSHonnappa Nagarahalli This means, use cases involving preemptible pthreads should consider using rte_ring carefully. 7671733be6dSCunming Liang 7684a6e683cSHonnappa Nagarahalli 1. It CAN be used for preemptible single-producer and single-consumer use case. 7691733be6dSCunming Liang 7704a6e683cSHonnappa Nagarahalli 2. It CAN be used for non-preemptible multi-producer and preemptible single-consumer use case. 7711733be6dSCunming Liang 7724a6e683cSHonnappa Nagarahalli 3. It CAN be used for preemptible single-producer and non-preemptible multi-consumer use case. 7734a6e683cSHonnappa Nagarahalli 7744a6e683cSHonnappa 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. 7754a6e683cSHonnappa Nagarahalli 7764a6e683cSHonnappa Nagarahalli 5. It MUST not be used by multi-producer/consumer pthreads, whose scheduling policies are SCHED_FIFO or SCHED_RR. 7771733be6dSCunming Liang 778e75bc77fSGage Eads Alternatively, applications can use the lock-free stack mempool handler. When 779e75bc77fSGage Eads considering this handler, note that: 780e75bc77fSGage Eads 7817911ba04SPhil Yang - It is currently limited to the aarch64 and x86_64 platforms, because it uses 7827911ba04SPhil Yang an instruction (16-byte compare-and-swap) that is not yet available on other 783e75bc77fSGage Eads platforms. 784e75bc77fSGage Eads - It has worse average-case performance than the non-preemptive rte_ring, but 785e75bc77fSGage Eads software caching (e.g. the mempool cache) can mitigate this by reducing the 786e75bc77fSGage Eads number of stack accesses. 787e75bc77fSGage Eads 7881733be6dSCunming Liang+ rte_timer 7891733be6dSCunming Liang 7905c307ba2SDavid 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. 7911733be6dSCunming Liang 7921733be6dSCunming Liang+ rte_log 7931733be6dSCunming Liang 7945c307ba2SDavid Marchand In unregistered non-EAL pthreads, there is no per thread loglevel and logtype, global loglevels are used. 7951733be6dSCunming Liang 7961733be6dSCunming Liang+ misc 7971733be6dSCunming Liang 7985c307ba2SDavid Marchand The debug statistics of rte_ring, rte_mempool and rte_timer are not supported in an unregistered non-EAL pthread. 7991733be6dSCunming Liang 8001733be6dSCunming Liangcgroup control 8011733be6dSCunming Liang~~~~~~~~~~~~~~ 8021733be6dSCunming Liang 803e1ed63b0SCunming 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). 8041733be6dSCunming LiangWe expect only 50% of CPU spend on packet IO. 8051733be6dSCunming Liang 8061796f485SThomas Monjalon .. code-block:: console 8071733be6dSCunming Liang 8081733be6dSCunming Liang mkdir /sys/fs/cgroup/cpu/pkt_io 8091733be6dSCunming Liang mkdir /sys/fs/cgroup/cpuset/pkt_io 8101733be6dSCunming Liang 8111733be6dSCunming Liang echo $cpu > /sys/fs/cgroup/cpuset/cpuset.cpus 8121733be6dSCunming Liang 8131733be6dSCunming Liang echo $t0 > /sys/fs/cgroup/cpu/pkt_io/tasks 8141733be6dSCunming Liang echo $t0 > /sys/fs/cgroup/cpuset/pkt_io/tasks 8151733be6dSCunming Liang 8161733be6dSCunming Liang echo $t1 > /sys/fs/cgroup/cpu/pkt_io/tasks 8171733be6dSCunming Liang echo $t1 > /sys/fs/cgroup/cpuset/pkt_io/tasks 8181733be6dSCunming Liang 8191733be6dSCunming Liang cd /sys/fs/cgroup/cpu/pkt_io 8201733be6dSCunming Liang echo 100000 > pkt_io/cpu.cfs_period_us 8211733be6dSCunming Liang echo 50000 > pkt_io/cpu.cfs_quota_us 8221733be6dSCunming Liang 8231ba4f673SDmitry Kozlyuk.. _malloc: 8241733be6dSCunming Liang 82556297061SSergio Gonzalez MonroyMalloc 82656297061SSergio Gonzalez Monroy------ 82756297061SSergio Gonzalez Monroy 82856297061SSergio Gonzalez MonroyThe EAL provides a malloc API to allocate any-sized memory. 82956297061SSergio Gonzalez Monroy 83056297061SSergio Gonzalez MonroyThe objective of this API is to provide malloc-like functions to allow 83156297061SSergio Gonzalez Monroyallocation from hugepage memory and to facilitate application porting. 83256297061SSergio Gonzalez MonroyThe *DPDK API Reference* manual describes the available functions. 83356297061SSergio Gonzalez Monroy 83456297061SSergio Gonzalez MonroyTypically, these kinds of allocations should not be done in data plane 83556297061SSergio Gonzalez Monroyprocessing because they are slower than pool-based allocation and make 83656297061SSergio Gonzalez Monroyuse of locks within the allocation and free paths. 83756297061SSergio Gonzalez MonroyHowever, they can be used in configuration code. 83856297061SSergio Gonzalez Monroy 83956297061SSergio Gonzalez MonroyRefer to the rte_malloc() function description in the *DPDK API Reference* 84056297061SSergio Gonzalez Monroymanual for more information. 84156297061SSergio Gonzalez Monroy 84256297061SSergio Gonzalez Monroy 84356297061SSergio Gonzalez MonroyAlignment and NUMA Constraints 84456297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 84556297061SSergio Gonzalez Monroy 84656297061SSergio Gonzalez MonroyThe rte_malloc() takes an align argument that can be used to request a memory 84756297061SSergio Gonzalez Monroyarea that is aligned on a multiple of this value (which must be a power of two). 84856297061SSergio Gonzalez Monroy 84956297061SSergio Gonzalez MonroyOn systems with NUMA support, a call to the rte_malloc() function will return 85056297061SSergio Gonzalez Monroymemory that has been allocated on the NUMA socket of the core which made the call. 85156297061SSergio Gonzalez MonroyA set of APIs is also provided, to allow memory to be explicitly allocated on a 85256297061SSergio Gonzalez MonroyNUMA socket directly, or by allocated on the NUMA socket where another core is 85356297061SSergio Gonzalez Monroylocated, in the case where the memory is to be used by a logical core other than 85456297061SSergio Gonzalez Monroyon the one doing the memory allocation. 85556297061SSergio Gonzalez Monroy 85656297061SSergio Gonzalez MonroyUse Cases 85756297061SSergio Gonzalez Monroy~~~~~~~~~ 85856297061SSergio Gonzalez Monroy 85956297061SSergio Gonzalez MonroyThis API is meant to be used by an application that requires malloc-like 86056297061SSergio Gonzalez Monroyfunctions at initialization time. 86156297061SSergio Gonzalez Monroy 86256297061SSergio Gonzalez MonroyFor allocating/freeing data at runtime, in the fast-path of an application, 86356297061SSergio Gonzalez Monroythe memory pool library should be used instead. 86456297061SSergio Gonzalez Monroy 86556297061SSergio Gonzalez MonroyInternal Implementation 86656297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~ 86756297061SSergio Gonzalez Monroy 86856297061SSergio Gonzalez MonroyData Structures 86956297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^ 87056297061SSergio Gonzalez Monroy 87156297061SSergio Gonzalez MonroyThere are two data structure types used internally in the malloc library: 87256297061SSergio Gonzalez Monroy 87356297061SSergio Gonzalez Monroy* struct malloc_heap - used to track free space on a per-socket basis 87456297061SSergio Gonzalez Monroy 87556297061SSergio Gonzalez Monroy* struct malloc_elem - the basic element of allocation and free-space 87656297061SSergio Gonzalez Monroy tracking inside the library. 87756297061SSergio Gonzalez Monroy 87856297061SSergio Gonzalez MonroyStructure: malloc_heap 87956297061SSergio Gonzalez Monroy"""""""""""""""""""""" 88056297061SSergio Gonzalez Monroy 88156297061SSergio Gonzalez MonroyThe malloc_heap structure is used to manage free space on a per-socket basis. 88256297061SSergio Gonzalez MonroyInternally, there is one heap structure per NUMA node, which allows us to 88356297061SSergio Gonzalez Monroyallocate memory to a thread based on the NUMA node on which this thread runs. 88456297061SSergio Gonzalez MonroyWhile this does not guarantee that the memory will be used on that NUMA node, 88556297061SSergio Gonzalez Monroyit is no worse than a scheme where the memory is always allocated on a fixed 88656297061SSergio Gonzalez Monroyor random node. 88756297061SSergio Gonzalez Monroy 88856297061SSergio Gonzalez MonroyThe key fields of the heap structure and their function are described below 88956297061SSergio Gonzalez Monroy(see also diagram above): 89056297061SSergio Gonzalez Monroy 89156297061SSergio Gonzalez Monroy* lock - the lock field is needed to synchronize access to the heap. 89256297061SSergio Gonzalez Monroy Given that the free space in the heap is tracked using a linked list, 89356297061SSergio Gonzalez Monroy we need a lock to prevent two threads manipulating the list at the same time. 89456297061SSergio Gonzalez Monroy 89556297061SSergio Gonzalez Monroy* free_head - this points to the first element in the list of free nodes for 89656297061SSergio Gonzalez Monroy this malloc heap. 89756297061SSergio Gonzalez Monroy 898b3173932SAnatoly Burakov* first - this points to the first element in the heap. 89956297061SSergio Gonzalez Monroy 900b3173932SAnatoly Burakov* last - this points to the last element in the heap. 90156297061SSergio Gonzalez Monroy 90256297061SSergio Gonzalez Monroy.. _figure_malloc_heap: 90356297061SSergio Gonzalez Monroy 90456297061SSergio Gonzalez Monroy.. figure:: img/malloc_heap.* 90556297061SSergio Gonzalez Monroy 90656297061SSergio Gonzalez Monroy Example of a malloc heap and malloc elements within the malloc library 90756297061SSergio Gonzalez Monroy 90856297061SSergio Gonzalez Monroy 90956297061SSergio Gonzalez Monroy.. _malloc_elem: 91056297061SSergio Gonzalez Monroy 91156297061SSergio Gonzalez MonroyStructure: malloc_elem 91256297061SSergio Gonzalez Monroy"""""""""""""""""""""" 91356297061SSergio Gonzalez Monroy 91456297061SSergio Gonzalez MonroyThe malloc_elem structure is used as a generic header structure for various 91556297061SSergio Gonzalez Monroyblocks of memory. 916b3173932SAnatoly BurakovIt is used in two different ways - all shown in the diagram above: 91756297061SSergio Gonzalez Monroy 91856297061SSergio Gonzalez Monroy#. As a header on a block of free or allocated memory - normal case 91956297061SSergio Gonzalez Monroy 92056297061SSergio Gonzalez Monroy#. As a padding header inside a block of memory 92156297061SSergio Gonzalez Monroy 92256297061SSergio Gonzalez MonroyThe most important fields in the structure and how they are used are described below. 92356297061SSergio Gonzalez Monroy 924b3173932SAnatoly BurakovMalloc heap is a doubly-linked list, where each element keeps track of its 925b3173932SAnatoly Burakovprevious and next elements. Due to the fact that hugepage memory can come and 926d629b7b5SJohn McNamarago, neighboring malloc elements may not necessarily be adjacent in memory. 927b3173932SAnatoly BurakovAlso, since a malloc element may span multiple pages, its contents may not 928b3173932SAnatoly Burakovnecessarily be IOVA-contiguous either - each malloc element is only guaranteed 929b3173932SAnatoly Burakovto be virtually contiguous. 930b3173932SAnatoly Burakov 93156297061SSergio Gonzalez Monroy.. note:: 93256297061SSergio Gonzalez Monroy 93356297061SSergio Gonzalez Monroy If the usage of a particular field in one of the above three usages is not 93456297061SSergio Gonzalez Monroy described, the field can be assumed to have an undefined value in that 93556297061SSergio Gonzalez Monroy situation, for example, for padding headers only the "state" and "pad" 93656297061SSergio Gonzalez Monroy fields have valid values. 93756297061SSergio Gonzalez Monroy 93856297061SSergio Gonzalez Monroy* heap - this pointer is a reference back to the heap structure from which 93956297061SSergio Gonzalez Monroy this block was allocated. 94056297061SSergio Gonzalez Monroy It is used for normal memory blocks when they are being freed, to add the 94156297061SSergio Gonzalez Monroy newly-freed block to the heap's free-list. 94256297061SSergio Gonzalez Monroy 943b3173932SAnatoly Burakov* prev - this pointer points to previous header element/block in memory. When 944b3173932SAnatoly Burakov freeing a block, this pointer is used to reference the previous block to 945b3173932SAnatoly Burakov check if that block is also free. If so, and the two blocks are immediately 946b3173932SAnatoly Burakov adjacent to each other, then the two free blocks are merged to form a single 947b3173932SAnatoly Burakov larger block. 94856297061SSergio Gonzalez Monroy 949b3173932SAnatoly Burakov* next - this pointer points to next header element/block in memory. When 950b3173932SAnatoly Burakov freeing a block, this pointer is used to reference the next block to check 951b3173932SAnatoly Burakov if that block is also free. If so, and the two blocks are immediately 952b3173932SAnatoly Burakov adjacent to each other, then the two free blocks are merged to form a single 953b3173932SAnatoly Burakov larger block. 954b3173932SAnatoly Burakov 955b3173932SAnatoly Burakov* free_list - this is a structure pointing to previous and next elements in 956b3173932SAnatoly Burakov this heap's free list. 95756297061SSergio Gonzalez Monroy It is only used in normal memory blocks; on ``malloc()`` to find a suitable 95856297061SSergio Gonzalez Monroy free block to allocate and on ``free()`` to add the newly freed element to 95956297061SSergio Gonzalez Monroy the free-list. 96056297061SSergio Gonzalez Monroy 96156297061SSergio Gonzalez Monroy* state - This field can have one of three values: ``FREE``, ``BUSY`` or 96256297061SSergio Gonzalez Monroy ``PAD``. 96356297061SSergio Gonzalez Monroy The former two are to indicate the allocation state of a normal memory block 96456297061SSergio Gonzalez Monroy and the latter is to indicate that the element structure is a dummy structure 96556297061SSergio Gonzalez Monroy at the end of the start-of-block padding, i.e. where the start of the data 96656297061SSergio Gonzalez Monroy within a block is not at the start of the block itself, due to alignment 96756297061SSergio Gonzalez Monroy constraints. 96856297061SSergio Gonzalez Monroy In that case, the pad header is used to locate the actual malloc element 96956297061SSergio Gonzalez Monroy header for the block. 97056297061SSergio Gonzalez Monroy 9712edd037cSDmitry Kozlyuk* dirty - this flag is only meaningful when ``state`` is ``FREE``. 9722edd037cSDmitry Kozlyuk It indicates that the content of the element is not fully zero-filled. 9732edd037cSDmitry Kozlyuk Memory from such blocks must be cleared when requested via ``rte_zmalloc*()``. 974*0dff3f26SDmitry Kozlyuk Dirty elements only appear with ``--huge-unlink=never``. 9752edd037cSDmitry Kozlyuk 97656297061SSergio Gonzalez Monroy* pad - this holds the length of the padding present at the start of the block. 97756297061SSergio Gonzalez Monroy In the case of a normal block header, it is added to the address of the end 97856297061SSergio Gonzalez Monroy of the header to give the address of the start of the data area, i.e. the 97956297061SSergio Gonzalez Monroy value passed back to the application on a malloc. 98056297061SSergio Gonzalez Monroy Within a dummy header inside the padding, this same value is stored, and is 98156297061SSergio Gonzalez Monroy subtracted from the address of the dummy header to yield the address of the 98256297061SSergio Gonzalez Monroy actual block header. 98356297061SSergio Gonzalez Monroy 98456297061SSergio Gonzalez Monroy* size - the size of the data block, including the header itself. 98556297061SSergio Gonzalez Monroy 98656297061SSergio Gonzalez MonroyMemory Allocation 98756297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^^^ 98856297061SSergio Gonzalez Monroy 989b3173932SAnatoly BurakovOn EAL initialization, all preallocated memory segments are setup as part of the 990b3173932SAnatoly Burakovmalloc heap. This setup involves placing an :ref:`element header<malloc_elem>` 991b3173932SAnatoly Burakovwith ``FREE`` at the start of each virtually contiguous segment of memory. 99256297061SSergio Gonzalez MonroyThe ``FREE`` element is then added to the ``free_list`` for the malloc heap. 99356297061SSergio Gonzalez Monroy 994b3173932SAnatoly BurakovThis setup also happens whenever memory is allocated at runtime (if supported), 995b3173932SAnatoly Burakovin which case newly allocated pages are also added to the heap, merging with any 996b3173932SAnatoly Burakovadjacent free segments if there are any. 997b3173932SAnatoly Burakov 99856297061SSergio Gonzalez MonroyWhen an application makes a call to a malloc-like function, the malloc function 99956297061SSergio Gonzalez Monroywill first index the ``lcore_config`` structure for the calling thread, and 100056297061SSergio Gonzalez Monroydetermine the NUMA node of that thread. 100156297061SSergio Gonzalez MonroyThe NUMA node is used to index the array of ``malloc_heap`` structures which is 100256297061SSergio Gonzalez Monroypassed as a parameter to the ``heap_alloc()`` function, along with the 100356297061SSergio Gonzalez Monroyrequested size, type, alignment and boundary parameters. 100456297061SSergio Gonzalez Monroy 100556297061SSergio Gonzalez MonroyThe ``heap_alloc()`` function will scan the free_list of the heap, and attempt 100656297061SSergio Gonzalez Monroyto find a free block suitable for storing data of the requested size, with the 100756297061SSergio Gonzalez Monroyrequested alignment and boundary constraints. 100856297061SSergio Gonzalez Monroy 100956297061SSergio Gonzalez MonroyWhen a suitable free element has been identified, the pointer to be returned 101056297061SSergio Gonzalez Monroyto the user is calculated. 101156297061SSergio Gonzalez MonroyThe cache-line of memory immediately preceding this pointer is filled with a 101256297061SSergio Gonzalez Monroystruct malloc_elem header. 101356297061SSergio Gonzalez MonroyBecause of alignment and boundary constraints, there could be free space at 101456297061SSergio Gonzalez Monroythe start and/or end of the element, resulting in the following behavior: 101556297061SSergio Gonzalez Monroy 101656297061SSergio Gonzalez Monroy#. Check for trailing space. 101756297061SSergio Gonzalez Monroy If the trailing space is big enough, i.e. > 128 bytes, then the free element 101856297061SSergio Gonzalez Monroy is split. 101956297061SSergio Gonzalez Monroy If it is not, then we just ignore it (wasted space). 102056297061SSergio Gonzalez Monroy 102156297061SSergio Gonzalez Monroy#. Check for space at the start of the element. 102256297061SSergio Gonzalez Monroy If the space at the start is small, i.e. <=128 bytes, then a pad header is 102356297061SSergio Gonzalez Monroy used, and the remaining space is wasted. 102456297061SSergio Gonzalez Monroy If, however, the remaining space is greater, then the free element is split. 102556297061SSergio Gonzalez Monroy 102656297061SSergio Gonzalez MonroyThe advantage of allocating the memory from the end of the existing element is 102756297061SSergio Gonzalez Monroythat no adjustment of the free list needs to take place - the existing element 1028b3173932SAnatoly Burakovon the free list just has its size value adjusted, and the next/previous elements 1029b3173932SAnatoly Burakovhave their "prev"/"next" pointers redirected to the newly created element. 1030b3173932SAnatoly Burakov 1031b3173932SAnatoly BurakovIn case when there is not enough memory in the heap to satisfy allocation 1032b3173932SAnatoly Burakovrequest, EAL will attempt to allocate more memory from the system (if supported) 1033b3173932SAnatoly Burakovand, following successful allocation, will retry reserving the memory again. In 1034b3173932SAnatoly Burakova multiprocessing scenario, all primary and secondary processes will synchronize 1035b3173932SAnatoly Burakovtheir memory maps to ensure that any valid pointer to DPDK memory is guaranteed 1036b3173932SAnatoly Burakovto be valid at all times in all currently running processes. 1037b3173932SAnatoly Burakov 1038b3173932SAnatoly BurakovFailure to synchronize memory maps in one of the processes will cause allocation 1039b3173932SAnatoly Burakovto fail, even though some of the processes may have allocated the memory 1040b3173932SAnatoly Burakovsuccessfully. The memory is not added to the malloc heap unless primary process 1041b3173932SAnatoly Burakovhas ensured that all other processes have mapped this memory successfully. 1042b3173932SAnatoly Burakov 1043b3173932SAnatoly BurakovAny successful allocation event will trigger a callback, for which user 1044b3173932SAnatoly Burakovapplications and other DPDK subsystems can register. Additionally, validation 1045b3173932SAnatoly Burakovcallbacks will be triggered before allocation if the newly allocated memory will 1046b3173932SAnatoly Burakovexceed threshold set by the user, giving a chance to allow or deny allocation. 1047b3173932SAnatoly Burakov 1048b3173932SAnatoly Burakov.. note:: 1049b3173932SAnatoly Burakov 1050b3173932SAnatoly Burakov Any allocation of new pages has to go through primary process. If the 1051b3173932SAnatoly Burakov primary process is not active, no memory will be allocated even if it was 1052b3173932SAnatoly Burakov theoretically possible to do so. This is because primary's process map acts 1053b3173932SAnatoly Burakov as an authority on what should or should not be mapped, while each secondary 1054b3173932SAnatoly Burakov process has its own, local memory map. Secondary processes do not update the 1055b3173932SAnatoly Burakov shared memory map, they only copy its contents to their local memory map. 105656297061SSergio Gonzalez Monroy 105756297061SSergio Gonzalez MonroyFreeing Memory 105856297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^ 105956297061SSergio Gonzalez Monroy 106056297061SSergio Gonzalez MonroyTo free an area of memory, the pointer to the start of the data area is passed 106156297061SSergio Gonzalez Monroyto the free function. 106256297061SSergio Gonzalez MonroyThe size of the ``malloc_elem`` structure is subtracted from this pointer to get 106356297061SSergio Gonzalez Monroythe element header for the block. 106456297061SSergio Gonzalez MonroyIf this header is of type ``PAD`` then the pad length is further subtracted from 106556297061SSergio Gonzalez Monroythe pointer to get the proper element header for the entire block. 106656297061SSergio Gonzalez Monroy 106756297061SSergio Gonzalez MonroyFrom this element header, we get pointers to the heap from which the block was 106856297061SSergio Gonzalez Monroyallocated and to where it must be freed, as well as the pointer to the previous 1069b3173932SAnatoly Burakovand next elements. These next and previous elements are then checked to see if 1070b3173932SAnatoly Burakovthey are also ``FREE`` and are immediately adjacent to the current one, and if 1071b3173932SAnatoly Burakovso, they are merged with the current element. This means that we can never have 1072b3173932SAnatoly Burakovtwo ``FREE`` memory blocks adjacent to one another, as they are always merged 1073b3173932SAnatoly Burakovinto a single block. 1074b3173932SAnatoly Burakov 1075b3173932SAnatoly BurakovIf deallocating pages at runtime is supported, and the free element encloses 1076b3173932SAnatoly Burakovone or more pages, those pages can be deallocated and be removed from the heap. 1077b3173932SAnatoly BurakovIf DPDK was started with command-line parameters for preallocating memory 1078b3173932SAnatoly Burakov(``-m`` or ``--socket-mem``), then those pages that were allocated at startup 1079b3173932SAnatoly Burakovwill not be deallocated. 1080b3173932SAnatoly Burakov 1081b3173932SAnatoly BurakovAny successful deallocation event will trigger a callback, for which user 1082b3173932SAnatoly Burakovapplications and other DPDK subsystems can register. 1083