Groups

Art of Multiprocessor Programming

1–30 of 72

0 selected

Hengfeng Wei, Yigal Hoffner4

11/9/20

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,

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

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

Dear All, while working on exercise 2 of chapter 1, on the distinction between liveness and safety, I

unread,

Dear All, while working on exercise 2 of chapter 1, on the distinction between liveness and safety, I

3/27/18

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 Hoffner3

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 BHANDAKKAR3

9/20/16

Hello, Method calls by different threads are unrelated by program order. So, we can reorder the

unread,

Hello, Method calls by different threads are unrelated by program order. So, we can reorder the

9/20/16

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 Inamdar3

9/2/16

Dear Sherya, Thanks for your prompt answer, I`ll check it out. I wanted to know if I can make

unread,

Dear Sherya, Thanks for your prompt answer, I`ll check it out. I wanted to know if I can make

9/2/16

6/10/16

Chapter 16 - Matrix Multiplication, I have tried to add a main method to the code given in figures

unread,

Chapter 16 - Matrix Multiplication, I have tried to add a main method to the code given in figures

6/10/16

Pushparaj Motamari, Chris Uzdavinis3

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

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,

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 Lam7

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 Lowe2

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 Lowe3

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 Momken7

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

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

5/30/15

Lock free linked list and skip list doubt

is there something i am missing?

unread,

Lock free linked list and skip list doubt

is there something i am missing?

5/30/15

XinQiao Wang, … Alessio Bogon4

5/24/15

So the same wait-free implementation could be used in the fine-grained list, am I right? On Monday,

unread,

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 Yao2

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 Manes7

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 Herlihy2

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

6/10/14

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,

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 Chernyy6

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 Radhakrishnan6

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 Silva2

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

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 Varshney4

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

4/1/14

1. Explain how removing Line28 would violate Lemma6.4.4 I just can not see it violate the Lemma. In

unread,

1. Explain how removing Line28 would violate Lemma6.4.4 I just can not see it violate the Lemma. In

4/1/14

Search

Clear search

Close search

Google apps

Main menu