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 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Ada platforms and pricing, was: Re: a new language, designed for safety ! Date: Tue, 24 Jun 2014 09:48:36 +0200 Organization: cbb software GmbH Message-ID: References: <255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com> <5ebe316d-cd84-40fb-a983-9f953f205fef@googlegroups.com> <2100734262424129975.133931laguest-archeia.com@nntp.aioe.org> <5156oy7vhg99.17wu6q2ef45ke.dlg@40tude.net> <18et97c0c22vc$.y98lxxfblijn.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: QTaafVZuunHujkJPndFR7g.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: news.eternal-september.org comp.lang.ada:20574 Date: 2014-06-24T09:48:36+02:00 List-Id: On Mon, 23 Jun 2014 21:40:40 +0100, Simon Wright wrote: > "Dmitry A. Kazakov" writes: > >> The idea of user-defined tasking is that the user would also provide the >> pool to allocate the task stack and would activate/deactivate his tasks. > > Something like green threads? That's one, but also and important an ability not to use any system resources like TCB, stack, pool. The intended use would be massively parallel threads of control. You don't want to pollute the system stack with these. This is why I want control where task's local objects gets allocated. And possibly what the default storage pool is. The idea is to be able to built a sandbox for these "tasks." -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de