[Issue 4719] Clean up associative array runtime interface to enable precise GC

2022-12-17 Thread d-bugmail--- via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=4719 Iain Buclaw changed: What|Removed |Added Priority|P2 |P4 --

Re: want to know precise GC benchmarks

2019-10-02 Thread a11e99z via Digitalmars-d-learn
On Wednesday, 2 October 2019 at 06:41:28 UTC, Rainer Schuetze wrote: thanks for the detailed answer

Re: want to know precise GC benchmarks

2019-10-02 Thread Rainer Schuetze via Digitalmars-d-learn
On 01/10/2019 18:24, a11e99z wrote: > On Tuesday, 1 October 2019 at 16:12:18 UTC, a11e99z wrote: >> does anybody some kind of benchmark to test conservative and precise GC? >> precise GC is better or not? is STW improving? Without false pointers the precise GC is usually a bit s

Re: want to know precise GC benchmarks

2019-10-01 Thread Mike Parker via Digitalmars-d-learn
On Tuesday, 1 October 2019 at 16:24:49 UTC, a11e99z wrote: why I want to know such info? CodinGame sometimes use time-limit for bot move for example 100ms, and bot will be disqualified in case no answer Simple solution: don't allocate every frame. The GC only runs when it needs to and it

Re: want to know precise GC benchmarks

2019-10-01 Thread a11e99z via Digitalmars-d-learn
On Tuesday, 1 October 2019 at 16:12:18 UTC, a11e99z wrote: does anybody some kind of benchmark to test conservative and precise GC? precise GC is better or not? is STW improving? and another question about GC and app parameters: program.exe “–DRT-gcopt=gc:precise parallel:4” “–DRT

want to know precise GC benchmarks

2019-10-01 Thread a11e99z via Digitalmars-d-learn
does anybody some kind of benchmark to test conservative and precise GC? precise GC is better or not? is STW improving?

Re: Using D's precise GC when running an app with DUB

