Title	Dynamic Memory - It's Time to Talk About Complexity
Creator	Keidar, Idit
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2016-11-30T09:00
Description	The study of dynamic (reconfigurable) shared objects (mostly, atomic registers emulated by a dynamic set of nodes) has been evolving for more than a decade. In this talk I will demonstrate that we are now finally at the point where we can give clean formulations of dynamic tasks, such as a dynamic atomic shared register, a dynamic replicated state machine, and dynamic atomic snapshots. We also have well-defined failure conditions and liveness notions. Given these definitions, it is now possible to compare objects in terms of computability (for example, a dynamic atomic register is implementable in an asynchronous shared memory system where consensus is not solvable), and complexity.
Extent	55 minutes
Subject	Mathematics; Computer science; Theoretical computer science
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: Technion
Series	BIRS Workshop Lecture Videos (Oaxaca de Juárez (Mexico))
Date Available	2017-06-22
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0348413
URI	http://hdl.handle.net/2429/62093
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos