Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add allocation hoist optimization #534

Merged
merged 19 commits into from
Feb 23, 2024
Merged

Add allocation hoist optimization #534

merged 19 commits into from
Feb 23, 2024

Conversation

arshajii
Copy link
Contributor

No description provided.

@cla-bot cla-bot bot added the cla-signed label Jan 28, 2024
@marioroy
Copy link

marioroy commented Jan 28, 2024

The alloc-hoist-opt branch core-dumps running the murphy.py demonstration (tested without memorization).

# Codon 0.16.3
codon build -release murphy.py
time ./murphy
5.797

real  1m29.675s
user  4m44.102s
sys   0m35.530s

# Codon develop branch
codon build -release murphy.py
time ./murphy
5.797

real  0m49.610s
user  3m15.357s
sys   0m19.421s

# Codon alloc-hoist-opt branch
codon build -release murphy.py
time ./murphy
AssertionError: Assert failed (/tmp/murphy.py:104)

Raised from: play:0
/tmp/murphy.py:104:5
Aborted (core dumped)

real  0m0.411s
user  0m0.180s
sys   0m0.198s

Linue 104 is assert len(scenarios) == 1.

@arshajii
Copy link
Contributor Author

Thanks @marioroy -- I've fixed this. Also it seems like the linked issue is resolved, as on my machine the timings are now 40s for Python and 27s for Codon (haven't done a detailed benchmark though).

@arshajii arshajii merged commit 4be3bbf into develop Feb 23, 2024
5 checks passed
@arshajii arshajii deleted the alloc-hoist-opt branch February 23, 2024 00:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants