Ticket #750 (new feature request)

Opened 6 years ago

Last modified 3 years ago

Set -M, -H, -c and other memory-related values based on available virtual/physical memory

Reported by: simonmar Owned by:
Priority: normal Milestone: _|_
Component: Runtime System Version: 6.4.1
Keywords: Cc: pho@…
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Easy (less than 1 hour)
Test Case: N/A Blocked By:
Blocking: Related Tickets:

Description (last modified by igloo) (diff)

From John Meacham:

perhaps if -M is not otherwise set, getrlimit(RLIMIT_AS,..) could be called and the maximum heap size set to just under that, since it is the point that the OS will forcefully kill the program anyway.

Ravi Nanavati would like to be able to set the value to a percentage of physical RAM, e.g. `prog +RTS -H256m -M95% -RTS'.

Bulat Ziganshin would like to be able to do the same with -c.

Change History

Changed 6 years ago by simonmar

  • milestone changed from 6.6 to 6.6.1

Changed 6 years ago by igloo

  • testcase set to N/A

Changed 6 years ago by simonmar

  • type changed from task to feature request
  • milestone changed from 6.6.1 to _|_

Changed 5 years ago by igloo

  • description modified (diff)
  • summary changed from Set -M value based on available virtual memory to Set -M and -c values based on available virtual memory

Changed 5 years ago by Bulat

  • summary changed from Set -M and -c values based on available virtual memory to Set -M, -H, -c and other memory-related values based on available virtual/physical memory

-H and other memory-related settings, too. Also please note that original suggestion was about *virtual* memory which is hard lmit for any program, while Ravi and me wants to easily set values based on *physical* RAM installed on computer, which is just sort of optimization

Changed 4 years ago by simonmar

  • architecture changed from Unknown to Unknown/Multiple

Changed 4 years ago by simonmar

  • os changed from Unknown to Unknown/Multiple

Changed 4 years ago by PHO

  • cc pho@… added

Changed 3 years ago by simonmar

  • difficulty changed from Easy (1 hr) to Easy (less than 1 hour)
Note: See TracTickets for help on using tickets.