A dynamic modelling framework for control-based computing system design

References

• J.O. Kephart and D.M. Chess, The vision of autonomic computing, Computer 36 (1) (2003), pp. 41–50. doi:10.1109/MC.2003.1160055.
   Web of Science ®Google Scholar
• A. Leva, M. Maggio, A.V. Papadopoulos, and F. Terraneo, Control-Based Operating System Design, IET Control Engineering Series, IET, London, June 2013. ISBN 978-1-84919-609-3.
   Google Scholar
• L. Torvalds and D. Diamond, Just for Fun: The Story of an Accidental Revolutionary, HarperBusiness, New York, 2002.
   Google Scholar
• S. Dobson, R. Sterritt, P. Nixon, and M. Hinchey, Fulfilling the vision of autonomic computing, Computer 43 (1) (2010), pp. 35–41. doi:10.1109/MC.2010.14.
   Web of Science ®Google Scholar
• A.V. Papadopoulos, M. Maggio, and A. Leva, Control and design of computing systems: What to model and how, in Proceedings of the 7th International Conference of Mathematical Modelling, MATHMOD’12, Vol. 7, I. Troch and F. Breitenecker, eds., IFAC, Vienna, February 2012, pp. 102–107. Available at http://www.ifac-papersonline.net/Detailed/58551.html
   Google Scholar
• P. Ramadge and W. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control Optim. 25 (1) (1987), pp. 206–230. doi:10.1137/0325013.
   Web of Science ®Google Scholar
• W. Wonham and P. Ramadge, Modular supervisory control of discrete-event systems, Math. Control Signal. 1 (1) (1988), pp. 13–30. doi:10.1007/BF02551233.
   Google Scholar
• T. Abdelzaher, J. Stankovic, C. Lu, R. Zhang, and Y. Lu, Feedback performance control in software services—Using a control-theoretic approach to achieve quality of service guarantees, IEEE Control Syst. Magazine 23 (2003), pp. 74–90. doi:10.1109/MCS.2003.1200252.
   Web of Science ®Google Scholar
• Y. Diao, J. Hellerstein, S. Parekh, R. Griffith, G. Kaiser, and D. Phung, A control theory foundation for self-managing computing systems, IEEE J. Selected Area. Commun. 23 (12) (2005), pp. 2213–2222. doi:10.1109/JSAC.2005.857206.
   Web of Science ®Google Scholar
• T. Patikirikorala, A. Colman, J. Han, and L. Wang, A systematic survey on the design of self-adaptive software systems using control engineering approaches, in 2012 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), IEEE, Zurich, 2012, pp. 33–42. doi:10.1109/SEAMS.2012.6224389.
   Google Scholar
• M. Shor, K. Li, J. Walpole, D. Steere, and C. Pu, Application of control theory to modeling and analysis of computer systems, Proceedings of Japan-USA-Vietnam Workshop on Research and Education in Systems, Computation and Control Engineering, HoChiMinh City, 7–9 June 2000. Available at http://archives.pdx.edu/ds/psu/10394.
   Google Scholar
• J.L. Hellerstein, Y. Diao, S. Parekh, and D.M. Tilbury, Feedback Control of Computing Systems, Wiley, New York, 2004.
   Google Scholar
• K. Lindqvist and H. Hjalmarsson, Identification for control: adaptive input design using convex optimization, Proceedings of the 40th IEEE Conference on Decision and Control, 2001, Vol. 5, 2001, pp. 4326–4331.
   Google Scholar
• M. Pinedo, Scheduling Theory, Algorithms, and Systems, 3rd ed., Springer, Berlin, 2008.
   Google Scholar
• A. Leva and M. Maggio, Feedback process scheduling with simple discrete-time control structures, IET Control Theory Appl. 4 (11) (2010), pp. 2331–2342. doi:10.1049/iet-cta.2009.0260.
   Web of Science ®Google Scholar
• M. Maggio, A.V. Papadopoulos, and A. Leva, On the use of feedback control in the design of computing system components, Asian J. Control. 15 (1) (2013), pp. 31–40. ISSN 1934–6093. doi:10.1002/asjc.509.
   Web of Science ®Google Scholar
• L. Abeni, L. Palopoli, G. Lipari, and J. Walpole, Analysis of a reservation-based feedback scheduler, in 23rd IEEE of Real-Time Systems Symposium, RTSS 2002, IEEE, San Juan, 2002, pp. 71–80. doi:10.1109/REAL.2002.1181563.
   Google Scholar
• B. Alam, M. Doja, and K. Biswas, Finding time quantum of round robin CPU scheduling algorithm using fuzzy logic, in International Conference on Computer and Electrical Engineering, 2008. ICCEE 2008, IEEE, Phuket, 2008, pp. 795–798. doi:10.1109/ICCEE.2008.89.
   Google Scholar