2019-05-24 Thread Per Nordlöw via Digitalmars-d-learn
On Thursday, 23 May 2019 at 15:25:31 UTC, Per Nordlöw wrote: You mean wise versa, right? Nevermind that comment. No "wise versa". You're answer is correct, rikki cattermole. Thanks

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread Eugene Wissner via Digitalmars-d-learn
On Thursday, 23 May 2019 at 14:50:12 UTC, Per Nordlöw wrote: How do I specify a druntime flag such as --DRT-gcopt=gc:precise when running with dub as dub run --compiler=dmd --build=unittest ? The precise GC flag was introduced in verison 2.085.0 See: - https://dlang.org/changelog

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread Per Nordlöw via Digitalmars-d-learn
On Thursday, 23 May 2019 at 15:05:15 UTC, rikki cattermole wrote: Should be as easy as     dflags "--DRT-gcopt=gc:precise" right? That would be passed to dmd, not to the build executable upon running. You mean wise versa, right? Now I understand, --DRT-gcopt=gc:precise is passed to

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread rikki cattermole via Digitalmars-d-learn
On 24/05/2019 3:03 AM, Per Nordlöw wrote: On Thursday, 23 May 2019 at 15:02:12 UTC, rikki cattermole wrote: And if I want to set this in a dub.sdl? No can do. There is meant to be a way to set it in D however. But I have heard mixed results (not that I've tried it). Should be as easy as   

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread rikki cattermole via Digitalmars-d-learn
On 24/05/2019 2:58 AM, Per Nordlöw wrote: On Thursday, 23 May 2019 at 14:51:41 UTC, rikki cattermole wrote: dub run --compiler=dmd --build=unittest -- --DRT-gcopt=gc:precise Thanks! And if I want to set this in a dub.sdl? No can do. There is meant to be a way to set it in D however. But I

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread Per Nordlöw via Digitalmars-d-learn
On Thursday, 23 May 2019 at 15:02:12 UTC, rikki cattermole wrote: And if I want to set this in a dub.sdl? No can do. There is meant to be a way to set it in D however. But I have heard mixed results (not that I've tried it). Should be as easy as dflags "--DRT-gcopt=gc:precise" right?

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread rikki cattermole via Digitalmars-d-learn
On 24/05/2019 3:01 AM, Per Nordlöw wrote: On Thursday, 23 May 2019 at 14:51:41 UTC, rikki cattermole wrote: dub run --compiler=dmd --build=unittest -- --DRT-gcopt=gc:precise Hmm, the flag doesn't propagate to dmd when compiling in verbose mode via -v as     dub run -v --compiler=dmd

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread Per Nordlöw via Digitalmars-d-learn
On Thursday, 23 May 2019 at 14:51:41 UTC, rikki cattermole wrote: dub run --compiler=dmd --build=unittest -- --DRT-gcopt=gc:precise Hmm, the flag doesn't propagate to dmd when compiling in verbose mode via -v as dub run -v --compiler=dmd --build=unittest -- --DRT-gcopt=gc:precise

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread Per Nordlöw via Digitalmars-d-learn
On Thursday, 23 May 2019 at 14:51:41 UTC, rikki cattermole wrote: dub run --compiler=dmd --build=unittest -- --DRT-gcopt=gc:precise Thanks! And if I want to set this in a dub.sdl?

Using D's precise GC when running an app with DUB

2019-05-23 Thread Per Nordlöw via Digitalmars-d-learn
How do I specify a druntime flag such as --DRT-gcopt=gc:precise when running with dub as dub run --compiler=dmd --build=unittest ? The precise GC flag was introduced in verison 2.085.0 See: - https://dlang.org/changelog/2.085.0.html#gc_precise - https://dlang.org/spec/garbage.html

Re: Using D's precise GC when running an app with DUB

2019-05-23 Thread rikki cattermole via Digitalmars-d-learn
On 24/05/2019 2:50 AM, Per Nordlöw wrote: How do I specify a druntime flag such as     --DRT-gcopt=gc:precise when running with dub as     dub run --compiler=dmd --build=unittest dub run --compiler=dmd --build=unittest -- --DRT-gcopt=gc:precise

Re: precise GC

2019-03-05 Thread Rainer Schuetze via Digitalmars-d-learn
On 05/03/2019 22:30, H. S. Teoh wrote: > On Tue, Mar 05, 2019 at 09:50:34PM +0100, Rainer Schuetze via > Digitalmars-d-learn wrote: >> On 04/03/2019 12:12, KnightMare wrote: > [...] >>> 3) closures: do the closures have any internal types that helps to >>> GC or are they (full closure memory

Re: precise GC

2019-03-05 Thread H. S. Teoh via Digitalmars-d-learn
On Tue, Mar 05, 2019 at 09:50:34PM +0100, Rainer Schuetze via Digitalmars-d-learn wrote: > On 04/03/2019 12:12, KnightMare wrote: [...] > > 3) closures: do the closures have any internal types that helps to > > GC or are they (full closure memory block) scanned as in the > > conservative mode? >

Re: precise GC

2019-03-05 Thread Rainer Schuetze via Digitalmars-d-learn
On 04/03/2019 12:12, KnightMare wrote: > For example, we have some rooted memory block as > auto rooted = new long[1_000_000]; > 1) conservative-GC will scan it for false pointers every GC-cycle. is it > true? > 2) precise-GC will NOT scan it at all. is it true? As A

Re: precise GC

2019-03-04 Thread Adam D. Ruppe via Digitalmars-d-learn
or structs with static blocks. struct { int a; void* b; } The old GC would treat that whole struct as potentially pointers, both a and b. The new precise GC would know only b needs to be scanned inside that struct. The even bigger deal with precise is it also knows only b would need

Re: precise GC

2019-03-04 Thread KnightMare via Digitalmars-d-learn
IMO need more explanations about precise-GC and cases where behavior of precise and conservative same and differs

Re: precise GC

2019-03-04 Thread KnightMare via Digitalmars-d-learn
/* English is not my native, and I tried to use Google translate. I hope u will understand subtleties of questions */ For precise-GC: 3) closures: do the closures have any internal types that helps to GC or are they (full closure memory block) scanned as in the conservative mode? 4

precise GC

2019-03-04 Thread KnightMare via Digitalmars-d-learn
As I understood conservative-GC scans all allocated memory blocks for false pointers. In other hand precise-GC scans only explicit memory blocks that contains (objects of types that contains) pointers/refs or "muddy" types (void, void[]...). For example, we have some rooted me

Re: Precise GC state

