[ca] L'aplicació de la robòtica presenta requisits estrictes en el temps d'execució, requerint implementacions eficients dels seus nuclis d'àlgebra lineal. Aquests nuclis contenen patrons de dispersió i fluxos de control propis del domini, que han de ser explotats per a maximitzar el rendiment. Malgrat això, les implementacions basades en llibreries d'aquests nuclis de geometria i física només exploten parcialment aquesta informació, deixant rendiment sobre la taula. D'altra banda, compiladors d'àlgebra lineal existents no tenen visibilitat sobre la informació pròpia del domini. Per a omplir aquest buit, és crucial incorporar la màxima informació del domini per a explotar al màxim el rendiment que aquesta ofereix. Per a aquest propòsit, presentem un compilador per a generar nuclis vectorizados de física i geometria per a robots. El nostre treball aborda aquest repte sent flexible i amb tres pilars crítics que sustenten el seu rendiment: (i) flux de control del domini i propagació de dispersió, (ii) incorporar els patrons de dispersió de les matrius i emmagatzemar les seves primitives, (iii) vectorització per grups tenint en consideració la dispersió del domini. Hem avaluat el nostre treball en tasques claus dins de la planificació del moviment, com és la cinemàtica directa i el control de col·lisions, aconseguint accelerar l'execució en aquestes tasques en un factor d'entre 12x a 29x depenent del robot. Vam demostrar que adaptant-se a diferents fluxos de control, robots i paral·lelisme SIMD mitjançant l'exploració de l'espai de disseny permet millorar enormement el rendiment.

[es] La aplicación de la robótica presenta requisitos estrictos en el tiempo de ejecución, requiriendo implementaciones eficientes de sus núcleos de álgebra lineal. Estos núcleos contienen patrones de dispersión y flujos de control propios del dominio, que deben ser explotados para maximizar el rendimiento. A pesar de ello, las implementaciones basadas en librerías de estos núcleos de geometría y física solo explotan parcialmente esta información, dejando rendimiento sobre la mesa. Por otro lado, compiladores de álgebra lineal existentes no tienen visibilidad sobre la información propia del dominio. Para llenar este hueco, es crucial incorporar la máxima información del dominio para explotar al máximo el rendimiento que esta ofrece. Para este propósito, presentamos un compilador para generar núcleos vectorizados de física y geometría para robots. Nuestro trabajo aborda este reto siendo flexible y con tres pilares críticos que sustentan su rendimiento: (i) flujo de control del dominio y propagación de dispersión, (ii) incorporar los patrones de dispersión de las matrices y almacenar sus primitivas, (iii) vectorización por grupos teniendo en consideración la dispersión del dominio. Hemos evaluado nuestro trabajo en tareas claves dentro de la planificación del movimiento, como es la cinemática directa y el control de colisiones, logrando acelerar la ejecución en estas tareas en un factor de entre 12x a 29x dependiendo del robot. Demostramos que adaptándose a diferentes flujos de control, robots y paralelismo SIMD mediante la exploración del espacio de diseño permite mejorar enormemente el rendimiento.