Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Object numeration mismatch fix #344

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from

Conversation

avpotapov00
Copy link
Collaborator

closes #343

@avpotapov00 avpotapov00 requested a review from ndkoval July 22, 2024 13:43
@avpotapov00 avpotapov00 self-assigned this Jul 22, 2024
Copy link
Collaborator

@ndkoval ndkoval left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hi @avpotapov00! I've reviewed the PR and left some comments. Could you please also rebase it onto the current develop?

| | atomicReference1.READ: AtomicReference#1 at AtomicReferencesFromMultipleFieldsTest.actionsForTrace(AtomicReferencesNamesTests.kt:97) |
| | atomicReference2.READ: AtomicReference#1 at AtomicReferencesFromMultipleFieldsTest.actionsForTrace(AtomicReferencesNamesTests.kt:97) |
| | AtomicReference#1.get(): Node#2 at AtomicReferencesFromMultipleFieldsTest.actionsForTrace(AtomicReferencesNamesTests.kt:97) |
| | AtomicReference#1.compareAndSet(Node#2,Node#3): true at AtomicReferencesFromMultipleFieldsTest.actionsForTrace(AtomicReferencesNamesTests.kt:97) |
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there any difference in this output besides the line numbers?

@@ -231,7 +231,9 @@ internal fun GeneratorAdapter.invokeBeforeEvent(debugMessage: String, setMethodE
push(debugMessage)
invokeStatic(Injections::beforeEvent)
},
elseClause = {}
elseClause = {
invokeStatic(Injections::enumerateObjectsIfNeeded)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This logic contradicts with the invokeBeforeEvent function name

@@ -10,12 +10,12 @@ The following interleaving leads to the error:
| Thread 1 | Thread 2 |
| ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| | enqueue(-1) |
| | q.enqueue(-1) at ObstructionFreedomViolationEventsCutTest.enqueue(SpinlockEventsCutTests.kt:34) |
| | q.enqueue(-1) at ObstructionFreedomViolationEventsCutTest.enqueue(SpinlockEventsCutTests.kt:33) |
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is there any difference besides the line numbers? Please check other outputs as well.

@ndkoval
Copy link
Collaborator

ndkoval commented Sep 24, 2024

@avpotapov00 could you please rebase the PR onto develop and address the comments?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants