We're sorry but this page doesn't work properly without JavaScript enabled. Please enable it to continue.
Feedback

Concurrent Programming Made Simple

00:00
subtitles
off
playback rate
1
subtitles
off
English (auto-generated)
playback rate
0.25
0.5
0.75
1
1.25
1.5
1.75
2
quality
576p
4
 Cite
 Share
 Download Purchase
Logo of FOSDEM VZWFOSDEM VZW
 Diegues, Nuno Riegel, Torvald

Formal Metadata

Title
Concurrent Programming Made Simple
Subtitle
The (r)evolution of Transactional Memory
Title of Series
Number of Parts
199
Author
License
CC Attribution 2.0 Belgium:
You are free to use, adapt and copy, distribute and transmit the work or content in adapted or unchanged form for any legal purpose as long as the work is attributed to the author in the manner specified by the author or licensor.
Identifiers
Publisher
Release Date
Language

Content Metadata

Subject Area
Genre
Abstract
This talk will present Transactional Memory, a programming abstraction for managing concurrency, both in multi-threaded programs running on multi-core processors as well as in distributed cloud infra-structures. This talk will present Transactional Memory (TM), a programming abstraction for managing concurrency, both in multi-threaded programs running on multi-core processors as well as in distributed cloud infra-structures. TM allows programmers to declare which parts of a program need to run atomically (i.e., as indivisible steps), while a generic implementation involving compilers, runtime libraries, middleware, and hardware support for TM takes care of ensuring this atomicity at runtime. The two presenters will give an overview of recent advances, standardization efforts (e.g., for C++), and open-source tools providing support for TM (e.g., GCC).
00:00
Total S.A.Computer virusParallel portConcurrency (computer science)Database transactionSemiconductor memoryDemosceneStudent's t-testData storage deviceSystem callWordComputer programmingMultiplication signRight angleArithmetic meanXMLComputer animationLecture/ConferenceMeeting/Interview
00:40
Group actionConcurrency (computer science)Line (geometry)Computer programmingMultiplication signState of matterSemiconductor memoryAssociative propertyLevel (video gaming)Shared memorySynchronizationDatabase transactionAtomic numberContext awarenessJSONXMLLecture/ConferenceMeeting/InterviewUMLComputer animation
01:27
DatabaseAtomic numberMessage passingComputerWebsiteComputer hardwareBitCombinational logicXML
02:15
Atomic numberWebsiteRight angleGroup actionSet (mathematics)Computer hardwareSoftware testingLecture/Conference
03:04
Database transactionSemiconductor memoryCodeSequenceAbstractionAreaMachine visionComputer programmingProgrammer (hardware)ImplementationAtomic numberDifferent (Kate Ryan album)XMLComputer animationUML
03:43
Right angleComputer hardwareDatabase transactionStatement (computer science)Vector potentialData storage deviceConstructor (object-oriented programming)CASE <Informatik>ConsistencyVirtual machineComputer programmingSemiconductor memoryHigh-level programming languageSemantics (computer science)CompilerTask (computing)Functional programmingSingle-precision floating-point formatWorkstation <Musikinstrument>QuicksortTupleProgramming languageStandard deviationMereologyReal numberImplementationFocus (optics)Revision controlCompilation albumExecution unitCodePerturbation theoryLogic programmingArithmetic meanShared memoryInstance (computer science)Assembly languageLevel (video gaming)AbstractionProcedural programmingTape driveObservational studyAtomic numberModal logicPressureWebsiteGroup actionSinc functionSoftwareSocial classMultiplication signStructural loadComputer programMixed realityData typeBefehlsprozessor
07:08
Latent heatDatabase transactionAttribute grammarSlide ruleFunctional programmingNumberWeb 2.0Semantics (computer science)SynchronizationConcurrency (computer science)Pointer (computer programming)System callInformationEndliche ModelltheorieSemiconductor memoryTheory of relativitySequenceArithmetic meanRight angleLevel (video gaming)CASE <Informatik>Programming languageAutomationOrder (biology)MultiplicationImplementationWordProduct (business)Computer programmingThread (computing)DatabaseFlagXMLLecture/Conference
09:37
Database transactionComputer programmingResultantBit rateReading (process)Thread (computing)Semiconductor memoryCompilerComputer programmingImplementationModulare ProgrammierungLecture/ConferenceXML
10:23
Generic programmingCartesian coordinate systemSynchronizationAtomic numberInsertion lossMetadataAssociative propertyDefault (computer science)Limit (category theory)Programmer (hardware)Functional programmingImplementationDatabase transactionDeadlockState of matterXML
11:05
SynchronizationDatabase transactionArithmetic progressionFunctional programmingConcurrency (computer science)Thread (computing)Order (biology)Electronic mailing listElement (mathematics)CompilerRight angleBlock (periodic table)Interface (computing)Integrated development environmentCellular automatonSemiconductor memoryGeneric programmingInsertion lossLecture/ConferenceXML
12:29
Database transactionElectronic mailing listThread (computing)ConsistencyImplementation2 (number)Stability theoryRight angleGeneric programmingLibrary (computing)WebsiteCompilerRun time (program lifecycle phase)Lecture/ConferenceXML
13:23
Exception handlingDatabase transactionProgrammer (hardware)CompilerCodeAtomic numberComputer programmingParsingMultiplication signCompilation albumLibrary (computing)Data storage deviceRun time (program lifecycle phase)Functional programmingSemiconductor memoryMechanism designStructural loadHookingLecture/ConferenceXML
14:32
Structural loadCodeResultantLibrary (computing)Database transactionRun time (program lifecycle phase)Data storage devicePoint (geometry)ImplementationArmRight angleSynchronizationElectric generatorTerm (mathematics)BitCompilerCASE <Informatik>Functional programmingMultiplication signWebsiteOverhead (computing)System callLecture/ConferenceXML
15:29
CASE <Informatik>Atomic numberImplementationSoftwareRun time (program lifecycle phase)Semiconductor memoryDifferent (Kate Ryan album)Computer hardwareDatabase transactionModemAlgorithmBitMappingSet (mathematics)Exception handlingDefault (computer science)CodeAsynchronous Transfer ModeLoginLibrary (computing)PowerPCLecture/ConferenceXML
16:43
Database transactionOffice suiteSemiconductor memory1 (number)Channel capacityQuicksortComputer hardwareLecture/Conference
17:25
Computer hardwareDatabase transactionCodeScanning tunneling microscopeHybrid computerOverhead (computing)Slide ruleGroup actionPoint (geometry)XMLLecture/Conference
18:05
Chemical equationSemiconductor memoryRight angleMultiplication signConcurrency (computer science)Overhead (computing)Mathematical optimizationImplementationPoint (geometry)CASE <Informatik>Arithmetic progressionUsabilityCode refactoringCompilerLimit (category theory)Order (biology)Database transactionCodeComputer hardwareResource allocationAbstractionSlide ruleProgrammer (hardware)System callLevel (video gaming)Buffer solutionLink (knot theory)PlotterElectric generatorTunisSoftwareHybrid computerAlgorithmCodeBitCache (computing)XML
20:50
Computer programmingSemiconductor memoryImplementationComputer programCartesian coordinate systemGame controllerDatabase transactionRevision controlCode refactoringCodeResource allocationOvalPoint (geometry)Programmer (hardware)Numbering schemeProteinArmPower (physics)Pattern languageStructured programmingLecture/Conference
21:36
Sheaf (mathematics)Overhead (computing)Scaling (geometry)CodeComputer hardwareEstimatorAtomic numberSystem callMathematicsTunisRevision controlScanning tunneling microscopeRight angleScalabilityConstructor (object-oriented programming)Limit (category theory)WorkloadSemiconductor memorySingle-precision floating-point formatEndliche ModelltheorieForm (programming)Database transactionData structureThread (computing)Statistical dispersionElement (mathematics)Real numberMultiplicationPhysical lawXML
23:57
Hybrid computerImplementationScanning tunneling microscopeHidden Markov modelSupport vector machineCartesian coordinate systemRun time (program lifecycle phase)Software bugTraffic reportingLatent heatPoint (geometry)FeedbackVideoconferencingSynchronizationDifferent (Kate Ryan album)Library (computing)Extension (kinesiology)ArmMechanism designBlogCivil engineeringProgrammer (hardware)Term (mathematics)Multiplication signGraph (mathematics)SequelLecture/ConferenceComputer animation
25:31
Graph coloringImplementationGroup actionObservational studyLatent heatCodeTunisOrder (biology)Virtual machineRegulator genePoint (geometry)System programmingStack (abstract data type)Database transactionIntegrated development environmentIndependence (probability theory)Position operatorArithmetic meanDynamical systemCartesian coordinate systemSemiconductor memoryAbstractionData storage deviceDifferent (Kate Ryan album)Device driverTerm (mathematics)Distribution (mathematics)Set (mathematics)Electronic mailing listBuildingPrice indexTelecommunicationMultiplication signCellular automatonSoftwareRule of inferenceLogic programmingLecture/ConferenceXMLMeeting/Interview
28:10
Fault-tolerant systemWater vaporFacebookScaling (geometry)Replication (computing)BitCASE <Informatik>Virtual machineSubsetSystem programmingNatural numberConsistencyDatabase transactionGame theoryServer (computing)Translation (relic)Rule of inferenceReflection (mathematics)Point (geometry)Position operatorMultiplication signSkewnessProgrammer (hardware)Sheaf (mathematics)SequenceSoftware bugConcurrency (computer science)Client (computing)AbstractionLecture/ConferenceMeeting/InterviewComputer animationDiagram
31:14
SequenceCASE <Informatik>ScalabilityBootstrap aggregatingDatabase transactionSoftware frameworkCommunications protocolReplication (computing)Point (geometry)Computer programWordProgrammer (hardware)Direction (geometry)Flow separationPartial derivativeBuildingGoogolMeeting/InterviewXML
32:30
Domain nameLatent heatCartesian coordinate systemCodeComputer programModeling languageImplementationSocial classGame controllerInteractive televisionProgramming languageProcess (computing)Structured programmingDemosceneMedical imagingComputer fileMultiplication signSoftware frameworkProgrammer (hardware)Theory of relativityInterface (computing)BitData storage deviceRight angleMusical ensembleFocus (optics)Goodness of fitDatabase transactionEuler anglesCASE <Informatik>Expert systemComputerOnline helpSystem programmingMappingContext awarenessData managementDistribution (mathematics)Instance (computer science)Configuration spaceJava appletCountingOpen sourceCodeIntrusion detection systemConcurrency (computer science)Local ringBoiling pointView (database)Different (Kate Ryan album)Endliche ModelltheorieFront and back endsFlow separationMeeting/InterviewXML
36:50
Programmer (hardware)Database transactionSerializabilityCodeCartesian coordinate systemControl systemOpen sourceBoilerplate (text)MereologyBitProcess (computing)Front and back endsComputer programWebsiteConsistencyDistribution (mathematics)Domain nameDatabaseReplication (computing)Term (mathematics)Concurrency (computer science)Universe (mathematics)Structural loadInstance (computer science)Software frameworkAlgorithmAtomic numberCategory of beingComputer fileConfiguration spaceField (computer science)Reading (process)TelecommunicationHybrid computerGroup actionCASE <Informatik>Multiplication signPoint (geometry)SineSystem programmingComputerSoftware bugSocial classMeeting/InterviewXML
39:47
Universe (mathematics)Point (geometry)Line (geometry)MereologyEndliche ModelltheorieLevel (video gaming)Functional programmingDomain nameInstance (computer science)Object-oriented programmingStudent's t-testCodeSystem programmingArithmetic meanMeeting/Interview
40:33
Computer programCartesian coordinate systemSubject indexingService (economics)Attribute grammarSystem programmingScalabilityServer (computing)1 (number)Virtual machineAxiom of choiceCodeTask (computing)Local ringOperator (mathematics)Software frameworkCASE <Informatik>Drop (liquid)CodeCellular automatonOvalTheory of relativityRun time (program lifecycle phase)Complex (psychology)Atomic numberState of matterFormal grammarUniform resource locatorVector spaceContext awarenessXML
42:52
Mechanism designProgrammer (hardware)Computer programmingWebsiteSoftwareCodeLine (geometry)Multiplication signComplex (psychology)InformationExpressionOpen sourceUniverse (mathematics)Software frameworkProjective planeComputer programDifferent (Kate Ryan album)1 (number)Computer programmingLecture/ConferenceJSONXML
44:18
Data managementInstance (computer science)Front and back endsMereologyPoint cloudConnectivity (graph theory)ConsistencyRule of inferenceSequelSystem callScalabilityWorkstation <Musikinstrument>Lecture/ConferenceMeeting/InterviewJSONXMLUML
45:47
Centralizer and normalizerCASE <Informatik>Database transactionComputer programAbstractionProgramming languageIndependence (probability theory)Connectivity (graph theory)Virtual machineDifferent (Kate Ryan album)Domain nameCode refactoringFront and back endsData managementRight angleService (economics)Lecture/Conference
46:45
SequelVirtual machineSoftware frameworkMereologyTrailVisualization (computer graphics)Compilation albumNumberCompilerElectronic program guideSystem programmingMultiplication signConsistencyDistribution (mathematics)CASE <Informatik>Flow separationThermal conductivityImplementationCellular automatonDatabase transactionInterface (computing)Programming languageSemiconductor memoryGroup actionSet (mathematics)Computer programmingObservational studyImage resolutionEvent horizonLogic programmingFront and back endsResultantSubsetPoint (geometry)Heegaard splittingTouch typingComputer programReplication (computing)JSONXMLUMLLecture/Conference
Transcript: English(auto-generated)