{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T19:40:51Z","timestamp":1740166851262,"version":"3.37.3"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Cloud Comp"],"published-print":{"date-parts":[[2013,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The increasing complexity of computer systems has led to the automation of administration functions, in the form of autonomic managers. Today many autonomic managers are available but they mostly address a specific administration aspect which makes necessary their coexistence for a complete autonomic system management. However, coordinating them is necessary for proper and effective global administration. Such coordination can be considered as a problem of synchronization and logical control of managers actions. We therefore investigate the use of reactive models with events and states, and discrete control techniques to solve this problem. This paper presents an application of the latter approach for coordinating autonomic managers addressing resource optimization, in the perspective of green computing. The managers control server provisioning (self-sizing manager) and CPU frequency (Dvfs manager), and the coordination controller controls the managers actions so as to avoid incoherent management decisions. The coordination controller is designed using synchronous programming and Discrete controller synthesis (DCS) which are well-suited for the design of reactive systems. Experimental results are presented to evaluate the efficacy of the approach.<\/jats:p>","DOI":"10.1186\/2192-113x-2-16","type":"journal-article","created":{"date-parts":[[2013,10,31]],"date-time":"2013-10-31T14:14:09Z","timestamp":1383228849000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Discrete control for ensuring consistency between multiple autonomic managers"],"prefix":"10.1186","volume":"2","author":[{"given":"Soguy Mak","family":"kar\u00e9 Gueye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"No\u00ebl De","family":"Palma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Tchana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Hagimont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,10,31]]},"reference":[{"key":"46_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"JO Kephart","year":"2003","unstructured":"Kephart JO, Chess DM: The vision of autonomic computing. Computer 2003, 36: 41\u201350. http:\/\/dx.doi.org\/10.1109\/MC.2003.1160055 10.1109\/MC.2003.1160055","journal-title":"Computer"},{"key":"46_CR2","first-page":"1199","volume-title":"41th IEEE Conference on Decision and Control","author":"H Marchand","year":"2002","unstructured":"Marchand H, Gaudin B: Supervisory Control Problems of Hierarchical Finite State Machines. In 41th IEEE Conference on Decision and Control. Las Vegas, USA; 2002:1199\u20131204."},{"key":"46_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/1755888.1755898","volume-title":"Proceedings of the ACM SIGPLAN\/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems","author":"G Delaval","year":"2010","unstructured":"Delaval G, Marchand H, Rutten \u00c9: Contracts for modular discrete controller synthesis. In Proceedings of the ACM SIGPLAN\/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems. ACM, New York, NY, USA: LCTES \u201910; 2010:57\u201366."},{"key":"46_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/502034.502045","volume-title":"Proceedings of the eighteenth ACM symposium on Operating systems principles","author":"JS Chase","year":"2001","unstructured":"Chase JS, Anderson DC, Thakar PN, Vahdat AM, Doyle RP: Managing energy and server resources in hosting centers. In Proceedings of the eighteenth ACM symposium on Operating systems principles. ACM, New York, NY, USA: SOSP \u201901; 2001:103\u2013116. http:\/\/doi.acm.org\/10.1145\/502034.502045"},{"key":"46_CR5","volume-title":"Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation, OSDI \u201994","author":"M Weiser","year":"1994","unstructured":"Weiser M, Welch B, Demers A, Shenker S: Scheduling for reduced CPU energy. In Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation, OSDI \u201994. Berkeley, CA, USA: USENIX Association; 1994. http:\/\/dl.acm.org\/citation.cfm?id=1267638.1267640"},{"key":"46_CR6","volume-title":"The Sigali tool box environment. Workshop on Discrete Event Systems, WODES\u201906 (Tool Paper)","author":"L Besnard","year":"2006","unstructured":"Besnard L, Marchand H, Rutten E: The Sigali tool box environment. Workshop on Discrete Event Systems, WODES\u201906 (Tool Paper). (MI, USA): Ann-Arbor; 2006. http:\/\/www.irisa.fr\/vertecs\/Logiciels\/sigali.html"},{"key":"46_CR7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/1086228.1086261","volume-title":"Proceedings of the 5th ACM International Conference on, Conference on Embedded Software","author":"JL Cola\u00e7o","year":"2005","unstructured":"Cola\u00e7o JL, Pagano B, Pouzet M: A conservative extension of synchronous data-flow with state machines. In Proceedings of the 5th ACM International Conference on, Conference on Embedded Software. New York, NY, USA,: EMSOFT \u201905, ACM; 2005:173\u2013182."},{"key":"46_CR8","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, de Simone R: The synchronous languages 12 years later. Proc IEEE 2003, 91: 64\u201383. 10.1109\/JPROC.2002.805826","journal-title":"Proc IEEE"},{"key":"46_CR9","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W: Supervisory control of a class of discrete event processes. SIAM J. on Control Optimization 1987, 25: 206\u2013230. 10.1137\/0325013","journal-title":"SIAM J. on Control Optimization"},{"key":"46_CR10","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2006","unstructured":"Cassandras CG, Lafortune S: Introduction to discrete event systems. Secaucus, NJ, USA: Springer-Verlag New, York, Inc.; 2006."},{"key":"46_CR11","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/268998.266662","volume-title":"Proceedings of the sixteenth ACM symposium on Operating systems principles","author":"A Fox","year":"1997","unstructured":"Fox A, Gribble SD, Chawathe Y, Brewer EA, Gauthier P: Cluster-based scalable network services. In Proceedings of the sixteenth ACM symposium on Operating systems principles. New York, NY, USA: SOSP \u201997, ACM; 1997:78\u201391. http:\/\/doi.acm.org\/10.1145\/268998.266662"},{"key":"46_CR12","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/215530.215546","volume-title":"Proceedings of the 1st annual international conference on Mobile computing and networking","author":"K Govil","year":"1995","unstructured":"Govil K, Chan E, Wasserman H: Comparing algorithm for dynamic speed-setting of a low-power CPU. In Proceedings of the 1st annual international conference on Mobile computing and networking. New York, NY, USA: MobiCom \u201995, ACM; 1995:13\u201325. http:\/\/doi.acm.org\/10.1145\/215530.215546"},{"key":"46_CR13","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1023\/A:1016546330128","volume":"8","author":"K Flautner","year":"2002","unstructured":"Flautner K, Reinhardt S, Mudge T: Automatic performance setting for dynamic voltage scaling. Wirel Netw 2002, 8: 507\u2013520. http:\/\/dx.doi.org\/10.1023\/A:1016546330128 10.1023\/A:1016546330128","journal-title":"Wirel Netw"},{"key":"46_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/GREENCOMP.2010.5598303","volume-title":"Proceedings of the International Conference on Green Computing","author":"M Etinski","year":"2010","unstructured":"Etinski M, Corbalan J, Labarta J, Valero M: Optimizing job performance under a given power constraint in HPC centers. In Proceedings of the International Conference on Green Computing. Washington, DC, USA: GREENCOMP \u201910, IEEE Computer Society; 2010:257\u2013267. http:\/\/dx.doi.org\/10.1109\/GREENCOMP.2010.5598303"},{"key":"46_CR15","first-page":"1098","volume-title":"Proc. IEEE INFOCOM","author":"M Lin","year":"2011","unstructured":"Lin M, Wierman A, Andrew LLH, Thereska E: Dynamic right-sizing for power-proportional data centers. In Proc. IEEE INFOCOM. Shanghai, China; 2011:1098\u20131106. http:\/\/www.caia.swin.edu.au\/cv\/landrew\/pubs\/RightSizing.pdf"},{"key":"46_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/CLUSTR.2006.311842","volume-title":"Cluster Computing, 2006 IEEE International Conference on","author":"S Bouchenak","year":"2006","unstructured":"Bouchenak S, De Palma N, Hagimont D, Taton C: Autonomic Management of Clustered Applications. Cluster Computing, 2006 IEEE International Conference on 2006, 1\u201311."},{"key":"46_CR17","volume-title":"Proceedings of the Workshop on Compilers and Operating Systems for Low Power (COLP\u201901)","author":"E Pinheiro","year":"2001","unstructured":"Pinheiro E, Bianchini R, Carrera EV, Heath T: Load balancing and unbalancing for power and performance in cluster-based Systems. Proceedings of the Workshop on Compilers and Operating Systems for Low Power (COLP\u201901) 2001. http:\/\/research.ac.upc.es\/pact01\/colp\/paper04.pdf"},{"key":"46_CR18","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/GREENCOMP.2010.5598283","volume-title":"Proceedings of the International Conference on Green Computing","author":"I Rodero","year":"2010","unstructured":"Rodero I, Jaramillo J, Quiroz A, Parashar M, Guim F, Poole S: Energy-efficient application-aware online provisioning for virtualized clouds and data centers. In Proceedings of the International Conference on Green Computing. Washington, DC, USA: GREENCOMP \u201910, IEEE Computer Society; 2010:31\u201345. http:\/\/dx.doi.org\/10.1109\/GREENCOMP.2010.5598283"},{"key":"46_CR19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/1555228.1555262","volume-title":"Proceedings of the 6th international conference on Autonomic computing","author":"S Kumar","year":"2009","unstructured":"Kumar S, Talwar V, Kumar V, Ranganathan P, Schwan K: vManage: loosely coupled platform and virtualization management in data centers. In Proceedings of the 6th international conference on Autonomic computing. New York, NY, USA: ICAC \u201909,ACM; 2009:127\u2013136. http:\/\/doi.acm.org\/10.1145\/1555228.1555262"},{"key":"46_CR20","first-page":"107","volume-title":"Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track","author":"R Das","year":"2008","unstructured":"Das R, Kephart JO, Lefurgy C, Tesauro G, Levine DW, Chan H: Autonomic multi-agent management of power and performance in data centers. In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. AAMAS \u201908, Richland SC; 2008:107\u2013114. http:\/\/dl.acm.org\/citation.cfm?id=1402795.1402816"},{"key":"46_CR21","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/1294261.1294287","volume-title":"Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles","author":"R Nathuji","year":"2007","unstructured":"Nathuji R, Schwan K: VirtualPower: coordinated power management in virtualized enterprise systems. In Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles. New York, NY, USA: SOSP \u201907, ACM; 2007:265\u2013278. http:\/\/doi.acm.org\/10.1145\/1294261.1294287"},{"key":"46_CR22","first-page":"262","volume-title":"Proceedings of the 4th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS \u201909","author":"N Tcholtchev","year":"2009","unstructured":"Tcholtchev N, Chaparadza R, Prakash A: Addressing Stability of Control-Loops in the Context of the GANA Architecture: Synchronization of Actions and Policies. In Proceedings of the 4th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS \u201909. Berlin, Heidelberg: Springer-Verlag; 2009:262\u2013268. http:\/\/dx.doi.org\/10.1007\/978\u20133-642\u201310865\u20135_28"},{"key":"46_CR23","first-page":"50","volume-title":"MONAMI, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","author":"T Kastrinogiannis","year":"2010","unstructured":"Kastrinogiannis T, Tcholtchev N, Prakash A, Chaparadza R, Kaldanis V, Coskun H, Papavassiliou S: Addressing stability in future autonomic networking. In MONAMI, Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Edited by: Pentikousis K, Calvo RA, Garc\u00eda-Arranz M, Papavassiliou S. Springer; 2010:50\u201361. http:\/\/dblp.uni-trier.de\/db\/conf\/monami\/monami2010.html#KastrinogiannisTPCKCP10"},{"key":"46_CR24","first-page":"1245","volume-title":"Embedded and Ubiquitous Computing","author":"R Sterritt","year":"2005","unstructured":"Sterritt R, Hinchey M, Rash J, Truszkowski W, Rouff C, Gracanin D: Towards Formal Specification and Generation of Autonomic Policies. Embedded and Ubiquitous Computing 2005, 1245\u20131254. http:\/\/dx.doi.org\/10.1007\/11596042_126"},{"key":"46_CR25","doi-asserted-by":"publisher","DOI":"10.1002\/047166880X","volume-title":"Feedback Control of Computing Systems","author":"JL Hellerstein","year":"2004","unstructured":"Hellerstein JL, Diao Y, Parekh S, Tilbury DM: Feedback Control of Computing Systems. John Wiley & Sons; 2004."},{"key":"46_CR26","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/1272996.1273028","volume-title":"Proceedings of the 2nd ACM SIGOPS\/EuroSys European Conference on Computer Systems 2007","author":"Y Wang","year":"2007","unstructured":"Wang Y, Kelly T, Lafortune S: Discrete control for safe execution of IT automation workflows. In Proceedings of the 2nd ACM SIGOPS\/EuroSys European Conference on Computer Systems 2007. New, York, NY, USA: EuroSys \u201907, ACM; 2007:305\u2013314. http:\/\/doi.acm.org\/10.1145\/1272996.1273028"},{"issue":"4","key":"46_CR27","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/MNET.2011.5958006","volume":"25","author":"H Viswanathan","year":"2011","unstructured":"Viswanathan H, Lee E, Pompili D: Self-organizing sensing infrastructure for autonomic management of green datacenters. Ieee Netw 2011, 25(4):34\u201340. http:\/\/ieeexplore.ieee.org\/lpdocs\/epic03\/wrapper.htm?arnumber=5958006","journal-title":"Ieee Netw"}],"container-title":["Journal of Cloud Computing: Advances, Systems and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/2192-113X-2-16.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T22:11:15Z","timestamp":1688595075000},"score":1,"resource":{"primary":{"URL":"https:\/\/journalofcloudcomputing.springeropen.com\/articles\/10.1186\/2192-113X-2-16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,31]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["46"],"URL":"https:\/\/doi.org\/10.1186\/2192-113x-2-16","relation":{},"ISSN":["2192-113X"],"issn-type":[{"type":"electronic","value":"2192-113X"}],"subject":[],"published":{"date-parts":[[2013,10,31]]},"assertion":[{"value":"25 February 2013","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2013","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 October 2013","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"16"}}