From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p272Od1f027970 for ; Mon, 7 Mar 2011 03:24:39 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAFLQc02TLtdJ/2dsb2JhbACEKJN4ji50rkMFj3OBIoNFewSFGocWg0MaiEA X-IronPort-AV: E=Sophos;i="4.62,274,1297033200"; d="scan'208";a="89320226" Received: from ropas.snu.ac.kr ([147.46.215.73]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Mar 2011 03:24:33 +0100 Received: from [192.168.10.43] (unknown [147.46.216.71]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by ropas.snu.ac.kr (Postfix) with ESMTP id C2F35EAC74; Mon, 7 Mar 2011 11:24:31 +0900 (KST) Mime-Version: 1.0 (Apple Message framework v1082) Content-Type: text/plain; charset=euc-kr From: Kihong Heo In-Reply-To: Date: Mon, 7 Mar 2011 11:24:31 +0900 Cc: caml-list@inria.fr Message-Id: References: To: Yitzhak Mandelbaum X-Mailer: Apple Mail (2.1082) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p272Od1f027970 Subject: Re: [Caml-list] variable sharing 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. Thank you. Kihong 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 서울대학교 프로그래밍 연구실