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

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

Service availability / Mobile cloud computing / Fluid-flow approximation / Ordinary differential equations

References

[1] Bradley, J.T., Gilmore, S.T., Hillston, J., 2008. Analysing distributed Internet worm attacks using continuous statespace approximation of process algebra models. J. Comput. Syst. Sci., 74(6): 1013-1032. [

[2] Castiglione, A., Gribaudo, M., Iacono, M., , 2014. Exploiting mean field analysis to model performances of big data architectures. Fut. Gener. Comput. Syst., 37: 203-211. [

[3] Chilwan, A., Undheim, A., Heegaard, P.E., 2011. Effects of dynamic cloud cluster load on differentiated service availability. 21st Int. Conf. on Computer Communications and Networks, p.1-6. [

[4] Dinh, H.T., Lee, C., Niyato, D., , 2013. A survey of mobile cloud computing: architecture, applications, and approaches. Wirel. Commun. Mob. Comput., 13(18): 1587-1611. [

[5] Ever, E., Gemikonakli, O., Kocyigit, A., , 2013. A hybrid approach to minimize state space explosion problem for the solution of two stage tandem queues. J. Netw. Comput. Appl., 36(2): 908-926. [

[6] Fernando, N., Loke, S.W., Rahayu, W., 2013. Mobile cloud computing: a survey. Fut. Gener. Comput. Syst., 29(1): 84-106. [

[7] Fourneau, J.M., Kloul, L., Valois, F., 2002. Performance modelling of hierarchical cellular networks using PEPA. Perform. Eval., 50(2-3): 83-99. [

[8] Gens, F., Adam, M., Bradshaw, D., , 2013. Worldwide and Regional Public IT Cloud Services 2013-2017 Forecast. IDC Market Analysis #242464.

[9] Hayden, R.A., Bradley, J.T., 2008. Fluid semantics for passive stochastic process algebra cooperation. Proc. 3rd Int. ICST Conf. on Performance Evaluation Methodologies and Tools, p.1-10. [

[10] Hayden, R.A., Stefanek, A., Bradley, J.T., 2012. Fluid computation of passage-time distributions in large Markov models. Theor. Comput. Sci., 413(1): 106-141. [

[11] Hillston, J., 2005. Fluid flow approximation of PEPA models. Proc. 2nd Int. Conf. on Quantitative Evaluation of Systems, p.33-42. [

[12] Huang, Y., Kintala, C., Kolettis, N., , 1995. Software rejuvenation: analysis, module and applications. 25th Int. Symp. on Fault-Tolerant Computing, p.381-390. [

[13] Huerta-Canepa, G., Lee, D., 2010. A virtual cloud computing provider for mobile devices. Proc. 1st ACM Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond, Article 6, p.1-5. [

[14] Longo, F., Ghosh, R., Naik, K., , 2011. A scalable availability model for Infrastructure-as-a-Service cloud. IEEE/IFIP 41st Int. Conf. on Dependable Systems &Networks, p.335-346. [

[15] Ou, S., Yang, K., Zhang, J., 2007. An effective offloading middleware for pervasive services on mobile devices. Perv. Mob. Comput., 3(4): 362-385. [

[16] Qi, H., Gani, A., 2012. Research on mobile cloud computing: Review, trend and perspectives. 2nd Int. Conf. on Digital Information and Communication Technology and Its Applications, p.195-202. [

[17] Rishabh, S., Sanjay, K., Munesh, C.T., 2013. Mobile cloud computing: a needed shift from cloud to mobile cloud. 5th Int. Conf. on Computational Intelligence and Communication Networks, p.536-539. [

[18] Satyanarayanan, M., 2011. Mobile computing: the next decade. ACM SIGMOBILE Mob. Comput. Commun. Rev., 15(2): 2-10. [

[19] Singh, G., Kumar, R., 2012. Availability metrics for cloud vibrant behaviour with benchmarks influence on diverse facets. Int. J. Softw. Eng. Appl., 3(1): 101-115. [

[20] Tribastone, M., 2007. The Pepa Plug-in Project. 4th Int. Conf. on the Quantitative Evaluation of Systems, p.53-54. [

[21] Tribastone, M., Gilmore, S., Hillston, J., 2012a. Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng., 38(1): 205-219. [

[22] Tribastone, M., Ding, J., Gilmore, S., , 2012b. Fluid rewards for a stochastic process algebra. IEEE Trans. Softw. Eng., 38(4): 861-874. [

[23] Undheim, A., Chilwan, A., Heegaard, P., , 2011. Differentiated availability in cloud computing SLAs. 12th IEEE/ACM Int. Conf. on Grid Computing, p.129-136. [

[24] Widjajarto, A., Supangkat, S.H., Gondokaryono, Y.S., , 2012. Cloud computing reference model: the modelling of service availability based on application profile and resource allocation. Int. Conf. on Cloud Computing and Social Networking, p.1-4.

[25] Wu, L., Garg, S.K., Buyya, R., 2012. SLA-based admission control for a Software-as-a-Service provider in cloud computing environments. J. Comput. Syst. Sci., 78(5): 1280-1299. [