Re: C is too old? opinions?

Phlip wrote:
goose wrote:

Now I'm really curious; how does the garbage collector run in
deterministic time? Is it possibly a case of running the gc after every X
operations knowing that no more than Y memory has to be released and that
doing that will require no more than Z time?

Making a garbage collector deterministic would defeat the point of a
garbage collector - trading programming time for run time.

If the programmer must specify "please collect this and this object, now,
before the next real-time strobe", they might as well use pointers and
'free()'...

Along the same line of reasoning, how can you prove that a program is
deterministic in both time and memory using dynamic memory
allocation?

That problem was handled in the SPARK programming language by
prohibiting dynamic memory allocation in real time systems.

http://en.wikipedia.org/wiki/SPARK_programming_language

Many of the most interesting real time systems are also safety-
critcal systems. Examples include avionics, high speed train
control systems, and medical diagnostic systems. Each of those
areas require a process to certify that the software does what
it should when it should, and not something else. In short, the
software must be proveably correct.

Very few programming languages efficiently support the level
of proof required for safety-critical real-time systems.

Jim Rogers

.

Relevant Pages

  • Re: Requesting advice how to clean up C code for validating string represents integer
    ... technical definition of a programming language) which in ordinary ... usage has a "wide variety of exact meanings in many walks of life", ... whether some random set of memory cells in a C core image, ... north-west relative to the rest of the Bay Area. ...
    (comp.lang.c)
  • Re: MAKEINTRESOURCE in win32asm
    ... > practical use, as there is no reason, in Asm Programming ... (which would also require a second read from memory to complete), ... haven't noticed it...you must have had some address pointer, ... ooh, "messages"...the value zero can mean "window created", the value ...
    (alt.lang.asm)
  • Re: A case for HTML as a programming language
    ... > language that can express any finite state machine can express any ... amount of external read/write memory, ... By contrast, a full computer with only HTML as its language, no real ... programming language in addition, and links only to static WebPages (no ...
    (comp.programming)
  • Re: The Great Debate V. What have changed ?
    ... I programmed using the Delphi VCL for years. ... > wanted more memory statistics than Delphi was giving me. ... To thoose with more than 5 years programming ... > overestimated egos. ...
    (alt.lang.asm)
  • Re: Cell Architecture Explained (MASSIVE AMOUNT OF INFO)
    ... >Programming Itanic was a picnic compared to programming this thing; ... >So in return for giving up cache, your code has to manually move data ... >to/from memory. ... low-bandwidth stream register file that faces memory and local ...
    (comp.arch.embedded)