Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Transferts d'argent : Loge global synchronisé

Dans cours

CS-206: Parallelism and concurrency

Course no longer offered for new students; this edition is only a make-up course for those who repeated the year. Please log in with EPFL credentials and consult the mediaspace link below for course videos. ...

Description

Cette séance de cours couvre la conception d'un système bancaire en ligne pour enregistrer les transferts d'argent, en mettant l'accent sur la tenue d'une liste de transferts et l'ajout de transferts à un journal mondial. Il explique l'approche synchronisée pour recueillir les messages journal et la structure de classe pour les comptes. L'instructeur démontre le code d'essai simulant les mouvements des comptes et souligne l'importance des opérations atomiques pour éviter les incohérences dans les données.

Enseignant·e·s (3)

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Sanidhya Kashyap

Sanidhya Kashyap is a systems researcher and an assistant professor at the EPFL School of Computer and Communication Sciences (IC). His research focuses on designing systems software that are performant and robust for heterogeneous hardware. He is broadly interested in the area of systems with a particular focus on operating systems, databases, concurrency, scheduling, networks, data analytics, and software testing (fuzzing).

Martin Odersky

Martin Odersky heads the programming research group at EPFL. His research interests cover fundamental as well as applied aspects of programming languages. They include semantics, type systems, programming language design, and compiler construction. The main focus if his work lies in the integration of object-oriented and functional programming. His research thesis is that the two paradigms are just two sides of the same coin and should be unified as much as possible. To prove this he has experimented a number of language designs, from Pizza to GJ to Functional Nets. He has also influenced the development of Java as a co-designer of Java generics and as the original author of the current javac reference compiler. His current work concentrates on the Scala programming language, which unifies FP and OOP, while staying completely interoperable with Java and .NET. Martin Odersky got his doctorate from ETHZ, in 1989. He held research positions at the IBM T.J. Watson Research Center from 1989 and at Yale University from 1991. He was then a professor at the University of Karlsruhe from 1993 and at the University of South Australia from 1997. He joined EPFL as full professor in 1999. He is associate editor of the Journal of Functional Programming and member of IFIP WG 2.8. He was conference chair for ICFP 2000, and program chair for ECOOP 2004 as well as ETAPS/CC 2007.

Source officielle

Concepts associés (15)

Banque en ligne

Un service bancaire en ligne est l'accès aux services bancaires depuis une interface interactive, par exemple un navigateur web. Selon les époques, son accès peut s'effectuer par minitel, par téléphone, depuis un guichet automatique bancaire (GAB), par ordinateur ou grâce à un assistant personnel (PDA) ayant l'Internet. Sa disponibilité permet l'accès aux comptes, d'effectuer des transactions ou d'obtenir des informations financières récentes. La connexion se fait généralement par accès sécurisé.

Service bancaire mobile

260px|thumb|droite|Les banques mobiles jouent un rôle important en Afrique. Un service bancaire mobile, parfois simplifié en banque mobile ou banque sans fil (en mobile banking), correspond aux services financiers (consultation des soldes, transfert, virement) accessibles depuis un téléphone portable ou un autre appareil portable connecté à la toile. Les banques mobiles sont utilisées dans de nombreuses régions démunies d'infrastructures, surtout les régions éloignées ou rurales.

Comptabilité de gestion

La comptabilité de gestion, ou la comptabilité analytique, est un système d'information comptable (exprimé en unités monétaires) qui permet d'informer les dirigeants (ou managers) des organisations afin de prendre des décisions de gestion. L'expression « comptabilité de gestion » a remplacé progressivement l'expression comptabilité analytique en France dans les années 1980. Mais les deux expressions sont parfaitement synonymes.

Synchronisation

thumb|Des parachutistes synchronisent leurs montres avant d'être parachutés en France dans la nuit du 5 au (Opération Tonga). La synchronisation (du grec / sun, « ensemble » et / khrónos, « temps ») est l'action de coordonner plusieurs opérations entre elles en fonction du temps. Les systèmes dont tous les éléments sont synchronisés sont dits synchrones. Certains systèmes tolèrent d'être approximativement synchronisés (quasi synchrones).

Cost accounting

Le cost accounting (littéralement la comptabilité des coûts) est, en management, le fait de trouver et évaluer les différents processus pouvant être mis en œuvre pour résoudre une même tâche au sein d'une entreprise. Son but est de fournir les informations qui permettront au manager de choisir la méthode la plus appropriée, donc la moins coûteuse et la plus efficace. L'évaluation de ces coûts n'est pas forcément monétaire, elle peut être humaine, matérielle ou encore temporelle. Catégorie:Coût Catégorie:Co

Afficher plus

Séances de cours associées (18)

Opérations atomiques : notions de base et applications

Couvre les bases des opérations atomiques dans la proximité et le parallélisme, y compris les opérations fournies par le matériel et les algorithmes synchronisés.

Exécution atomique: Synchronisation dans les threads

Couvre l'exécution atomique dans les threads, les conditions de course, les variables partagées et les blocs synchronisés.

Cohérence séquentielle : Concepts de base

Explique le modèle de cohérence séquentiel dans la concordance et le parallélisme, couvrant l'ordre des programmes, l'atomicité et les implications de performance.

Verrouillages : Mise en place de mécanismes de comptabilisation des devises

Couvre la mise en œuvre des serrures en utilisant compareAndSet et le concept de serrures équitables.

Vue d'ensemble de la concurrence

Explore l'importance de la concurrence dans l'amélioration des performances et de la réactivité du système, en mettant l'accent sur la nécessité de la synchronisation et de l'atomicité pour prévenir les conditions de course et le non-déterminisme.

Afficher plus

Concepts associés (15)

Banque en ligne

Service bancaire mobile

Comptabilité de gestion

Synchronisation

Cost accounting

Afficher plus