Resource Management for Latency-Sensitive IoT Applications with Satisfiability

Satisfying the software requirements of emerging service-based Internet of Things (IoT) applications has become challenging for cloud-centric architectures, as applications demand fast response times and availability of computational resources closer to end-users. Meeting application demands must occur at runtime, facing uncertainty and in a decentralized manner, something that must be reflected in system deployment. We propose a decentralized resource management technique and accompanying technical framework for the deployment of service-based IoT applications at the edge. Faithful to services engineering, applications we consider are composed of interdependent tasks, which in the IoT setting may be concretized as containerized microservices or serverless functions. A deployment for an arbitrary application is found at runtime through satisfiability; the mapping produced is compliant with tasks’ individual resource requirements and latency constraints by construction. Our approach ensures seamless deployment at runtime, assuming no design-time knowledge of device resources or the current network topology. We evaluate the applicability and realizability of our technique over single-board computers as edge devices, particularly in the absence of cloud

[1]  Christopher L. Conway,et al.  Cvc4 , 2011, CAV.

[2]  Dimitra I. Kaklamani,et al.  A Cooperative Fog Approach for Effective Workload Balancing , 2017, IEEE Cloud Computing.

[3]  Dong Wang,et al.  Cooperative-Competitive Task Allocation in Edge Computing for Delay-Sensitive Social Sensing , 2018, 2018 IEEE/ACM Symposium on Edge Computing (SEC).

[4]  Mahadev Satyanarayanan,et al.  The Emergence of Edge Computing , 2017, Computer.

[5]  Marco Conti,et al.  Low-latency Distributed Computation Offloading for Pervasive Environments , 2019, 2019 IEEE International Conference on Pervasive Computing and Communications (PerCom.

[6]  Wei Li,et al.  Distributed Auctions for Task Assignment and Scheduling in Mobile Crowdsensing Systems , 2017, 2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS).

[7]  Schahram Dustdar,et al.  Latency-Aware Distributed Resource Provisioning for Deploying IoT Applications at the Edge of the Network , 2019, Lecture Notes in Networks and Systems.

[8]  Schahram Dustdar,et al.  PRINGL - A domain-specific language for incentive management in crowdsourcing , 2015, Comput. Networks.

[9]  Jianzhong Li,et al.  Task Assignment Algorithms in Data Shared Mobile Edge Computing Systems , 2019, 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS).

[10]  Xiaoyong Du,et al.  QoS-Aware Service Selection Using an Incentive Mechanism , 2019, IEEE Transactions on Services Computing.

[11]  Cesare Tinelli,et al.  Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.

[12]  H. Vincent Poor,et al.  An Optimal Auction Mechanism for Mobile Edge Caching , 2018, 2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS).

[13]  Weisong Shi,et al.  The Promise of Edge Computing , 2016, Computer.

[14]  Ivona Brandic,et al.  First Hop Mobile Offloading of DAG Computations , 2018, 2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID).

[15]  Haibin Zhang,et al.  Double Auction-Based Resource Allocation for Mobile Edge Computing in Industrial Internet of Things , 2018, IEEE Transactions on Industrial Informatics.

[16]  Schahram Dustdar,et al.  Architectural Considerations for Privacy on the Edge , 2019, IEEE Internet Computing.

[17]  Hui Tian,et al.  Fine-granularity based application offloading policy in cloud-enhanced small cell networks , 2016, 2016 IEEE International Conference on Communications Workshops (ICC).

[18]  Luís E. T. Rodrigues,et al.  A Distributed Auctioneer for Resource Allocation in Decentralized Systems , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).

[19]  Xing Zhang,et al.  A Survey on Mobile Edge Networks: Convergence of Computing, Caching and Communications , 2017, IEEE Access.

[20]  Mohammad M. Shurman,et al.  Collaborative execution of distributed mobile and IoT applications running at the edge , 2017, 2017 International Conference on Electrical and Computing Technologies and Applications (ICECTA).

[21]  Klervie Toczé,et al.  A Taxonomy for Management and Optimization of Multiple Resources in Edge Computing , 2018, Wirel. Commun. Mob. Comput..

[22]  Schahram Dustdar,et al.  Decentralized Resource Auctioning for Latency-Sensitive Edge Computing , 2019, 2019 IEEE International Conference on Edge Computing (EDGE).

[23]  Fuyuki Ishikawa,et al.  Robust Service Compositions with Functional and Location Diversity , 2016, IEEE Transactions on Services Computing.

[24]  Schahram Dustdar,et al.  Dependable Resource Coordination on the Edge at Runtime , 2019, Proceedings of the IEEE.

[25]  Jiang Zhu,et al.  Fog Computing: A Platform for Internet of Things and Analytics , 2014, Big Data and Internet of Things.

[26]  Ju Ren,et al.  Serving at the Edge: A Scalable IoT Architecture Based on Transparent Computing , 2017, IEEE Network.

[27]  Rizos Sakellariou,et al.  DAG Scheduling Using a Lookahead Variant of the Heterogeneous Earliest Finish Time Algorithm , 2010, 2010 18th Euromicro Conference on Parallel, Distributed and Network-based Processing.

[28]  Samir Tata,et al.  Cloud to Edge: Distributed Deployment of Process-Aware IoT Applications , 2017, 2017 IEEE International Conference on Edge Computing (EDGE).

[29]  Daniel Grosu,et al.  An Envy-Free Auction Mechanism for Resource Allocation in Edge Computing Systems , 2018, 2018 IEEE/ACM Symposium on Edge Computing (SEC).

[30]  Eui-nam Huh,et al.  Dynamic resource provisioning through Fog micro datacenter , 2015, 2015 IEEE International Conference on Pervasive Computing and Communication Workshops (PerCom Workshops).

[31]  Janick Edinger,et al.  Context-Aware Data and Task Placement in Edge Computing Environments , 2019, 2019 IEEE International Conference on Pervasive Computing and Communications (PerCom.

[32]  Carlo Ghezzi,et al.  POET: Privacy on the Edge with Bidirectional Data Transformations , 2019, 2019 IEEE International Conference on Pervasive Computing and Communications (PerCom.