Abstract
Many see multicore processors as the way to solve the limitations of the uniprocessor. These architectures are not without problems. We argue that to address these problems, architectures needs to move away from an instruction-based model. The paper looks at how arithmetic and natural deduction can form the basis of a computational model that can be used to implement multicore architectures.
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
Wm. A. Wulf and Sally A. McKee. “Hitting the memory wall: implications of the obvious.” SIGARCH Comput. Archit. News, 23(1):20–24, 1995.
Vikas Agarwal, M. S. Hrishikesh, Stephen W. Keckler, and Doug Burger. “Clock rate versus ipc: the end of the road for conventional microarchitectures”. In ISCA ’00: Proceedings of the 27th annual international symposium on Computer architecture, pages 248–259, New York, NY, USA, 2000. ACM Press.
Doug Burger, Stephen W. Keckler, Kathryn S. McKinley, Mike Dahlin, Lizy K. John, Calvin Lin, Charles R. Moore, James Burrill, Robert G. McDonald, William Yoder, and the TRIPS Team. “Scaling to the end of silicon with edge architectures.” Computer, 37(7):44–55, 2004.
Steven Swanson, Andrew Schwerin, Martha Mercaldi, Andrew Petersen, Andrew Putnam, Ken Michelson, Mark Oskin, and Susan J. Eggers. “The wavescalar architecture”. ACM Trans. Comput. Syst., 25(2):4, 2007.
R.; Zhao L.; Makineni S.; Newell D.; Moses J.; Apparao P. Iyer, R.; Illikkal. “Datacenter-on-chip architectures: Tera-scale opportunities and challenges.” Intel Technology Journal, 11(3), August 2007.
Kreste Asanovic, Ras Bodik, Bryan Christopher Catanzaro, Joseph James Gebis, Parry Husbands, Kurt Keutzer, David P. Patterson, William Lester Plishker, John Shalf, Samuel Webb Wiliams, and Katherine A. Yelick. “The landscape of parellel computing research: A view from Berkeley.” Technical report, Electical Engineering and Computer Sciences, University of Californian at Berkeley, 2006.
John Backus. “Can programming be liberated from the von Neumann style? : a functional style and its algebra of programs.” Commun. ACM, 21(8):613–641, 1978.
S.C. Kleene. Introduction To Metamathematics. North-holland, 1952.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media B.V.
About this paper
Cite this paper
Mueller, C. (2008). Can Multicore Processing Learn from Arithmetic Concepts?. In: Iskander, M. (eds) Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-8739-4_14
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8739-4_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-8738-7
Online ISBN: 978-1-4020-8739-4
eBook Packages: Computer ScienceComputer Science (R0)