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-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!news4.google.com!fu-berlin.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Private or public task ? Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <38a0a3f9-b4a0-48f3-98c9-63b03fe03aca@q4g2000yqm.googlegroups.com> Date: Tue, 9 Feb 2010 09:43:33 +0100 Message-ID: NNTP-Posting-Date: 09 Feb 2010 09:40:53 CET NNTP-Posting-Host: d2249aa9.newsspool2.arcor-online.net X-Trace: DXC=RggV39iN1hFWDmlTRbh@=IA9EHlD;3YcB4Fo<]lROoRA8kF[Iea[TnF[6LHn;2LCVN7enW;^6ZC`DIXm65S@:3>OCfAjVjb15`L X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:9020 Date: 2010-02-09T09:40:53+01:00 List-Id: On Mon, 8 Feb 2010 09:28:44 -0800 (PST), Maciej Sobczak wrote: > The problem with blocking in particular is that there is no way to > verify whether imported subprograms (from C libraries, for example) > are blocking. You can import I/O operations from C libraries and there > is no way to verify what they do. You do not need that. The default must be "blocking". The programmer overrides the default if he is sure that the imported subprogram is not blocking. This is no different to the parameter profile of an imported procedure. There is no way to verify it. So the programmer just gives his word, and the compiler rely on it. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de