• G. Buttazzo and L. Abeni, Adaptive workload management through elastic scheduling, Real-Time Syst. 23 (2002), pp. 7–24. doi:10.1023/A:1015342318358.
   Web of Science ®Google Scholar
• K.W. Batcher and R.A. Walker, Dynamic Round-Robin Task Scheduling to Reduce Cache Misses for Embedded Systems, in Proceedings of the Conference on Design, Automation and Test in Europe, DATE ’08, ACM, New York, 2008, pp. 260–263.
   Google Scholar
• W. Chow and W. Chiu, An analysis of swapping policies in virtual storage systems, IEEE T. Softw. Eng. 3 (2) (1977), pp. 150–156.
   Web of Science ®Google Scholar
• R. Jones, Factors affecting the efficiency of a virtual memory, IEEE Trans. Comput. C-18 (11) (1969), pp. 1004–1008. doi:10.1109/T-C.1969.222570.
   Web of Science ®Google Scholar
• L. Levy and P. Lipman, Virtual memory management in the VAX/VMS operating system, Computer 15 (3) (1982), pp. 35–41. doi:10.1109/MC.1982.1653971.
   Web of Science ®Google Scholar
• H. Yun, G. Yao, R. Pellizzoni, M. Caccamo, and L. Sha, Memguard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms, in 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE, Philadelphia, PA, 2013. doi:10.1109/RTAS.2013.6531079.
   Google Scholar
• E. Mumolo and G. Bernardis, A novel demand prefetching algorithm based on volterra adaptive prediction for virtual memory management systems, in Proceedings 30th Hawaii International Conference on System Sciences, Vol. 5, IEEE, Wailea, HI, 1997, pp. 160–167. doi:10.1109/HICSS.1997.663171.
   Google Scholar
• J. Corbet, 2.6 Swapping Behavior. Available at http://lwn.net/Articles/83588/ (Accessed 3 June 2014).
   Google Scholar
• F. Terraneo and A. Leva, Feedback-based memory management with active swap-in, Control Conference (ECC), 2013 European, IEEE, Zurich, July 2013, pp. 620–625. Available at http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6669385&tag=1.
   Google Scholar
• IBM, An architectural blueprint for autonomic computing, Tech. Rep., IBM Corp., Hawthorne, NY, June 2005. Available at http://www-03.ibm.com/autonomic/pdfs/AC%20Blueprint%20White%20Paper%20V7.pdf (Accessed 22 July 2014).
   Google Scholar
• A.V. Papadopoulos, M. Maggio, S. Negro, and A. Leva, General control-theoretical framework for online resource allocation in computing systems, IET Control Theory Appl. 6 (11) (2012), pp. 1594–1602. ISSN 1751-8644. doi:10.1049/iet-cta.2011.0632.
   Web of Science ®Google Scholar
• R. Kufrin, Measuring and improving application performance with PerfSuite, Linux J. 2005 (2005), pp. 4–10.
   Google Scholar
• B. Sprunt, The basics of performance-monitoring hardware, IEEE Micro. 22 (4) (2002), pp. 64–71. doi:10.1109/MM.2002.1028477.
   Web of Science ®Google Scholar
• H. Hoffmann, J. Eastep, M.D. Santambrogio, J.E. Miller, and A. Agarwal, Application heartbeats: a generic interface for specifying program performance and goals in autonomous computing environments, Proceeding of the 7th International Conference on Autonomic Computing, ACM Press, New York, 2010, pp. 79–88.
   Google Scholar
• M. Maggio, H. Hoffmann, A.V. Papadopoulos, J. Panerati, M.D. Santambrogio, A. Agarwal, and A. Leva, Comparison of decision-making strategies for self-optimization in autonomic computing systems, ACM Trans Auton. Adap. Syst. 7 (4) (2012), pp. 1–32. ISSN 1556-4665. doi:10.1145/2382570.2382572.
   Web of Science ®Google Scholar
• C. Bienia, S. Kumar, J.P. Singh, and K. Li, The PARSEC benchmark suite: Characterization and architectural implications, in Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, ACM, Toronto, October 2008. doi:10.1145/1454115.1454128.
   Google Scholar
• M.A. Kjær and A. Robertsson, Analysis of buffer delay in web-server control, American Control Conference (ACC), 2010, Baltimore, MD, June 2010, pp. 1047–1052. doi:10.1109/ACC.2010.5530756.
   Google Scholar
• A. Robertsson, B. Wittenmark, M. Kihl, and M. Andersson, Design and evaluation of load control in web server systems, in Proceedings of the 2004 American Control Conference, Vol. 3, IEEE, Boston, MA, 2004, pp. 1980–1985.
   Google Scholar