Monday, December 28, 2015

Digest for comp.programming.threads@googlegroups.com - 16 updates in 7 topics

bleachbot <bleachbot@httrack.com>: Dec 28 02:22AM +0100

bleachbot <bleachbot@httrack.com>: Dec 28 02:26AM +0100

bleachbot <bleachbot@httrack.com>: Dec 28 02:27AM +0100

bleachbot <bleachbot@httrack.com>: Dec 28 02:31AM +0100

bleachbot <bleachbot@httrack.com>: Dec 28 02:39AM +0100

bleachbot <bleachbot@httrack.com>: Dec 28 03:04AM +0100

bleachbot <bleachbot@httrack.com>: Dec 28 03:08AM +0100

bleachbot <bleachbot@httrack.com>: Dec 28 03:43AM +0100

Ramine <ramine@1.1>: Dec 27 09:44PM -0800

Hello....
 
 
You have to understand me Sir and Madam, you have seen
me explaining to you why C++ and C are bad for realtime
safety critical systems, here is another proof that
makes C++ and C not suitable for realtime safety critical systems,
The c++11 have a weak software memory model and that`s not acceptable
for safety critical systems, simply because with this weak spftware
memory model you risk more , so the weak software memory model doesn`t
follow the spirit of Ada and Delphi and FreePascal, so this is why
FreePascal and Delphi follows the Strong memory model of the x86
architecture on an x86 architecture and that simplify the reasonning
about synchronization algorithms etc and that`s good for Realtime safety
critical systems.
 
 
Thank you,
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 27 09:09PM -0800

Hello...
 
You have to understand me Sir and Madam, if you look
at my previous proof, you will say that you can
rely on the good enginneers to avoid the problems
of C++ and C, but in realtime safety critical systems that`s
not the way it is, you have to have a programming language that
scales for safety ! so when you saw me giving you an example
in FreePascal and Delphi this example do scale for this kind
of safety for more complex softwares for realtime safety critical
systems, so you can not just rely on good engineers to
not make mistakes or to not test for the range of some variables,
so you have to have a kind of technic that scales easily
and that avoid a catastrophe to the realtime safety critical
systems, and you have seen me giving you a technic in FreePascal
and Delphi that scales for a kind of safety and that you can not do in
C++ or C, that`s the spirit of the Ada language also, Ada has all kinds
of ways and technics that scale very well for safety for realtime safety
critical systems, so hope you have understood the spirit of Ada and the
Spirit of FreePascal and Delphi.
 
 
 
Thank you,
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 27 09:05PM -0800

Hello...
 
You have to understand me Sir and Madam, if you look
at my previous proof, you will say that you can
rely on the good enginneers to avoid the problems
of C++ and C, but in realtime safe critical systems that`s
not the way it is, you have to have a programming language that
scales for safety ! so when you saw me giving you an example
in FreePascal and Delphi this example do scale for this kind
of safety for more complex softwares for realtime safety critical
systems, so you can not just rely on good engineers to
not make mistakes or to not test for the range of some variables,
so you have to have a kind of technic that scales easily
and that avoid a catastrophe to the realtime safety critical
systems, and you have seen me giving you a technic in FreePascal
and Delphi that scales for a kind of safety and that you can not do in
C++ or C, that`s the spirit of the Ada language also, Ada has all kinds
of ways and technics that scale very well for safety for realtime safety
critical systems, so hope you have understood the spirit of Ada and the
Spirit of FreePascal and Delphi.
 
 
 
Thank you,
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 27 08:40PM -0800

Hello,
 
 
If you have read my previous post of my proof, what i mean is:
 
The freedom that give us C++ and C is not acceptable for realtime safety
critical systems !
 
 
Thank you,
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 27 08:31PM -0800

Hello,
 
 
Look at this example in FreePascal and Delphi:
 
===
program test;
 
var a:integer;
 
 
procedure test(b:Longword);
begin
writeln(b)
end;
 
begin
 
a:=-3;
 
try
test(a);
 
except
writeln('problem!');
end;
end.
 
==
 
 
If you compile this example in FreePascal with the -Cr option for
range checking, the example above will generate an exception because
at runtime you are trying to pass a negative number to the function
that receive a Longword, that means that receive in C an unsigned long,
so this technic will scale to a much more complex software that
is wrote for realtime safety critical systems.. but in C++ and C you
can not do that, but you can just test for the range of the variables,
but if the software is more complex and you forgot to test the range of
some variables and it causes a catastrophe at runtime, that`s not ok!
but with the technic above in FreePascal, you can catch the exception
easily and you can try to avoid a catastrophe on the realtime safety
critical system.
 
 
This is why C and C++ are bad.
 
 
 
 
 
Thank you for your time.
 
 
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 27 08:23PM -0800

Hello....
 
 
Look at this example in FreePascal and Delphi:
 
===
program test;
 
var a:integer;
 
 
procedure test(b:Longword);
begin
writeln(b)
end;
 
begin
 
a:=3;
 
try
test(a);
 
except
writeln('problem!');
end;
end.
 
==
 
 
If you compile this example in FreePascal with the -Cr option for
range checking, the example above will generate an exception because
at runtime you are trying to pass a negative number to the function
that receive a Longword, that means that receive in C an unsigned long,
so this technic will scale to a much more complex software that
is wrote for realtime safety critical systems.. but in C++ and C you
can not do that, but you can just test for the range of the variables,
but if the software is more complex and you forgot to test the range of
some variables and it causes a catastrophe at runtime, that`s not ok!
but with the technic above in FreePascal, you can catch the exception
easily and you can try to avoid a catastrophe on the realtime safety
critical system.
 
 
This is why C and C++ are bad.
 
 
 
 
 
Thank you for your time.
 
 
Amine Moulay Ramdane.
Ramine <ramine@1.1>: Dec 27 08:27PM -0800

Sorry, here is the write example...
 
 
===
program test;
 
var a:integer;
 
 
procedure test(b:Longword);
begin
writeln(b)
end;
 
begin
 
a:=-3;
 
try
test(a);
 
except
writeln('problem!');
end;
end.
 
==
Ramine <ramine@1.1>: Dec 27 08:28PM -0800

Sorry, here is the right example:
 
 
===
program test;
 
var a:integer;
 
 
procedure test(b:Longword);
begin
writeln(b)
end;
 
begin
 
a:=-3;
 
try
test(a);
 
except
writeln('problem!');
end;
end.
 
==
You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page.
To unsubscribe from this group and stop receiving emails from it send an email to comp.programming.threads+unsubscribe@googlegroups.com.
Posted by at

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)