[sandbox][testing] Filter out Arm64 unaddressable crashes [v8/v8 : main]

0 views
Skip to first unread message

Maksim Ivanov (Gerrit)

unread,
Jun 1, 2026, 6:13:15 PM (8 days ago) Jun 1
to Samuel Groß, android-bu...@system.gserviceaccount.com, v8-s...@luci-project-accounts.iam.gserviceaccount.com, victorgo...@chromium.org, v8-re...@googlegroups.com
Attention needed from Samuel Groß

Maksim Ivanov added 1 comment

Patchset-level comments
File-level comment, Patchset 3 (Latest):
Maksim Ivanov . resolved

WDYT - this seems to fix spurious errors on ARM64. It doesn't address LA57 (even this simple test case triggers sandbox violation detected) but I'm not sure about the plan there.

Open in Gerrit

Related details

Attention is currently required from:
  • Samuel Groß
Submit Requirements:
  • requirement is not satisfiedCode-Owners
  • requirement is not satisfiedCode-Review
  • 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: v8/v8
Gerrit-Branch: main
Gerrit-Change-Id: Icadcd351c978215c0304ad3c30c4049b339dd4ad
Gerrit-Change-Number: 7880956
Gerrit-PatchSet: 3
Gerrit-Owner: Maksim Ivanov <em...@google.com>
Gerrit-Reviewer: Maksim Ivanov <em...@google.com>
Gerrit-Reviewer: Samuel Groß <sa...@chromium.org>
Gerrit-Attention: Samuel Groß <sa...@chromium.org>
Gerrit-Comment-Date: Mon, 01 Jun 2026 22:13:10 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
unsatisfied_requirement
open
diffy

Samuel Groß (Gerrit)

unread,
Jun 2, 2026, 10:58:14 AM (8 days ago) Jun 2
to Maksim Ivanov, android-bu...@system.gserviceaccount.com, v8-s...@luci-project-accounts.iam.gserviceaccount.com, victorgo...@chromium.org, v8-re...@googlegroups.com
Attention needed from Maksim Ivanov

Samuel Groß added 1 comment

Patchset-level comments
File-level comment, Patchset 3:
Maksim Ivanov . unresolved

WDYT - this seems to fix spurious errors on ARM64. It doesn't address LA57 (even this simple test case triggers sandbox violation detected) but I'm not sure about the plan there.

Samuel Groß

So what are the different configuration options? Is it just 48 or 57 bits? Or are there other address space configurations? I think currently the sandbox pretty much expects 48 bit VA, so we could also hardcode that into the filter, or alternatively mark the (assumed to be non-canonical) address range as safe memory region. But I agree, it probably also depends a bit on our plan for LA57.

Open in Gerrit

Related details

Attention is currently required from:
  • Maksim Ivanov
