[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: |
pango |
Subject: |
[Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int |
Date: |
Thu, 13 Oct 2005 02:42:46 +0200 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.8) Gecko/20050831 Galeon/1.3.20 (Debian package 1.3.20-1) |
Follow-up Comment #6, patch #4510 (project mldonkey):
Interesting lib, I was looking for something like that...
Some cases give dubious results however, so how much can others be
trusted...
# let t = 3 ;;
val t : int = 3
# size_w t ;;
- : int = 0
(ints uses no memory ? that's a good news)
I don't know what you tested, but int tuples certainly don't win:
# size_w [(0,1,2,3);(4,5,6,7)] ;;
- : int = 16
# size_w [('A','B','C','D');('E','F','G','H')] ;;
- : int = 16
# size_w [Int32.of_int 0;Int32.of_int 1] ;;
- : int = 8
Are you sure none of your values were aliased ?
_______________________________________________________
Reply to this item at:
<http://savannah.nongnu.org/patch/?func=detailitem&item_id=4510>
_______________________________________________
Message posté via/par 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, 2005/10/12
- [Mldonkey-users] [patch #4510] IP: Save Memory by using chars instead of int,
pango <=
- [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