An algebraic approach to vectorial programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail (Preprint/Prepublication) Année : 2022

An algebraic approach to vectorial programs

Résumé

Vectorial programming, the combination of SIMD instructions with usual processor instructions, is known to speed-up many standard algorithms. Simple regular languages have benefited from this technology. This paper is a first step towards pushing these benefits further. We take advantage of the inner algebraic structure of regular languages and produce high level representations of efficient vectorial programs that recognize certain classes of regular languages. As a technical ingredient, we establish equivalences between classes of vectorial circuits and logical formalisms, namely unary temporal logic and first order logic. The main result is the construction of compilation procedures that turns syntactic semigroups into vectorial circuits. The circuits we obtain are small in that they improve known upper-bounds on representations of automata within the logical formalisms. The gain is mostly due to a careful sharing of sub-formulas based on algebraic tools.
Fichier principal
Vignette du fichier
main.pdf (796.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03831752 , version 1 (27-10-2022)

Identifiants

Citer

Charles Paperman, Sylvain Salvati, Claire Soyez-Martin. An algebraic approach to vectorial programs. 2022. ⟨hal-03831752⟩
173 Consultations
145 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More