, Opérations atomiques Le GPU est capable de synchroniser lui-même certaines opérations arithmétiques simples, comme l'addition de deux nombres entiers. Ces opérations sont exécutées par des circuits matériels dédiés

G. Le and . Ne, mais une astuce [HH16] permet d'émuler logiciellement ce comportement pour additionner deux ottants simple précision (32 bits). Cependant, cette méthode est moins performante que son équivalent pour les nombres entiers, puisqu'il s'agit d'une méthode logicielle et pas matérielle. Il faudrait véri er si cette méthode est plus rapide que l'addition séquentielle de noyaux, décrite dans la section B.2.1.4.1. Une variante de cette approche consiste à utiliser des nombres entiers, qui supportent les opérations atomiques, comme verrous, ce qui permet aux threads de « capturer » temporairement une cellule de la grille

, 2.1.5 Calcul de l'entropie

. Le-calcul-de-l'entropie-est-facilement-parallélisable, Une fois la carte de densité calculée, il su t de lancer autant de threads que de cellule de la carte de densité. Chacun calcule ( ? ) log ( ? ) (en orange dans la ligne (B.1c)) à l'intérieur de sa cellule

, Ensuite, l'entropie est calculée comme la somme de toutes ces valeurs intermé-diaires, par la méthode de réduction

, Autres résultats intermédiaires du calcul Les deux autres intégrales, à la ligne (B.1a) et (B.1b), sont calculées de la même manière. Les parties surlignées en vert sont calculées en parallèle

Y. Je and D. Santosh, Flow-capacity-maintaining, decentralized, con ict resolution with aircraft turn dynamics, American Control Conference (ACC), pp.978-979, 2011.

Y. Je and D. Santosh, Application of provably-safe con ict resolution for air tra c control, IEEE 51st Annual Conference on Decision and Control (CDC). 10 déc, pp.978-979, 2012.

D. Je and D. Et-santosh, Decoupled Con ict Resolution Procedures for Non-perpendicular Air Tra c Intersections with Di erent Speeds, 52nd IEEE Conference on Decision and Control. Firenze, 10-13 déc, pp.275-280, 2013.

D. Je and D. Et-santosh, On-demand Con ict Resolution Procedures for Air Tra c intersections, American Control Conference (ACC), pp.978-979, 2013.

D. Je, D. Et-santosh, and . Provably, Safe Con ict Resolution With Bounded Turn Rate for Air Tra c Control, IEEE Transactions on Control Systems Technology, vol.21, issue.6, pp.1063-6536, 2013.

D. Je, D. Et-santosh, and . On, Demand Con ict Resolution Procedures for Air-Tra c Intersections, pp.1-12, 2014.

C. Lee and K. K. James, Prototype con ict alerting system for free ight, Journal of Guidance, Control, and Dynamics, vol.20, pp.768-773, 1997.

Z. Jun, 35th Digital Avionics Systems Conference, Enabling Avionics For UAS/UTM, 2016.