xref: /dpdk/doc/guides/prog_guide/env_abstraction_layer.rst (revision aec9c13c5257f0dae350152fa0444634fe35859e)
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