Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments
Multi-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge computing infrastructure may allow for a more e...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2022-01-01
|
Series: | Sensors |
Subjects: | |
Online Access: | https://www.mdpi.com/1424-8220/22/2/421 |
_version_ | 1797490597167104000 |
---|---|
author | Pedro Juan Roig Salvador Alcaraz Katja Gilly Cristina Bernad Carlos Juiz |
author_facet | Pedro Juan Roig Salvador Alcaraz Katja Gilly Cristina Bernad Carlos Juiz |
author_sort | Pedro Juan Roig |
collection | DOAJ |
description | Multi-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge computing infrastructure may allow for a more efficient performance. In this paper, an arithmetic framework based in a layered approach has been proposed in order to optimize the packet forwarding actions, such as routing and switching, in generic edge computing environments by taking advantage of the properties of integer division and modular arithmetic, thus simplifying the search of the proper next hop to reach the desired destination into simple arithmetic operations, as opposed to having to look into the routing or switching tables. In this sense, the different type of communications within a generic edge computing environment are first studied, and afterwards, three diverse case scenarios have been described according to the arithmetic framework proposed, where all of them have been further verified by using arithmetic means with the help of applying theorems, as well as algebraic means, with the help of searching for behavioral equivalences. |
first_indexed | 2024-03-10T00:35:16Z |
format | Article |
id | doaj.art-4cec051399a84a8794a898b1935cfaff |
institution | Directory Open Access Journal |
issn | 1424-8220 |
language | English |
last_indexed | 2024-03-10T00:35:16Z |
publishDate | 2022-01-01 |
publisher | MDPI AG |
record_format | Article |
series | Sensors |
spelling | doaj.art-4cec051399a84a8794a898b1935cfaff2023-11-23T15:18:20ZengMDPI AGSensors1424-82202022-01-0122242110.3390/s22020421Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing EnvironmentsPedro Juan Roig0Salvador Alcaraz1Katja Gilly2Cristina Bernad3Carlos Juiz4Computer Engineering Department, Miguel Hernández University, 03202 Elche, SpainComputer Engineering Department, Miguel Hernández University, 03202 Elche, SpainComputer Engineering Department, Miguel Hernández University, 03202 Elche, SpainComputer Engineering Department, Miguel Hernández University, 03202 Elche, SpainMathematics and Computer Science Department, University of the Balearic Islands, 07022 Palma de Mallorca, SpainMulti-access edge computing implementations are ever increasing in both the number of deployments and the areas of application. In this context, the easiness in the operations of packet forwarding between two end devices being part of a particular edge computing infrastructure may allow for a more efficient performance. In this paper, an arithmetic framework based in a layered approach has been proposed in order to optimize the packet forwarding actions, such as routing and switching, in generic edge computing environments by taking advantage of the properties of integer division and modular arithmetic, thus simplifying the search of the proper next hop to reach the desired destination into simple arithmetic operations, as opposed to having to look into the routing or switching tables. In this sense, the different type of communications within a generic edge computing environment are first studied, and afterwards, three diverse case scenarios have been described according to the arithmetic framework proposed, where all of them have been further verified by using arithmetic means with the help of applying theorems, as well as algebraic means, with the help of searching for behavioral equivalences.https://www.mdpi.com/1424-8220/22/2/421edge computingfog computingformal modelingACPIoT |
spellingShingle | Pedro Juan Roig Salvador Alcaraz Katja Gilly Cristina Bernad Carlos Juiz Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments Sensors edge computing fog computing formal modeling ACP IoT |
title | Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments |
title_full | Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments |
title_fullStr | Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments |
title_full_unstemmed | Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments |
title_short | Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments |
title_sort | arithmetic framework to optimize packet forwarding among end devices in generic edge computing environments |
topic | edge computing fog computing formal modeling ACP IoT |
url | https://www.mdpi.com/1424-8220/22/2/421 |
work_keys_str_mv | AT pedrojuanroig arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments AT salvadoralcaraz arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments AT katjagilly arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments AT cristinabernad arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments AT carlosjuiz arithmeticframeworktooptimizepacketforwardingamongenddevicesingenericedgecomputingenvironments |