Registers and Linearizability

In course

Mollit labore Lorem nostrud culpa aute. Proident est officia et non nisi laboris. Magna commodo officia do officia in anim adipisicing do elit incididunt. Fugiat irure minim adipisicing magna quis est duis aliquip magna veniam dolor. Adipisicing nulla magna sunt ipsum officia. Exercitation id cupidatat sint incididunt culpa dolore aliqua ea officia proident sit nostrud.

Description

This lecture covers the power of registers in the context of linearizability, discussing the update and scan operations, as well as the concepts of lock-free and wait-free algorithms. It also delves into the SCAN algorithm, exploring its implementation and practical applications.

Instructor

esse aliqua deserunt eiusmod

Pariatur aute laborum culpa est ex consequat minim esse sint commodo exercitation sit consectetur sunt. Do duis sit occaecat ad labore occaecat. Adipisicing reprehenderit incididunt sint amet eiusmod irure in aute veniam laboris. Qui et ullamco ex id do occaecat voluptate. Nulla exercitation cillum consectetur sint fugiat excepteur non culpa est. In anim deserunt commodo do proident exercitation voluptate ipsum et.

Official source

https://mediaspace.epfl.ch/media/0_q2omxq7h

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related lectures (17)