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

Jump to bottom

Vrename aborts when parsing a large netlist #504

Closed
veripoolbot opened this issue May 2, 2012 · 2 comments
Closed

Vrename aborts when parsing a large netlist #504

veripoolbot opened this issue May 2, 2012 · 2 comments

Comments

@veripoolbot
Copy link
Collaborator

Author Name: Evgeni Stavinov
Original Redmine Issue: 504 from https://www.veripool.org
Original Date: 2012-05-02
Original Assignee: Evgeni Stavinov

I've a 520MByte Verilog netlist that I'm trying to load using "Vrename --list --xref netlist.v" command.

My system has 11GByte of available memory. After a few minutes of working, memory usage of Vrename climbs to 1.3GByte, then it dies with the following message:

"Out of memory during "large" request for 1052672 bytes, total sbrk() is 136468480 bytes at vrename line 157.
Aborted"

I'm running Vrename from Cygwin on Win7.

Any suggestions on what to try to get it to work.

Thanks
@veripoolbot
Copy link
Collaborator Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2012-05-02T01:34:13Z

Looks like ~2GB is a Cygwin limitation. A google search suggested http://cygwin.com/cygwin-ug-net/setup-maxmem.html

If your needs are straight forward you might instead want to just write a script to do your transformations on a line-by-line basis. vrename does all replaces in memory which while fast and allowing detection of changes before writing, does require having more memory than a few times the file size. It certainly could be changed to optionally operate on some block size (say 16MB or so) I'll certainly take the function back if you want to make the changes.

@veripoolbot
Copy link
Collaborator Author

Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2012-07-26T22:43:03Z

Assuming resolved.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@veripoolbot