J'implémentais un algorithme dans Swift Beta et j'ai remarqué que les performances étaient très mauvaises. Après avoir creusé plus profondément, j'ai réalisé que l'un des goulots d'étranglement était quelque chose d'aussi simple que de trier des tableaux. La partie pertinente est ici:
let n = 1000000
var x = [Int](repeating: 0, count: n)
for i in 0..<n {
x[i] = random()
}
// start clock here
let y = sort(x)
// stop clock here
En C ++, une opération similaire prend 0,06 s sur mon ordinateur.
En Python, cela prend 0,6 s (pas de trucs, juste y = trié (x) pour une liste d'entiers).
Dans Swift, cela prend 6 secondes si je le compile avec la commande suivante:
xcrun swift -O3 -sdk `xcrun --show-sdk-path --sdk macosx`
Et cela prend autant que 88s si je le compile avec la commande suivante:
xcrun swift -O0 -sdk `xcrun --show-sdk-path --sdk macosx`
Les timings dans Xcode avec les versions "Release" vs. "Debug" sont similaires.
Qu'est-ce qui ne va pas ici? Je pouvais comprendre une perte de performances par rapport à C ++, mais pas un ralentissement de 10 fois par rapport à Python pur.
Edit: la météo a remarqué que la modification -O3
de -Ofast
ce code rend le code presque aussi rapide que la version C ++! Cependant, cela -Ofast
change beaucoup la sémantique du langage - dans mes tests, il a désactivé les vérifications des débordements d'entiers et les débordements d'indexation des tableaux . Par exemple, avec -Ofast
le code Swift suivant s'exécute en silence sans se bloquer (et imprime des ordures):
let n = 10000000
print(n*n*n*n*n)
let x = [Int](repeating: 10, count: n)
print(x[n])
Ce -Ofast
n'est donc pas ce que nous voulons; tout l'intérêt de Swift est que nous avons mis en place les filets de sécurité. Bien sûr, les filets de sécurité ont un certain impact sur les performances, mais ils ne devraient pas ralentir les programmes 100 fois. N'oubliez pas que Java vérifie déjà les limites des tableaux, et dans des cas typiques, le ralentissement est d'un facteur bien inférieur à 2. Et dans Clang et GCC, nous avons obtenu -ftrapv
pour vérifier les débordements d'entiers (signés), et ce n'est pas si lent non plus.
D'où la question: comment obtenir des performances raisonnables dans Swift sans perdre les filets de sécurité?
Edit 2: J'ai fait un peu plus de benchmarking, avec des boucles très simples le long des lignes de
for i in 0..<n {
x[i] = x[i] ^ 12345678
}
(Ici, l'opération xor est là juste pour que je puisse trouver plus facilement la boucle appropriée dans le code d'assemblage. J'ai essayé de choisir une opération qui est facile à repérer mais aussi "inoffensive" dans le sens où elle ne devrait pas nécessiter de vérifications liées en débordements entiers.)
Encore une fois, il y avait une énorme différence dans les performances entre -O3
et -Ofast
. J'ai donc jeté un œil au code assembleur:
Avec,
-Ofast
j'obtiens à peu près ce à quoi je m'attendais. La partie pertinente est une boucle avec 5 instructions en langage machine.Avec,
-O3
j'obtiens quelque chose qui dépassait mon imagination la plus folle. La boucle intérieure s'étend sur 88 lignes de code d'assemblage. Je n'ai pas essayé de comprendre tout cela, mais les parties les plus suspectes sont 13 invocations de "callq _swift_retain" et 13 autres invocations de "callq _swift_release". Autrement dit, 26 appels de sous-programme dans la boucle interne !
Edit 3: Dans les commentaires, Ferruccio a demandé des repères qui sont justes en ce sens qu'ils ne reposent pas sur des fonctions intégrées (par exemple, le tri). Je pense que le programme suivant est un assez bon exemple:
let n = 10000
var x = [Int](repeating: 1, count: n)
for i in 0..<n {
for j in 0..<n {
x[i] = x[j]
}
}
Il n'y a pas d'arithmétique, nous n'avons donc pas à nous soucier des débordements d'entiers. La seule chose que nous faisons est juste de nombreuses références de tableaux. Et les résultats sont là - Swift -O3 perd par un facteur près de 500 par rapport à -Ofast:
- C ++ -O3: 0,05 s
- C ++ -O0: 0,4 s
- Java: 0,2 s
- Python avec PyPy: 0,5 s
- Python: 12 s
- Rapide-Rapide: 0,05 s
- Swift -O3: 23 s
- Swift -O0: 443 s
(Si vous craignez que le compilateur optimise entièrement les boucles inutiles, vous pouvez le changer par exemple x[i] ^= x[j]
, et ajouter une instruction print qui sort x[0]
. Cela ne change rien; les timings seront très similaires.)
Et oui, ici l'implémentation Python était une implémentation Python pure stupide avec une liste d'entiers et imbriquée pour les boucles. Il devrait être beaucoup plus lent que Swift non optimisé. Quelque chose semble sérieusement rompu avec Swift et l'indexation de tableaux.
Edit 4: Ces problèmes (ainsi que certains autres problèmes de performances) semblent avoir été corrigés dans Xcode 6 beta 5.
Pour le tri, j'ai maintenant les horaires suivants:
- clang ++ -O3: 0,06 s
- swiftc -Ofast: 0,1 s
- swiftc -O: 0,1 s
- swiftc: 4 s
Pour les boucles imbriquées:
- clang ++ -O3: 0,06 s
- swiftc -Ofast: 0,3 s
- swiftc -O: 0,4 s
- swiftc: 540 s
Il semble qu'il n'y ait plus de raison d'utiliser le dangereux -Ofast
(aka -Ounchecked
); plain -O
produit un code tout aussi bon.
la source
xcrun --sdk macosx swift -O3
. C'est plus court.Réponses:
tl; dr Swift 1.0 est maintenant aussi rapide que C par ce benchmark en utilisant le niveau d'optimisation de version par défaut [-O].
Voici un tri rapide sur place dans Swift Beta:
Et la même chose en C:
Les deux fonctionnent:
Les deux sont appelés dans le même programme que celui écrit.
Cela convertit les temps absolus en secondes:
Voici un résumé des niveaux d'optimisation du compilateur:
Temps en secondes avec [-Onone] pour n = 10_000 :
Voici le tri intégré de Swift () pour n = 10_000 :
Voici [-O] pour n = 10_000 :
Comme vous pouvez le voir, les performances de Swift se sont améliorées d'un facteur 20.
Selon la réponse de mweathers , le réglage de [-Ofast] fait la vraie différence, résultant en ces temps pour n = 10_000 :
Et pour n = 1_000_000 :
A titre de comparaison, c'est avec [-Onone] pour n = 1_000_000 :
Swift sans optimisation était donc presque 1000 fois plus lent que C dans cette référence, à ce stade de son développement. D'un autre côté, avec les deux compilateurs réglés sur [-Ofast], Swift a en fait réalisé au moins aussi bien sinon légèrement mieux que C.
Il a été souligné que [-Ofast] modifie la sémantique du langage, le rendant potentiellement dangereux. Voici ce qu'Apple déclare dans les notes de publication de Xcode 5.0:
Ils le préconisent tous. Que ce soit sage ou non, je ne pourrais pas le dire, mais d'après ce que je peux dire, il semble assez raisonnable d'utiliser [-Ofast] dans une version si vous ne faites pas de l'arithmétique à virgule flottante de haute précision et que vous êtes sûr qu'aucun entier ou les débordements de tableau sont possibles dans votre programme. Si vous avez besoin de vérifications de haute performance et de dépassement / arithmétique précise, choisissez une autre langue pour l'instant.
MISE À JOUR BETA 3:
n = 10_000 avec [-O] :
Swift en général est un peu plus rapide et il semble que le tri intégré de Swift ait changé de manière assez significative.
MISE À JOUR FINALE:
[-Unique] :
[-O] :
[-Ounchecked] :
la source
TL; DR : Oui, la seule implémentation du langage Swift est lente, en ce moment . Si vous avez besoin d'un code rapide et numérique (et d'autres types de code, vraisemblablement), choisissez-en un autre. À l'avenir, vous devriez réévaluer votre choix. Cependant, cela peut être suffisant pour la plupart des codes d'application écrits à un niveau supérieur.
D'après ce que je vois dans SIL et LLVM IR, il semble qu'ils aient besoin d'un tas d'optimisations pour supprimer les retenues et les versions, qui pourraient être implémentées dans Clang (pour Objective-C), mais ils ne les ont pas encore portées. C'est la théorie avec laquelle je vais (pour l'instant ... je dois encore confirmer que Clang fait quelque chose), puisqu'un profileur exécuté sur le dernier cas de test de cette question donne ce "joli" résultat:
Comme cela a été dit par beaucoup d'autres,
-Ofast
est totalement dangereux et change la sémantique du langage. Pour moi, c'est à l'étape «Si vous allez utiliser cela, utilisez simplement une autre langue». Je réévaluerai ce choix plus tard, s'il change.-O3
nous reçoit un tas deswift_retain
etswift_release
appelle qui, honnêtement, ne semblent pas qu'ils devraient être là pour cet exemple. L'optimiseur aurait dû éluder (la plupart) AFAICT, car il connaît la plupart des informations sur le tableau et sait qu'il y a (au moins) une référence forte.Il ne devrait pas émettre plus de rétention lorsqu'il n'appelle même pas de fonctions qui pourraient libérer les objets. Je ne pense pas qu'un constructeur de tableau puisse renvoyer un tableau qui est plus petit que ce qui a été demandé, ce qui signifie que de nombreux contrôles émis sont inutiles. Il sait également que l'entier ne sera jamais supérieur à 10k, donc les vérifications de débordement peuvent être optimisées (non pas à cause de l'
-Ofast
étrangeté, mais à cause de la sémantique du langage (rien d'autre ne change cette var ni ne peut y accéder, et en ajoutant jusqu'à 10k est sans danger pour le typeInt
).Le compilateur peut ne pas être en mesure de décompresser le tableau ou les éléments du tableau, car ils sont transmis à
sort()
, qui est une fonction externe et doit obtenir les arguments qu'il attend. Cela nousInt
obligera à utiliser les valeurs indirectement, ce qui ralentirait un peu. Cela pourrait changer si lasort()
fonction générique (pas de manière multi-méthode) était disponible pour le compilateur et était intégrée.Ceci est une toute nouvelle langue (publique), et elle passe par ce que je suppose être beaucoup de changements, car il y a des gens (fortement) impliqués dans la langue Swift qui demandent des commentaires et ils disent tous que la langue n'est pas terminée et le fera changement.
Code utilisé:
PS: Je ne suis pas un expert d'Objective-C ni de toutes les installations de Cocoa , Objective-C ou des runtimes Swift. Je pourrais aussi supposer certaines choses que je n'ai pas écrites.
la source
-Ofast
«totalement dangereux»? En supposant que vous savez comment tester votre code et exclure les débordements.-Ofast
modifie également la sémantique des langues, mais je ne peux pas financer de documents pour cela. Comment pouvez-vous être sûr de savoir ce qu'il fait?Int[]
» car cela dépend du niveau auquel le compilateur peut s'aligner et il devrait être capable d'aligner les boucles serrées avec / après quelques conseils.J'ai décidé d'y jeter un œil pour le plaisir, et voici les horaires que j'obtiens:
Rapide
Résultats:
Swift 1.1
Swift 1.2
Swift 2.0
Il semble que ce soit la même performance si je compile avec
-Ounchecked
.Swift 3.0
Il semble y avoir eu une régression des performances de Swift 2.0 à Swift 3.0, et je vois également une différence entre
-O
et-Ounchecked
pour la première fois.Swift 4.0
Swift 4 améliore à nouveau les performances, tout en maintenant un écart entre
-O
et-Ounchecked
.-O -whole-module-optimization
ne semble pas faire de différence.C ++
Résultats:
Apple Clang 6.0
Apple Clang 6.1.0
Apple Clang 7.0.0
Apple Clang 8.0.0
Apple Clang 9.0.0
Verdict
Au moment d'écrire ces lignes, le tri de Swift est rapide, mais pas encore aussi rapide que le tri de C ++ lorsqu'il est compilé avec
-O
, avec les compilateurs et bibliothèques ci-dessus. Avec-Ounchecked
, il semble être aussi rapide que C ++ dans Swift 4.0.2 et Apple LLVM 9.0.0.la source
De
The Swift Programming Language
:La
sort
fonction a deux déclarations.La déclaration par défaut qui vous permet de spécifier une clôture de comparaison:
Et une deuxième déclaration qui ne prend qu'un seul paramètre (le tableau) et est "codée en dur pour utiliser le comparateur inférieur à".
J'ai testé une version modifiée de votre code dans une aire de jeux avec la fermeture ajoutée afin que je puisse surveiller la fonction un peu plus près, et j'ai trouvé qu'avec n réglé à 1000, la fermeture était appelée environ 11000 fois.
Ce n'est pas une fonction efficace, je recommanderais d'utiliser une meilleure implémentation de la fonction de tri.
ÉDITER:
J'ai jeté un œil à la page wikipedia de Quicksort et j'ai écrit une implémentation Swift pour cela. Voici le programme complet que j'ai utilisé (dans une aire de jeux)
En utilisant cela avec n = 1000, j'ai trouvé que
Il semble que la méthode de tri intégrée soit (ou soit proche) du tri rapide, et soit vraiment lente ...
la source
2*n*log(n)
. Soit 13815 comparaisons pour trier n = 1000 éléments, donc si la fonction de comparaison est appelée environ 11000 fois cela ne semble pas si mal.log(n)
pour la complexité algorithmique se réfère conventionnellement à log base-2. La raison de ne pas indiquer la base est que la loi de changement de base pour les logarithmes n'introduit qu'un multiplicateur constant, qui est rejeté aux fins de la notation O.C(n) = 2n ln n ≈ 1.39n log₂ n
. Pour n = 1000, cela donne C (n) = 13815, et ce n'est pas une "notation big-O".À partir de Xcode 7, vous pouvez l'activer
Fast, Whole Module Optimization
. Cela devrait augmenter immédiatement vos performances.la source
Les performances de Swift Array revisitées:
J'ai écrit mon propre benchmark comparant Swift à C / Objective-C. Mon benchmark calcule les nombres premiers. Il utilise le tableau des nombres premiers précédents pour rechercher des facteurs premiers dans chaque nouveau candidat, il est donc assez rapide. Cependant, il fait des TONNES de lecture de tableau et moins d'écriture dans les tableaux.
J'ai initialement fait ce benchmark contre Swift 1.2. J'ai décidé de mettre à jour le projet et de l'exécuter avec Swift 2.0.
Le projet vous permet de choisir entre l'utilisation de tableaux Swift normaux et l'utilisation de tampons de mémoire dangereux Swift à l'aide de la sémantique des tableaux.
Pour C / Objective-C, vous pouvez soit choisir d'utiliser des NSArrays, soit des C malloc'ed arrays.
Les résultats des tests semblent assez similaires avec l'optimisation de code la plus rapide et la plus petite ([-0s]) ou l'optimisation la plus rapide et agressive ([-0fast]).
Les performances de Swift 2.0 sont toujours horribles avec l'optimisation de code désactivée, tandis que les performances C / Objective-C ne sont que modérément plus lentes.
L'essentiel est que les calculs basés sur les matrices C malloc'd sont les plus rapides, avec une marge modeste
Swift avec des tampons non sécurisés prend environ 1,19X - 1,20X plus longtemps que les tableaux malloc'd C lors de l'utilisation de l'optimisation de code la plus rapide et la plus petite. la différence semble légèrement moindre avec une optimisation rapide et agressive (Swift prend plus de 1,18x à 1,16x plus long que C.
Si vous utilisez des tableaux Swift réguliers, la différence avec C est légèrement plus grande. (Swift prend environ 1,22 à 1,23 de plus.)
Les tableaux Swift réguliers sont
DRAMATICALLY
plus rapides qu'ils ne l'étaient dans Swift 1.2 / Xcode 6. Leurs performances sont si proches des tableaux basés sur des tampons dangereux Swift que l'utilisation de tampons de mémoire non sécurisés ne semble plus vraiment en valoir la peine, ce qui est énorme.BTW, les performances NSArray d'Objective-C pue. Si vous allez utiliser les objets conteneurs natifs dans les deux langues, Swift est TRÈS RAPIDEMENT plus rapide.
Vous pouvez consulter mon projet sur github à SwiftPerformanceBenchmark
Il a une interface utilisateur simple qui rend la collecte de statistiques assez facile.
Il est intéressant de noter que le tri semble être légèrement plus rapide dans Swift que dans C maintenant, mais que cet algorithme de nombre premier est toujours plus rapide dans Swift.
la source
Le problème principal qui est mentionné par d'autres mais pas suffisamment évoqué est que
-O3
cela ne fait rien du tout dans Swift (et ne l'a jamais fait) donc lorsqu'il est compilé avec cela, il est effectivement non optimisé (-Onone
).Les noms des options ont changé au fil du temps, de sorte que d'autres réponses ont des indicateurs obsolètes pour les options de génération. Les options actuelles correctes (Swift 2.2) sont:
L'optimisation du module entier a une compilation plus lente mais peut optimiser entre les fichiers du module, c'est-à-dire dans chaque framework et dans le code d'application réel mais pas entre eux. Vous devez l'utiliser pour tout ce qui est essentiel aux performances)
Vous pouvez également désactiver les contrôles de sécurité pour encore plus de vitesse, mais avec toutes les assertions et conditions préalables non seulement désactivées mais optimisées sur la base qu'elles sont correctes. Si vous touchez une assertion, cela signifie que vous avez un comportement indéfini. À utiliser avec une extrême prudence et uniquement si vous déterminez que l'augmentation de la vitesse vous convient (en testant). Si vous trouvez cela utile pour du code, je recommande de séparer ce code dans un cadre distinct et de désactiver uniquement les contrôles de sécurité pour ce module.
la source
Ceci est mon blog sur le tri rapide - Exemple Github Quick-Sort
Vous pouvez jeter un œil à l'algorithme de partitionnement de Lomuto dans Partitionnement de la liste. Écrit en Swift.
la source
Swift 4.1 introduit un nouveau
-Osize
mode d'optimisation.Pour en savoir plus: https://swift.org/blog/osize/
la source