Loading…
SnowCamp 2020 has ended
22nd-25th of January 2020 / 22-25 Janvier 2020, Grenoble
Back To Schedule
Friday, January 24 • 14:00 - 14:45
Rust: sûr et concurrent. Mais comment fait-il ?

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Vous avez sûrement déjà entendu parler du langage Rust et de ses avantages.
Mozilla a créé ce langage pour répondre à différentes problématiques qu’ils ont eu avec le langage C++ sur le code source de Firefox. C’est un langage assez bas niveau qui pourtant ne nous laisse pas gérer directement la mémoire nous-même comme en C, nous empêche de créer des data races et nous permet d’écrire du code multithread qui soit sans comportements indéfinis.

En découvrant ses caractéristiques, on s'interroge:
- Comment fait-il pour se passer d’un garbage collector ?
- Pour combattre les undefined behavior et data race, quel recette « magique » Rust utilise-t-il ?

On a l’impression que c’est de la magie noire seulement compréhensible par des chercheurs sauf que pas du tout. Je vous propose de découvrir ensemble et simplement comment le langage Rust arrive à tenir ses promesses et bien plus encore en partie grâce à son système de types.

Mots clés: rust, types, memory, borrow checker

Speakers
avatar for Benjamin Coenen

Benjamin Coenen

Software engineer, Apollo GraphQL
Un belge perdu à Paris. Je suis tombé amoureux du développement informatique en écrivant de l'assembleur sur des microcontrôleurs. J'adore me battre avec des problèmes de performance. Aujourd'hui je développe un compilateur expérimental en Rust chez Cosmian. Toujours en recherche... Read More →


Friday January 24, 2020 14:00 - 14:45 GMT
Kilimanjaro WTC, 5 - 7, place Robert Schuman, 38025 Grenoble