[Mldonkey-users] [patch #4726] options for Gc.space_overhead

[bogeyman]

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/