2011/3/7 Kihong Heo <khheo@ropas.snu.ac.kr>

Sorry. It's my mistake.
not variable sharing, but "value sharing" which means alias.

For example, there is a big set and I want to make many subset of it.
In my thought, if the aliases are made efficiently, the memory explosion does not make sense.
I don't know exactly what's the problem (my programming style, data type, or it is a natural result, etc..).
So I want to know the principle.

As Daniel and Fabrice said, I guess you need hash-consing. You may use the Filliâtre's Hashcons/Hset/Hmap modules (http://www.lri.fr/~filliatr/software.en.html) described in [1]. If you want to know details about interaction between hashconsing and ocaml (especially its GC), [2] may be of some interest to you.

[1] Sylvain Conchon and Jean-Christophe Filliâtre. Type-Safe Modular Hash-Consing. ML Workshop'06.
[2] Pascal Cuoq and Damien Doligez, Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. ML Workshop'08.

Hope this helps,
Julien

2011. 3. 7., 오전 11:07, Yitzhak Mandelbaum 작성:

> Kihong,
>
> Could you elaborate on what you mean by "variable sharing" and what specifically is not happening as expected? Perhaps you could provide a small example that demonstrates the problem you're seeing?
>
> Cheers,
> Yitzhak
>
>
> On Mar 6, 2011, at 8:49 PM, Kihong Heo wrote:
>
>> Dear caml-list.
>>
>> I want to know how ocaml compiler make variable sharing.
>> I believe the compiler do good job, but sometime memory consumption
>> of my program does not make sense.
>> So I am curious about what the compiler did or how to make program memory efficiently.
>>
>> If you know some good notes or web pages for that issue, please let me know.
>>
>> Thank you.
>>
>> - Kihong Heo
>>
>> --
>> Caml-list mailing list. Subscription management and archives:
>> https://sympa-roc.inria.fr/wws/info/caml-list
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>
>
> -----------------------------
> Yitzhak Mandelbaum
>
>
>

--

허 기 홍 드림
khheo@ropas.snu.ac.kr
서울대학교 프로그래밍 연구실

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs