:: Re: [Dng] [OT] Debian problems with…
Page principale
Supprimer ce message
Répondre à ce message
Auteur: T.J. Duchene
Date:  
À: Hendrik Boom
CC: dng@lists.dyne.org
Sujet: Re: [Dng] [OT] Debian problems with Jesse - was simple backgrounds
I think it is very likely Henrik, that we will never agree entirely on the
subject. =) Which is okay with me and should be okay with you, too.

We agree that particular GC is doomed to be flawed. As something that
cannot be avoided, the potential for disasterous bugs that cannot be fixed
by the application programmer outweigh any benefits that a GC provides in
my opinion. It's important to note that generally speaking a more accurate
GC mechanism is inherently more complex and wastes more and more resources
including battery power and user time. For me, this goes against the first
maxim of programming: keep it simple.

As you say, compilers are not perfect either, but your average compiler,
converting code to assembly, is well understood and fairly
straightforward. Garbage collection is not nearly as straightforward. You
aren't even sure it will work until the code is actually executed. It's a
dynamic process, and guaranteeing reliability is a problem.

Ultimately in the real world, the only effective mechanism for fixing the
problems that GC tries to address is a programmer trained to clean up after
herself. That's why I don't buy into the idea that GC languages are
better. I believe they create the worst kind of programmers: lazy.

t.j.

On Wed, Mar 4, 2015 at 1:04 PM, Hendrik Boom <hendrik@???> wrote:

> On Wed, Mar 04, 2015 at 01:39:55AM -0600, T.J. Duchene wrote:
> >
> > On 03/03/2015 09:07 PM, Hendrik Boom wrote:
> > >As time passed, they kept finding new uses for their scripting
> > >language. Occasionally they would realize and existing module
> > >needed major new functinoality, and it was easier to write the new
> > >version in Scheme than to modify the old. Over two years or so,
> > >they ended up replacing their C code, piece by piece, with Scheme
> > >code. In the end they had a system that was mostly written in
> > >Scheme, was more reliable, did more, ran faster, and was only
> > >about 30000 lines of Scheme.
> >
> > When I say this, please do not think that I am making remarks
> > against your experience or observations, but I just "don't get it".
> >
> > I don't see how that can be the case. The version of Scheme that
> > you mention is specifically implemented on top of C, so your remarks
> > cannot be entirely true, nor make any sense to me at all. Scheme
> > can't be more reliable, do more, or run faster, especially if it
> > implemented on top of C or even converted into system object code by
> > the very same C compiler.
>
> No doubt the programmers could in principle have written the same code
> that Gambit generated. I say "in principle" because the generated C
> code is bulky, uncommented, and well-nigh incomprehensible. They could
> have even written equivalent code in well ant truly commented readable C
> code. But to someone new coming to the project, any 200,000 lines of
> code are incomprehensible, regardless of quality.
>
> What made the difference is that 30,000 lines of code are more
> comprehensible than 200,000, just by sheer volume.
> It was easier to understand what the code was doing. So they could see
> what was really going on and replace algorithms easily.
>
> The increase in comprehensibility might have been due simply to the
> reduced volume of code.
>
> But the powerful metaprogramming features of Gambit may also have
> helped. They could adapt the language to their applications semantics,
> making it all more comprehensible. And it may also have reduced the
> total amount of code they needed to write.
>
> >
> > The entire statement is "non sequitur."
> >
> > I will that any specific compiler, even a C compiler, can be total
> > and utter crap, if it is badly implemented. I will also agree that
> > individuals' programming skills can be massively lacking. It is
> > possible that they were more skilled with Scheme than C, but that
> > does not make Scheme superior to C by any objective standard.
> >
> > >It was really a win for the high-level, garbage-collected language.
> > >
> >
> > I've used enough GC languages to know the problems that they try to
> > solve. It's a good idea to try, really, and it is a fantastic
> > debugging tool when testing code.
>
> It's a fantastic debugging tool only in a run-time secure language.
> Then you can rely on things like pointers pointing to the kind of thing
> they should when interpreting debugging output and making deductions
> about what yout code did.
>
> If your language isn't run-time secure, combining garbage collection
> and undebugged code is a disaster.
>
> The Boehm garbage collector may well *not* be your friend when writing C
> or C++.
>
> >
> > But that is all it is good for.
>
> There are problems in which the data structures are so inherently
> tangled that garbage collection is the *only* practical way to
> manage memory. I agree that most programs are not of this type.
>
> One use of a garbage collector is in fsck. It garbage collects file
> systems. This was especially useful in the days when you could
> hard-link directories.
>
> > No one has ever created a fail-proof GC design. When the GC model
> > fails, it makes fixing your code difficult, sometimes even
> > impossible to correct without a patch for the entire runtime, not to
> > mention you may need to recompile everything regardless after you
> > get it.
>
> The same is true for a compiler that generates subtly bad code.
> I don't know of any bug-free compilers. Do you?
>
> Well, actually, I was once told that the Algol 60 compiler written by
> Kruseman Aretz was bug-free. But I have no direct experience with it.
>
> I'm told that his friends, as an April Fool's joke, once carefully faked
> up a program listing and its (wrong) output and claimed they had
> detected a bug after the compiler had been running correctly for years.
> He caught on when he realised that the page numbers on the program
> listing were not *quite* printed as his compiler would have written
> them.
>
> >
> > When someone can design a GC language that solves leaks and buffer
> > overflows 100% of the time, I'll give them all the praise they
> > deserve.
>
> Buffer overflows can be stopped by a language. Until, of course, you
> step outside the language because you need to use code that does things
> not allowed in the language.
>
> Leaks are more difficult. GC can prevent dangling pointers, but
> determining for sure whether any piece of storage will ever be used
> again is Turing-undecidable.
>
> Systems languages that are type- and storage- secure handle this
> pragmatically. They have an "UNSAFE" language variant that does allow
> the unsafe operations. But you have to request that specifically. You
> don't get to violate safety restriction accidentally. And, of course,
> the language takes no responsibility for the safety of that code.
> This is where it *does* assume you know what you're doing. This is
> where you can explicitly do your own storage allocation and freeing.
> Indeed, the Modula 3 garbage collectors are written in the UNSAFE
> dialect. Yes, Modula 3 has several GCs, depending on your needs.
> And it has both garbage-collected and (UNSAFE) not-garbage-collected
> storage, depending on data type.
>
> I once thought it would be fun to write a Pascal compiler that actually
> checks all the restrictions in the manual, and, for safety, uses a
> garbage collector. New and dispose would still be what the programmer
> uses, but the GC would be used as a check. Storage disposed would be
> marked as gone, but would be kept as long as things still pointed to it
> -- so we get a comprehensible error message if it's ever actually used.
> And storage garbage-collected but never explicitly 'dispose' would be
> an opportunity for a memory leak warning -- a sort of
> software-implemented valgrind.
>
> This is GC for debugging.
>
> > Until then, the only things that GC does for you is waste memory,
> > processor time, and force you to reboot the entire system more
> > frequently in order to clear the exhausted resources.
>
> Garbage collectors tend to be the most intensely debugged components of
> a programming language implementation. And the most difficult to debug.
> But if there's a bug there, lots of code fails. And that's very
> noticeable. So if you have implementers with high standards (and those are
> the
> *only* ones that should be implementing programming languages that
> people rely on) garbage collector bugs are not usually a problem. If
> there are a lot of bugs logged against a language implementation, I'd
> avoid it, whether it has a garbage collector or not. (Except wishlist
> bugs, of course. Excessive response to wishlist bugs often indicates
> code churn, and possibly lanuage-design churn.)
>
> >
> > Have a great evening!
> > t.j.
>