Séance de cours

Performance : Ingénierie logicielle

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

CS-305: Software engineering

This course teaches the basics of modern software development: designing software, working in a team, writing good code, shipping software, and evolving software. It emphasizes building software that meets high standards of quality, reliability, security, ...

Description

Cette séance de cours couvre la définition et la quantification de la performance, les techniques de mesure, l'établissement d'objectifs de performance et l'amélioration des performances logicielles. Les sujets abordés incluent la loi d'Amdahl, la distribution des latences, la gestion de la performance dans la pratique et des stratégies telles que la mise en cache, le traitement par lots, la paresse et la spéculation. L'instructeur explique comment mesurer les performances, l'analyse comparative, les benchmarks bien connus et les moyens de rendre les logiciels plus rapides. Des exemples tirés de scénarios réels tels que Netflix et Grand Theft Auto sont utilisés pour illustrer des concepts tels que la traversée en ligne ou en colonne, le profilage, les problèmes de performances de débogage et les tests de performances continus dans DevOps.

Enseignant·e

George Candea

Enseignement et PhD Doctorant·es actuel·les Lucas Lopes Cendes, Can Cebeci, Jiacheng Ma, Fan Chung A dirigé les thèses EPFL de Horatiu Jula, Cristian Zamfir, Vitaly Chipounov, Silviu Andrica, Stefan Bucur, Baris Can Cengiz Kasikci, Volodymyr Kuznetsov, Jonas Wagner, Rishabh Iyer, Solal Pirelli, Yan Lei A co-dirigé les thèses EPFL de Radu Banabic, Arseniy Zaostrovnykh Cours Principles of computer systems CS-522 LA VERSION ANGLAISE FAIT FOICe cours avancé se concentre sur les principes fonda

Source officielle

Concepts associés (32)

Intégration continue

vignette|ZAPTEST screenshot L'intégration continue est un ensemble de pratiques utilisées en génie logiciel consistant à vérifier à chaque modification de code source que le résultat des modifications ne produit pas de régression dans l'application développée. Le concept a pour la première fois été mentionné par Grady Booch et se réfère généralement à la pratique de l'extreme programming. Le principal but de cette pratique est de détecter les problèmes d'intégration au plus tôt lors du développement.

Quantification (logique)

vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).

Livraison continue

La livraison continue (continuous delivery, CD) est une approche d’ingénierie logicielle dans laquelle les équipes produisent des logiciels dans des cycles courts, ce qui permet de le mettre à disposition à n’importe quel moment. Le but est de construire, tester et diffuser un logiciel plus rapidement. L’approche aide à réduire le temps d'évaluation des risques, et les risques associés à la livraison de changement en adoptant une approche plus incrémentielle des modifications en production.

Test (informatique)

vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.

Universal quantification

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

Afficher plus

Séances de cours associées (64)

Performances logicielles

Explore les performances logicielles, couvrant les mesures, la latence, les techniques d'optimisation, et des exemples du monde réel comme Grand Theft Auto.

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

Débogage et optimisation

Couvre les types d'erreurs dans la programmation et souligne l'importance des techniques de débogage et d'optimisation.

Speckles: Analyse microscopique

Couvre l'analyse microscopique des speckles et de leurs applications dans la recherche.

Le rôle des Symmetries

Déplacez-vous dans des symétries en physique, couvrant la théorie de groupe, la perturbation, et la quantification.

Afficher plus

Concepts associés (32)

Intégration continue

Quantification (logique)

Livraison continue

Test (informatique)

Universal quantification

Afficher plus