It's better to focus on low-level optimizations within LLVM IR I think,
high-level optimizations would better be done beforehand. It's not a bad
marriage though. :)
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http
Is there IPA in LLVM? I didn't know that.
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml-list mailing list
itself.)
Seconded, why is this not possible? That is to say, why cannot each thread
maintain a separate GC, if so desired?
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http
GC. Perhaps there is an obstacle I have not yet noticed?
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml
suggestions for a small, fast and embeddable
interpreter of a functional language written in C/C++, please let me know. I
need one so I can port my AI code to GPU.
Best Regards,
PS: Sorry for the off-topic posting but who knows it might be of interest to
some hackers around here.
--
Eray Ozkural
. This doesn't sound like a bad combination, nice idea :)
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml
allowed to use an external
library to enhance its memory management¹ but OCaml cannot use its own
library to do that. I am not asking WHAT the rules are but a
JUSTIFICATION for them (which you have been incapable of providing so
far).
I didn't get it, either.
Best,
--
Eray Ozkural, PhD
/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http
On Mon, Nov 22, 2010 at 6:42 PM, Sylvain Le Gall sylv...@le-gall.netwrote:
On 22-11-2010, Damien Doligez damien.doli...@inria.fr wrote:
On 2010-11-21, at 20:26, Eray Ozkural wrote:
I've been thinking whether some kind of doubling strategy would work for
the minor heap size. What do you
On Mon, Nov 22, 2010 at 11:14 PM, Jon Harrop
jonathandeanhar...@googlemail.com wrote:
What happens if you just increase the default size?
Well we don't want to be a memory hog like Java do we? It's something that
kind of depends on the app, what would you set it to?
Cheers,
--
Eray
mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept
Thanks a lot for the suggestions Michael. Much appreciated.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
value, now testing with the OCAMLRUNPARAM settings you
recommended. It did result in some speedup, but not an awful lot, it's
important to profile it as you say.
Best,
On Fri, Nov 19, 2010 at 4:54 PM, Michael Ekstrand mich...@elehack.netwrote:
On 11/18/2010 09:51 AM, Eray Ozkural wrote:
A program
Yes, actually. :P
On Wed, Nov 17, 2010 at 11:15 PM, Jon Harrop
jonathandeanhar...@googlemail.com wrote:
Can you cite any papers from this century? ;-)
Cheers,
Jon.
*From:* Eray Ozkural [mailto:examach...@gmail.com]
*Sent:* 17 November 2010 13:41
*To:* Eray Ozkural; Jon Harrop; caml
, Eray Ozkural examach...@gmail.com wrote:
Yes, actually. :P
On Wed, Nov 17, 2010 at 11:15 PM, Jon Harrop
jonathandeanhar...@googlemail.com wrote:
Can you cite any papers from this century? ;-)
Cheers,
Jon.
*From:* Eray Ozkural [mailto:examach...@gmail.com]
*Sent:* 17 November 2010
/10125627
caml_process_pending_signals [429]
---
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
On Wed, Nov 17, 2010 at 8:50 AM, Gabriel Kerneis kern...@pps.jussieu.frwrote:
On Wed, Nov 17, 2010 at 06:27:14AM +0200, Eray Ozkural wrote:
As I said even in C good results can be achieved, I've seen that, so I
know it's doable with ocaml, just a difficult kind of compiler. The
functional
parallelization results you need
to restructure the design of the program - well, maybe
compiler2.0 can do this at some time, but this is not in sight.
I think you are underestimating parallelizing compilers.
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University
On Wed, Nov 17, 2010 at 12:13 AM, Gerd Stolpmann i...@gerd-stolpmann.dewrote:
Am Dienstag, den 16.11.2010, 22:35 +0200 schrieb Eray Ozkural:
On Tue, Nov 16, 2010 at 7:04 PM, Gerd Stolpmann
i...@gerd-stolpmann.de wrote:
Am Montag, den 15.11.2010, 22:46 -0800 schrieb Edgar
On Wed, Nov 17, 2010 at 1:52 AM, Wolfgang Draxinger
wdraxinger.maill...@draxit.de wrote:
On Wed, 17 Nov 2010 01:04:54 +0200
Eray Ozkural examach...@gmail.com wrote:
[readworthy text]
I'd like to point out how the big competitor to OCaml deals with it.
The GHC Haskell system has SMP
but I doubt it will ever be realized.
Cheers,
Jon.
*From:* caml-list-boun...@yquem.inria.fr [mailto:
caml-list-boun...@yquem.inria.fr] *On Behalf Of *Eray Ozkural
*Sent:* 16 November 2010 23:05
*To:* Gerd Stolpmann
*Cc:* caml-list@yquem.inria.fr
*Subject:* Re: [Caml-list] SMP
to be sure
that the GC knows where to find live references. At the end, you would
get almost no performance improvement, compared to just appending the
assembly code for each bytecode instruction (see Piumarta's work in
PLDI'98).
--Fabrice
Eray Ozkural wrote, On 09/16/2010 02:38 AM:
Well, what I
from the HAL
architectures of IBM OS's etc. Was probably also the problem with Transmeta;
cheap compilation entails cheap performance.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http
On Mon, Sep 13, 2010 at 10:57 AM, Sylvain Le Gall sylv...@le-gall.netwrote:
Hi,
On 13-09-2010, Eray Ozkural examach...@gmail.com wrote:
Hi there,
What exactly are the requirements for substituting the current GC with
another, preferably non-locking, GC? Any pitfalls I wouldn't see just
On Mon, Sep 13, 2010 at 3:22 PM, Sylvain Le Gall sylv...@le-gall.netwrote:
On 13-09-2010, Eray Ozkural examach...@gmail.com wrote:
On 13-09-2010, Eray Ozkural examach...@gmail.com wrote:
Hi there,
What exactly are the requirements for substituting the current GC with
another
but I can take ocaml's
idea, that of using two heaps and go with it. So, oc4mc was successful in
decoupling after all? I need to go back and take a look at the source again.
It's getting complicated quickly :)
Cheers,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
On Wed, Sep 8, 2010 at 10:51 AM, Sylvain Le Gall sylv...@le-gall.netwrote:
On 08-09-2010, Eray Ozkural examach...@gmail.com wrote:
--===0522474025==
Content-Type: multipart/alternative;
boundary=0016369204e79d9601048fb8ae36
--0016369204e79d9601048fb8ae36
Content-Type: text
?), which is quite frustrating IMHO. At any rate,
bug reporters must always indicate which ocaml version they're using.
Cheers,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
On Fri, Aug 6, 2010 at 7:04 AM, Jeremy Bem jere...@gmail.com wrote:
My plans now call for adding features to replace the ones I've removed,
namely experimental ones related to assisted theorem proving and inductive
programming.
Dear Jeremy,
What have you got on inductive programming?
Best,
On Sat, Mar 13, 2010 at 5:01 PM, Eray Ozkural examach...@gmail.com wrote:
Hi there,
On Sat, Mar 13, 2010 at 3:38 PM, pierre.chambart
pierre.chamb...@laposte.net wrote:
If I understand correctly the problem, that is generate code and execute
it quickly, the best
approach should
On Tue, Jul 20, 2010 at 3:36 AM, Eray Ozkural examach...@gmail.com wrote:
On Mon, Jul 12, 2010 at 4:19 PM, Gaspard Bucher gasp...@teti.ch wrote:
Just a final question on the topic: has JoCaml anything to do with
this concurrency (shared memory) question ?
It seems to me that it can
not all of us need such a feature? My cores
are idle. That's a pity. Yes, I did use ocamlmpi to get some speedup on
shared memory, but it's not the same thing. I shouldn't have to go back to
C++ just for implementing a shared memory algorithm.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept
It does encourage me to take a shot at using the Event module.
One of the advantages of object orientation was that event-driven programming
and concurrent processes would/could fit well.
Yet years later event driven programming exists mostly as the main loop of GUI
libraries and implemented
When I'm implementing a parallel/dist algorithm I take care of making the
communication code abstract enough to be re-used. Since abstraction in C
derivative languages (function pointers, templates etc) are a joke; one need
not bother with this as expected future code re-use isn't much.
On the
It looks like the multi core architectures will be around for a while only to
be superseded by more advanced parallel micro-architectures.
Of course computation-bound apps will benefit more but this does not mean that
memory intensive apps will not run well on multi core architectures.
=3a83e146786e0aad93e3d16fa94e2d77
===
caml-list@yquem.inria.fr, Eray Ozkural tarafından Facebook'a katılması için
davet edildi. Gelecekte Facebook'tan bu tür e-postalar almak istemiyorsanız,
abonelikten çıkmak için lütfen aşağıdaki bağlantıya tıklayın.
http://www.facebook.com/o.php?k
is the development going? I
read on their page that they are planning a release for this summer based on
the new ocaml.
Cheers,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
: http://caml.inria.fr/bin/caml-bugs
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml-list mailing list
or hmetis. It can take
several months to write one from scratch and make it run fast.
Cheers,
--
Eray Ozkural
http://myspace.com/arizanesil
On Jun 1, 2010, at 7:45 PM, Pietro Abate pietro.ab...@pps.jussieu.fr
wrote:
Hi. Deliberately going of topic...
On Tue, Jun 01, 2010 at 07:21:07PM +0300
,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml-list mailing list. Subscription management:
http
For what it's worth: I agree with the guidelines that two let-in are
like two assumptions and should be indented the same.
Seconded, I think it looks neat and it avoids too much nesting clutter.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http
for running code inside a browser.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml-list mailing list
.
However, I can confidently say that Windows would never be a decent
operating system if there were not rivalry from free software (Linux
and BSD kernels of course!)
Cheers,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
computing!
Using Java still turns any computer to a Commodore 64, so why are
people using it?
Cheers,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
Or use the real ocaml on a real OS (^_^)
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http
not my cup of tea.
:) On the other hand, starting an ocaml interpreter on windows makes
me feel a bit like a caveman touching a spaceship's gleaming surface.
Cheers and take it easy,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
summer of code proposal for
that? perhaps some enthusiastic students would take up the challenge.
it could be divided into some stages, for instance abstracting over
x11/win32(horrors!) windowing systems first
cheers,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
elapsed: 0.079624 (second loop)
Can someone please explain to me what's going on here? Perhaps there
is inlining, but after inlining, some optimization passes aren't
performed?
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai
On Thu, Apr 29, 2010 at 9:47 PM, Markus Mottl markus.mo...@gmail.com wrote:
On Thu, Apr 29, 2010 at 14:34, Eray Ozkural examach...@gmail.com wrote:
Although I turn on inlining in ocamlopt (-inline 10), I think that the
min function is not quite inlined. Indeed, it's faster if I just
inline
because I use it.
Well, crypotkit is pretty useful and you can easily add your own
implementations to it. Nice framework. I had implemented a
zero-knowledge protocol with it.
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http
can definitely use the type system for better
search performance.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
-caml.sourceforge.net/index-e.html
Thank you.
Best Regards,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml-list mailing list
,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml-list mailing list. Subscription management:
http://yquem.inria.fr
to run the specification files. I haven't
measured the overhead of using this module but at least you don't need
to fork a process to run each of your programs.
HTH,
Andre
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
, but this is errr... significantly different
from ADATE, so I can't just use it for my needs. ADATE does function
induction of course, it's one of the first programs that implemented a
proper program search.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http
reports: http://caml.inria.fr/bin/caml-bugs
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
___
Caml-list mailing list
;
if !count max_count then raise Terminated
(* generated code *)
let code () =
... ; step (); ...; step () ; ...
You could probably also have max_count passed as a parameter at execution
time (allowing you to execute the same generated code with different time
limits).
--
Eray
of cake in ocaml. Or is
fate sending that my way? Oh, not again! :)
OcamlP3l looks pretty cool. Parallel combinators? Definitely what I'm
talking about, as usual the future is here with ocaml ;)
http://ocamlp3l.inria.fr/eng.htm
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent
On Tue, Dec 22, 2009 at 3:11 PM, Eray Ozkural examach...@gmail.com wrote:
However, let's not forget about the new GPU architectures, which are
sort of hybrid. The newer GPUs will have more exotic on-chip
interconnection networks.
Some more clarification, as the number of cores increase, you
see them, they
are almost identical to pseudo-code. I should move that project to ocamlforge.
Cheers,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct
kernel and then pass the
bytecode to it, and then voila, at least we have some 512-way
parallelism on the GT300. How does that sound? We'd be losing some
performance but massive parallelism will cover up for some of that.
Best,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University
On Thu, Dec 17, 2009 at 2:34 AM, Philippe Wang
philippe.wang.li...@gmail.com wrote:
On Wed, Dec 16, 2009 at 2:47 PM, Eray Ozkural examach...@gmail.com wrote:
One trivial and low-performance solution that comes to mind is: make
an ocaml bytecode interpreter into a CUDA kernel and then pass
a little, I have sufficient knowledge of compilers, I've worked on
a commercial C-to-FPGA compiler project for 2 years. Of course it
would be best if I can just handle it with a makefile :)
Best Regards,
--
Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara
http
On Tue, Dec 15, 2009 at 6:29 PM, Basile STARYNKEVITCH
bas...@starynkevitch.net wrote:
Eray Ozkural wrote:
I've looked at the CUDA bindings for ocaml, but it seems the kernels
were in C, am I right? How can I write the kernel in ocaml?
At any rate, the obvious question from a compiler
64 matches
Mail list logo
