From: Pietro Gagliardi <pietro10@mac.com>
To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu>
Subject: Re: [9fans] Non-stack-based calling conventions
Date: Sun, 17 Feb 2008 23:40:42 -0500 [thread overview]
Message-ID: <988D77EE-5F2B-4584-B5AE-F3C13088C3BF@mac.com> (raw)
In-Reply-To: <775b8d190802172031t11f30a4bjed66c9f1db773ce2@mail.gmail.com>
New question: can Limbo be compiled to raw binary to run on native
hardware? Yes. Will I do it? No.
Next question: can C be interpreted like Limbo? Yes. (10th edition
Unix has such a program.) Will I do it? No.
Someone's ideas on a programming language should not be "forced" onto
another's state of mind. I don't like some of the features of Limbo
(sys := load Sys Sys->PATH) and I don't think Limbo can be used to
write a system kernel without an abundant amount of reductions or
compiler hacks (http://www.osdev.org/wiki/C_PlusPlus discusses enough
of them for C++ to make one puke). If someone defies those odds, good
for them. Also, C can be a pain in the neck at so many times (pointer
arithmetic multiplies the difficulty of porting Assembly to C). C can
be made to type-check at runtime, but will I do it to C itself? Not
when I'm porting about 30 Assembly files to C. I fear I've fallen
victim to the complications of Duff's device and the alt construct,
so I'll stop.
Flame extinguished.
On Feb 17, 2008, at 11:31 PM, Bruce Ellis wrote:
> you've changed your claims!
>
> it says elephant!
>
> 1) no, limbo is not good for everything. my doorbell is better
> without it.
> in the context of the original thread you just dismissed it because
> you wanted to argue.
>
> 2) porting limbo does not require ken's tool chain. have you had
> experience with this? anything "self-containted" can only blame
> itself for its blemishes.
>
> 3) the performance gain of having a fixed tlb with no context switch
> penalty is amazing. have you had experience with this?
>
> 4) if you are hacking the kernel then you aren't hacking limbo so
> what is the point of #4.
>
> after 41 messages in this thread you'll ask for references.
>
> brucee
>
> On Feb 18, 2008 2:43 PM, erik quanstrom <quanstro@quanstro.net> wrote:
>>> how did this get past my erik filter?
>>>
>>> wrong, wrong, wrong, wrong.
>>>
>>> four out of four as expected.
>>>
>>> brucee
>>
>> 100% whinage. 0 justification. 0 information. par for the
>> course. ☺
>>
>> since you disagree, i assume you claim that limbo's the hammer and
>> all
>> computing problems are nails. i'd like to know why limbo's the right
>> thing to run, e.g., on a freescale hc08 microcontroller. i'd also
>> like to know
>> why there is no performance penalty for running dis code over c. do
>> you claim the garbage collection doesn't take any appreciable time?
>> and the there is no overhead dealing with limbo's runtime
>> typechecking?
>> the inferno kernel i know about is written in c. where's the
>> limbo version?
>> how does one run a limbo program on a new architecture without
>> porting
>> the runtime or jit?
>>
>> - erik
>>
>>
next prev parent reply other threads:[~2008-02-18 4:40 UTC|newest]
Thread overview: 115+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-02-13 22:03 [9fans] quote of the day erik quanstrom
2008-02-13 23:08 ` Pietro Gagliardi
2008-02-13 23:24 ` [9fans] Google search " dave.l
2008-02-13 23:31 ` Pietro Gagliardi
2008-02-13 23:41 ` erik quanstrom
2008-02-13 23:49 ` Pietro Gagliardi
2008-02-13 23:59 ` john
2008-02-14 0:04 ` Pietro Gagliardi
2008-02-14 6:11 ` Anant Narayanan
2008-02-15 17:39 ` Skip Tavakkolian
2008-02-14 16:45 ` Douglas A. Gwyn
2008-02-14 17:09 ` john
2008-02-14 17:27 ` erik quanstrom
2008-02-15 9:50 ` Douglas A. Gwyn
2008-02-15 11:49 ` Alf
2008-02-15 13:15 ` erik quanstrom
2008-02-15 14:56 ` Brantley Coile
2008-02-15 15:44 ` Eris Discordia
2008-02-15 16:07 ` erik quanstrom
2008-02-15 16:43 ` maht
2008-02-15 17:35 ` ron minnich
2008-02-15 18:14 ` Iruata Souza
2008-02-15 18:37 ` maht
2008-02-15 17:39 ` Eris Discordia
2008-02-15 19:05 ` maht
2008-02-15 20:11 ` Eris Discordia
2008-02-15 20:18 ` Pietro Gagliardi
2008-02-15 20:49 ` maht
2008-02-16 23:32 ` Eris Discordia
2008-02-15 23:37 ` [9fans] Non-stack-based calling conventions Lyndon Nerenberg
2008-02-15 23:39 ` Pietro Gagliardi
2008-02-15 23:47 ` Paweł Lasek
2008-02-16 0:23 ` Brantley Coile
2008-02-16 23:32 ` Eris Discordia
2008-02-16 23:41 ` Pietro Gagliardi
2008-02-16 23:49 ` Brantley Coile
2008-02-17 0:04 ` Brantley Coile
2008-02-17 13:30 ` Eris Discordia
2008-02-17 15:04 ` erik quanstrom
2008-02-17 21:43 ` Uriel
2008-02-17 23:58 ` erik quanstrom
2008-02-18 1:54 ` Bruce Ellis
2008-02-18 3:43 ` erik quanstrom
2008-02-18 4:31 ` Bruce Ellis
2008-02-18 4:40 ` Pietro Gagliardi [this message]
2008-02-18 6:22 ` Robert William Fuller
2008-02-18 7:23 ` Bruce Ellis
2008-02-18 8:38 ` Anant Narayanan
2008-02-22 10:02 ` Douglas A. Gwyn
2008-02-22 19:35 ` Anant Narayanan
2008-02-18 8:30 ` Anant Narayanan
2008-02-18 8:44 ` Bruce Ellis
2008-02-18 18:50 ` Federico G. Benavento
2008-02-18 21:53 ` Lorenzo Fernando Bivens de la Fuente
2008-02-18 22:55 ` y i y u s
2008-02-18 23:46 ` Uriel
2008-02-18 22:14 ` Pietro Gagliardi
2008-02-18 22:16 ` Pietro Gagliardi
2008-02-18 22:32 ` Federico G. Benavento
2008-02-20 11:39 ` maht
2008-02-20 17:19 ` Bruce Ellis
2008-02-22 10:02 ` Douglas A. Gwyn
2008-02-22 10:02 ` Douglas A. Gwyn
2008-02-18 22:13 ` LiteStar numnums
2008-02-18 4:44 ` Pietro Gagliardi
2008-02-18 4:46 ` Pietro Gagliardi
2008-02-18 5:03 ` Uriel
2008-02-17 16:08 ` Anthony Sorace
2008-02-17 22:03 ` Charles Forsyth
2008-02-22 10:01 ` Douglas A. Gwyn
2008-02-22 14:07 ` Iruata Souza
2008-02-22 10:01 ` Douglas A. Gwyn
2008-02-22 10:01 ` Douglas A. Gwyn
2008-02-16 8:29 ` Lluís Batlle
2008-02-17 23:09 ` Chad Dougherty
2008-02-18 21:50 ` Pietro Gagliardi
2008-02-22 10:02 ` Douglas A. Gwyn
2008-02-26 21:30 ` Paweł Lasek
2008-02-26 22:00 ` maht
2008-02-26 22:32 ` Brantley Coile
2008-02-26 23:15 ` Uriel
2008-02-26 22:33 ` Brantley Coile
2008-02-26 22:46 ` Bruce Ellis
2008-02-27 4:26 ` lucio
2008-02-27 6:52 ` ron minnich
2008-02-27 17:57 ` lucio
2008-02-28 9:33 ` Bill Gunshannon
2008-02-28 9:58 ` Charles Forsyth
2008-02-28 14:15 ` Bill Gunshannon
2008-02-14 17:14 ` [9fans] Google search of the day Eris Discordia
2008-02-14 17:28 ` Fco. J. Ballesteros
2008-02-14 20:14 ` Eris Discordia
2008-02-14 20:30 ` Patrick Kristiansen
2008-02-14 20:38 ` Eris Discordia
2008-02-14 22:09 ` Pietro Gagliardi
2008-02-15 9:00 ` Eris Discordia
2008-02-14 17:51 ` Iruata Souza
2008-02-15 9:31 ` sqweek
2008-02-18 9:48 ` Douglas A. Gwyn
2008-02-18 9:57 ` Gorka Guardiola
2008-02-19 9:17 ` sqweek
2008-02-19 0:28 [9fans] Non-stack-based calling conventions Andrew Simmons
2008-02-19 0:39 ` Brantley Coile
2008-02-19 0:43 ` Andrew Simmons
2008-02-19 0:52 ` Uriel
2008-02-19 1:06 ` Pietro Gagliardi
2008-02-19 1:33 ` Brantley Coile
2008-02-19 3:18 ` Michaelian Ennis
2008-02-19 3:29 ` Michaelian Ennis
2008-02-19 3:35 ` Pietro Gagliardi
2008-02-19 5:18 ` Skip Tavakkolian
2008-02-19 5:33 ` Skip Tavakkolian
2008-02-19 4:11 ` Bruce Ellis
2008-02-20 14:59 ` maht
2008-02-20 15:28 ` Uriel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=988D77EE-5F2B-4584-B5AE-F3C13088C3BF@mac.com \
--to=pietro10@mac.com \
--cc=9fans@cse.psu.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).