[M] Change in dart/sdk[main]: [vm] Don't double initialize length fields during object graph copying.

0 views
Skip to first unread message

Ryan Macnak (Gerrit)

unread,
Jul 15, 2026, 3:23:26 PM (13 hours ago) Jul 15
to Alexander Aprelev, dart-...@luci-project-accounts.iam.gserviceaccount.com, rev...@dartlang.org, vm-...@dartlang.org
Attention needed from Alexander Aprelev

New activity on the change

Open in Gerrit

Related details

Attention is currently required from:
  • Alexander Aprelev
Submit Requirements:
  • requirement satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement is not satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I4c0873cb5fbf9088592268fda9a1d5979eb449eb
Gerrit-Change-Number: 524232
Gerrit-PatchSet: 3
Gerrit-Owner: Ryan Macnak <rma...@google.com>
Gerrit-Reviewer: Alexander Aprelev <a...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-Attention: Alexander Aprelev <a...@google.com>
Gerrit-Comment-Date: Wed, 15 Jul 2026 19:23:22 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: No
satisfied_requirement
unsatisfied_requirement
open
diffy

Alexander Aprelev (Gerrit)

unread,
Jul 15, 2026, 3:44:57 PM (12 hours ago) Jul 15
to Ryan Macnak, Alexander Aprelev, dart-...@luci-project-accounts.iam.gserviceaccount.com, rev...@dartlang.org, vm-...@dartlang.org
Attention needed from Ryan Macnak

Alexander Aprelev voted Code-Review+1

Code-Review+1
Open in Gerrit

Related details

Attention is currently required from:
  • Ryan Macnak
Submit Requirements:
  • requirement satisfiedCode-Owners
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I4c0873cb5fbf9088592268fda9a1d5979eb449eb
Gerrit-Change-Number: 524232
Gerrit-PatchSet: 3
Gerrit-Owner: Ryan Macnak <rma...@google.com>
Gerrit-Reviewer: Alexander Aprelev <a...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-Attention: Ryan Macnak <rma...@google.com>
Gerrit-Comment-Date: Wed, 15 Jul 2026 19:44:50 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy

Alexander Markov (Gerrit)

unread,
Jul 15, 2026, 3:52:05 PM (12 hours ago) Jul 15
to Ryan Macnak, Alexander Markov, Alexander Aprelev, dart-...@luci-project-accounts.iam.gserviceaccount.com, rev...@dartlang.org, vm-...@dartlang.org
Attention needed from Ryan Macnak

Alexander Markov added 1 comment

File runtime/vm/object_graph_copy.cc
Line 1835, Patchset 3 (Latest): Base::StoreCompressedPointersNoBarrier(from, to,
OFFSET_OF(UntaggedArray, length_),
OFFSET_OF(UntaggedArray, length_));
Alexander Markov . unresolved

DBC

Why is this not moved under the `else` part above?

Open in Gerrit

Related details

Attention is currently required from:
  • Ryan Macnak
Submit Requirements:
  • requirement satisfiedCode-Owners
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I4c0873cb5fbf9088592268fda9a1d5979eb449eb
Gerrit-Change-Number: 524232
Gerrit-PatchSet: 3
Gerrit-Owner: Ryan Macnak <rma...@google.com>
Gerrit-Reviewer: Alexander Aprelev <a...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-CC: Alexander Markov <alexm...@google.com>
Gerrit-Comment-Date: Wed, 15 Jul 2026 19:52:02 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
satisfied_requirement
open
diffy

Ryan Macnak (Gerrit)

unread,
Jul 15, 2026, 3:52:10 PM (12 hours ago) Jul 15
to Alexander Markov, Alexander Aprelev, dart-...@luci-project-accounts.iam.gserviceaccount.com, rev...@dartlang.org, vm-...@dartlang.org

Ryan Macnak voted Commit-Queue+2

Commit-Queue+2
Open in Gerrit

Related details

