Can Multicore Processing Learn from Arithmetic Concepts?

  • Conrad Mueller
Conference paper


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.


Data Element Semantic Information Functional Programming Natural Deduction Multicore Processor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Wm. A. Wulf and Sally A. McKee. “Hitting the memory wall: implications of the obvious.” SIGARCH Comput. Archit. News, 23(1):20–24, 1995.CrossRefGoogle Scholar
  2. [2]
    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
  3. [3]
    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.CrossRefGoogle Scholar
  4. [4]
    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.CrossRefGoogle Scholar
  5. [5]
    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
  6. [6]
    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
  7. [7]
    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
  8. [8]
    S.C. Kleene. Introduction To Metamathematics. North-holland, 1952.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  • Conrad Mueller
    • 1
  1. 1.The School of Computer ScienceUniversity of the WitwatersrandSouth Africa

Personalised recommendations