Can Multicore Processing Learn from Arithmetic Concepts?
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.
KeywordsData Element Semantic Information Functional Programming Natural Deduction Multicore Processor
Unable to display preview. Download preview PDF.
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- 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.Google Scholar
- S.C. Kleene. Introduction To Metamathematics. North-holland, 1952.Google Scholar