May 15, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Ola Fosheim Grøstad | On Sunday, 15 May 2016 at 14:56:02 UTC, Ola Fosheim Grøstad wrote:
>
> Well, this looks really bad. But a solver would get you much more than an interpreter. E.g. proving that asserts always hold etc.
You want it ?
Write it.
|
May 15, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Stefan Koch | On Sunday, 15 May 2016 at 15:09:17 UTC, Stefan Koch wrote:
> You want it ?
> Write it.
I don't «want» anything.
|
May 16, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Martin Nowak | On Sunday, 15 May 2016 at 13:25:42 UTC, Martin Nowak wrote:
> So we do need a GC or RC for arrays, structs, classes (anything heapish). Values for those could be allocated by a simple bump/region allocator or a dedicated allocator that support individual freeing (via RC or GC).
Wasn't it possible to enable GC for entire compiler? There can be hybrid approach: 1) first allocate from bump heap 2) when it reaches, say, 200MB, switch to GC.
|
May 16, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Kagamin | On Monday, 16 May 2016 at 10:01:47 UTC, Kagamin wrote:
> Wasn't it possible to enable GC for entire compiler? There can be hybrid approach: 1) first allocate from bump heap 2) when it reaches, say, 200MB, switch to GC.
Well, I wouldn't use D's GC for that dedicated heap.
Allocation of CTFE values are completely independent and call be freed once the evaluation is finished.
|
May 16, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Martin Nowak | On 5/16/16 7:20 AM, Martin Nowak wrote:
> On Monday, 16 May 2016 at 10:01:47 UTC, Kagamin wrote:
>> Wasn't it possible to enable GC for entire compiler? There can be
>> hybrid approach: 1) first allocate from bump heap 2) when it reaches,
>> say, 200MB, switch to GC.
>
> Well, I wouldn't use D's GC for that dedicated heap.
> Allocation of CTFE values are completely independent and call be freed
> once the evaluation is finished.
A reap would be great there! std.experimental.allocator offers that and a variety of others. -- Andrei
|
May 16, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | On 05/16/2016 01:36 PM, Andrei Alexandrescu wrote: > > A reap would be great there! std.experimental.allocator offers that and a variety of others. -- Andrei Yes indeed, a malloc backed Region Allocator w/ a FreeList or a BitmappedBlock would be a good starting point. That might finally be a compelling enough case to start using phobos in dmd. Last time people forced me to spend several hours on reimplementing and debugging a BitArray implementation [¹]. [¹]: https://github.com/dlang/dmd/pull/5426#discussion_r52833955 |
May 16, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Stefan Koch | On 05/15/2016 03:55 PM, Stefan Koch wrote: > > About the whole to BC or not to BC discussion. > As Daniel already outlined, the main purpose it not speed, but having a > simple lowered representation to interpret. > Many AST interpreters switched to a byte-code because it's much easier > to maintain. > I just don't buy the argument for using BC. In order to generate linearized bytecode you'll have to fully walk (a.k.a. interpret) your AST tree, collect and fixup variable references and jump addresses, precompute frame sizes, and still maintain a dedicated stack and heap for variables (b/c you don't want to use D's GC to maintain the lifetime, and using raw pointers will easily result in time-consuming memory corruptions). This effort might be worthwhile for hot loops if you wanted to generate simple asm code so that the CPU can do the interpretation (2nd step after AST interpreter in [¹]). But at this point this would be a premature optimization. Clearly a BC interpreter is both more complex than an AST interpreter and less optimal than a simple JIT. Sure supporting D's pointer arithmetic in an interpreter will be challenging, but in fact you'll have to solve the same problem for a bytecode interpreter (how to maintain ownership when pointing to a part of a struct). The simple but bad solution, using raw pointers and relying on D's GC, would work for both interpreters. Another simple but RC friendly solution is to compose everything from reference Values, e.g. a struct or array being modeled as RC!Value[], and a hash as RC!Value[RC!Value]. One could even do a hybrid between value and reference type by lazily moving values onto the heap when needed. struct Value { static struct Impl { mixin(bitfields!( uint, "refCount", 31, bool, "onHeap", 1)); union { dinteger_t int_; uinteger_t uint_; real_t real_; String str_; Value[] array; Impl* heap; } } Impl impl; ref Impl get() { return onHeap ? *impl.heap : impl; } alias get this; void moveToHeap() { if (impl.onHeap) return; auto p = heapAllocator.alloc!Impl; *p = impl; p.refCount = 1; impl.heap = p; impl.onHeap = true; } ~this() { if (impl.onHeap && --impl.heap.refCount == 0) heapAllocator.free(impl.heap); } } auto heapAllocator = FreeList!(AllocatorList!( (size_t n) => Region!Mallocator(max(n, 1024 * 1024)) ))(); //... class Interpreter { //... void visit(PtrExp e) { stack.push(interpret(e.e1, istate, ctfeNeedLvalue)); } void visit(IndexExp e) { accept(e1); auto v1 = stack.pop(); accept(e2); auto v2 = stack.pop(); if (ctfeGoal == ctfeNeedLvalue) v1.array[v2.uint_].moveToHeap(); stack.push(v1.array[v2.uint_]); } //... } That way you could benefit from memory efficient value types while still being able to take references from any element. Should be possible to do the same with references/pointers to stack variables, but you want check that refCount == 1 when a stack frame gets cleaned up. [¹]: http://dconf.org/2013/talks/chevalier_boisvert.pdf p. 59 ff |
May 16, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Martin Nowak | On 05/16/2016 03:03 PM, Martin Nowak wrote:
> ~this()
> {
> if (impl.onHeap && --impl.heap.refCount == 0)
> heapAllocator.free(impl.heap);
> }
Of course missing the increment for copies.
this(this)
{
if (impl.onHeap)
++impl.heap.refCount;
}
|
May 17, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Martin Nowak | On 16/05/2016 9:20 PM, Martin Nowak wrote:
> On Monday, 16 May 2016 at 10:01:47 UTC, Kagamin wrote:
>> Wasn't it possible to enable GC for entire compiler? There can be
>> hybrid approach: 1) first allocate from bump heap 2) when it reaches,
>> say, 200MB, switch to GC.
>
> Well, I wouldn't use D's GC for that dedicated heap.
> Allocation of CTFE values are completely independent and call be freed
> once the evaluation is finished.
Maybe you wouldn't, but you certainly could...
|
May 16, 2016 Re: Battle-plan for CTFE | ||||
---|---|---|---|---|
| ||||
Posted in reply to Stefan Koch | On Tuesday, 10 May 2016 at 11:31:33 UTC, Stefan Koch wrote:
>
> Yes I do know the llvm jit, it is slow as a three legged dog.
>
> But I do plan for a way of plugging it in. This is not a main priority however.
What about libjit?
|
Copyright © 1999-2021 by the D Language Foundation