Attention set is empty
Submit Requirements:
  • requirement satisfiedCode-Owners
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I4c0873cb5fbf9088592268fda9a1d5979eb449eb
Gerrit-Change-Number: 524232
Gerrit-PatchSet: 3
Gerrit-Owner: Ryan Macnak <rma...@google.com>
Gerrit-Reviewer: Alexander Aprelev <a...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-CC: Alexander Markov <alexm...@google.com>
Gerrit-Comment-Date: Wed, 15 Jul 2026 19:52:06 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes
satisfied_requirement
open
diffy

dart-scoped@luci-project-accounts.iam.gserviceaccount.com (Gerrit)

unread,
Jul 15, 2026, 3:52:24 PM (12 hours ago) Jul 15
to Ryan Macnak, Alexander Markov, Alexander Aprelev, rev...@dartlang.org, vm-...@dartlang.org

dart-...@luci-project-accounts.iam.gserviceaccount.com submitted the change

Change information

Commit message:
[vm] Don't double initialize length fields during object graph copying.

Avoids supurious data race with the concurrent marker.

TEST=tsan
Bug: https://github.com/dart-lang/sdk/issues/63817
Bug: https://github.com/dart-lang/sdk/issues/63181
Change-Id: I4c0873cb5fbf9088592268fda9a1d5979eb449eb
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/524232
Commit-Queue: Ryan Macnak <rma...@google.com>
Reviewed-by: Alexander Aprelev <a...@google.com>
Files:
  • M runtime/vm/object_graph_copy.cc
  • M runtime/vm/raw_object.cc
  • M runtime/vm/raw_object.h
Change size: M
Delta: 3 files changed, 35 insertions(+), 19 deletions(-)
Branch: refs/heads/main
Submit Requirements:
  • requirement satisfiedCode-Review: +1 by Alexander Aprelev
Open in Gerrit
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: merged
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I4c0873cb5fbf9088592268fda9a1d5979eb449eb
Gerrit-Change-Number: 524232
Gerrit-PatchSet: 4
Gerrit-Owner: Ryan Macnak <rma...@google.com>
Gerrit-Reviewer: Alexander Aprelev <a...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
open
diffy
satisfied_requirement

Ryan Macnak (Gerrit)

unread,
Jul 15, 2026, 5:40:57 PM (10 hours ago) Jul 15
to dart-...@luci-project-accounts.iam.gserviceaccount.com, Alexander Markov, Alexander Aprelev, rev...@dartlang.org, vm-...@dartlang.org

Ryan Macnak added 2 comments

File runtime/vm/object_graph_copy.cc
Line 1835, Patchset 3: Base::StoreCompressedPointersNoBarrier(from, to,
OFFSET_OF(UntaggedArray, length_),
OFFSET_OF(UntaggedArray, length_));
Alexander Markov . resolved

DBC

Why is this not moved under the `else` part above?

Line 1835, Patchset 3: Base::StoreCompressedPointersNoBarrier(from, to,
OFFSET_OF(UntaggedArray, length_),
OFFSET_OF(UntaggedArray, length_));
Alexander Markov . unresolved

DBC

Why is this not moved under the `else` part above?

Ryan Macnak

Good catch!

Open in Gerrit

Related details

Attention set is empty
Submit Requirements:
  • requirement satisfiedCode-Owners
  • requirement satisfiedCode-Review
  • requirement satisfiedCommit-Message-Has-TEST
  • requirement satisfiedReview-Enforcement
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. DiffyGerrit
Gerrit-MessageType: comment
Gerrit-Project: sdk
Gerrit-Branch: main
Gerrit-Change-Id: I4c0873cb5fbf9088592268fda9a1d5979eb449eb
Gerrit-Change-Number: 524232
Gerrit-PatchSet: 4
Gerrit-Owner: Ryan Macnak <rma...@google.com>
Gerrit-Reviewer: Alexander Aprelev <a...@google.com>
Gerrit-Reviewer: Ryan Macnak <rma...@google.com>
Gerrit-CC: Alexander Markov <alexm...@google.com>
Gerrit-Comment-Date: Wed, 15 Jul 2026 21:40:54 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Alexander Markov <alexm...@google.com>
satisfied_requirement
open
diffy
Reply all
Reply to author
Forward
0 new messages