From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Newsgroups: gmane.os.hurd.l4,gmane.lisp.guile.user Subject: Re: GNU Hurd on $scheme Date: Mon, 04 Feb 2013 13:32:58 +0100 Message-ID: <87ehgw8dj9.fsf@gnu.org> References: <87sj5f81d6.fsf@gnu.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1359981207 22519 80.91.229.3 (4 Feb 2013 12:33:27 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 4 Feb 2013 12:33:27 +0000 (UTC) Cc: guile-user@gnu.org To: l4-hurd@gnu.org Original-X-From: l4-hurd-bounces+gnu-l4-hurd=m.gmane.org@gnu.org Mon Feb 04 13:33:46 2013 Return-path: Envelope-to: gnu-l4-hurd@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1U2LF4-0005vJ-60 for gnu-l4-hurd@m.gmane.org; Mon, 04 Feb 2013 13:33:46 +0100 Original-Received: from localhost ([::1]:45735 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U2LEl-0006Nu-LZ for gnu-l4-hurd@m.gmane.org; Mon, 04 Feb 2013 07:33:27 -0500 Original-Received: from eggs.gnu.org ([208.118.235.92]:46345) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U2LEf-0006NV-Sy for l4-hurd@gnu.org; Mon, 04 Feb 2013 07:33:23 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1U2LEe-0006Wk-DO for l4-hurd@gnu.org; Mon, 04 Feb 2013 07:33:21 -0500 Original-Received: from plane.gmane.org ([80.91.229.3]:56662) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1U2LEe-0006WU-6i for l4-hurd@gnu.org; Mon, 04 Feb 2013 07:33:20 -0500 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1U2LEu-0005rv-0J for l4-hurd@gnu.org; Mon, 04 Feb 2013 13:33:36 +0100 Original-Received: from 193.50.110.227 ([193.50.110.227]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 04 Feb 2013 13:33:35 +0100 Original-Received: from ludo by 193.50.110.227 with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 04 Feb 2013 13:33:35 +0100 X-Injected-Via-Gmane: http://gmane.org/ Original-Followup-To: gmane.os.hurd.l4 Original-Lines: 31 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 193.50.110.227 X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 16 =?utf-8?Q?Pluvi=C3=B4se?= an 221 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0xEA52ECF4 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA D15D 77DD 95E2 EA52 ECF4 X-OS: x86_64-unknown-linux-gnu User-Agent: Gnus/5.130005 (Ma Gnus v0.5) Emacs/24.2 (gnu/linux) Cancel-Lock: sha1:PrD3J47dxG57rkdHBQG6NzvUBqc= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 80.91.229.3 X-BeenThere: l4-hurd@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Discussion about the future direction of the GNU Hurd List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: l4-hurd-bounces+gnu-l4-hurd=m.gmane.org@gnu.org Original-Sender: l4-hurd-bounces+gnu-l4-hurd=m.gmane.org@gnu.org Xref: news.gmane.org gmane.os.hurd.l4:6028 gmane.lisp.guile.user:10014 Archived-At: Hey! Daniel Hartwig skribis: > On 2 February 2013 18:19, Ludovic Courtès wrote: [...] >> I think there are really two approaches: one is to augment the Hurd with >> Guile APIs and servers, and another one is to write a Scheme OS (like >> Göran’s http://weinholt.se/nygos/). You’re taking the first one, right? > > Primarily the second, I think. Guile APIs for the Hurd will be > constructed, but I plan to implement from the security kernel down in > Scheme, the target environment having most of core servers and kernel > running in a single VM process. Hmm, the concept of servers really makes sense when you have unsafe native code with separate address spaces. Otherwise Scheme procedure calls and threads (when needed) are basically equivalent, as Rees’ paper suggests. Or did I misunderstood the idea? >> For the Hurd, I’d start by writing some sort of a MiG in Scheme macros. >> > > This should permit porting the servers without having a Scheme kernel, right? This would allow Scheme code to make RPCs to Hurd servers, and Hurd servers to be implemented in Scheme. Ludo’.