Skip to content

WebAssembly Core 2.0: implement bulk memory and passive segments #272

Description

@chrisbbreuer

Parent: #263
Depends on: #271
Roadmap: #142, #134

Implement bulk-memory-owned segment forms and instructions failure-atomically.

Acceptance:

  • Decode and validate DataCount plus active, passive, and declarative data/element segment encodings at the pinned revision.
  • Implement memory.init, data.drop, memory.copy, memory.fill, table.init, elem.drop, and table.copy.
  • Preserve overlap semantics, bounds/trap ordering, dropped-segment state, and link-time atomicity.
  • Integrate passive reference segments with precise GC and cross-instance tables.
  • Add JavaScript API and focused binary/runtime coverage with stable disabled-feature diagnostics.

Child issue map

Implementation order

Land #276 first so both execution children consume one validated IR. Then #277 and #278 can proceed independently; close #272 only after both runtime paths and the combined API evidence are complete.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions