Voici ma course vers le bas de certaines options (sans ordre particulier):
C/C++
Si tout ce que vous aimez est la performance (et rien autre), ceux-ci fourniront. L'accès direct aux constructions au niveau du système, telles que l'affinité du processeur et l'assemblage en ligne, peut certainement avoir un impact sur les performances. Cependant il y a 2 inconvénients principaux à l'option C/C++. Premièrement, ni un modèle de mémoire bien défini, donc le modèle de mémoire que vous développez est celui du processeur sur lequel vous exécutez le système (si vous ne savez pas quel modèle de mémoire est appliqué à la programmation simultanée, alors vous devriez ne le fais pas). Cela vous relie très étroitement à une plate-forme unique. Le second est l'absence d'un garbage collector, la gestion manuelle de la mémoire est délicate (mais faisable) dans les cas simples, avec C++ un certain nombre d'utilitaires de support simplifient le problème (par exemple pointeurs automatiques/pointeurs intelligents). Lors de l'écriture de code concurrent, il est plus difficile de définir un ordre de grandeur car les règles pour la libération d'un certain morceau de mémoire deviennent très difficiles à définir. Par exemple. quand un objet est passé sur un fil différent, qui est responsable de le relâcher? Si vous utilisez C++, il est important de vous assurer que vous utilisez des versions thread-safe des classes utilisées pour gérer la mémoire. Par exemple. le pointeur intelligent de suralimentation ne prend en charge que l'utilisation des méthodes déclarées comme "const" sur différents threads (par exemple, le déréférencement est OK), cependant les méthodes non-const (par exemple affectation) ne sont pas thread-safe.
Java
Java serait ma recommandation, il a l'appui sur toutes les plateformes que vous avez mentionnés (y compris mobile, Android et JavaME par exemple), ainsi que CUDA support. Java a un modèle de mémoire bien défini qui est cohérent à travers les plates-formes, un JIT et un optimiseur robustes et matures, et un nombre de garbage collector bien et améliorant. La plupart des applications à usage général écrites en Java fonctionneront aussi vite que leurs homologues en C/C++. Bien qu'il s'agisse d'un peu de mémoire, si vous faites du travail HPC, vous allez probablement jeter un peu de matériel décent sur le problème. Étant donné que vous pouvez adresser des centaines de Go sur le matériel de base, le problème de mémoire est moins un problème que par le passé.Le mobile est le seul domaine réel où l'utilisation de la mémoire est limitée et où les environnements d'exécution spécialisés fonctionnent mieux à cet égard (voir ci-dessus). Le seul inconvénient principal pour Java (d'un point de vue HPC) est l'absence de types complexes pass-by-copy (c'est-à-dire en C#), donc tous les objets complexes doivent être alloués en faisant pression sur le GC. L'analyse des évasions est censée aider avec quelque chose, mais il est difficile de faire en sorte que cela fonctionne bien dans des cas très généraux (notez qu'il a récemment fait l'objet de diverses révisions du JDK).
Il convient de mentionner le large soutien linguistique (Scala et Groovy ++ ont de très bons profils de performance) et il y a un certain nombre de cadres simultanés de passage de messages (actors, akka, kilim).
C# /. Net
Probablement le plus complet du point de vue linguistique, surtout si vous incluez des choses comme F # pour aborder les choses d'une manière fonctionnelle. Cependant, vous êtes généralement poussé vers une plate-forme MS si vous voulez la meilleure performance (et l'histoire mobile ici n'est pas génial non plus). Mono produit une très bonne fonctionnalité de plate-forme (attention: je suis un contributeur), mais ils jouent toujours un rattrapage avec la performance, par ex. un collecteur précis et compact a récemment été ajouté et est encore un peu expérimental.
Google Go
Très nouveau, mais intéressant du point de vue qu'il est natif compilé (pas de frais généraux de JIT), mais il a encore une exécution forte, modèle de mémoire, garbage collector et un soutien direct pour les CSP (traitement séquentiel simultané) caractéristiques dans les langues (canaux). Il y a probablement plusieurs façons d'y arriver, le développement d'un nouveau GC a commencé mais il n'est pas encore apparu et il y a probablement beaucoup plus de choses à sortir du compilateur.
Haskell et d'autres langages fonctionnels
Pas beaucoup d'expérience, mais quelques-uns des constructions fonctionnelles telles que immuabilité et collections persistantes peuvent être très utiles pour créer des applications concurrentes robustes.
Java fonctionne sur Mac check http://developer.apple.com/java/faq/ – YoK
C et C++ sont absolument pris en charge par Mac. À quoi pensez-vous que Mac OS est écrit? – Joe
"Passer des messages" == "méthodes d'appel". Absolument pas différent. – Joe