Submit Requirements:
    • requirement is not satisfiedCode-Owners
    • requirement is not satisfiedCode-Review
    • requirement is not satisfiedNo-Unresolved-Comments
    • 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: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Icadcd351c978215c0304ad3c30c4049b339dd4ad
    Gerrit-Change-Number: 7880956
    Gerrit-PatchSet: 5
    Gerrit-Attention: Maksim Ivanov <em...@google.com>
    Gerrit-Comment-Date: Tue, 02 Jun 2026 14:58:10 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    Comment-In-Reply-To: Maksim Ivanov <em...@google.com>
    unsatisfied_requirement
    open
    diffy

    Maksim Ivanov (Gerrit)

    unread,
    Jun 5, 2026, 8:13:31 AM (5 days ago) Jun 5
    to Michael Lippautz, Omer Katz, Samuel Groß, android-bu...@system.gserviceaccount.com, v8-s...@luci-project-accounts.iam.gserviceaccount.com, victorgo...@chromium.org, v8-re...@googlegroups.com
    Attention needed from Michael Lippautz, Omer Katz and Samuel Groß

    Maksim Ivanov added 1 comment

    Patchset-level comments
    Maksim Ivanov . unresolved

    WDYT - this seems to fix spurious errors on ARM64. It doesn't address LA57 (even this simple test case triggers sandbox violation detected) but I'm not sure about the plan there.

    Samuel Groß

    So what are the different configuration options? Is it just 48 or 57 bits? Or are there other address space configurations? I think currently the sandbox pretty much expects 48 bit VA, so we could also hardcode that into the filter, or alternatively mark the (assumed to be non-canonical) address range as safe memory region. But I agree, it probably also depends a bit on our plan for LA57.

    Maksim Ivanov

    I found information about 48, 52 (ARMv8.2-A) and 57 bits.

    Hardcoding max=48 bits in the filter can also be OK as a stop-gap solution until we figure out what to do with the sandbox.

    Originally I was trying to make crash filters independent from the sandbox' own logic and just inferring actual virtual address space boundaries. However, it's probably pointless if the sandbox itself hardcodes 48 bits (is the latter true? does perhaps the fast untagging rely on <=48 bits?..).

    Adding @mlippautz, @omerkatz for thoughts as well.

    Open in Gerrit

    Related details

    Attention is currently required from:
    • Michael Lippautz
    • Omer Katz
    • Samuel Groß
    Submit Requirements:
    • requirement is not satisfiedCode-Owners
    • requirement is not satisfiedCode-Review
    • requirement is not satisfiedNo-Unresolved-Comments
    • 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: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Icadcd351c978215c0304ad3c30c4049b339dd4ad
    Gerrit-Change-Number: 7880956
    Gerrit-PatchSet: 5
    Gerrit-Owner: Maksim Ivanov <em...@google.com>
    Gerrit-Reviewer: Maksim Ivanov <em...@google.com>
    Gerrit-Reviewer: Michael Lippautz <mlip...@chromium.org>
    Gerrit-Reviewer: Omer Katz <omer...@chromium.org>
    Gerrit-Attention: Omer Katz <omer...@chromium.org>
    Gerrit-Attention: Samuel Groß <sa...@chromium.org>
    Gerrit-Attention: Michael Lippautz <mlip...@chromium.org>
    Gerrit-Comment-Date: Fri, 05 Jun 2026 12:13:27 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    Comment-In-Reply-To: Maksim Ivanov <em...@google.com>
    Comment-In-Reply-To: Samuel Groß <sa...@chromium.org>
    unsatisfied_requirement
    open
    diffy

    Omer Katz (Gerrit)

    unread,
    Jun 5, 2026, 9:11:55 AM (5 days ago) Jun 5
    to Maksim Ivanov, Michael Lippautz, Samuel Groß, android-bu...@system.gserviceaccount.com, v8-s...@luci-project-accounts.iam.gserviceaccount.com, victorgo...@chromium.org, v8-re...@googlegroups.com
    Attention needed from Maksim Ivanov, Michael Lippautz and Samuel Groß

    Omer Katz added 1 comment

    Patchset-level comments
    Maksim Ivanov . unresolved

    WDYT - this seems to fix spurious errors on ARM64. It doesn't address LA57 (even this simple test case triggers sandbox violation detected) but I'm not sure about the plan there.

    Samuel Groß

    So what are the different configuration options? Is it just 48 or 57 bits? Or are there other address space configurations? I think currently the sandbox pretty much expects 48 bit VA, so we could also hardcode that into the filter, or alternatively mark the (assumed to be non-canonical) address range as safe memory region. But I agree, it probably also depends a bit on our plan for LA57.

    Maksim Ivanov

    I found information about 48, 52 (ARMv8.2-A) and 57 bits.

    Hardcoding max=48 bits in the filter can also be OK as a stop-gap solution until we figure out what to do with the sandbox.

    Originally I was trying to make crash filters independent from the sandbox' own logic and just inferring actual virtual address space boundaries. However, it's probably pointless if the sandbox itself hardcodes 48 bits (is the latter true? does perhaps the fast untagging rely on <=48 bits?..).

    Adding @mlippautz, @omerkatz for thoughts as well.

    Omer Katz

    IIUC the issue for the sandbox with LA57 would be reservation size and not having enough bits for tags, right?
    Could we "force" 48-bit VA by mapping any address requiring more than 48 bits as inaccessible? Just so we can safely assume a 48-bit VA until we have a better solution.

    Open in Gerrit

    Related details

    Attention is currently required from:
    • Maksim Ivanov
    • Michael Lippautz
    • Samuel Groß
    Submit Requirements:
    • requirement is not satisfiedCode-Owners
    • requirement is not satisfiedCode-Review
    • requirement is not satisfiedNo-Unresolved-Comments
    • 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: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Icadcd351c978215c0304ad3c30c4049b339dd4ad
    Gerrit-Change-Number: 7880956
    Gerrit-PatchSet: 5
    Gerrit-Owner: Maksim Ivanov <em...@google.com>
    Gerrit-Reviewer: Maksim Ivanov <em...@google.com>
    Gerrit-Reviewer: Michael Lippautz <mlip...@chromium.org>
    Gerrit-Reviewer: Omer Katz <omer...@chromium.org>
    Gerrit-Reviewer: Samuel Groß <sa...@chromium.org>
    Gerrit-Attention: Maksim Ivanov <em...@google.com>
    Gerrit-Attention: Samuel Groß <sa...@chromium.org>
    Gerrit-Attention: Michael Lippautz <mlip...@chromium.org>
    Gerrit-Comment-Date: Fri, 05 Jun 2026 13:11:50 +0000
    unsatisfied_requirement
    open
    diffy

    Michael Lippautz (Gerrit)

    unread,
    Jun 9, 2026, 2:28:35 PM (15 hours ago) Jun 9
    to Maksim Ivanov, Code Review Nudger, Omer Katz, Samuel Groß, android-bu...@system.gserviceaccount.com, v8-s...@luci-project-accounts.iam.gserviceaccount.com, victorgo...@chromium.org, v8-re...@googlegroups.com
    Attention needed from Maksim Ivanov and Samuel Groß

    Michael Lippautz added 1 comment

    Patchset-level comments
    Maksim Ivanov . unresolved

    WDYT - this seems to fix spurious errors on ARM64. It doesn't address LA57 (even this simple test case triggers sandbox violation detected) but I'm not sure about the plan there.

    Samuel Groß

    So what are the different configuration options? Is it just 48 or 57 bits? Or are there other address space configurations? I think currently the sandbox pretty much expects 48 bit VA, so we could also hardcode that into the filter, or alternatively mark the (assumed to be non-canonical) address range as safe memory region. But I agree, it probably also depends a bit on our plan for LA57.

    Maksim Ivanov

    I found information about 48, 52 (ARMv8.2-A) and 57 bits.

    Hardcoding max=48 bits in the filter can also be OK as a stop-gap solution until we figure out what to do with the sandbox.

    Originally I was trying to make crash filters independent from the sandbox' own logic and just inferring actual virtual address space boundaries. However, it's probably pointless if the sandbox itself hardcodes 48 bits (is the latter true? does perhaps the fast untagging rely on <=48 bits?..).

    Adding @mlippautz, @omerkatz for thoughts as well.

    Omer Katz

    IIUC the issue for the sandbox with LA57 would be reservation size and not having enough bits for tags, right?
    Could we "force" 48-bit VA by mapping any address requiring more than 48 bits as inaccessible? Just so we can safely assume a 48-bit VA until we have a better solution.

    Michael Lippautz

    We expect 48 bits for now so encoding that is okay.

    We can also assume for now that 57 bits in Chrome are not addressable.

    Open in Gerrit

    Related details

    Attention is currently required from:
    • Maksim Ivanov
    • Samuel Groß
    Submit Requirements:
    • requirement is not satisfiedCode-Owners
    • requirement is not satisfiedCode-Review
    • requirement is not satisfiedNo-Unresolved-Comments
    • 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: v8/v8
    Gerrit-Branch: main
    Gerrit-Change-Id: Icadcd351c978215c0304ad3c30c4049b339dd4ad
    Gerrit-Change-Number: 7880956
    Gerrit-PatchSet: 5
    Gerrit-Owner: Maksim Ivanov <em...@google.com>
    Gerrit-Reviewer: Maksim Ivanov <em...@google.com>
    Gerrit-Reviewer: Michael Lippautz <mlip...@chromium.org>
    Gerrit-Reviewer: Omer Katz <omer...@chromium.org>
    Gerrit-Reviewer: Samuel Groß <sa...@chromium.org>
    Gerrit-CC: Code Review Nudger <android-build...@prod.google.com>
    Gerrit-Comment-Date: Tue, 09 Jun 2026 18:28:26 +0000
    Gerrit-HasComments: Yes
    Gerrit-Has-Labels: No
    Comment-In-Reply-To: Omer Katz <omer...@chromium.org>
    unsatisfied_requirement
    open
    diffy
    Reply all
    Reply to author
    Forward
    0 new messages