From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 109fba,cd8ed9115942852f
X-Google-NewGroupId: yes
X-Google-Thread: 103376,b92b95c9b5585075
X-Google-NewGroupId: yes
X-Google-Attributes: gid4f1905883f,gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.c++,comp.lang.ada
Subject: Re: Why use C++?
Date: Sun, 14 Aug 2011 08:46:20 +0200
Organization: cbb software GmbH
Message-ID: <m19qf3ywvky3$.1bg059efz4sd9$.dlg@40tude.net>
References: <fb9f787c-af06-427a-82b6-b0684e8dcbc5@s2g2000vby.googlegroups.com>
 <j1tha5$11q5$1@adenine.netfront.net>
 <1fd0cc9b-859d-428e-b68a-11e34de84225@gz10g2000vbb.googlegroups.com>
 <9ag33sFmuaU1@mid.individual.net> <j1v17b$h98$1@munin.nbi.dk>
 <1d8wyhvpcmpkd.ggiui9vebmtl.dlg@40tude.net> <j203cu$q97$1@dont-email.me>
 <150vz10ihvb5a.1lysmewa1muz4$.dlg@40tude.net> <j20cif$dr6$1@dont-email.me>
 <1q4c610mmuxn7$.1k6s78wa0r8fj.dlg@40tude.net> <j22c68$2m7$1@dont-email.me>
 <1vn800hbyx8k4$.1lsveclj56197$.dlg@40tude.net> <j239le$4l8$1@dont-email.me>
 <fwnlcp4mgj03$.1tjeqjtos00o8$.dlg@40tude.net> <j23tkh$gqa$1@dont-email.me>
 <1gu6ni1yb54k3$.4nbvfqqndl8m$.dlg@40tude.net> <j25ahb$gqm$1@dont-email.me>
 <s2xz04q9idte.hfqivhx1f77o.dlg@40tude.net> <9amuf2FdetU3@mid.individual.net>
 <m0g18wtbk40g$.1ebe2ndaeyvuj$.dlg@40tude.net> <j27o20$6ha$1@dont-email.me>
Reply-To: mailbox@dmitry-kazakov.de
NNTP-Posting-Host: JOYG6uyih8c+RZejuwLJsw.user.speranza.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: 40tude_Dialog/2.0.15.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: g2news1.google.com comp.lang.c++:82962 comp.lang.ada:20622
Date: 2011-08-14T08:46:20+02:00
List-Id: <comp.lang.ada>

On Sat, 13 Aug 2011 23:35:58 -0500, Jed wrote:

> Dmitry A. Kazakov wrote:
> 
>> First of all, performance is not a functional requirement.
> 
> What planet are you from?

It happened so, that 50% of what I am doing is designing embedded and
real-time systems.

> Of course it is a functional requirement. I.e, 
> where performance matters and is thus specified.

Where performance (timing) really matters at the level of severity making
it functional, it is specified in the form of real-time constraints. Then
your case looks much worse, fatal rather, sorry.

You have to show that an activity X is completed before the deadline T,
that must follow from the types selected and overall design. This means
that timing of the operations shall be contracted (which sill does not
guarantee you anything, but necessary to any form of static analysis). And
you have no contracts at all!

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de