Abstract
Multi-processor system-on-chip (MPSoC) technology is finding widespread application in the embedded system domain, like in cell phones, automotive control units or avionics. Once deployed in field, these devices always run the same set of applications, in a well-characterized context. It is therefore possible to spend a large amount of time for off-line software optimization and then deploy the results on the field. Each possible set of applications that can be active simultaneously in an MPSoC platform leads to a different use-case that the system has to be verified and tested for. Above all, smooth switching between use-cases falls within the scope of the resource manager, since users should not experience artifacts or delays when a transition between any two consecutive use-cases takes place. In this paper, we propose a semi-static approach to the resource management problem, where the allocation and scheduling solutions for the tasks in each use-case are computed off-line via a Logic Based Benders Decomposition approach using Constraint Programming and stored for use in run-time mapping decisions. The solutions are logically organized in a lattice, so that the transition costs between any two consecutive use-cases can be bound. The resulting framework exhibits both a high level of flexibility and orders of magnitude speed ups w.r.t. monolithic approaches that do not exploit decomposition.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mathys, Y., Chatelain, A.: Verification Strategy for Integration 3G Baseband SoC. In: Design and Automation Conference, pp. 7–10. ACM, New York (2003)
Horowitz, H., Alon, E., Patil, D., Naffziger, S., Kumar, R., Bernstein, K.: Scaling, Power, and the Future of CMOS. In: IEEE International Electron Devices Meeting, IEDM, pp. 9–15. IEEE Press, Los Alamitos (2005)
Philips, Nexperia PNX8550 Home Entertainment Engine (December 2003)
Dutta, S., Jensen, R., Rieckmann, A.: Viper: A Multiprocessor SoC for Advanced Set-Top-Box and Digital TV Systems. In: IEEE Design and Test of Computers, pp. 21–31 (2001)
Murali, S., Coenen, M., Radulescu, A., Goossens, K.: A Methodology for Mapping Multiple Use-Cases onto Networks on Chips. In: Design Automation and Test in Europe Conference, pp. 118–123. IEEE Press, Los Alamitos (2006)
Murali, S., Coenen, M., Radulescu, A., Goossens, K.: Mapping and Configuration Methods for Multi-Use-Case Networks on Chips. In: Asia and South Pacific Conference on Design Automation, pp. 146–151 (2006)
Kumar, A., Mesman, B., Corporaal, H., van Meerbergen, J., Yajun, H.: Global Analysis of Resource Arbitration for MPSoC. In: 9th Euromicro Conference on Digital System Design (2006)
Ruggiero, M., Pari, G., Guerri, A., Bertozzi, D., Milano, M., Benini, L., Andrei, A.: A Cooperative, Accurate Solving Framework for Optimal Allocation, Scheduling and Frequency Selection on Energy- Efficient MPSoCS. In: IEEE International SOC Conference (2006)
Moreira, O., Mol, J.D., Bekooij, M., van Meerbergen, J.: Multiprocessor Resource Allocation for Hard-Real Time Streaming with a Dynamic Job-Mix. In: IEEE Real Time on Embedded Technology and Applications Symposium, pp. 332–341 (2005)
Wolf, W.: The Future of Multiprocessor Systems-on-Chip. In: Design and Automation Conference, pp. 681–685. ACM Press, New York (2004)
Kaasinen, E., Tuomisto, T., Vaelkkynen, P.: Ambient Functionality - Use Cases. In: Joint sOc-EUSAI Conference, pp. 51–56 (2005)
ARM11 MPCore, http://www.arm.com/products/CPUs/ARM11MPCoreMultiprocessor.html
Bertozzi, S., Acquaviva, A., Poggiali, A., Bertozzi, D.: Supporting Task Migration in MPSoCs: A Feasibility Study. In: Design Automation and Test in Europe Conference, pp. 15–20 (2006)
Prakash, S., Parker, A.: SOS: Synthesis of Application-Specific Heterogeneous Multiprocessor Systems. Journal of Parallel and Distributed Computing, 338–351 (1992)
Axelsson, J.: Architecture Synthesis and Partitioning of Real-Time Synthesis: a Comparison of 3 Heuristic Search Strategies. In: 5th International Workshop on Hardware/Software Codesign (CODES/CASHE 1997), pp. 161–166 (1997)
Benders, J.F.: Partitioning procedures for solving mixed-variables programming problems. Numerische Mathematik, 238–252 (1962)
Hooker, J.N., Ottosson, G.: Logic-based Benders decomposition. Mathematical Programming, 33–60 (2003)
Bender, A.: MILP based Task Mapping for Heterogeneous Multiprocessor Systems. In: EURO-DAC96/EURO-VHDL 1996: Conference on European Design Automation, pp. 190–197 (1996)
Ruggiero, M., Guerri, A., Bertozzi, D., Poletti, F., Milano, M.: Communication-Aware Allocation and Scheduling Framework for Stream-Oriented Multi-Processor Systems-on-Chip. In: Design Automation and Test in Europe Conference, pp. 3–8 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benini, L., Bertozzi, D., Milano, M. (2008). Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming. In: Garcia de la Banda, M., Pontelli, E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_41
Download citation
DOI: https://doi.org/10.1007/978-3-540-89982-2_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89981-5
Online ISBN: 978-3-540-89982-2
eBook Packages: Computer ScienceComputer Science (R0)