A note on the vector C language

Li, Kuo-Cheng

doi:10.1145/382282.382422

Cited by 14 publications

(2 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…(3)(4)(5) All parallelizing compilers and most new languages require advanced compilation technology that has taken years to develop. Most of these efforts have not yet proved themselves.…”

Section: Introductionmentioning

confidence: 99%

Achieving speedups for APL on an SIMD distributed memory machine

Greenlaw

Snyder

1990

Int J Parallel Prog

View full text Add to dashboard Cite

The potential speedup for SIMD parallel implementations of APL programs is considered. Both analytical and (simulated) empirical studies are presented. The approach is to recognize that nearly 95% of the operators appearing in APL programs are either scalar primitive, reduction or indexing and so the performance of these operators gives a good estimate of the amount of speedup a full program might receive. Substantial speedups are demonstrated for these operators and the empirical evidence accords with the analytical estimates.

show abstract

“…(3)(4)(5) All parallelizing compilers and most new languages require advanced compilation technology that has taken years to develop. Most of these efforts have not yet proved themselves.…”

Section: Introductionmentioning

confidence: 99%

Achieving speedups for APL on an SIMD distributed memory machine

Greenlaw

Snyder

1990

Int J Parallel Prog

View full text Add to dashboard Cite

show abstract

“…La première consiste à concevoir de nouveaux langages de programmation dans lesquels le parallélisme est explicitement déclaré par le programmeur. Ainsi, on trouve, par exemple; Actus [29], VectorC [24] ou Fortran8X pour ce qui concerne la programmation impérative; *Lisp [36] ou MultiScheme [26] dans une optique fonctionnelle; ou Parlog [5] pour la programmation logique.…”

Section: Introductionunclassified

Parallélisation sémantique

Jouvelot¹,

Feautrier²

1990

RAIRO-Theor. Inf. Appl.

View full text Add to dashboard Cite

Informatique théorique et applications, tome 24, n o 2 (1990), p. 131-159. © AFCET, 1990, tous droits réservés. L'accès aux archives de la revue « Informatique théorique et applications » implique l'accord avec les conditions générales d'utilisation (http://www.numdam. org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d'une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Informatique théorique et Applications/Theoretical Informaties and Applications (vol. 24, n° 2, 1990, p. 131 à 159) PARALLÉLISATION SÉMANTIQUE (*) par P. JOUVELOT (x) et P. FEAUTRIER (2) Communiqué par J.-E. PIN Résumé.-La parallélisation de programmes séquentiels est un des moyens permettant de profiter facilement des avantages architecturaux offerts sur les nouvelles machines parallèles. Nous proposons d'améliorer cette technique en introduisant la notion de parallélisation sémantique. Notre principe consiste à voir les transformations de programmes introduites par la parallélisation comme définissant des sémantiques dénotationnelles non standards du langage de programmation. Nous montrons comment utiliser ce concept pour détecter\ dans un langage impératif simplifié ALL, des instructions complexes parallélisables, prendre en compte certains programmes avec indirections et reconnaître des réductions. Notre approche permet ainsi de parallëliser des programmes qui ne pouvaient être traités avec les techniques existantes. De plus, d'un point de vue théorique, en utilisant les acquis de la théorie des domaines et la notion d'interprétation abstraite, nous donnons des preuves de correction de ces transformations vis-à-vis de la sémantique standard du langage ALL. Une des retombées indirectes de notre approche découle de ce que la donnée d'une spécification dénotationnelle définit également un prototype exécutable de cette spécification. Nous avons ainsi implémenté une maquette de paralléliseur sémantique en utilisant le langage fonctionnel ML. Des exemples d'exécution sont donnés.

show abstract

Code generation for partially vectorizable loops in the vectorizing Pascal-XT compiler

Hammer

Raebel

1986

Lecture Notes in Computer Science

View full text Add to dashboard Cite

A note on the vector C language

Cited by 14 publications

References 3 publications

Achieving speedups for APL on an SIMD distributed memory machine

Achieving speedups for APL on an SIMD distributed memory machine

Parallélisation sémantique

Code generation for partially vectorizable loops in the vectorizing Pascal-XT compiler

Contact Info

Product

Resources

About