Theory Lunch Seminar / Computer Science Speaking Skills Talk
— 1:00pm
Location:
ASA Conference Room 6115
-
Gates Hillman Centers
Speaker:
NAAMA BEN-DAVID
,
Ph.D. Student
http://www.cs.cmu.edu/~nbendavi/
The shared-memory and message-passing models have traditionally been studied separately in the distributed computing community. However, recent trends in hardware have led to machines that may use both shared memory and message-passing primitives. Motivated by these trends, we consider a hybrid message-and-memory model that allows programs to both share memory and pass messages.
We show that the message-and-memory model can leverage the shared memory to become more powerful than the message-passing model in isolation.
In this talk, I will exemplify the power of a message-and-memory network by considering the classic consensus problem. I will show that such a network can tolerate more failures when solving consensus than a purely message-passing one. This is true even when limiting shared memory communication to be only between neighbors in a shared-memory graph, rather than between every pair of processes. In particular, I will show that graphs with good expansion properties provide the best trade-off between scalability and fault-tolerance in this context, and prove tight upper and lower bounds on the fault-tolerance of a message-and-memory network.
Based on joint work with Marcos Aguilera, Irina Calciu, Rachid Guerraoui, Erez Petrank, and Sam Toueg
Presented in Partial Fulfillment of the CSD Speaking Skills Requirement
Event Website:
http://www.cs.cmu.edu/~theorylunch/abstractsHTML/May%209,%202018.html
For More Information:
deb@cs.cmu.edu