Gaalop High Performance Computing based on Conformal Geometric Algebra


 Homer Hodge
 1 years ago
 Views:
Transcription
1 Gaalop High Performance Computing based on Conformal Geometric Algebra Prof. Andreas Koch, Germany
2 Overview What is Gaalop? Related work Our concepts Proofofconcept application Stateoftheart and future perspectives
3 Goal of Gaalop? Combination of Elegance of geometric computing based on Geometric Algebra High performance of the implementation
4 Related Work Software solutions Gaigen 2, [Fontijne/Dorst] Hardware solutions Implementation of a Clifford algebra coprocessor design on a field programmable gate array, [Perwass et al, 2003] CliffoSor, an Innovative FPGAbased Architecture for Geometric Algebra, [Gentile et al, 2005] Hardware implementation of a geometric algebra processor core, [Mishra/Wilson, 2006]
5 Implementation of a CA coprocessor design on a FPGA Perwass et al. 2002
6 Implementation of a CA coprocessor design on FPGA Perwass et al. 2002
7 Hardware implementation of a geometric algebra processor core Mishra/Wilson, 2006 Current setup:
8 Current hardware solutions Geometric Algebra Algorithm Hardware solution
9 Gaalop (Concepts) Combination of the advantages of software and hardware optimizations 1. Optimize geometric algebra algorithm symbolically 2. Generate a hardware implementation of the (already symbolically optimized) algorithm
10 Gaalop (Architecture) Geometric Algebra Algorithm Symbolic simplification (Maple) IR (Intermediate( Representation) FPGA CCodeCode CluCalc Java Latex
11 Symbolic simplification (based on Maple) Goal: Simplifying of expressions to the most efficient ones (addition and multiplications) CliffordLib for Maple [Ablamowicz & Fauser] OpenMapleInterface
12 The general data structure of Gaalop Focus on 32D multivector of the conformal model Goal: Compute Symbolically optimized coefficients
13 Example Calculation of the horizon circle:
14 Example Note: different formulas lead to the same result
15 How to implement on hardware? Sdaf Use of parallelism!
16 Proofofconcept application Competitive runtime performance for inverse kinematics algorithms using conformal geometric algebra Eurographics 2006 Dietmar Hildenbrand, Daniel Fontijne, Yusheng Wang, Marc Alexa, Leo Dorst
17 Development of the inverse kinematics Visual development and test with CLUCalc (free software by Christian Perwass, Easy and intuitive operations with basic geometric entities Entities like spheres and planes Outer product ^ to intersect
18 Symbolic simplification of the inverse kinematics
19 Symbolic simplification of the inverse kinematics
20 Symbolic simplification of the inverse kinematics
21 Symbolic simplification of the inverse kinematics
22 Symbolic simplification of the inverse kinematics
23 Symbolic simplification of the inverse kinematics Maple functions like simplify(), coeff() C_e[9] := 1/2*pwx*L1^2 C_e[10] := pwx C_e[16] :=
24 Symbolic simplification (continued) elbow circle already computed Intersect with swivel plane Resulting point pair Selection of one of the two points leads to:
25 Runtime performance of the inverse kinematics On the algorithmic level Embedding of quaternions ( needed for the slerp motion ) Two optimization approaches for the implementation Gaigen 2 Maple with Cliffordlib > Three times faster than conventional solution!
26 Paper Efficient inverse kinematics algorithm based on Conformal Geometric Algebra using reconfigurable hardware " VISIGRAPP 2008 Dietmar Hildenbrand Holger Lange Florian Stock Andreas Koch Extention to hardware implementation
27 Way to efficiency? Geometric algebra algorithm Symbolic simplification CCodeCode reconfigurable hardware FPGA
28 HW implementation Dataflow graph for with
29 HW implementation Pipeline stages
30 Parallelism in 2 dimensions 363 Pipeline stages, up to 20 scalar operations per stage
31 HW implementation results 100 inverse kinematics calculation Test platform FPGA: Xilinx Virtex XC2VP707, 100 MHz PC: Intel Centrino M7115CPU, 1.5 GHz
32 Results summary Mapleoptimized implementation about 3 times faster than the conventional solution Currently with reconfigurable hardware: more than 500 times faster than the conventional solution
33 Gaalop stateoftheart Geometric Algebra Algorithm (Clucalc, Maple) Symbolic simplification (Maple) IR (Intermediate( Representation) FPGA CCodeCode CluCalc Java Latex
34 Gaalop future perspectives Geometric Algebra Algorithm Symbolic simplification (Maple) IR (Intermediate( Representation) FPGA CCodeCode CluCalc Java Latex
35 Benefits of Geometric Computing with Gaalop Geometrically intuitive Easy to understand Easy to develop Easy to maintain and Efficient to implement Software Hardware
36 Acknowlegments Andreas Koch, Embedded Systems Group, TU Darmstadt Eduardo Bayro Joachim Pitt
37 Thank you for your attention
Metrics on SO(3) and Inverse Kinematics
Mathematical Foundations of Computer Graphics and Vision Metrics on SO(3) and Inverse Kinematics Luca Ballan Institute of Visual Computing Optimization on Manifolds Descent approach d is a ascent direction
More informationModelbased Testing of Automotive Systems
Modelbased Testing of Automotive Systems Eckard Bringmann, Andreas Krämer PikeTec GmbH, Germany Eckard.Bringmann@PikeTec.com, Andreas.Kraemer@PikeTec.com Abstract In recent years the development of automotive
More informationA FRAMEWORK FOR REALTIME TERRAIN VISUALIZATION WITH ADAPTIVE SEMI REGULAR MESHES
A FRAMEWORK FOR REALTIME TERRAIN VISUALIZATION WITH ADAPTIVE SEMI REGULAR MESHES Lourena Rocha, Sérgio Pinheiro, Marcelo B. Vieira, Luiz Velho IMPA  Instituto Nacional de Matemática Pura e Aplicada
More informationDevelopment of a 3D tool for visualization of different software artifacts and their relationships. David Montaño Ramírez
Development of a 3D tool for visualization of different software artifacts and their relationships David Montaño Ramírez Development of a 3D tool for visualization of different software artifacts and their
More informationIntelligent Heuristic Construction with Active Learning
Intelligent Heuristic Construction with Active Learning William F. Ogilvie, Pavlos Petoumenos, Zheng Wang, Hugh Leather E H U N I V E R S I T Y T O H F G R E D I N B U Space is BIG! Hubble UltraDeep Field
More informationEvaluation of CUDA Fortran for the CFD code Strukti
Evaluation of CUDA Fortran for the CFD code Strukti Practical term report from Stephan Soller High performance computing center Stuttgart 1 Stuttgart Media University 2 High performance computing center
More informationImage Processing Application Development: From Rapid Prototyping to SW/HW Cosimulation and Automated Code Generation
659 Image Processing Application Development: From Rapid Prototyping to SW/HW Cosimulation and Automated Code Generation Cristina Vicente 1, Ana Toledo 2, and Pedro SánchezPalma 1 1 Departamento de Tecnologías
More informationSAP HANA Database  Data Management for Modern Business Applications
SAP HANA Database  Data Management for Modern Business Applications Franz Färber #1, Sang Kyun Cha +2, Jürgen Primsch?3, Christof Bornhövd 4, Stefan Sigg #5, Wolfgang Lehner #6 # SAP DietmarHoppAllee
More informationHigh Performance Cluster Support for NLB on Window
High Performance Cluster Support for NLB on Window [1]Arvind Rathi, [2] Kirti, [3] Neelam [1]M.Tech Student, Department of CSE, GITM, Gurgaon Haryana (India) arvindrathi88@gmail.com [2]Asst. Professor,
More informationComputing and Rendering Point Set Surfaces
IEEE TVCG 9(1) Jan 2003 Computing and Rendering Point Set Surfaces Marc Alexa TU Darmstadt Johannes Behr ZGDV Darmstadt Daniel CohenOr Tel Aviv University Shachar Fleishman Tel Aviv University David Levin
More informationThe Performance Impact of NVMe and NVMe over Fabrics
The Performance Impact of NVMe and NVMe over Fabrics PRESENTATION TITLE GOES HERE Live: November 13, 2014 Presented by experts from Cisco, EMC and Intel Webcast Presenters! J Metz, R&D Engineer for the
More informationOptimized Hybrid Parallel Lattice Boltzmann Fluid Flow Simulations on Complex Geometries
Optimized Hybrid Parallel Lattice Boltzmann Fluid Flow Simulations on Complex Geometries Jonas Fietz 2, Mathias J. Krause 2, Christian Schulz 1, Peter Sanders 1, and Vincent Heuveline 2 1 Karlsruhe Institute
More informationReqTGUI A Prototype for Solving and Visualizing Decision Problems in Requirements Engineering with Constraint Programming
ReqTGUI A Prototype for Solving and Visualizing Decision Problems in Requirements Engineering with Constraint Programming Authors Joel Johansson & Oskar Präntare June 20, 2013 MASTER S THESIS WORK CARRIED
More informationEvaluation Tool for Assessment Instrument Quality
REPRODUCIBLE Figure 4.4: Evaluation Tool for Assessment Instrument Quality Assessment indicators Description of Level 1 of the Indicator Are Not Present Limited of This Indicator Are Present Substantially
More informationFaster Set Intersection with SIMD instructions by Reducing Branch Mispredictions
Faster Set Intersection with SIMD instructions by Reducing Branch Mispredictions Hiroshi Inoue, Moriyoshi Ohara, and Kenjiro Taura IBM Research Tokyo, University of Tokyo {inouehrs, ohara}@jp.ibm.com,
More informationProblem of the Month: Digging Dinosaurs
: The Problems of the Month (POM) are used in a variety of ways to promote problem solving and to foster the first standard of mathematical practice from the Common Core State Standards: Make sense of
More informationMathematics. Designing High School Mathematics Courses Based on the Common
common core state STANDARDS FOR Mathematics Appendix A: Designing High School Mathematics Courses Based on the Common Core State Standards Overview The (CCSS) for Mathematics are organized by grade level
More informationICT Software & Data processing
Postacademic course ICT Software & Data processing Scientific Coordination Prof. dr. ir. Koen De Bosschere Department of Electronics, Parallel Information Systems Group, Ghent University Prof. dr. ir.
More informationNr.: Fakultät für Informatik OttovonGuerickeUniversität Magdeburg
Nr.: Fakultät für Informatik OttovonGuerickeUniversität Magdeburg Nr.: Fakultät für Informatik OttovonGuerickeUniversität Magdeburg Impressum ( 5 TMG) Herausgeber: OttovonGuerickeUniversität Magdeburg
More informationBiSL Glossary. 5 February 2014
Acceptance test Annual Business Information Management plan Annual information provisioning plan Application Application management ASL (Application Services Library) ASP (Application Service Providing)
More informationLast year was a big year we delivered strong results, launched fantastic new products and services, and positioned Microsoft for an incredible future.
TO OUR SHAREHOLDERS, CUSTOMERS, PARTNERS AND EMPLOYEES: Last year was a big year we delivered strong results, launched fantastic new products and services, and positioned Microsoft for an incredible future.
More informationImplementing an OpenFlow Switch on the NetFPGA platform
Implementing an OpenFlow Switch on the NetFPGA platform G. Adam Covington gcoving@stanford.edu Jad Naous jnaous@stanford.edu Guido Appenzeller appenz@cs.stanford.edu David Erickson derickso@stanford.edu
More informationPrivate Set Intersection: Are Garbled Circuits Better than Custom Protocols?
Private Set Intersection: Are Garbled Circuits Better than Custom Protocols? Yan Huang David Evans University of Virginia Jonathan Katz University of Maryland http://mightbeevil.org Abstract Cryptographic
More informationFloatingpoint control in the Intel compiler and libraries or Why doesn t my application always give the expected answer?
Floatingpoint control in the Intel compiler and libraries or Why doesn t my application always give the expected answer? Software Solutions Group Intel Corporation 2012 *Other brands and names are the
More informationA Survey of GeneralPurpose Computation on Graphics Hardware
EUROGRAPHICS 2005 STAR State of The Art Report A Survey of GeneralPurpose Computation on Graphics Hardware Lefohn, and Timothy J. Purcell Abstract The rapid increase in the performance of graphics hardware,
More informationLLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
: A Compilation Framework for Lifelong Program Analysis & Transformation Chris Lattner Vikram Adve University of Illinois at UrbanaChampaign {lattner,vadve}@cs.uiuc.edu http://llvm.cs.uiuc.edu/ ABSTRACT
More informationOpenGamma Quantitative Research Adjoint Algorithmic Differentiation: Calibration and Implicit Function Theorem
OpenGamma Quantitative Research Adjoint Algorithmic Differentiation: Calibration and Implicit Function Theorem Marc Henrard marc@opengamma.com OpenGamma Quantitative Research n. 1 November 2011 Abstract
More informationCustomizing 16bit floating point instructions on a NIOS II processor for FPGA image and media processing
Customizing 16bit floating point instructions on a NIOS II processor for FPGA image and media processing Daniel Etiemble *, Samir Bouaziz ** and Lionel Lacassagne** *LRI, ** IEF, University of Paris Sud
More informationAn Application of Scalable Massive Model Interaction using SharedMemory Systems
Eurographics Symposium on Parallel Graphics and Visualization (2006) Alan Heirich, Bruno Raffin, and Luis Paulo dos Santos (Editors) An Application of Scalable Massive Model Interaction using SharedMemory
More informationCommon Core State Standards for. Mathematics
Common Core State Standards for Mathematics Table of Contents Introduction 3 Standards for Mathematical Practice 6 Standards for Mathematical Content Kindergarten 9 Grade 1 13 Grade 2 17 Grade 3 21 Grade
More information