Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation*

Lv Hong-wu; Lin Jun-yu; Wang Hui-qiang; Feng Guang-sheng; Zhou Mo

doi:10.1631/FITEE.1400410

Your Location：

Home >

Browse articles >

Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation*

Special Part-Issue on Service Availability | Updated：2022-06-06

- Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation*
- 基于流近似的移动云计算系统服务可用性分析方法
- Frontiers of Information Technology & Electronic Engineering Vol. 16, Issue 7, Pages: 553-567(2015)
- Affiliations：
  
  College of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China
- Author bio：
  
  †E-mail:lvhongwu@hrbeu.edu.cn
- Funds：
- DOI：10.1631/FITEE.1400410
  CLC：
- Received：28 November 2014，
  
  Revised：2015-06-12，
  
  Accepted：07 June 2015，
  
  Published：2015-07
- Accepted：
Scan QR Code
Lv Hong-wu, Lin Jun-yu, Wang Hui-qiang, et al. Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation*[J]. Frontiers of Information Technology & Electronic Engineering, 2015, 16(7): 553-567.
DOI：

Lv Hong-wu, Lin Jun-yu, Wang Hui-qiang, et al. Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation*[J]. Frontiers of Information Technology & Electronic Engineering, 2015, 16(7): 553-567. DOI： 10.1631/FITEE.1400410.

摘要

目的

为提供持续性的按需服务，移动云计算系统必须确保在任何时间和任何地点的可用性。然而当系统规模巨大、关联关系复杂时，如何实现移动云计算系统可用性的快速分析，是本领域一项富有挑战性的工作。本文目的是利用最近提出的流近似（fluid-flow approximation）技术来实现一种能应用于移动云计算系统部署之前的、快速的服务可用性分析方法。

创新点

由于移动云计算系统负载水平不同、配置部署不同和随机干扰因素，基于实测的方法很难具有代表性；基于随机模拟的方法会随着模拟规模增大和精度提升而计算时间剧增；基于状态空间的方法在系统规模巨大时将面临严重的状态空间爆炸问题。本文方法通过将状态空间转化为常微分方程组求解，可以避免状态空间爆炸，实现移动云计算系统可用性的快速分析。

方法

定义了包括服务反应时间（response time of service）、节点最小感知时间（minimum sensing time of devices）、最少选取节点数量（minimum number of nodes chosen）、动作吞吐量（action throughput）等四个关键指标。通过上述指标来分析移动云计算系统服务可用性的变化，并对系统初始条件、模型核心参数的影响进行讨论。

结论

本文提出的服务可用性分析方法能够适用于移动云计算系统完全部署之前，可以用于系统设计阶段的改进。并且与基于随机模拟方法和状态空间方法相比，时耗更低。

Abstract

Mobile cloud computing (MCC) has become a promising technique to deal with computation- or data-intensive tasks. It overcomes the limited processing power

poor storage capacity

and short battery life of mobile devices. Providing continuous and on-demand services

MCC argues that the service must be available for users at anytime and anywhere. However

at present

the service availability of MCC is usually measured by some certain metrics of a real-world system

and the results do not have broad representation since different systems have different load levels

different deployments

and many other random factors. Meanwhile

for large-scale and complex types of services in MCC systems

simulation-based methods (such as Monte-Carlo simulation) may be costly and the traditional state-based methods always suffer from the problem of state-space explosion. In this paper

to overcome these shortcomings

fluid-flow approximation

a breakthrough to avoid state-space explosion

is adopted to analyze the service availability of MCC. Four critical metrics

including response time of service

minimum sensing time of devices

minimum number of nodes chosen

and action throughput

are defined to estimate the availability by solving a group of ordinary differential equations even before the MCC system is fully deployed. Experimental results show that our method costs less time in analyzing the service availability of MCC than the Markov- or simulation-based methods.

关键词

Keywords

references

JT Bradley , ST Gilmore , J Hillston . Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models . J Comput Syst Sci , 2008 . 74 ( 6 ): 1013 - 1032 . DOI: 10.1016/j.jcss.2007.07.005 http://doi.org/10.1016/j.jcss.2007.07.005 .

A Castiglione , M Gribaudo , M Iacono , 等 . Exploiting mean field analysis to model performances of big data architectures . Fut Gener Comput Syst , 2014 . 37 203 - 211 . DOI: 10.1016/j.future.2013.07.016 http://doi.org/10.1016/j.future.2013.07.016 .

A Chilwan , A Undheim , PE Heegaard . Effects of dynamic cloud cluster load on differentiated service availability . 2011 . 21st Int. Conf. on Computer Communications and Networks . 1 - 6 . DOI: 10.1109/ICCCN.2012.6289310 http://doi.org/10.1109/ICCCN.2012.6289310 .

HT Dinh , C Lee , D Niyato , 等 . A survey of mobile cloud computing: architecture, applications, and approaches . Wirel Commun Mob Comput , 2013 . 13 ( 18 ): 1587 - 1611 . DOI: 10.1002/wcm.1203 http://doi.org/10.1002/wcm.1203 .

E Ever , O Gemikonakli , A Kocyigit , 等 . A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues . J Netw Comput Appl , 2013 . 36 ( 2 ): 908 - 926 . DOI: 10.1016/j.jnca.2012.10.006 http://doi.org/10.1016/j.jnca.2012.10.006 .

N Fernando , SW Loke , W Rahayu . Mobile cloud computing: a survey . Fut Gener Comput Syst , 2013 . 29 ( 1 ): 84 - 106 . DOI: 10.1016/j.future.2012.05.023 http://doi.org/10.1016/j.future.2012.05.023 .