2018-02-03 Thread Temtaime via Digitalmars-d
And 2k18 passes and there will be no precise gc this year it seems. Great D language. Better to think to move from it away.

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grostad via Digitalmars-d
On Monday, 27 November 2017 at 18:32:39 UTC, Ola Fosheim Grøstad wrote: You get this: shared_ptr -> control_block -> object Actually, seems like the common implementation uses 16 bytes, so that it has a direct pointer as well. So twice the size of unique_ptr.

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grøstad via Digitalmars-d
On Monday, 27 November 2017 at 20:13:35 UTC, Dmitry Olshansky wrote: I’ve seen a tech giant that works on uber high-performance things making heavy use of STL, and being fond of C++14 “high-level” features. Look, I am not against "high level" features, but shared_ptr is nothing like the

Re: Precise GC state

2017-11-27 Thread Dmitry Olshansky via Digitalmars-d
On Monday, 27 November 2017 at 18:29:56 UTC, Ola Fosheim Grøstad wrote: On Monday, 27 November 2017 at 17:16:50 UTC, Dmitry Olshansky wrote: Really, shared_ptr is the most contagious primitive of modern C++. Not really. Unique_ptr is, though. To quote MS STL guy “I’m surprised we had no

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grøstad via Digitalmars-d
On Monday, 27 November 2017 at 18:00:59 UTC, Jonathan M Davis wrote: I don't understand this. I would expect most modern C++ programs to be using shared_ptr as the default for most pointers and thus use it heavily. You get this: shared_ptr -> control_block -> object Instead of this:

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grøstad via Digitalmars-d
On Monday, 27 November 2017 at 17:16:50 UTC, Dmitry Olshansky wrote: Really, shared_ptr is the most contagious primitive of modern C++. Not really. Unique_ptr is, though. To quote MS STL guy “I’m surprised we had no non-inteusive ref-counted ptr in std lib for so long”. Going Native videos

Re: Precise GC state

2017-11-27 Thread Jonathan M Davis via Digitalmars-d
On Monday, November 27, 2017 15:56:09 Ola Fosheim Grostad via Digitalmars-d wrote: > On Monday, 27 November 2017 at 14:35:03 UTC, Dmitry Olshansky > > wrote: > > Then watch Herb’s Sutter recent talk “Leak freedom by default”. > > Now THAT guy must be out of his mind :) > > He could be, I havent

Re: Precise GC state

2017-11-27 Thread Dmitry Olshansky via Digitalmars-d
On Monday, 27 November 2017 at 15:56:09 UTC, Ola Fosheim Grostad wrote: On Monday, 27 November 2017 at 14:35:03 UTC, Dmitry Olshansky wrote: Then watch Herb’s Sutter recent talk “Leak freedom by default”. Now THAT guy must be out of his mind :) He could be, I havent seen it... Shared_ptr isnt

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grostad via Digitalmars-d
Btw, it would improve the discourse if people tried to distinguish between language constructs and library constructs...

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grostad via Digitalmars-d
On Monday, 27 November 2017 at 14:35:03 UTC, Dmitry Olshansky wrote: Then watch Herb’s Sutter recent talk “Leak freedom by default”. Now THAT guy must be out of his mind :) He could be, I havent seen it... Shared_ptr isnt frequently used, it is a last resort, atomic_shared_pointer is

Re: Precise GC state

2017-11-27 Thread Dmitry Olshansky via Digitalmars-d
On Monday, 27 November 2017 at 07:03:01 UTC, Ola Fosheim Grostad wrote: On Monday, 27 November 2017 at 06:47:00 UTC, Dmitry Olshansky wrote: Last time I check shared_ptr can be safely shared across threads, hence RC is takling synchronization and most likely atomics since locks won’t be any

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grostad via Digitalmars-d
On Monday, 27 November 2017 at 10:13:41 UTC, codephantom wrote: But in a discussion about GC, some technical details might prove to be very useful to those of us following this discussion. Precise scanning of pointers makes sense when you have many cachelines on the GC with no pointers in

Re: Precise GC state

2017-11-27 Thread codephantom via Digitalmars-d
On Monday, 27 November 2017 at 09:38:52 UTC, Temtaime wrote: Current GC in D is shit Can you elaborate? "D is totally useless"..."Dlang is a toy in outer space"... "GC in D is shit" .. I'm very open minded to these different argument styles, and occassionaly make use of them myself. But

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grostad via Digitalmars-d
On Monday, 27 November 2017 at 09:38:52 UTC, Temtaime wrote: Please stop this flame There is no flaming. Current GC in D is shit and all this speaking won't improve situation. If so, why are you here? But you are fundamentally wrong. Precise GC will not bring a general improvement

