OCaml Code Optimization

Cette formation a été conçue par OCamlPro pour permettre aux développeurs OCaml de tirer la performance maximale des applications qu'ils écrivent. Basée sur l'implication directe de notre équipe dans le développement du compilateur OCaml, cette formation montre comment écrire le code pour qu'il soit optimisé au maximum, et comment utiliser au mieux toutes les optimisations fournies par le compilateur OCaml.

Program

(to be translated soon...)

Base sur les performances des architectures moderne

  • Rapides bases d'assembleur (pour les exemples suivant)
  • Architecture: Hiérarchie de mémoire/cache, Out-of-order, Prédiction, Effet des cache d'instructions décodée
  • Conséquences: Interpreter les résultats des outils de sampling d'instruction (perf), Interpreter les microbench
  • Système d'exploitation et appels système: Ce qui est cher, Ce qui est bloquant

Runtime de OCaml

  • Cours assez exhaustif du fonctionnement du GC
  • Coût des différentes parties du GC: algorithmiques pire et moyen, effets inhabituels, Cas d'exemple d'effets inattendus
  • FFI (partie pertinente pour les perf): Allocations/invariants, Annotations [@...] / boxing, Racines

Compilateur OCaml

  • Architecture: Suivre les transformations des différentes constructions à travers les passes
  • Coût des constructions du langage
  • Tour guidé des optimisations
  • Différences avec les compilateur/runtime C-like

Outils

  • perf et outils dérivés
  • Faire correctement des benchmarks: Analyser quel type de performances est recherché (vitesse/latence (moyenne/pire) ... ), Analyser des statistiques de bench, Bench de non-régression
  • Valgrind/callgrind/cachegrind...
  • Le debugger gdb

Approches pour agir sur les performances

  • Utiliser les optimisations / choisir des structures de code adaptées: Contrôler les optimisations, Vérifier qu'elles s'appliquent
  • Traduire des parties en C-like: Analyser la pertinence, Utiliser efficacement la FFI
  • Trouver, reconnaître et corriger des anti pattern
  • Corriger des fuites mémoire et sur allocations: Réduire des lifetimes, Liste des types de fuites

Organiser l'optimisation d'un projet

  • Estimer quels sont les performances atteignable pour un programme: Segmenter le programme et séparer l'analyse, Comparer avec la réalité
  • Trouver ce qui a un sens à optimiser: Prioriser les choses les plus utiles, Quoi ne pas optimiser

Algo et structures de données pertinentes / non pertinentes en OCaml

Next Sessions

    Sessions are organized on demand.

OCaml Code Optimization

Duration: 2 days Practice: 50%
Price: 2000 EUR/pers. excl. taxes
Pre-requisites
  • OCaml
  • Computers
Public
  • Développeurs
Pedagological Objectives
  • (to be translated soon...)
  • Base sur les performances des architectures moderne
  • Runtime de OCaml
  • Compilateur OCaml
  • Outils
  • Approches pour agir sur les performances
  • Organiser l'optimisation d'un projet
  • Algo et structures de données pertinentes / non pertinentes en OCaml
Quality Indicators
  • Mean satisfaction score: 18.5/20
  • Success Rate: 100%

Version: November 14, 2022

Pierre Chambart (OCaml)

Pierre est ingénieur R&D chez OCamlPro depuis 2013, après une thèse de doctorat en méthodes formelles et un post-doc sur la programmation web en OCaml. Pierre est membre de la coreteam du compilateur OCaml, spécialisé dans la génération de code optimisé. Pierre est aussi l'un des développeurs principaux de la blockchain Tezos en OCaml.

Vincent Laviron (OCaml)

Vincent est ingénieur R&D chez OCamlPro depuis 2015. Après avoir travaillé sur l'adaptation de techniques d'interprétation abstraite à OCaml, Vincent a rejoint l'équipe travaillant sur Flambda, le compilateur optimisant pour OCaml, et aujourd'hui membre de la coreteam du compilateur OCaml.

Useful Information

Contact

You can contact us using the form on top of every course description, or by email at contact@ocamlpro.com.

Delayed access timeframe

Since our trainings are organised upon request within two months after the first contact, the access timeframe may vary depending on your specific needs and custom training conditions which will all be agreed upon prior to the course.

Registration and course modalities

Our courses may either be done remotely or physically.

Prior to the course:

  • Either a meeting or a survey to identify your needs and expectations.
  • Shipment of administrative papers such as: written agreement, welcome booklet and rules of procedure.
  • Shipment of everything required to guarantee the good conduct of the course: external ressources, and custom instructions alike.

During the course:

  • The attendee goes to the designated location with his/her personal computer.
  • Time slots for our on-site Inter Corporation Trainings are the following:
    • Start - 9:30AM
    • Lunch Break - 12:00PM to 01:00PM
    • End - 05:30PM
  • Evaluations throughout the duration of the course (quizzes, tests and experimentations).

End the course:

  • Presentation of a certificate of training.
  • Auto-evaluation quizz.
  • A hot feedback form on the quality of the course.

After the course:

  • A cold feedback form on your satisfaction (roughly three months after the course)

Methods used and modalities for evaluation

Our courses may welcome a maximum of ten attendees and the number of tutors may vary between one and two depending on the amount of practical tasks in the course.

Parameters such as the number of attendees and their overall skill level will affect pedagogical modalities such as the number of pratical tasks, guided discussions, collaborative development, etc.

Courses may include small projects to develop independently to help consolidate the acquired knowledge.

The ressources are written by the OCamlPro team prior to the courses. Documents are generally written in english and can be translated to french if need be.

We make the progress of our trainees and its evaluation a core aspect of our courses. Indeed, guaranteeing the durable acquisition of the skills at hand is key, especially for the newer comers. To that extent, we will have trainees undergo tailored group works, exercises and hands-on practice which modalities can all be customised to your specific needs.

Accessibility, handicap

Preliminary studies are done prior to every training to guarantee the quality of the course by tweaking the pedagogical modalities and take into consideration any handicap communicated during the first stages of the registration. We are at your disposal to answer your every question and other queries at: contact@ocamlpro

Funding by OPCO and CPF

The funding of the training by the OPCO is possible as OCamlPro has received the Qualiopi certification. The two following conditions must then be attained:

  • The funding must cover all expenses relative to the course.
  • The funding agreement must get to us five days prior to the training session at the latest.

Our trainings do not yet deliver certicates or official qualifications and thus cannot be funded by your personnal CPF.