JM Fourneau , L Kloul , F Valois . Performance modelling of hierarchical cellular networks using PEPA . Perform Eval , 2002 . 50 ( 2-3 ): 83 - 99 . DOI: 10.1016/S0166-5316(02)00101-3 http://doi.org/10.1016/S0166-5316(02)00101-3 .

F Gens , M Adam , D Bradshaw , 等 . Worldwide and Regional Public IT Cloud Services 2013–2017 Forecast . IDC Market Analysis #242464 , 2013 .

RA Hayden , JT Bradley . Fluid semantics for passive stochastic process algebra cooperation . 2008 . Proc. 3rd Int. ICST Conf. on Performance Evaluation Methodologies and Tools . 1 - 10 . DOI: 10.4108/ICST.VALUETOOLS2008.4329 http://doi.org/10.4108/ICST.VALUETOOLS2008.4329 .

RA Hayden , A Stefanek , JT Bradley . Fluid computation of passage-time distributions in large Markov models . Theor Comput Sci , 2012 . 413 ( 1 ): 106 - 141 . DOI: 10.1016/j.tcs.2011.07.017 http://doi.org/10.1016/j.tcs.2011.07.017 .

J Hillston . Fluid flow approximation of PEPA models . 2005 . Proc. 2nd Int. Conf. on Quantitative Evaluation of Systems . 33 - 42 . DOI: 10.1109/QEST.2005.12 http://doi.org/10.1109/QEST.2005.12 .

Y Huang , C Kintala , N Kolettis , 等 . Software rejuvenation: analysis, module and applications . 1995 . 25th Int. Symp. on Fault-Tolerant Computing . 381 - 390 . DOI: 10.1109/FTCS.1995.466961 http://doi.org/10.1109/FTCS.1995.466961 .

G Huerta-Canepa , D Lee . A virtual cloud computing provider for mobile devices . 2010 . Proc. 1st ACM Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond, Article 6 . 1 - 5 . DOI: 10.1145/1810931.1810937 http://doi.org/10.1145/1810931.1810937 .

F Longo , R Ghosh , K Naik , 等 . A scalable availability model for Infrastructure-as-a-Service cloud . 2011 . IEEE/IFIP 41st Int. Conf. on Dependable Systems & Networks . 335 - 346 . DOI: 10.1109/DSN.2011.5958247 http://doi.org/10.1109/DSN.2011.5958247 .

S Ou , K Yang , J Zhang . An effective offloading middleware for pervasive services on mobile devices . Perv Mob Comput , 2007 . 3 ( 4 ): 362 - 385 . DOI: 10.1016/j.pmcj.2007.04.004 http://doi.org/10.1016/j.pmcj.2007.04.004 .

H Qi , A Gani . Research on mobile cloud computing: Review, trend and perspectives . 2012 . 2nd Int. Conf. on Digital Information and Communication Technology and Its Applications . 195 - 202 . DOI: 10.1109/DICTAP.2012.6215350 http://doi.org/10.1109/DICTAP.2012.6215350 .

S Rishabh , K Sanjay , CT Munesh . Mobile cloud computing: a needed shift from cloud to mobile cloud . 2013 . 5th Int. Conf. on Computational Intelligence and Communication Networks . 536 - 539 . DOI: 10.1109/CICN.2013.116 http://doi.org/10.1109/CICN.2013.116 .

M Satyanarayanan . Mobile computing: the next decade . ACM SIGMOBILE Mob Comput Commun Rev , 2011 . 15 ( 2 ): 2 - 10 . DOI: 10.1145/2016598.2016600 http://doi.org/10.1145/2016598.2016600 .

G Singh , R Kumar . Availability metrics for cloud vibrant behaviour with benchmarks influence on diverse facets . Int J Softw Eng Appl , 2012 . 3 ( 1 ): 101 - 115 . DOI: 10.5121/ijsea.2012.3108 http://doi.org/10.5121/ijsea.2012.3108 .

M Tribastone . The Pepa Plug-in Project . 2007 . 4th Int. Conf. on the Quantitative Evaluation of Systems . 53 - 54 . DOI: 10.1109/QEST.2007.34 http://doi.org/10.1109/QEST.2007.34 .

M Tribastone , S Gilmore , J Hillston . Scalable differential analysis of process algebra models . IEEE Trans Softw Eng , 2012 . 38 ( 1 ): 205 - 219 . DOI: 10.1109/TSE.2010.82 http://doi.org/10.1109/TSE.2010.82 .

M Tribastone , J Ding , S Gilmore , 等 . Fluid rewards for a stochastic process algebra . IEEE Trans Softw Eng , 2012 . 38 ( 4 ): 861 - 874 . DOI: 10.1109/TSE.2011.81 http://doi.org/10.1109/TSE.2011.81 .

A Undheim , A Chilwan , P Heegaard , 等 . Differentiated availability in cloud computing SLAs . 2011 . 12th IEEE/ACM Int. Conf. on Grid Computing . 129 - 136 . DOI: 10.1109/Grid.2011.25 http://doi.org/10.1109/Grid.2011.25 .

A Widjajarto , SH Supangkat , YS Gondokaryono , 等 . Cloud computing reference model: the modelling of service availability based on application profile and resource allocation . 2012 . Int. Conf. on Cloud Computing and Social Networking . 1 - 4 . .

L Wu , SK Garg , R Buyya . SLA-based admission control for a Software-as-a-Service provider in cloud computing environments . J Comput Syst Sci , 2012 . 78 ( 5 ): 1280 - 1299 . DOI: 10.1016/j.jcss.2011.12.014 http://doi.org/10.1016/j.jcss.2011.12.014 .

Views

Downloads

CSCD

Alert me when the article has been cited

Submit

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

Chat

Address：Zhejiang University Press, 148 Tianmushan Road, Hangzhou, China Postal code：310028
Tel：+86-571-88273162 Email：fitee@zju.edu.cn
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