Skip to content

fix(shivini): bump device allocator free memory slack#125

Merged
robik75 merged 1 commit intomainfrom
rr/boojum_device_allocation_slack_bump
Oct 20, 2025
Merged

fix(shivini): bump device allocator free memory slack#125
robik75 merged 1 commit intomainfrom
rr/boojum_device_allocation_slack_bump

Conversation

@robik75
Copy link
Member

@robik75 robik75 commented Oct 20, 2025

What ❔

This PR bumps the free memory slack constant for the device allocator to 64 MB.

Why ❔

Previous slack value was set to 8 MB and this was too low for certain GPUs causing memory allocation errors.

Checklist

  • PR title corresponds to the body of PR (we generate changelog entries from PRs).
  • Documentation comments have been added / updated.
  • Code has been formatted via zk fmt and zk lint.

@robik75 robik75 merged commit 35a8c1a into main Oct 20, 2025
27 of 49 checks passed
@robik75 robik75 deleted the rr/boojum_device_allocation_slack_bump branch October 20, 2025 11:44
robik75 pushed a commit that referenced this pull request Oct 20, 2025
🤖 I have created a release *beep* *boop*
---


##
[0.155.3](v0.155.2...v0.155.3)
(2025-10-20)


### Bug Fixes

* **shivini:** bump device allocator free memory slack
([#125](#125))
([35a8c1a](35a8c1a))

---
This PR was generated with [Release
Please](https://github.com/googleapis/release-please). See
[documentation](https://github.com/googleapis/release-please#release-please).

---------

Co-authored-by: zksync-era-bot <zksync-era-bot@users.noreply.github.com>
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