[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of
From: |
anonymous |
Subject: |
[Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int |
Date: |
Wed, 12 Oct 2005 21:51:33 +0000 |
User-agent: |
Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1) |
Follow-up Comment #5, patch #4510 (project mldonkey):
Maybe this module can help determine the best approach: (or even added to all
the mem_stats in mldonkey for some interesting memory information)
http://www.lri.fr/~filliatr/ftp/ocaml/misc/size.mli.html
Size: computes the memory size of an ocaml value.
(view the "misc" directory in the above url for all files)
(* Sizes of ocaml values (in their memory representation).
Sizes are given in words ([size_w]), bytes ([size_b]) or kilobytes
([size_kb]), in a system-independent way. *)
I tried a quick test comparing size_b result of a list of char quads, int
tuples, and int32s. int tuple seems to win (if this type of test is even
valid?).
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/patch/?func=detailitem&item_id=4510>
_______________________________________________
Message sent via/by Savannah
http://savannah.nongnu.org/
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, bogeyman, 2005/10/11
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, anonymous, 2005/10/11
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, anonymous, 2005/10/11
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, pango, 2005/10/12
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, pango, 2005/10/12
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int,
anonymous <=
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, pango, 2005/10/12
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, anonymous, 2005/10/13
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, pango, 2005/10/13
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, anonymous, 2005/10/13
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, bogeyman, 2005/10/13
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, spiralvoice, 2005/10/16
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int, spiralvoice, 2005/10/27