Skip to content

Conversation

@ezyang
Copy link
Contributor

@ezyang ezyang commented Jul 10, 2025

Signed-off-by: Edward Yang ezyang@meta.com

Signed-off-by: Edward Yang <ezyang@meta.com>
@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Meta Open Source bot. label Jul 10, 2025
@ezyang ezyang changed the title Documentation for optimize_sharding.py [claude code] Documentation for optimize_sharding.py Jul 10, 2025
Creates binary variables x_{i,a,o,j} for each valid combination of:
- s_i: operation index
- argi: argument index
- ss: output placement strategy index (o in math notation)
Copy link
Contributor

Choose a reason for hiding this comment

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

can i just say that ss being an index and ssi being the value associated with that index has been driving me mad

Copy link
Contributor

Choose a reason for hiding this comment

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

Yeah we should rename those variables to more meaningful names. Those namings are there from the first version of the code I wrote, and I was just naming things almost arbitrarily to get things going. I did some cleanup some time ago but those names remained, we should improve it soon

Copy link
Contributor

@fmassa fmassa left a comment

Choose a reason for hiding this comment

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

Look pretty good!


def penalize_inefficient_collectives(self):
"""
EFFICIENCY CONSTRAINTS (Category 5): Penalize inefficient collective operations like
Copy link
Contributor

Choose a reason for hiding this comment

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

@wconstab we discussed this the other day, ideally we should just make the comms cost computation more accurate at some point

@fmassa fmassa merged commit c837c3e into main Jul 15, 2025
5 checks passed
@fmassa fmassa deleted the solver-docs branch July 15, 2025 06:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Meta Open Source bot.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants