URL:
<http://savannah.nongnu.org/patch/?func=detailitem&item_id=4726>
Summary: options for Gc.space_overhead
Project: mldonkey, a multi-networks file-sharing client
Submitted by: bogeyman
Submitted on: Sun 12/18/05 at 22:36
Category: Improved interfaces
Priority: 3 - Low
Status: None
Assigned to: None
Originator Email:
Open/Closed: Open
_______________________________________________________
Details:
To modify the GC at runtime
http://caml.inria.fr/pub/docs/manual-ocaml/libref/Gc.html says:
The major GC speed is computed from this parameter. This is the memory that
will be "wasted" because the GC does not immediatly collect unreachable
blocks. It is expressed as a percentage of the memory used for live data. The
GC will work more (use more CPU time and collect blocks more eagerly) if
space_overhead is smaller. Default: 80
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: Sun 12/18/05 at 22:36 Name: space_overhead.patch Size: 1.48KB By:
bogeyman
<http://savannah.nongnu.org/patch/download.php?item_id=4726&item_file_id=5646>
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/patch/?func=detailitem&item_id=4726>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/
_______________________________________________
Mldonkey-users mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/mldonkey-users
