[Patch axel 33] SMP lock #73
Draft
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
axel-h
force-pushed
the
patch-axel-33
branch
11 times, most recently
from
7d35599 to
aad66b5
Compare
axel-h
force-pushed
the
patch-axel-33
branch
4 times, most recently
from
84d2540 to
d111101
Compare
axel-h
force-pushed
the
patch-axel-33
branch
3 times, most recently
from
3730d2d to
0e7eb70
Compare
axel-h
force-pushed
the
patch-axel-33
branch
3 times, most recently
from
f278cdf to
17c024e
Compare
axel-h
force-pushed
the
patch-axel-33
branch
3 times, most recently
from
9a8f29e to
897c5a5
Compare
axel-h
force-pushed
the
patch-axel-33
branch
2 times, most recently
from
29a2564 to
763d49a
Compare
axel-h
force-pushed
the
patch-axel-33
branch
2 times, most recently
from
120b34f to
bb260f7
Compare
axel-h
force-pushed
the
patch-axel-33
branch
2 times, most recently
from
a2ec6ea to
dd3697f
Compare
axel-h
force-pushed
the
patch-axel-33
branch
4 times, most recently
from
ae9c1c6 to
ffd2309
Compare
axel-h
force-pushed
the
patch-axel-33
branch
2 times, most recently
from
6c6d966 to
26a5aad
Compare
axel-h
force-pushed
the
patch-axel-33
branch
2 times, most recently
from
d59636f to
44d5a2e
Compare
axel-h
force-pushed
the
patch-axel-33
branch
from
44d5a2e to
68b201b
Compare
The CLH lock is a FIFO lock and the sel4_atomic_exchange operation is only used for adding the node to the end of the lock queue. Even if all nodes arrive at the lock at the same time, the last node to succeed will only wait for as long as it takes for other nodes to complete the exchange first.
Signed-off-by: Axel Heider <[email protected]
The function name is misleading, this is not generic. Also, it is used in exactly one place. Signed-off-by: Axel Heider <[email protected]>
If the atomic swap cannot be guaranteed, there is not point in updating the value. Signed-off-by: Axel Heider <[email protected]>
Signed-off-by: Axel Heider <[email protected]>
Signed-off-by: Axel Heider <[email protected]>
axel-h
force-pushed
the
patch-axel-33
branch
from
06f20b0 to
4ea3b9f
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
for seL4#856