November 2017 - Stack@CS Reading Group

[Sysreading] Reading group for 12/1: CAP Theorem
by James Davis 27 Nov '17

27 Nov '17

Hey all, This week's reading group is on the CAP Theorem <https://en.wikipedia.org/wiki/CAP_theorem>. Christy has graciously agreed to lead this discussion, to help those of us working towards the S&P deadline. *Papers* 1. "Brewer's Conjecture": Harvest,Yield,and Scalable Tolerant Systems <https://pdfs.semanticscholar.org/5015/8bc1a8a67295ab7bce0550886a9859000dc2.…> Fox and Brewer, HotOS 1999. 2. Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services, <https://users.ece.cmu.edu/~adrian/731-sp04/readings/GL-cap.pdf> Gilbert and Lynch, ACM SIGACT News, 2002 *Logistics* The usual. Friday, 1 December, 3:30-5:00 PM, KW2, 2225. Regards, Jamie -- Jamie Davis PhD student, Computer Science, 2015-? Virginia Tech http://people.cs.vt.edu/~davisjam/

1 0

[Sysreading] SRG this week: Lamport II: Byzantine Generals
by James Davis 13 Nov '17

13 Nov '17

Hey all, This week's paper is another classic from Lamport with significant implications for developing distributed systems. *Paper* The Byzantine Generals Problem <http://lamport.azurewebsites.net/pubs/byz.pdf>. Lamport, Shostak, and Pease, ACM TOPLAS 1982. *Logistics* "The usual": Friday, Nov. 17, 3:30-5:00 PM, KW2 2225. Regards, Jamie -- Jamie Davis PhD student, Computer Science, 2015-? Virginia Tech http://people.cs.vt.edu/~davisjam/

1 0

[Sysreading] SRG for 11/10: Lamport #1
by James Davis 05 Nov '17

05 Nov '17

Hey all, We've completed our survey of file systems. Hope everybody learned something! We're going to cover some classics next. This week we'll be studying some of Leslie Lamport <http://lamport.azurewebsites.net/>'s work. *Format* I've selected two papers' worth of material. Half of the attendees should read one paper (i.e. the two small papers, #2/#3) and the other half should read the other paper (#4, a longer paper). I also thought #1 would be useful for everyone, it's half a page. As a group we'll talk through both papers, with those who read each paper helping the other half of us. Sign up for papers here <https://docs.google.com/a/vt.edu/spreadsheets/d/1Z_Zau2f2Olfu1B0TeWp99FX37B…>. If one paper looks lonely, please sign up for the other one :-). *Papers* 1: State the problem before writing the solution <http://lamport.azurewebsites.net/pubs/state-the-problem.pdf> 2: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs <http://lamport.azurewebsites.net/pubs/multi.pdf> 3: A New Solution of Dijkstra's Concurrent Programming Problem <http://lamport.azurewebsites.net/pubs/bakery.pdf> 4: Time, Clocks and the Ordering of Events in a Distributed System <https://citemaster.net/get/10b50274-7bc5-11e5-8aa1-00163e009cc7/p558-lampor…> *Logistics* Same as usual. *Where *KWII, room 2225 *When* Friday, November 10, 3:30-5:00 PM Regards, Jamie -- Jamie Davis PhD student, Computer Science, 2015-? Virginia Tech http://people.cs.vt.edu/~davisjam/

1 0