Nick Barnes
Nick Barnes
Fascinating. Storm is exactly the sort of use case we had in mind for the MPS and it's good to see you using it there. Would you be readily able...
At 2016-01-09 17:47:38, Helmut Eller [email protected] wrote: > This example > > functor Foo (val update : RealArrayarray \* int \* real -> unit) = > struct > val foo...
Does this work if you write a my_update() function which explicitly calls RealArray.update, and give that to the functor? If so, that bolsters my suspicion of a boxing bug.
The SML Basis Library was finalised some time after development of MLWorks stopped. There may be quite a few defects along these lines. Thank you for putting in the effort...
The benefit of this feature is to avoid marking and sweeping some part of the heap, and possibly also to prevent the "ancient" part of the heap affecting GC scheduling...
I think it's worth experimenting with a third generation (in addition to the existing "minor heap" - generation 0 - and "shared heap" - generation 1), to which objects are...
Could use memory protection? We need the common case in the write barrier to be fast, but maybe don't care so much about rare cases (such as writes to this...
Or use the existing remembered set, and filter when we process it?
I'll make some doc changes.
To make sure I understand the constraint here: the reason `caml_enter_blocking_section` shouldn't be called in a custom block finalizer is that it allows other domains to run, which may provoke...