Re: Precise GC state

2017-11-27 Thread Temtaime via Digitalmars-d
Please stop this flame and make first real step into bringing precise GC to us. Current GC in D is shit and all this speaking won't improve situation. The PR is not merged although it passed all the tests.

Re: Precise GC state

2017-11-27 Thread Ola Fosheim Grøstad via Digitalmars-d
On Monday, 27 November 2017 at 07:09:25 UTC, Ola Fosheim Grostad wrote: But it kinda is missing the point that if it only is in a single thread then it would typically only have only one assignment. Shared_ptr is for holding a resource not for using it... Just to expand a bit on this: What

Re: Precise GC state

2017-11-26 Thread Ola Fosheim Grostad via Digitalmars-d
On Monday, 27 November 2017 at 06:59:30 UTC, Petar Kirov [ZombineDev] wrote: the shared_ptr itself) and you can't opt out of that even if you're not sharing the shared_ptr with other threads. Well, the compiler can in theory ellide atomics if it csn prove that the memory cannot be accessed by

Re: Precise GC state

2017-11-26 Thread Ola Fosheim Grostad via Digitalmars-d
On Monday, 27 November 2017 at 06:47:00 UTC, Dmitry Olshansky wrote: Last time I check shared_ptr can be safely shared across threads, hence RC is takling synchronization and most likely atomics since locks won’t be any better. The controlblock can, but it is crazy to use shared_ptr for

Re: Precise GC state

2017-11-26 Thread Petar via Digitalmars-d
On Monday, 27 November 2017 at 06:36:27 UTC, Ola Fosheim Grostad wrote: On Monday, 27 November 2017 at 05:47:49 UTC, Dmitry Olshansky wrote: likely via RAII. Not to mention cheap (thread-local) Ref Counting, C++ and many other language have to use atomics which makes RC costly. No, you dont.

Re: Precise GC state

2017-11-26 Thread Dmitry Olshansky via Digitalmars-d
On Monday, 27 November 2017 at 06:36:27 UTC, Ola Fosheim Grostad wrote: On Monday, 27 November 2017 at 05:47:49 UTC, Dmitry Olshansky wrote: likely via RAII. Not to mention cheap (thread-local) Ref Counting, C++ and many other language have to use atomics which makes RC costly. No, you dont.

Re: Precise GC state

2017-11-26 Thread Ola Fosheim Grostad via Digitalmars-d
On Monday, 27 November 2017 at 05:47:49 UTC, Dmitry Olshansky wrote: likely via RAII. Not to mention cheap (thread-local) Ref Counting, C++ and many other language have to use atomics which makes RC costly. No, you dont. Nobody in their right mind would do so in C++ as a general solution.

Re: Precise GC state

2017-11-26 Thread Dmitry Olshansky via Digitalmars-d
“skip” write barriers in your @system code because it may run as part of larger @safe. Which is where they are the most costly. I was thinking you would use a generational or precise GC for @safe code and then fall back to the normal GC with @system/@trusted code. Wishful thinking. Memory

Re: Precise GC state

2017-11-26 Thread jmh530 via Digitalmars-d
On Sunday, 26 November 2017 at 19:11:08 UTC, Jonathan M Davis wrote: It wouldn't work. @safe code and @system code call each other all the time (using @trusted where necessary), and they freely exchange stuff that was allocated on the GC heap. [snip] I see. Fair enough.

Re: Precise GC state

