Groups
Sign in
Groups
Art of Multiprocessor Programming
Conversations
About
Send feedback
Help
Art of Multiprocessor Programming
Contact owners and managers
1–30 of 72
Mark all as read
Report group
0 selected
Hengfeng Wei
,
Yigal Hoffner
4
11/9/20
Q&A
Video lectures on AoMP recorded in Fall 2012
Hi everyone Does anybody have a link to videos of the Herlihy-Shavit course - that i can look at?
unread,
Q&A
Video lectures on AoMP recorded in Fall 2012
Hi everyone Does anybody have a link to videos of the Herlihy-Shavit course - that i can look at?
11/9/20
Junghan Kim
7/6/20
What are the differences between 1st edition and 2nd edition?
Hi, everyone! I'm Junghan from South Korea and Ph.D. student majoring in CS. Recently, I heard
unread,
What are the differences between 1st edition and 2nd edition?
Hi, everyone! I'm Junghan from South Korea and Ph.D. student majoring in CS. Recently, I heard
7/6/20
Rafał Szefler-Tyrowicz
9/17/18
Remove element from lock free skip list based priority queue
Hi guys, I've managed to successfuly implement lock free skip list based priority queue. What I
unread,
Remove element from lock free skip list based priority queue
Hi guys, I've managed to successfuly implement lock free skip list based priority queue. What I
9/17/18
Daniel Sadoc Menasche
4/19/18
questions about Peterson lock and atomicity - bridging chapters 2 and 7
Dear all, in the proofs of chapter 2, it is assumed that reads and writes are atomic, right? Which
unread,
questions about Peterson lock and atomicity - bridging chapters 2 and 7
Dear all, in the proofs of chapter 2, it is assumed that reads and writes are atomic, right? Which
4/19/18
Daniel Sadoc Menasche
3/27/18
bounded bypass
Dear All, while working on exercise 2 of chapter 1, on the distinction between liveness and safety, I
unread,
bounded bypass
Dear All, while working on exercise 2 of chapter 1, on the distinction between liveness and safety, I
3/27/18
Munesh Singh
2
3/11/18
Chapter 10 -- Partial Bounded Queue
Well, to add to my post already here, the code in the book on Partial Bounded Queue (Fig 10.3; Line
unread,
Chapter 10 -- Partial Bounded Queue
Well, to add to my post already here, the code in the book on Partial Bounded Queue (Fig 10.3; Line
3/11/18
Munesh Singh
,
Yigal Hoffner
3
2/19/18
Error in the diagram Figure B.4 Appendix B - Hardware Basics
Hi Yigal, Many thanks for clarifying the issue over caches. I agree that the parallelogram shapes
unread,
Error in the diagram Figure B.4 Appendix B - Hardware Basics
Hi Yigal, Many thanks for clarifying the issue over caches. I agree that the parallelogram shapes
2/19/18
Unmesh Joshi
,
SHEKHAR BHANDAKKAR
3
9/20/16
Exercise 33
Hello, Method calls by different threads are unrelated by program order. So, we can reorder the
unread,
Exercise 33
Hello, Method calls by different threads are unrelated by program order. So, we can reorder the
9/20/16
Ibrahim Dalal
9/14/16
Linearizability is compositional
Hi, This is in regard to Theorem 3.6.1. (Revised Reprint): Theorem 3.6.1. H is linearizable if, and
unread,
Linearizability is compositional
Hi, This is in regard to Theorem 3.6.1. (Revised Reprint): Theorem 3.6.1. H is linearizable if, and
9/14/16
b.nou...@gmail.com
,
Shreya Inamdar
3
9/2/16
Codes
Dear Sherya, Thanks for your prompt answer, I`ll check it out. I wanted to know if I can make
unread,
Codes
Dear Sherya, Thanks for your prompt answer, I`ll check it out. I wanted to know if I can make
9/2/16
Wayne Collins
6/10/16
Q&A
MatrixTask
Chapter 16 - Matrix Multiplication, I have tried to add a main method to the code given in figures
unread,
Q&A
MatrixTask
Chapter 16 - Matrix Multiplication, I have tried to add a main method to the code given in figures
6/10/16
Pushparaj Motamari
,
Chris Uzdavinis
3
5/13/16
Doubt in Concurrent Object chapter about final fields in java.
Hi, Thank you for the reply. I have understood the concept. On Wednesday, 11 May 2016 10:08:19 UTC+2,
unread,
Doubt in Concurrent Object chapter about final fields in java.
Hi, Thank you for the reply. I have understood the concept. On Wednesday, 11 May 2016 10:08:19 UTC+2,
5/13/16
Truc Nguyen Lam
3/21/16
Q&A
Question on Chapter 9, LockFreeList Example
Hi all, I am not quite clear about the example of LockFreeList in Chapter 9. With respect to the
unread,
Q&A
Question on Chapter 9, LockFreeList Example
Hi all, I am not quite clear about the example of LockFreeList in Chapter 9. With respect to the
3/21/16
MoranTza
, …
Truc Nguyen Lam
7
3/18/16
C++ Framework - prebeta - examples "LockFreeQueue.h" & "LockFreeList.h"
Hi Moran, This library is very useful, however, the hyperlinks seem to be not reachable. Could you
unread,
C++ Framework - prebeta - examples "LockFreeQueue.h" & "LockFreeList.h"
Hi Moran, This library is very useful, however, the hyperlinks seem to be not reachable. Could you
3/18/16
Ravi Teja Govinduluri
,
Gavin Lowe
2
8/26/15
Concurrent Priority Queues
Concurrent data structures are often considerably slower than sequential ones. There are a number of
unread,
Concurrent Priority Queues
Concurrent data structures are often considerably slower than sequential ones. There are a number of
8/26/15
maneesh t s v
, …
Gavin Lowe
3
7/3/15
Testing concurrent data structures
If by "correctness" you mean linearizability, you might want to look at http://www.cs.ox.ac
unread,
Testing concurrent data structures
If by "correctness" you mean linearizability, you might want to look at http://www.cs.ox.ac
7/3/15
Radha
, …
Sina Momken
7
6/26/15
partial ordering of events
I was reading the book and also noticed that partial order should be reflexive too. Thanks for
unread,
partial ordering of events
I was reading the book and also noticed that partial order should be reflexive too. Thanks for
6/26/15
Martim Carbone
6/12/15
Quiescent consistency
Hi, I have a question about quiescent consistency. In section 3.3, the shared counter from chapter 1
unread,
Quiescent consistency
Hi, I have a question about quiescent consistency. In section 3.3, the shared counter from chapter 1
6/12/15
maneesh t s v
2
5/30/15
Q&A
Lock free linked list and skip list doubt
is there something i am missing?
unread,
Q&A
Lock free linked list and skip list doubt
is there something i am missing?
5/30/15
XinQiao Wang
, …
Alessio Bogon
4
5/24/15
Excecise 109
So the same wait-free implementation could be used in the fine-grained list, am I right? On Monday,
unread,
Excecise 109
So the same wait-free implementation could be used in the fine-grained list, am I right? On Monday,
5/24/15
Andrew Nguyen
,
Jingguo Yao
2
5/18/15
Question about the proof of Theorem 2.8.1
To answer your first question. Whether C is in CS, the state of location A and location B is the same
unread,
Question about the proof of Theorem 2.8.1
To answer your first question. Whether C is in CS, the state of location A and location B is the same
5/18/15
Jesun Sahariar Firoz
, …
Ben Manes
7
4/19/15
what new topics/update will be in the 3rd edition?
In addition to flat combining, it would be nice to extend the elimination discussion to include a
unread,
what new topics/update will be in the 3rd edition?
In addition to flat combining, it would be nice to extend the elimination discussion to include a
4/19/15
maneesh t s v
,
Maurice Herlihy
2
1/20/15
lock-free skiplist contains method error
Dear Maneesh: Thank you! We will look at this carefully. best, Maurice On Tue, Jan 20, 2015 at 10:48
unread,
lock-free skiplist contains method error
Dear Maneesh: Thank you! We will look at this carefully. best, Maurice On Tue, Jan 20, 2015 at 10:48
1/20/15
pbapba bapbap
6/10/14
Q&A
Use of volatile in ALock (Figure 7.7) unclear
I do not understand the use of volatile in the ALock class of Figure 7.7. The declaration volatile
unread,
Q&A
Use of volatile in ALock (Figure 7.7) unclear
I do not understand the use of volatile in the ALock class of Figure 7.7. The declaration volatile
6/10/14
Elisangela Silva
, …
Semyon Chernyy
6
4/19/14
the peterson algorithm of the package mutex (chapter 2) - the algorithm not complile
sorry but I program in java, is that I got some time without program (inactive)... I already
unread,
the peterson algorithm of the package mutex (chapter 2) - the algorithm not complile
sorry but I program in java, is that I got some time without program (inactive)... I already
4/19/14
jas...@novaleaf.com
, …
Mohan Radhakrishnan
6
4/12/14
Selected Answers to chapter questions (for non-academics)
>I don't suspect you of being a deadbeat undergraduate working on a homework problem :-) The
unread,
Selected Answers to chapter questions (for non-academics)
>I don't suspect you of being a deadbeat undergraduate working on a homework problem :-) The
4/12/14
Elisangela Silva
2
4/18/14
Chapter 2 - exercise 9 -> peterson algorithms for n=2 is bounded waiting ?
Hi People Now I got it Peterson algorithms for two processes is bounded waiting with r=1. Thanks!!!
unread,
Chapter 2 - exercise 9 -> peterson algorithms for n=2 is bounded waiting ?
Hi People Now I got it Peterson algorithms for two processes is bounded waiting with r=1. Thanks!!!
4/18/14
Shivdas Tomar
4/9/14
Can anyone please share solutions of exercises given at the end of each chapter?
Hello, I read in this group that Maurice Herlihy had come up with the solutions of exercises given at
unread,
Can anyone please share solutions of exercises given at the end of each chapter?
Hello, I read in this group that Maurice Herlihy had come up with the solutions of exercises given at
4/9/14
Andrey Brito
, …
Nitish Varshney
4
4/8/14
Lists - Locks in optimistic contains()
Hi Andrey, As you have specified "result that was valid at any point during the execution of the
unread,
Lists - Locks in optimistic contains()
Hi Andrey, As you have specified "result that was valid at any point during the execution of the
4/8/14
f zh
4/1/14
Exercise 82
1. Explain how removing Line28 would violate Lemma6.4.4 I just can not see it violate the Lemma. In
unread,
Exercise 82
1. Explain how removing Line28 would violate Lemma6.4.4 I just can not see it violate the Lemma. In
4/1/14