1fc1f2750SBernard Iremonger.. BSD LICENSE 2fc1f2750SBernard Iremonger Copyright(c) 2010-2014 Intel Corporation. All rights reserved. 3fc1f2750SBernard Iremonger All rights reserved. 4fc1f2750SBernard Iremonger 5fc1f2750SBernard Iremonger Redistribution and use in source and binary forms, with or without 6fc1f2750SBernard Iremonger modification, are permitted provided that the following conditions 7fc1f2750SBernard Iremonger are met: 8fc1f2750SBernard Iremonger 9fc1f2750SBernard Iremonger * Redistributions of source code must retain the above copyright 10fc1f2750SBernard Iremonger notice, this list of conditions and the following disclaimer. 11fc1f2750SBernard Iremonger * Redistributions in binary form must reproduce the above copyright 12fc1f2750SBernard Iremonger notice, this list of conditions and the following disclaimer in 13fc1f2750SBernard Iremonger the documentation and/or other materials provided with the 14fc1f2750SBernard Iremonger distribution. 15fc1f2750SBernard Iremonger * Neither the name of Intel Corporation nor the names of its 16fc1f2750SBernard Iremonger contributors may be used to endorse or promote products derived 17fc1f2750SBernard Iremonger from this software without specific prior written permission. 18fc1f2750SBernard Iremonger 19fc1f2750SBernard Iremonger THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS 20fc1f2750SBernard Iremonger "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT 21fc1f2750SBernard Iremonger LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR 22fc1f2750SBernard Iremonger A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT 23fc1f2750SBernard Iremonger OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, 24fc1f2750SBernard Iremonger SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT 25fc1f2750SBernard Iremonger LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 26fc1f2750SBernard Iremonger DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 27fc1f2750SBernard Iremonger THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 28fc1f2750SBernard Iremonger (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 29fc1f2750SBernard Iremonger OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 30fc1f2750SBernard Iremonger 31fc1f2750SBernard Iremonger.. _Environment_Abstraction_Layer: 32fc1f2750SBernard Iremonger 33fc1f2750SBernard IremongerEnvironment Abstraction Layer 34fc1f2750SBernard Iremonger============================= 35fc1f2750SBernard Iremonger 36fc1f2750SBernard IremongerThe Environment Abstraction Layer (EAL) is responsible for gaining access to low-level resources such as hardware and memory space. 37fc1f2750SBernard IremongerIt provides a generic interface that hides the environment specifics from the applications and libraries. 38fc1f2750SBernard IremongerIt is the responsibility of the initialization routine to decide how to allocate these resources 39fc1f2750SBernard Iremonger(that is, memory space, PCI devices, timers, consoles, and so on). 40fc1f2750SBernard Iremonger 41fc1f2750SBernard IremongerTypical services expected from the EAL are: 42fc1f2750SBernard Iremonger 4348624fd9SSiobhan Butler* DPDK Loading and Launching: 4448624fd9SSiobhan Butler The DPDK and its application are linked as a single application and must be loaded by some means. 45fc1f2750SBernard Iremonger 46fc1f2750SBernard Iremonger* Core Affinity/Assignment Procedures: 47fc1f2750SBernard Iremonger The EAL provides mechanisms for assigning execution units to specific cores as well as creating execution instances. 48fc1f2750SBernard Iremonger 49fc1f2750SBernard Iremonger* System Memory Reservation: 50fc1f2750SBernard Iremonger The EAL facilitates the reservation of different memory zones, for example, physical memory areas for device interactions. 51fc1f2750SBernard Iremonger 52fc1f2750SBernard Iremonger* PCI Address Abstraction: The EAL provides an interface to access PCI address space. 53fc1f2750SBernard Iremonger 54fc1f2750SBernard Iremonger* Trace and Debug Functions: Logs, dump_stack, panic and so on. 55fc1f2750SBernard Iremonger 56fc1f2750SBernard Iremonger* Utility Functions: Spinlocks and atomic counters that are not provided in libc. 57fc1f2750SBernard Iremonger 58fc1f2750SBernard Iremonger* CPU Feature Identification: Determine at runtime if a particular feature, for example, Intel® AVX is supported. 59fc1f2750SBernard Iremonger Determine if the current CPU supports the feature set that the binary was compiled for. 60fc1f2750SBernard Iremonger 61fc1f2750SBernard Iremonger* Interrupt Handling: Interfaces to register/unregister callbacks to specific interrupt sources. 62fc1f2750SBernard Iremonger 63fc1f2750SBernard Iremonger* Alarm Functions: Interfaces to set/remove callbacks to be run at a specific time. 64fc1f2750SBernard Iremonger 65fc1f2750SBernard IremongerEAL in a Linux-userland Execution Environment 66fc1f2750SBernard Iremonger--------------------------------------------- 67fc1f2750SBernard Iremonger 6848624fd9SSiobhan ButlerIn a Linux user space environment, the DPDK application runs as a user-space application using the pthread library. 691c29883cSBruce RichardsonPCI information about devices and address space is discovered through the /sys kernel interface and through kernel modules such as uio_pci_generic, or igb_uio. 70fc1f2750SBernard IremongerRefer to the UIO: User-space drivers documentation in the Linux kernel. This memory is mmap'd in the application. 71fc1f2750SBernard Iremonger 72fc1f2750SBernard IremongerThe EAL performs physical memory allocation using mmap() in hugetlbfs (using huge page sizes to increase performance). 7348624fd9SSiobhan ButlerThis memory is exposed to DPDK service layers such as the :ref:`Mempool Library <Mempool_Library>`. 74fc1f2750SBernard Iremonger 7548624fd9SSiobhan ButlerAt this point, the DPDK services layer will be initialized, then through pthread setaffinity calls, 76fc1f2750SBernard Iremongereach execution unit will be assigned to a specific logical core to run as a user-level thread. 77fc1f2750SBernard Iremonger 78fc1f2750SBernard IremongerThe time reference is provided by the CPU Time-Stamp Counter (TSC) or by the HPET kernel API through a mmap() call. 79fc1f2750SBernard Iremonger 80fc1f2750SBernard IremongerInitialization and Core Launching 81fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 82fc1f2750SBernard Iremonger 83fc1f2750SBernard IremongerPart of the initialization is done by the start function of glibc. 84fc1f2750SBernard 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. 85fc1f2750SBernard IremongerThen, the main() function is called. The core initialization and launch is done in rte_eal_init() (see the API documentation). 86fc1f2750SBernard IremongerIt consist of calls to the pthread library (more specifically, pthread_self(), pthread_create(), and pthread_setaffinity_np()). 87fc1f2750SBernard Iremonger 884a22e6eeSJohn McNamara.. _figure_linuxapp_launch: 89fc1f2750SBernard Iremonger 904a22e6eeSJohn McNamara.. figure:: img/linuxapp_launch.* 91fc1f2750SBernard Iremonger 924a22e6eeSJohn McNamara EAL Initialization in a Linux Application Environment 93fc1f2750SBernard Iremonger 94fc1f2750SBernard Iremonger 95fc1f2750SBernard Iremonger.. note:: 96fc1f2750SBernard Iremonger 97fc1f2750SBernard Iremonger Initialization of objects, such as memory zones, rings, memory pools, lpm tables and hash tables, 98fc1f2750SBernard Iremonger should be done as part of the overall application initialization on the master lcore. 99fc1f2750SBernard Iremonger The creation and initialization functions for these objects are not multi-thread safe. 100fc1f2750SBernard Iremonger However, once initialized, the objects themselves can safely be used in multiple threads simultaneously. 101fc1f2750SBernard Iremonger 102*aec9c13cSHarry van HaarenShutdown and Cleanup 103*aec9c13cSHarry van Haaren~~~~~~~~~~~~~~~~~~~~ 104*aec9c13cSHarry van Haaren 105*aec9c13cSHarry van HaarenDuring the initialization of EAL resources such as hugepage backed memory can be 106*aec9c13cSHarry van Haarenallocated by core components. The memory allocated during ``rte_eal_init()`` 107*aec9c13cSHarry van Haarencan be released by calling the ``rte_eal_cleanup()`` function. Refer to the 108*aec9c13cSHarry van HaarenAPI documentation for details. 109*aec9c13cSHarry van Haaren 110fc1f2750SBernard IremongerMulti-process Support 111fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~ 112fc1f2750SBernard Iremonger 113fc1f2750SBernard IremongerThe Linuxapp EAL allows a multi-process as well as a multi-threaded (pthread) deployment model. 114f02730abSFerruh YigitSee chapter 115fc1f2750SBernard Iremonger:ref:`Multi-process Support <Multi-process_Support>` for more details. 116fc1f2750SBernard Iremonger 117fc1f2750SBernard IremongerMemory Mapping Discovery and Memory Reservation 118fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 119fc1f2750SBernard Iremonger 120fc1f2750SBernard IremongerThe allocation of large contiguous physical memory is done using the hugetlbfs kernel filesystem. 121fc1f2750SBernard IremongerThe EAL provides an API to reserve named memory zones in this contiguous memory. 122fc1f2750SBernard IremongerThe physical address of the reserved memory for that memory zone is also returned to the user by the memory zone reservation API. 123fc1f2750SBernard Iremonger 124fc1f2750SBernard Iremonger.. note:: 125fc1f2750SBernard Iremonger 1265eaef15cSThomas Monjalon Memory reservations done using the APIs provided by rte_malloc are also backed by pages from the hugetlbfs filesystem. 127fc1f2750SBernard Iremonger 128fc1f2750SBernard IremongerPCI Access 129fc1f2750SBernard Iremonger~~~~~~~~~~ 130fc1f2750SBernard Iremonger 131fc1f2750SBernard IremongerThe EAL uses the /sys/bus/pci utilities provided by the kernel to scan the content on the PCI bus. 1321c29883cSBruce RichardsonTo access PCI memory, a kernel module called uio_pci_generic provides a /dev/uioX device file 1331c29883cSBruce Richardsonand resource files in /sys 134fc1f2750SBernard Iremongerthat can be mmap'd to obtain access to PCI address space from the application. 1351c29883cSBruce RichardsonThe DPDK-specific igb_uio module can also be used for this. Both drivers use the uio kernel feature (userland driver). 136fc1f2750SBernard Iremonger 137fc1f2750SBernard IremongerPer-lcore and Shared Variables 138fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 139fc1f2750SBernard Iremonger 140fc1f2750SBernard Iremonger.. note:: 141fc1f2750SBernard Iremonger 142fc1f2750SBernard Iremonger lcore refers to a logical execution unit of the processor, sometimes called a hardware *thread*. 143fc1f2750SBernard Iremonger 144fc1f2750SBernard IremongerShared variables are the default behavior. 145fc1f2750SBernard IremongerPer-lcore variables are implemented using *Thread Local Storage* (TLS) to provide per-thread local storage. 146fc1f2750SBernard Iremonger 147fc1f2750SBernard IremongerLogs 148fc1f2750SBernard Iremonger~~~~ 149fc1f2750SBernard Iremonger 150fc1f2750SBernard IremongerA logging API is provided by EAL. 151fc1f2750SBernard IremongerBy default, in a Linux application, logs are sent to syslog and also to the console. 152fc1f2750SBernard IremongerHowever, the log function can be overridden by the user to use a different logging mechanism. 153fc1f2750SBernard Iremonger 154fc1f2750SBernard IremongerTrace and Debug Functions 155fc1f2750SBernard Iremonger^^^^^^^^^^^^^^^^^^^^^^^^^ 156fc1f2750SBernard Iremonger 157fc1f2750SBernard IremongerThere are some debug functions to dump the stack in glibc. 158fc1f2750SBernard IremongerThe rte_panic() function can voluntarily provoke a SIG_ABORT, 159fc1f2750SBernard Iremongerwhich can trigger the generation of a core file, readable by gdb. 160fc1f2750SBernard Iremonger 161fc1f2750SBernard IremongerCPU Feature Identification 162fc1f2750SBernard Iremonger~~~~~~~~~~~~~~~~~~~~~~~~~~ 163fc1f2750SBernard Iremonger 16404cf0334SRami RosenThe EAL can query the CPU at runtime (using the rte_cpu_get_features() function) to determine which CPU features are available. 165fc1f2750SBernard Iremonger 1665762a565SCunming LiangUser Space Interrupt Event 1675762a565SCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~ 1685762a565SCunming Liang 1695762a565SCunming Liang+ User Space Interrupt and Alarm Handling in Host Thread 170fc1f2750SBernard Iremonger 171fc1f2750SBernard IremongerThe EAL creates a host thread to poll the UIO device file descriptors to detect the interrupts. 172fc1f2750SBernard IremongerCallbacks can be registered or unregistered by the EAL functions for a specific interrupt event 173fc1f2750SBernard Iremongerand are called in the host thread asynchronously. 174fc1f2750SBernard IremongerThe EAL also allows timed callbacks to be used in the same way as for NIC interrupts. 175fc1f2750SBernard Iremonger 176fc1f2750SBernard Iremonger.. note:: 177fc1f2750SBernard Iremonger 178b5ece772SGaetan Rivet In DPDK PMD, the only interrupts handled by the dedicated host thread are those for link status change 179b5ece772SGaetan Rivet (link up and link down notification) and for sudden device removal. 180fc1f2750SBernard Iremonger 1815762a565SCunming Liang 1825762a565SCunming Liang+ RX Interrupt Event 1835762a565SCunming Liang 1845762a565SCunming LiangThe receive and transmit routines provided by each PMD don't limit themselves to execute in polling thread mode. 1855762a565SCunming LiangTo ease the idle polling with tiny throughput, it's useful to pause the polling and wait until the wake-up event happens. 1865762a565SCunming LiangThe RX interrupt is the first choice to be such kind of wake-up event, but probably won't be the only one. 1875762a565SCunming Liang 1885762a565SCunming LiangEAL provides the event APIs for this event-driven thread mode. 1895762a565SCunming LiangTaking linuxapp as an example, the implementation relies on epoll. Each thread can monitor an epoll instance 1905762a565SCunming Liangin which all the wake-up events' file descriptors are added. The event file descriptors are created and mapped to 1915762a565SCunming Liangthe interrupt vectors according to the UIO/VFIO spec. 1925762a565SCunming LiangFrom bsdapp's perspective, kqueue is the alternative way, but not implemented yet. 1935762a565SCunming Liang 1945762a565SCunming LiangEAL initializes the mapping between event file descriptors and interrupt vectors, while each device initializes the mapping 1955762a565SCunming Liangbetween interrupt vectors and queues. In this way, EAL actually is unaware of the interrupt cause on the specific vector. 1965762a565SCunming LiangThe eth_dev driver takes responsibility to program the latter mapping. 1975762a565SCunming Liang 1985762a565SCunming Liang.. note:: 1995762a565SCunming Liang 2005762a565SCunming Liang Per queue RX interrupt event is only allowed in VFIO which supports multiple MSI-X vector. In UIO, the RX interrupt 2015762a565SCunming Liang together with other interrupt causes shares the same vector. In this case, when RX interrupt and LSC(link status change) 2025762a565SCunming Liang interrupt are both enabled(intr_conf.lsc == 1 && intr_conf.rxq == 1), only the former is capable. 2035762a565SCunming Liang 2045762a565SCunming LiangThe RX interrupt are controlled/enabled/disabled by ethdev APIs - 'rte_eth_dev_rx_intr_*'. They return failure if the PMD 2055762a565SCunming Lianghasn't support them yet. The intr_conf.rxq flag is used to turn on the capability of RX interrupt per device. 2065762a565SCunming Liang 207b5ece772SGaetan Rivet+ Device Removal Event 208b5ece772SGaetan Rivet 209b5ece772SGaetan RivetThis event is triggered by a device being removed at a bus level. Its 210b5ece772SGaetan Rivetunderlying resources may have been made unavailable (i.e. PCI mappings 211b5ece772SGaetan Rivetunmapped). The PMD must make sure that on such occurrence, the application can 212b5ece772SGaetan Rivetstill safely use its callbacks. 213b5ece772SGaetan Rivet 214b5ece772SGaetan RivetThis event can be subscribed to in the same way one would subscribe to a link 215b5ece772SGaetan Rivetstatus change event. The execution context is thus the same, i.e. it is the 216b5ece772SGaetan Rivetdedicated interrupt host thread. 217b5ece772SGaetan Rivet 218b5ece772SGaetan RivetConsidering this, it is likely that an application would want to close a 219b5ece772SGaetan Rivetdevice having emitted a Device Removal Event. In such case, calling 220b5ece772SGaetan Rivet``rte_eth_dev_close()`` can trigger it to unregister its own Device Removal Event 221b5ece772SGaetan Rivetcallback. Care must be taken not to close the device from the interrupt handler 222b5ece772SGaetan Rivetcontext. It is necessary to reschedule such closing operation. 223b5ece772SGaetan Rivet 224fc1f2750SBernard IremongerBlacklisting 225fc1f2750SBernard Iremonger~~~~~~~~~~~~ 226fc1f2750SBernard Iremonger 227fc1f2750SBernard IremongerThe EAL PCI device blacklist functionality can be used to mark certain NIC ports as blacklisted, 22848624fd9SSiobhan Butlerso they are ignored by the DPDK. 229fc1f2750SBernard IremongerThe ports to be blacklisted are identified using the PCIe* description (Domain:Bus:Device.Function). 230fc1f2750SBernard Iremonger 231fc1f2750SBernard IremongerMisc Functions 232fc1f2750SBernard Iremonger~~~~~~~~~~~~~~ 233fc1f2750SBernard Iremonger 234fc1f2750SBernard IremongerLocks and atomic operations are per-architecture (i686 and x86_64). 235fc1f2750SBernard Iremonger 236fc1f2750SBernard IremongerMemory Segments and Memory Zones (memzone) 237fc1f2750SBernard Iremonger------------------------------------------ 238fc1f2750SBernard Iremonger 239fc1f2750SBernard IremongerThe mapping of physical memory is provided by this feature in the EAL. 240fc1f2750SBernard IremongerAs physical memory can have gaps, the memory is described in a table of descriptors, 241fc1f2750SBernard Iremongerand each descriptor (called rte_memseg ) describes a contiguous portion of memory. 242fc1f2750SBernard Iremonger 243fc1f2750SBernard IremongerOn top of this, the memzone allocator's role is to reserve contiguous portions of physical memory. 244fc1f2750SBernard IremongerThese zones are identified by a unique name when the memory is reserved. 245fc1f2750SBernard Iremonger 246fc1f2750SBernard IremongerThe rte_memzone descriptors are also located in the configuration structure. 247fc1f2750SBernard IremongerThis structure is accessed using rte_eal_get_configuration(). 248fc1f2750SBernard IremongerThe lookup (by name) of a memory zone returns a descriptor containing the physical address of the memory zone. 249fc1f2750SBernard Iremonger 250fc1f2750SBernard IremongerMemory zones can be reserved with specific start address alignment by supplying the align parameter 251fc1f2750SBernard Iremonger(by default, they are aligned to cache line size). 252fc1f2750SBernard IremongerThe alignment value should be a power of two and not less than the cache line size (64 bytes). 253fc1f2750SBernard IremongerMemory zones can also be reserved from either 2 MB or 1 GB hugepages, provided that both are available on the system. 254fc1f2750SBernard Iremonger 2551733be6dSCunming Liang 2561733be6dSCunming LiangMultiple pthread 2571733be6dSCunming Liang---------------- 2581733be6dSCunming Liang 259e1ed63b0SCunming LiangDPDK usually pins one pthread per core to avoid the overhead of task switching. 260e1ed63b0SCunming LiangThis allows for significant performance gains, but lacks flexibility and is not always efficient. 2611733be6dSCunming Liang 262e1ed63b0SCunming LiangPower management helps to improve the CPU efficiency by limiting the CPU runtime frequency. 263e1ed63b0SCunming LiangHowever, alternately it is possible to utilize the idle cycles available to take advantage of 264e1ed63b0SCunming Liangthe full capability of the CPU. 2651733be6dSCunming Liang 266e1ed63b0SCunming LiangBy taking advantage of cgroup, the CPU utilization quota can be simply assigned. 267fea1d908SJohn McNamaraThis gives another way to improve the CPU efficiency, however, there is a prerequisite; 268e1ed63b0SCunming LiangDPDK must handle the context switching between multiple pthreads per core. 2691733be6dSCunming Liang 270e1ed63b0SCunming LiangFor further flexibility, it is useful to set pthread affinity not only to a CPU but to a CPU set. 2711733be6dSCunming Liang 2721733be6dSCunming LiangEAL pthread and lcore Affinity 2731733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 2741733be6dSCunming Liang 275e1ed63b0SCunming LiangThe term "lcore" refers to an EAL thread, which is really a Linux/FreeBSD pthread. 276e1ed63b0SCunming Liang"EAL pthreads" are created and managed by EAL and execute the tasks issued by *remote_launch*. 277e1ed63b0SCunming LiangIn each EAL pthread, there is a TLS (Thread Local Storage) called *_lcore_id* for unique identification. 278e1ed63b0SCunming LiangAs EAL pthreads usually bind 1:1 to the physical CPU, the *_lcore_id* is typically equal to the CPU ID. 2791733be6dSCunming Liang 280e1ed63b0SCunming LiangWhen using multiple pthreads, however, the binding is no longer always 1:1 between an EAL pthread and a specified physical CPU. 281e1ed63b0SCunming 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. 282e1ed63b0SCunming LiangFor this reason, there is an EAL long option '--lcores' defined to assign the CPU affinity of lcores. 283e1ed63b0SCunming LiangFor a specified lcore ID or ID group, the option allows setting the CPU set for that EAL pthread. 2841733be6dSCunming Liang 2851733be6dSCunming LiangThe format pattern: 2861733be6dSCunming Liang --lcores='<lcore_set>[@cpu_set][,<lcore_set>[@cpu_set],...]' 2871733be6dSCunming Liang 2881733be6dSCunming Liang'lcore_set' and 'cpu_set' can be a single number, range or a group. 2891733be6dSCunming Liang 2901733be6dSCunming LiangA number is a "digit([0-9]+)"; a range is "<number>-<number>"; a group is "(<number|range>[,<number|range>,...])". 2911733be6dSCunming Liang 292e1ed63b0SCunming LiangIf a '\@cpu_set' value is not supplied, the value of 'cpu_set' will default to the value of 'lcore_set'. 2931733be6dSCunming Liang 2941733be6dSCunming Liang :: 2951733be6dSCunming Liang 2961733be6dSCunming Liang For example, "--lcores='1,2@(5-7),(3-5)@(0,2),(0,6),7-8'" which means start 9 EAL thread; 2971733be6dSCunming Liang lcore 0 runs on cpuset 0x41 (cpu 0,6); 2981733be6dSCunming Liang lcore 1 runs on cpuset 0x2 (cpu 1); 2991733be6dSCunming Liang lcore 2 runs on cpuset 0xe0 (cpu 5,6,7); 3001733be6dSCunming Liang lcore 3,4,5 runs on cpuset 0x5 (cpu 0,2); 3011733be6dSCunming Liang lcore 6 runs on cpuset 0x41 (cpu 0,6); 3021733be6dSCunming Liang lcore 7 runs on cpuset 0x80 (cpu 7); 3031733be6dSCunming Liang lcore 8 runs on cpuset 0x100 (cpu 8). 3041733be6dSCunming Liang 305e1ed63b0SCunming LiangUsing this option, for each given lcore ID, the associated CPUs can be assigned. 3061733be6dSCunming LiangIt's also compatible with the pattern of corelist('-l') option. 3071733be6dSCunming Liang 3081733be6dSCunming Liangnon-EAL pthread support 3091733be6dSCunming Liang~~~~~~~~~~~~~~~~~~~~~~~ 3101733be6dSCunming Liang 311e1ed63b0SCunming LiangIt is possible to use the DPDK execution context with any user pthread (aka. Non-EAL pthreads). 312e1ed63b0SCunming LiangIn a non-EAL pthread, the *_lcore_id* is always LCORE_ID_ANY which identifies that it is not an EAL thread with a valid, unique, *_lcore_id*. 313e1ed63b0SCunming LiangSome libraries will use an alternative unique ID (e.g. TID), some will not be impacted at all, and some will work but with limitations (e.g. timer and mempool libraries). 3141733be6dSCunming Liang 3151733be6dSCunming LiangAll these impacts are mentioned in :ref:`known_issue_label` section. 3161733be6dSCunming Liang 3171733be6dSCunming LiangPublic Thread API 3181733be6dSCunming Liang~~~~~~~~~~~~~~~~~ 3191733be6dSCunming Liang 320f88bf5a9SRami RosenThere are two public APIs ``rte_thread_set_affinity()`` and ``rte_thread_get_affinity()`` introduced for threads. 3211733be6dSCunming LiangWhen they're used in any pthread context, the Thread Local Storage(TLS) will be set/get. 3221733be6dSCunming Liang 3231733be6dSCunming LiangThose TLS include *_cpuset* and *_socket_id*: 3241733be6dSCunming Liang 325e1ed63b0SCunming Liang* *_cpuset* stores the CPUs bitmap to which the pthread is affinitized. 3261733be6dSCunming Liang 327fea1d908SJohn 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. 3281733be6dSCunming Liang 3291733be6dSCunming Liang 3301733be6dSCunming Liang.. _known_issue_label: 3311733be6dSCunming Liang 3321733be6dSCunming LiangKnown Issues 3331733be6dSCunming Liang~~~~~~~~~~~~ 3341733be6dSCunming Liang 3351733be6dSCunming Liang+ rte_mempool 3361733be6dSCunming Liang 337e1ed63b0SCunming Liang The rte_mempool uses a per-lcore cache inside the mempool. 338e1ed63b0SCunming Liang For non-EAL pthreads, ``rte_lcore_id()`` will not return a valid number. 3394b506275SLazaros Koromilas So for now, when rte_mempool is used with non-EAL pthreads, the put/get operations will bypass the default mempool cache and there is a performance penalty because of this bypass. 3404b506275SLazaros Koromilas Only user-owned external caches can be used in a non-EAL context in conjunction with ``rte_mempool_generic_put()`` and ``rte_mempool_generic_get()`` that accept an explicit cache parameter. 3411733be6dSCunming Liang 3421733be6dSCunming Liang+ rte_ring 3431733be6dSCunming Liang 344e1ed63b0SCunming Liang rte_ring supports multi-producer enqueue and multi-consumer dequeue. 345fea1d908SJohn McNamara However, it is non-preemptive, this has a knock on effect of making rte_mempool non-preemptable. 3461733be6dSCunming Liang 3471733be6dSCunming Liang .. note:: 3481733be6dSCunming Liang 3491733be6dSCunming Liang The "non-preemptive" constraint means: 3501733be6dSCunming Liang 3511733be6dSCunming Liang - a pthread doing multi-producers enqueues on a given ring must not 3521733be6dSCunming Liang be preempted by another pthread doing a multi-producer enqueue on 3531733be6dSCunming Liang the same ring. 3541733be6dSCunming Liang - a pthread doing multi-consumers dequeues on a given ring must not 3551733be6dSCunming Liang be preempted by another pthread doing a multi-consumer dequeue on 3561733be6dSCunming Liang the same ring. 3571733be6dSCunming Liang 3582d6d5ebbSShreyansh Jain Bypassing this constraint may cause the 2nd pthread to spin until the 1st one is scheduled again. 3591733be6dSCunming Liang Moreover, if the 1st pthread is preempted by a context that has an higher priority, it may even cause a dead lock. 3601733be6dSCunming Liang 361e1ed63b0SCunming Liang This does not mean it cannot be used, simply, there is a need to narrow down the situation when it is used by multi-pthread on the same core. 3621733be6dSCunming Liang 3631733be6dSCunming Liang 1. It CAN be used for any single-producer or single-consumer situation. 3641733be6dSCunming Liang 365e1ed63b0SCunming Liang 2. It MAY be used by multi-producer/consumer pthread whose scheduling policy are all SCHED_OTHER(cfs). User SHOULD be aware of the performance penalty before using it. 3661733be6dSCunming Liang 367e1ed63b0SCunming Liang 3. It MUST not be used by multi-producer/consumer pthreads, whose scheduling policies are SCHED_FIFO or SCHED_RR. 3681733be6dSCunming Liang 3691733be6dSCunming Liang+ rte_timer 3701733be6dSCunming Liang 371e1ed63b0SCunming Liang Running ``rte_timer_manager()`` on a non-EAL pthread is not allowed. However, resetting/stopping the timer from a non-EAL pthread is allowed. 3721733be6dSCunming Liang 3731733be6dSCunming Liang+ rte_log 3741733be6dSCunming Liang 375e1ed63b0SCunming Liang In non-EAL pthreads, there is no per thread loglevel and logtype, global loglevels are used. 3761733be6dSCunming Liang 3771733be6dSCunming Liang+ misc 3781733be6dSCunming Liang 3791733be6dSCunming Liang The debug statistics of rte_ring, rte_mempool and rte_timer are not supported in a non-EAL pthread. 3801733be6dSCunming Liang 3811733be6dSCunming Liangcgroup control 3821733be6dSCunming Liang~~~~~~~~~~~~~~ 3831733be6dSCunming Liang 384e1ed63b0SCunming 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). 3851733be6dSCunming LiangWe expect only 50% of CPU spend on packet IO. 3861733be6dSCunming Liang 3871796f485SThomas Monjalon .. code-block:: console 3881733be6dSCunming Liang 3891733be6dSCunming Liang mkdir /sys/fs/cgroup/cpu/pkt_io 3901733be6dSCunming Liang mkdir /sys/fs/cgroup/cpuset/pkt_io 3911733be6dSCunming Liang 3921733be6dSCunming Liang echo $cpu > /sys/fs/cgroup/cpuset/cpuset.cpus 3931733be6dSCunming Liang 3941733be6dSCunming Liang echo $t0 > /sys/fs/cgroup/cpu/pkt_io/tasks 3951733be6dSCunming Liang echo $t0 > /sys/fs/cgroup/cpuset/pkt_io/tasks 3961733be6dSCunming Liang 3971733be6dSCunming Liang echo $t1 > /sys/fs/cgroup/cpu/pkt_io/tasks 3981733be6dSCunming Liang echo $t1 > /sys/fs/cgroup/cpuset/pkt_io/tasks 3991733be6dSCunming Liang 4001733be6dSCunming Liang cd /sys/fs/cgroup/cpu/pkt_io 4011733be6dSCunming Liang echo 100000 > pkt_io/cpu.cfs_period_us 4021733be6dSCunming Liang echo 50000 > pkt_io/cpu.cfs_quota_us 4031733be6dSCunming Liang 4041733be6dSCunming Liang 40556297061SSergio Gonzalez MonroyMalloc 40656297061SSergio Gonzalez Monroy------ 40756297061SSergio Gonzalez Monroy 40856297061SSergio Gonzalez MonroyThe EAL provides a malloc API to allocate any-sized memory. 40956297061SSergio Gonzalez Monroy 41056297061SSergio Gonzalez MonroyThe objective of this API is to provide malloc-like functions to allow 41156297061SSergio Gonzalez Monroyallocation from hugepage memory and to facilitate application porting. 41256297061SSergio Gonzalez MonroyThe *DPDK API Reference* manual describes the available functions. 41356297061SSergio Gonzalez Monroy 41456297061SSergio Gonzalez MonroyTypically, these kinds of allocations should not be done in data plane 41556297061SSergio Gonzalez Monroyprocessing because they are slower than pool-based allocation and make 41656297061SSergio Gonzalez Monroyuse of locks within the allocation and free paths. 41756297061SSergio Gonzalez MonroyHowever, they can be used in configuration code. 41856297061SSergio Gonzalez Monroy 41956297061SSergio Gonzalez MonroyRefer to the rte_malloc() function description in the *DPDK API Reference* 42056297061SSergio Gonzalez Monroymanual for more information. 42156297061SSergio Gonzalez Monroy 42256297061SSergio Gonzalez MonroyCookies 42356297061SSergio Gonzalez Monroy~~~~~~~ 42456297061SSergio Gonzalez Monroy 42556297061SSergio Gonzalez MonroyWhen CONFIG_RTE_MALLOC_DEBUG is enabled, the allocated memory contains 42656297061SSergio Gonzalez Monroyoverwrite protection fields to help identify buffer overflows. 42756297061SSergio Gonzalez Monroy 42856297061SSergio Gonzalez MonroyAlignment and NUMA Constraints 42956297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 43056297061SSergio Gonzalez Monroy 43156297061SSergio Gonzalez MonroyThe rte_malloc() takes an align argument that can be used to request a memory 43256297061SSergio Gonzalez Monroyarea that is aligned on a multiple of this value (which must be a power of two). 43356297061SSergio Gonzalez Monroy 43456297061SSergio Gonzalez MonroyOn systems with NUMA support, a call to the rte_malloc() function will return 43556297061SSergio Gonzalez Monroymemory that has been allocated on the NUMA socket of the core which made the call. 43656297061SSergio Gonzalez MonroyA set of APIs is also provided, to allow memory to be explicitly allocated on a 43756297061SSergio Gonzalez MonroyNUMA socket directly, or by allocated on the NUMA socket where another core is 43856297061SSergio Gonzalez Monroylocated, in the case where the memory is to be used by a logical core other than 43956297061SSergio Gonzalez Monroyon the one doing the memory allocation. 44056297061SSergio Gonzalez Monroy 44156297061SSergio Gonzalez MonroyUse Cases 44256297061SSergio Gonzalez Monroy~~~~~~~~~ 44356297061SSergio Gonzalez Monroy 44456297061SSergio Gonzalez MonroyThis API is meant to be used by an application that requires malloc-like 44556297061SSergio Gonzalez Monroyfunctions at initialization time. 44656297061SSergio Gonzalez Monroy 44756297061SSergio Gonzalez MonroyFor allocating/freeing data at runtime, in the fast-path of an application, 44856297061SSergio Gonzalez Monroythe memory pool library should be used instead. 44956297061SSergio Gonzalez Monroy 45056297061SSergio Gonzalez MonroyInternal Implementation 45156297061SSergio Gonzalez Monroy~~~~~~~~~~~~~~~~~~~~~~~ 45256297061SSergio Gonzalez Monroy 45356297061SSergio Gonzalez MonroyData Structures 45456297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^ 45556297061SSergio Gonzalez Monroy 45656297061SSergio Gonzalez MonroyThere are two data structure types used internally in the malloc library: 45756297061SSergio Gonzalez Monroy 45856297061SSergio Gonzalez Monroy* struct malloc_heap - used to track free space on a per-socket basis 45956297061SSergio Gonzalez Monroy 46056297061SSergio Gonzalez Monroy* struct malloc_elem - the basic element of allocation and free-space 46156297061SSergio Gonzalez Monroy tracking inside the library. 46256297061SSergio Gonzalez Monroy 46356297061SSergio Gonzalez MonroyStructure: malloc_heap 46456297061SSergio Gonzalez Monroy"""""""""""""""""""""" 46556297061SSergio Gonzalez Monroy 46656297061SSergio Gonzalez MonroyThe malloc_heap structure is used to manage free space on a per-socket basis. 46756297061SSergio Gonzalez MonroyInternally, there is one heap structure per NUMA node, which allows us to 46856297061SSergio Gonzalez Monroyallocate memory to a thread based on the NUMA node on which this thread runs. 46956297061SSergio Gonzalez MonroyWhile this does not guarantee that the memory will be used on that NUMA node, 47056297061SSergio Gonzalez Monroyit is no worse than a scheme where the memory is always allocated on a fixed 47156297061SSergio Gonzalez Monroyor random node. 47256297061SSergio Gonzalez Monroy 47356297061SSergio Gonzalez MonroyThe key fields of the heap structure and their function are described below 47456297061SSergio Gonzalez Monroy(see also diagram above): 47556297061SSergio Gonzalez Monroy 47656297061SSergio Gonzalez Monroy* lock - the lock field is needed to synchronize access to the heap. 47756297061SSergio Gonzalez Monroy Given that the free space in the heap is tracked using a linked list, 47856297061SSergio Gonzalez Monroy we need a lock to prevent two threads manipulating the list at the same time. 47956297061SSergio Gonzalez Monroy 48056297061SSergio Gonzalez Monroy* free_head - this points to the first element in the list of free nodes for 48156297061SSergio Gonzalez Monroy this malloc heap. 48256297061SSergio Gonzalez Monroy 48356297061SSergio Gonzalez Monroy.. note:: 48456297061SSergio Gonzalez Monroy 48556297061SSergio Gonzalez Monroy The malloc_heap structure does not keep track of in-use blocks of memory, 48656297061SSergio Gonzalez Monroy since these are never touched except when they are to be freed again - 48756297061SSergio Gonzalez Monroy at which point the pointer to the block is an input to the free() function. 48856297061SSergio Gonzalez Monroy 48956297061SSergio Gonzalez Monroy.. _figure_malloc_heap: 49056297061SSergio Gonzalez Monroy 49156297061SSergio Gonzalez Monroy.. figure:: img/malloc_heap.* 49256297061SSergio Gonzalez Monroy 49356297061SSergio Gonzalez Monroy Example of a malloc heap and malloc elements within the malloc library 49456297061SSergio Gonzalez Monroy 49556297061SSergio Gonzalez Monroy 49656297061SSergio Gonzalez Monroy.. _malloc_elem: 49756297061SSergio Gonzalez Monroy 49856297061SSergio Gonzalez MonroyStructure: malloc_elem 49956297061SSergio Gonzalez Monroy"""""""""""""""""""""" 50056297061SSergio Gonzalez Monroy 50156297061SSergio Gonzalez MonroyThe malloc_elem structure is used as a generic header structure for various 50256297061SSergio Gonzalez Monroyblocks of memory. 50356297061SSergio Gonzalez MonroyIt is used in three different ways - all shown in the diagram above: 50456297061SSergio Gonzalez Monroy 50556297061SSergio Gonzalez Monroy#. As a header on a block of free or allocated memory - normal case 50656297061SSergio Gonzalez Monroy 50756297061SSergio Gonzalez Monroy#. As a padding header inside a block of memory 50856297061SSergio Gonzalez Monroy 50956297061SSergio Gonzalez Monroy#. As an end-of-memseg marker 51056297061SSergio Gonzalez Monroy 51156297061SSergio Gonzalez MonroyThe most important fields in the structure and how they are used are described below. 51256297061SSergio Gonzalez Monroy 51356297061SSergio Gonzalez Monroy.. note:: 51456297061SSergio Gonzalez Monroy 51556297061SSergio Gonzalez Monroy If the usage of a particular field in one of the above three usages is not 51656297061SSergio Gonzalez Monroy described, the field can be assumed to have an undefined value in that 51756297061SSergio Gonzalez Monroy situation, for example, for padding headers only the "state" and "pad" 51856297061SSergio Gonzalez Monroy fields have valid values. 51956297061SSergio Gonzalez Monroy 52056297061SSergio Gonzalez Monroy* heap - this pointer is a reference back to the heap structure from which 52156297061SSergio Gonzalez Monroy this block was allocated. 52256297061SSergio Gonzalez Monroy It is used for normal memory blocks when they are being freed, to add the 52356297061SSergio Gonzalez Monroy newly-freed block to the heap's free-list. 52456297061SSergio Gonzalez Monroy 52556297061SSergio Gonzalez Monroy* prev - this pointer points to the header element/block in the memseg 52656297061SSergio Gonzalez Monroy immediately behind the current one. When freeing a block, this pointer is 52756297061SSergio Gonzalez Monroy used to reference the previous block to check if that block is also free. 52856297061SSergio Gonzalez Monroy If so, then the two free blocks are merged to form a single larger block. 52956297061SSergio Gonzalez Monroy 53056297061SSergio Gonzalez Monroy* next_free - this pointer is used to chain the free-list of unallocated 53156297061SSergio Gonzalez Monroy memory blocks together. 53256297061SSergio Gonzalez Monroy It is only used in normal memory blocks; on ``malloc()`` to find a suitable 53356297061SSergio Gonzalez Monroy free block to allocate and on ``free()`` to add the newly freed element to 53456297061SSergio Gonzalez Monroy the free-list. 53556297061SSergio Gonzalez Monroy 53656297061SSergio Gonzalez Monroy* state - This field can have one of three values: ``FREE``, ``BUSY`` or 53756297061SSergio Gonzalez Monroy ``PAD``. 53856297061SSergio Gonzalez Monroy The former two are to indicate the allocation state of a normal memory block 53956297061SSergio Gonzalez Monroy and the latter is to indicate that the element structure is a dummy structure 54056297061SSergio Gonzalez Monroy at the end of the start-of-block padding, i.e. where the start of the data 54156297061SSergio Gonzalez Monroy within a block is not at the start of the block itself, due to alignment 54256297061SSergio Gonzalez Monroy constraints. 54356297061SSergio Gonzalez Monroy In that case, the pad header is used to locate the actual malloc element 54456297061SSergio Gonzalez Monroy header for the block. 54556297061SSergio Gonzalez Monroy For the end-of-memseg structure, this is always a ``BUSY`` value, which 54656297061SSergio Gonzalez Monroy ensures that no element, on being freed, searches beyond the end of the 54756297061SSergio Gonzalez Monroy memseg for other blocks to merge with into a larger free area. 54856297061SSergio Gonzalez Monroy 54956297061SSergio Gonzalez Monroy* pad - this holds the length of the padding present at the start of the block. 55056297061SSergio Gonzalez Monroy In the case of a normal block header, it is added to the address of the end 55156297061SSergio Gonzalez Monroy of the header to give the address of the start of the data area, i.e. the 55256297061SSergio Gonzalez Monroy value passed back to the application on a malloc. 55356297061SSergio Gonzalez Monroy Within a dummy header inside the padding, this same value is stored, and is 55456297061SSergio Gonzalez Monroy subtracted from the address of the dummy header to yield the address of the 55556297061SSergio Gonzalez Monroy actual block header. 55656297061SSergio Gonzalez Monroy 55756297061SSergio Gonzalez Monroy* size - the size of the data block, including the header itself. 55856297061SSergio Gonzalez Monroy For end-of-memseg structures, this size is given as zero, though it is never 55956297061SSergio Gonzalez Monroy actually checked. 56056297061SSergio Gonzalez Monroy For normal blocks which are being freed, this size value is used in place of 56156297061SSergio Gonzalez Monroy a "next" pointer to identify the location of the next block of memory that 56256297061SSergio Gonzalez Monroy in the case of being ``FREE``, the two free blocks can be merged into one. 56356297061SSergio Gonzalez Monroy 56456297061SSergio Gonzalez MonroyMemory Allocation 56556297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^^^^ 56656297061SSergio Gonzalez Monroy 5672fe68f32SJohn McNamaraOn EAL initialization, all memsegs are setup as part of the malloc heap. 56856297061SSergio Gonzalez MonroyThis setup involves placing a dummy structure at the end with ``BUSY`` state, 56956297061SSergio Gonzalez Monroywhich may contain a sentinel value if ``CONFIG_RTE_MALLOC_DEBUG`` is enabled, 57056297061SSergio Gonzalez Monroyand a proper :ref:`element header<malloc_elem>` with ``FREE`` at the start 57156297061SSergio Gonzalez Monroyfor each memseg. 57256297061SSergio Gonzalez MonroyThe ``FREE`` element is then added to the ``free_list`` for the malloc heap. 57356297061SSergio Gonzalez Monroy 57456297061SSergio Gonzalez MonroyWhen an application makes a call to a malloc-like function, the malloc function 57556297061SSergio Gonzalez Monroywill first index the ``lcore_config`` structure for the calling thread, and 57656297061SSergio Gonzalez Monroydetermine the NUMA node of that thread. 57756297061SSergio Gonzalez MonroyThe NUMA node is used to index the array of ``malloc_heap`` structures which is 57856297061SSergio Gonzalez Monroypassed as a parameter to the ``heap_alloc()`` function, along with the 57956297061SSergio Gonzalez Monroyrequested size, type, alignment and boundary parameters. 58056297061SSergio Gonzalez Monroy 58156297061SSergio Gonzalez MonroyThe ``heap_alloc()`` function will scan the free_list of the heap, and attempt 58256297061SSergio Gonzalez Monroyto find a free block suitable for storing data of the requested size, with the 58356297061SSergio Gonzalez Monroyrequested alignment and boundary constraints. 58456297061SSergio Gonzalez Monroy 58556297061SSergio Gonzalez MonroyWhen a suitable free element has been identified, the pointer to be returned 58656297061SSergio Gonzalez Monroyto the user is calculated. 58756297061SSergio Gonzalez MonroyThe cache-line of memory immediately preceding this pointer is filled with a 58856297061SSergio Gonzalez Monroystruct malloc_elem header. 58956297061SSergio Gonzalez MonroyBecause of alignment and boundary constraints, there could be free space at 59056297061SSergio Gonzalez Monroythe start and/or end of the element, resulting in the following behavior: 59156297061SSergio Gonzalez Monroy 59256297061SSergio Gonzalez Monroy#. Check for trailing space. 59356297061SSergio Gonzalez Monroy If the trailing space is big enough, i.e. > 128 bytes, then the free element 59456297061SSergio Gonzalez Monroy is split. 59556297061SSergio Gonzalez Monroy If it is not, then we just ignore it (wasted space). 59656297061SSergio Gonzalez Monroy 59756297061SSergio Gonzalez Monroy#. Check for space at the start of the element. 59856297061SSergio Gonzalez Monroy If the space at the start is small, i.e. <=128 bytes, then a pad header is 59956297061SSergio Gonzalez Monroy used, and the remaining space is wasted. 60056297061SSergio Gonzalez Monroy If, however, the remaining space is greater, then the free element is split. 60156297061SSergio Gonzalez Monroy 60256297061SSergio Gonzalez MonroyThe advantage of allocating the memory from the end of the existing element is 60356297061SSergio Gonzalez Monroythat no adjustment of the free list needs to take place - the existing element 60456297061SSergio Gonzalez Monroyon the free list just has its size pointer adjusted, and the following element 60556297061SSergio Gonzalez Monroyhas its "prev" pointer redirected to the newly created element. 60656297061SSergio Gonzalez Monroy 60756297061SSergio Gonzalez MonroyFreeing Memory 60856297061SSergio Gonzalez Monroy^^^^^^^^^^^^^^ 60956297061SSergio Gonzalez Monroy 61056297061SSergio Gonzalez MonroyTo free an area of memory, the pointer to the start of the data area is passed 61156297061SSergio Gonzalez Monroyto the free function. 61256297061SSergio Gonzalez MonroyThe size of the ``malloc_elem`` structure is subtracted from this pointer to get 61356297061SSergio Gonzalez Monroythe element header for the block. 61456297061SSergio Gonzalez MonroyIf this header is of type ``PAD`` then the pad length is further subtracted from 61556297061SSergio Gonzalez Monroythe pointer to get the proper element header for the entire block. 61656297061SSergio Gonzalez Monroy 61756297061SSergio Gonzalez MonroyFrom this element header, we get pointers to the heap from which the block was 61856297061SSergio Gonzalez Monroyallocated and to where it must be freed, as well as the pointer to the previous 61956297061SSergio Gonzalez Monroyelement, and via the size field, we can calculate the pointer to the next element. 62056297061SSergio Gonzalez MonroyThese next and previous elements are then checked to see if they are also 62156297061SSergio Gonzalez Monroy``FREE``, and if so, they are merged with the current element. 62256297061SSergio Gonzalez MonroyThis means that we can never have two ``FREE`` memory blocks adjacent to one 62356297061SSergio Gonzalez Monroyanother, as they are always merged into a single block. 624