2017-11-26 Thread Ola Fosheim Grostad via Digitalmars-d
On Sunday, 26 November 2017 at 19:11:08 UTC, Jonathan M Davis wrote: We can't even have different heaps for immutable and mutable stuff, because it's very common to construct something as mutable and then cast it to immutable (either explicitly or This is easy to fix, introduce a uniquely

Re: Precise GC state

2017-11-26 Thread Jonathan M Davis via Digitalmars-d
would be > > cheaper to implement. > > > > Sadly you can’t “skip” write barriers in your @system code > > because it may run as part of larger @safe. Which is where they > > are the most costly. > > I was thinking you would use a generational or precise GC for > @

Re: Precise GC state

2017-11-26 Thread jmh530 via Digitalmars-d
as part of larger @safe. Which is where they are the most costly. I was thinking you would use a generational or precise GC for @safe code and then fall back to the normal GC with @system/@trusted code. Not sure if that's possible or not, but in my head it would be a separate heap from

Re: Precise GC state

2017-11-26 Thread Ola Fosheim Grostad via Digitalmars-d
On Sunday, 26 November 2017 at 08:49:42 UTC, Dmitry Olshansky wrote: Sadly you can’t “skip” write barriers in your @system code because it may run as part of larger @safe. Which is where they Well, you can if you carefully lock the gc runtime or if you dont modify existing scannable pointers

Re: Precise GC state

2017-11-26 Thread Dmitry Olshansky via Digitalmars-d
On Sunday, 26 November 2017 at 04:01:31 UTC, jmh530 wrote: On Friday, 24 November 2017 at 05:53:37 UTC, Dmitry Olshansky wrote: A better GC is a great direction. Generational one is not feasible unless we disallow quite a few of our features. What about @safe? If all of the code is 100%

Re: Precise GC state

2017-11-25 Thread jmh530 via Digitalmars-d
On Friday, 24 November 2017 at 05:53:37 UTC, Dmitry Olshansky wrote: A better GC is a great direction. Generational one is not feasible unless we disallow quite a few of our features. What about @safe?

Re: Precise GC state

2017-11-24 Thread codephantom via Digitalmars-d
On Friday, 24 November 2017 at 07:48:03 UTC, Ola Fosheim Grøstad wrote: But I am not sure if Walter's goal is to attract as many users as possible. Given all the bullshit bugs I have to deal with, I'm starting to think it's the opposite.

Re: Precise GC state

2017-11-24 Thread Dmitry Olshansky via Digitalmars-d
On Thursday, 23 November 2017 at 20:13:31 UTC, Adam Wilson wrote: a precise GC will enable data with isolated or immutable indirections to be safely moved between threads I think you could in any case. What precise allows is to copy object during collection if there is no conservative

Re: Precise GC state

2017-11-23 Thread Ola Fosheim Grøstad via Digitalmars-d
On Friday, 24 November 2017 at 05:34:14 UTC, Adam Wilson wrote: RAII+stack allocations make sense when I care about WHEN an object is released and wish to provide some semblance of control over deallocation (although as Andrei has pointed out numerous time, you have no idea how many objects

Re: Precise GC state

2017-11-23 Thread Dmitry Olshansky via Digitalmars-d
On Friday, 24 November 2017 at 05:34:14 UTC, Adam Wilson wrote: On 11/23/17 13:40, Ola Fosheim Grøstad wrote: On Thursday, 23 November 2017 at 20:13:31 UTC, Adam Wilson wrote: I would focus on a generational GC first for two reasons. The But generational GC only makes sense if many of your

Re: Precise GC state

2017-11-23 Thread Adam Wilson via Digitalmars-d
On 11/23/17 13:40, Ola Fosheim Grøstad wrote: On Thursday, 23 November 2017 at 20:13:31 UTC, Adam Wilson wrote: I would focus on a generational GC first for two reasons. The But generational GC only makes sense if many of your GC objects have a short life span. I don't think this fits well

Re: Precise GC state

2017-11-23 Thread Ola Fosheim Grøstad via Digitalmars-d
On Thursday, 23 November 2017 at 20:13:31 UTC, Adam Wilson wrote: I would focus on a generational GC first for two reasons. The But generational GC only makes sense if many of your GC objects have a short life span. I don't think this fits well with sensible use of a language like D where

Re: Precise GC state

2017-11-23 Thread Adam Wilson via Digitalmars-d
On 11/23/17 02:47, Nordlöw wrote: On Wednesday, 22 November 2017 at 13:44:22 UTC, Nicholas Wilson wrote: Thats a linker(?) limitation for OMF (or whatever is the win32 object file format). Was just fixed! What improvements to D's concurrency model is made possible with this precise GC? I

Re: Precise GC state

2017-11-23 Thread Nordlöw via Digitalmars-d
On Wednesday, 22 November 2017 at 13:44:22 UTC, Nicholas Wilson wrote: Thats a linker(?) limitation for OMF (or whatever is the win32 object file format). Was just fixed! What improvements to D's concurrency model is made possible with this precise GC? I recall Martin Nowak saying at DConf

Re: Precise GC state

2017-11-22 Thread Adam Wilson via Digitalmars-d
On 11/22/17 05:44, Nicholas Wilson wrote: On Wednesday, 22 November 2017 at 13:23:54 UTC, Nordlöw wrote: On Wednesday, 22 November 2017 at 10:53:45 UTC, Temtaime wrote: Hi all ! https://github.com/dlang/druntime/pull/1603 Only the Win32 build fails as Error: more than 32767 symbols in

Re: Precise GC state

2017-11-22 Thread Nicholas Wilson via Digitalmars-d
On Wednesday, 22 November 2017 at 13:23:54 UTC, Nordlöw wrote: On Wednesday, 22 November 2017 at 10:53:45 UTC, Temtaime wrote: Hi all ! https://github.com/dlang/druntime/pull/1603 Only the Win32 build fails as Error: more than 32767 symbols in object file What's wrong? Thats a linker(?)

Re: Precise GC state

2017-11-22 Thread Nordlöw via Digitalmars-d
On Wednesday, 22 November 2017 at 10:53:45 UTC, Temtaime wrote: Hi all ! https://github.com/dlang/druntime/pull/1603 Only the Win32 build fails as Error: more than 32767 symbols in object file What's wrong?

Re: Precise GC state

2017-11-22 Thread Adam Wilson via Digitalmars-d
On 11/22/17 02:53, Temtaime wrote: Hi all ! https://github.com/dlang/druntime/pull/1603 Can someone investigate and bring it to us ? 4 years passed from gsoc 2013 and there's still no gc. Many apps suffers from false pointers and bringing such a gc will help those who affected by it. It seems

Precise GC state

2017-11-22 Thread Temtaime via Digitalmars-d
Hi all ! https://github.com/dlang/druntime/pull/1603 Can someone investigate and bring it to us ? 4 years passed from gsoc 2013 and there's still no gc. Many apps suffers from false pointers and bringing such a gc will help those who affected by it. It seems all the tests are passed except

Re: [GSoC] Precise GC

2016-12-20 Thread qznc via Digitalmars-d-announce
to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than it was to be getting merged. [...] On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi,how about the precise GC, now? I want to known too. I was asked the same

Re: How do we accelerate the development of precise GC, RC and so on?

2016-11-24 Thread Jack Applegame via Digitalmars-d
So, who wants to do a good deed and make some money? We can create an issue and start fundraising on Bountysource. We can also donate to the D Language Foundation, but I personally would like to see the funds were used to develop precise GC and DIP74 (https://wiki.dlang.org/DIP74).

Re: How do we accelerate the development of precise GC, RC and so on?

2016-11-23 Thread Seb via Digitalmars-d
On Wednesday, 23 November 2016 at 04:27:58 UTC, Dsby wrote: On Tuesday, 22 November 2016 at 11:20:10 UTC, Jack Applegame wrote: We look forward to sane GC over the years. How do we accelerate the development of precise GC, RC and so on? Maybe we should organize a fundraiser on Kickstarter

Re: How do we accelerate the development of precise GC, RC and so on?

2016-11-22 Thread Adam Wilson via Digitalmars-d
Dsby wrote: On Tuesday, 22 November 2016 at 11:20:10 UTC, Jack Applegame wrote: We look forward to sane GC over the years. How do we accelerate the development of precise GC, RC and so on? Maybe we should organize a fundraiser on Kickstarter or somewhere else? I'm not ready to write precise GC

Re: How do we accelerate the development of precise GC, RC and so on?

2016-11-22 Thread Dsby via Digitalmars-d
On Tuesday, 22 November 2016 at 11:20:10 UTC, Jack Applegame wrote: We look forward to sane GC over the years. How do we accelerate the development of precise GC, RC and so on? Maybe we should organize a fundraiser on Kickstarter or somewhere else? I'm not ready to write precise GC, but I'm

How do we accelerate the development of precise GC, RC and so on?

2016-11-22 Thread Jack Applegame via Digitalmars-d
We look forward to sane GC over the years. How do we accelerate the development of precise GC, RC and so on? Maybe we should organize a fundraiser on Kickstarter or somewhere else? I'm not ready to write precise GC, but I'm willing to donate to those who are ready.

Re: [GSoC] Precise GC

2016-10-22 Thread Jeremy DeHaan via Digitalmars-d-announce
On Monday, 17 October 2016 at 02:59:15 UTC, Dsby wrote: On Friday, 14 October 2016 at 03:26:31 UTC, FrankLike wrote: On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC

Re: [GSoC] Precise GC

2016-10-16 Thread Dsby via Digitalmars-d-announce
On Friday, 14 October 2016 at 03:26:31 UTC, FrankLike wrote: On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than

Re: [GSoC] Precise GC

2016-10-13 Thread FrankLike via Digitalmars-d-announce
On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than it was to be getting merged. [...] On Friday, 2 September 2016 at 03:25

Re: [GSoC] Precise GC

2016-09-08 Thread Jeremy DeHaan via Digitalmars-d-announce
On Wednesday, 7 September 2016 at 02:15:30 UTC, Dsby wrote: On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than

Re: [GSoC] Precise GC

2016-09-08 Thread David Nadlinger via Digitalmars-d-announce
and independent, as I understand. This is correct, but when designing a GC – in particular, a precise GC –, having the compiler emit additional helpful metadata to binaries is always an option worth considering. — David

Re: [GSoC] Precise GC

2016-09-07 Thread thedeemon via Digitalmars-d-announce
On Tuesday, 6 September 2016 at 14:56:15 UTC, jmh530 wrote: GC (and runtime in general) has no idea what code is safe and what code is system. GC works with data at run-time. All @safe-related stuff is about code (not data!) and happens at compile-time. They are completely orthogonal and

Re: [GSoC] Precise GC

2016-09-06 Thread Dsby via Digitalmars-d-announce
On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than it was to be getting merged. [...] In Mac 32 bit. the test is not pass.

Re: [GSoC] Precise GC

2016-09-06 Thread jmh530 via Digitalmars-d-announce
On Saturday, 3 September 2016 at 12:22:25 UTC, thedeemon wrote: GC (and runtime in general) has no idea what code is safe and what code is system. GC works with data at run-time. All @safe-related stuff is about code (not data!) and happens at compile-time. They are completely orthogonal and

Re: [GSoC] Precise GC

2016-09-03 Thread thedeemon via Digitalmars-d-announce
On Friday, 2 September 2016 at 14:55:26 UTC, jmh530 wrote: Anyway, with @safe unions, my thinking is that it would mean that the garbage collector can be made precise in @safe code in a way that it can't in @system code (assuming unions with pointers aren't snuck in through @trusted). GC

Re: [GSoC] Precise GC

2016-09-02 Thread jmh530 via Digitalmars-d-announce
On Friday, 2 September 2016 at 08:14:33 UTC, Rory McGuire wrote: Can we rather just make a special tagged union that is scanned... rather avoid trying to make something that should be minimal more and more complex? The compiler already treats some parts of phobos as "special" as far as I

Re: [GSoC] Precise GC

2016-09-02 Thread Guillaume Piolat via Digitalmars-d-announce
On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Through the work I did and the research of a couple of GC topics, I discovered that I really enjoyed working on the garbage collector and I plan on continuing that. I was recently accepted to the University of Washington's

Re: [GSoC] Precise GC

2016-09-02 Thread Rory McGuire via Digitalmars-d-announce
On Fri, Sep 2, 2016 at 9:46 AM, Jeremy DeHaan via Digitalmars-d-announce < digitalmars-d-announce@puremagic.com> wrote: > [snip]. Precisely scanning unions is tricky since they could mix pointer > and non pointer types. [snip] > Can we rather just make a special tagged union that is scanned...

Re: [GSoC] Precise GC

2016-09-02 Thread Jeremy DeHaan via Digitalmars-d-announce
On Friday, 2 September 2016 at 06:54:57 UTC, Ali Çehreli wrote: On 09/01/2016 08:25 PM, Jeremy DeHaan wrote: > I will still continue working on it in the hopes it'll get in. Great news! :) > I > discovered that I really enjoyed working on the garbage collector If that's not motivation

Re: [GSoC] Precise GC

2016-09-02 Thread Jeremy DeHaan via Digitalmars-d-announce
On Friday, 2 September 2016 at 05:19:57 UTC, thedeemon wrote: On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than

Re: [GSoC] Precise GC

2016-09-02 Thread Ali Çehreli via Digitalmars-d-announce
On 09/01/2016 08:25 PM, Jeremy DeHaan wrote: > I will still continue working on it in the hopes it'll get in. Great news! :) > I > discovered that I really enjoyed working on the garbage collector If that's not motivation enough... > I was recently accepted to the University of Washington's

Re: [GSoC] Precise GC

2016-09-01 Thread thedeemon via Digitalmars-d-announce
On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than it was to be getting merged. My open PR for the actual inclusion

Re: [GSoC] Precise GC

2016-09-01 Thread rikki cattermole via Digitalmars-d-announce
On 02/09/2016 3:25 PM, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than it was to be getting merged. My open PR for the actual inclusion of the precise GC is here: https

Re: [GSoC] Precise GC

2016-09-01 Thread Dsby via Digitalmars-d-announce
On Friday, 2 September 2016 at 03:25:33 UTC, Jeremy DeHaan wrote: Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than it was to be getting merged. [...] wait for merge

[GSoC] Precise GC

2016-09-01 Thread Jeremy DeHaan via Digitalmars-d-announce
Hi everyone, I know I'm super late to the party for this, and sorry for that. While my work on the precise GC didn't go as planned, it is closer than it was to be getting merged. My open PR for the actual inclusion of the precise GC is here: https://github.com/dlang/druntime/pull/1603 Even

DIP74 and precise GC

2016-05-21 Thread Dsby via Digitalmars-d
I look the DIP in the wiki: http://wiki.dlang.org/DIP74 and in GSOC ,https://forum.dlang.org/thread/jcfwcdvvfytdkjrpd...@forum.dlang.org which will be come true nearest。

Re: GSoC 2016 - Precise GC

2016-05-08 Thread thedeemon via Digitalmars-d-announce
On Sunday, 8 May 2016 at 11:16:56 UTC, deadalnix wrote: Ones that have only pointers are probably OK too. Though I'm not sure if a precise scanner takes into account the type of the pointer. I would expect it to use embedded typeinfo in target block. -Steve Because of void* and classes,

Re: GSoC 2016 - Precise GC

2016-05-08 Thread Pham via Digitalmars-d-announce
On Friday, 6 May 2016 at 09:06:59 UTC, Dmitry Olshansky wrote: On 06-May-2016 05:37, Jeremy DeHaan wrote: On Wednesday, 4 May 2016 at 12:42:30 UTC, jmh530 wrote: On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote: You can identify safe functions with

Re: GSoC 2016 - Precise GC

2016-05-08 Thread deadalnix via Digitalmars-d-announce
On Friday, 6 May 2016 at 09:31:08 UTC, Steven Schveighoffer wrote: On 5/6/16 11:06 AM, Dmitry Olshansky wrote: On 06-May-2016 05:37, Jeremy DeHaan wrote: On Wednesday, 4 May 2016 at 12:42:30 UTC, jmh530 wrote: On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote: I'm not sure, but

Re: GSoC 2016 - Precise GC

2016-05-06 Thread Leandro Lucarella via Digitalmars-d-announce
On Tuesday, 3 May 2016 at 18:15:20 UTC, Jeremy DeHaan wrote: Not sure if it is something I can get to in the course of my project though. Scanning only unions conservatively is still pretty good. And the stack, and the CPU registers, but yeah, it should be a minority.

Re: GSoC 2016 - Precise GC

2016-05-06 Thread Steven Schveighoffer via Digitalmars-d-announce
On 5/6/16 11:06 AM, Dmitry Olshansky wrote: On 06-May-2016 05:37, Jeremy DeHaan wrote: On Wednesday, 4 May 2016 at 12:42:30 UTC, jmh530 wrote: On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote: I'm not sure, but one would think that @safe code wouldn't need any extra information

Re: GSoC 2016 - Precise GC

2016-05-06 Thread Dmitry Olshansky via Digitalmars-d-announce
On 06-May-2016 05:37, Jeremy DeHaan wrote: On Wednesday, 4 May 2016 at 12:42:30 UTC, jmh530 wrote: On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote: I'm not sure, but one would think that @safe code wouldn't need any extra information about the union. I wouldn't know how to

Re: GSoC 2016 - Precise GC

2016-05-05 Thread Jeremy DeHaan via Digitalmars-d-announce
On Wednesday, 4 May 2016 at 12:42:30 UTC, jmh530 wrote: On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote: I'm not sure, but one would think that @safe code wouldn't need any extra information about the union. I wouldn't know how to differentiate between them though during

Re: GSoC 2016 - Precise GC

2016-05-04 Thread jmh530 via Digitalmars-d-announce
On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote: I'm not sure, but one would thing that @safe code wouldn't need any extra information about the union. I wouldn't know how to differentiate between them though during runtime. Probably someone with more experience with the

  1   2   3   >