Séance de cours

Transferts d'argent : Loge global synchronisé

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-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)

Martin Odersky

Enseignement et PhD Doctorant·es actuel·les Matthieu Bovel, Yaoyu Zhao, Anna Herlihy, Nguyên Cao Pham, Yichen Xu A dirigé les thèses EPFL de Julie Vachon, Matthias Zenger, Michel Schinz, Philippe Altherr, Vincent Cremet, Burak Emir, Stéphane Micheloud, Iulian Dragos, Philipp Haller, Gilles Dubochet, Tiark Rompf, Ingo Maier, Lukas Rytz, Aleksandar Prokopec, Heather Miller, Vlad Ureche, Nada Amin, Manohar Jonnalagedda, Hubert Plociniczak, Vojin Jovanovic, Sandro Stucki, Eugene Burmako, Dmytro Petrashko, Séb

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).

Source officielle

Concepts associés (16)

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.

Synchronisation sans verrouillage : performances et évolutivité

Explore la synchronisation sans verrouillage pour des performances et une évolutivité dans les systèmes distribués, couvrant la génération d'identifiants uniques, les files d'attente de messagerie et les lectures RDMA atomiques.

Synchronisation avancée et mémoire transactionnelle

Couvre les techniques de synchronisation avancées, les opérations atomiques, les implémentations de verrous et la prise en charge matérielle des verrous de file d'attente.

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.

Afficher plus

Concepts associés (16)

Banque en ligne

Service bancaire mobile

Comptabilité de gestion

Synchronisation

Cost accounting

Afficher plus