Re: redoing SCM representation in 2.2

2011-05-19 Thread Ken Raeburn
On May 17, 2011, at 14:59, Mark H Weaver wrote: >> But the question I was after was, even if we want to use the full >> range of the values, do we need the entire set to be representable *in >> immediate form*? I doubt the very largest and smallest values are >> used often, so making just those va

Re: redoing SCM representation in 2.2

2011-05-17 Thread Mark H Weaver
Ken Raeburn writes: > On May 15, 2011, at 11:47, Andy Wingo wrote: >> No, but the nice thing about doubles is that it's a closed set. Any >> operation on a double produces a double. Subsets do not have that >> property. > > Well, I think it's also a subset of "long double", but if you define > t

Re: redoing SCM representation in 2.2

2011-05-16 Thread Andy Wingo
Hi Ken, On Sun 15 May 2011 22:43, Ken Raeburn writes: >> FWIW I plan on moving objcode to be ELF in 2.2, which will mean we > write >> our own loader for ELF, so we would have similar concerns about > mapping >> the file in the right address range. > > Ooh, also very interesting. Though, I woul

Re: redoing SCM representation in 2.2

2011-05-15 Thread Ken Raeburn
On May 15, 2011, at 11:47, Andy Wingo wrote: > However... note that GCC obsoleted all vax ports but openbsd and netbsd > in 4.3, removed them in 4.4, and just obsoleted it on netbsd recently I > think. Just saying :) I knew a bunch of ancient OSes for Vax were made obsolete in gcc, but last I lo

Re: redoing SCM representation in 2.2

2011-05-15 Thread Andy Wingo
On Sun 15 May 2011 11:00, Ken Raeburn writes: > So... Guile 2.2 won't work on the VAXstation in my basement, which > doesn't do IEEE math? :-( > (Not that I've powered it up in some time...) I have no idea. However... note that GCC obsoleted all vax ports but openbsd and netbsd in 4.3, removed

Re: redoing SCM representation in 2.2

2011-05-15 Thread Andy Wingo
On Sun 15 May 2011 11:02, Ken Raeburn writes: > Is that really any more of an issue this way than with the current > encoding -- if not for SCM, then for heap data structures including both > SCM objects and integers or characters? I thought the GC code already > had to cope with things looking

Re: redoing SCM representation in 2.2

2011-05-15 Thread Ken Raeburn
On May 14, 2011, at 05:47, Andy Wingo wrote: > However, I realized that this isn't going to work on 32-bit, and for an > unexpected reason: GC. The problem is that the low 32-bits can be > interpreted as a pointer, so you need to tag those bits to make the > payloads of immediate values like integ

Re: redoing SCM representation in 2.2

2011-05-15 Thread Ken Raeburn
On May 12, 2011, at 06:17, Andy Wingo wrote: > I'm looking at new SCM representation and tagging possibilities in 2.2. > Read the whole mail please, as it's a little complicated. Iteresting > I would like to revisit the SCM representation and tagging scheme in > 2.2. In particular, I wou

Re: redoing SCM representation in 2.2

2011-05-14 Thread Andy Wingo
Hi Mark, On Sat 14 May 2011 00:08, Mark H Weaver writes: > Andy Wingo writes: >> I'm looking at new SCM representation and tagging possibilities in 2.2. >> Read the whole mail please, as it's a little complicated. > > Unfortunately I don't have time to write a proper response right now, > but o

Re: redoing SCM representation in 2.2

2011-05-13 Thread Mark H Weaver
Hi Andy, Andy Wingo writes: > I'm looking at new SCM representation and tagging possibilities in 2.2. > Read the whole mail please, as it's a little complicated. Unfortunately I don't have time to write a proper response right now, but on 32-bit architectures, I expect that this will nearly doub

Re: redoing SCM representation in 2.2

2011-05-12 Thread Stefan Israelsson Tampe
Looks interesting. I would like to reserve an object for the stack machine I use. Actually I will be fine to model the prolog engine ontop of your segestion if it was not for one idea. So you have a layout of this (X Tag14 Data Tag8) Consider a the following tag in Tag14, frame-tag. Then Data is

Re: redoing SCM representation in 2.2

2011-05-12 Thread nalaginrut
So we'll see a 48-bits solution in 2.2? Sorry I can't say I'm clear since it's a long article. -- GNU Powered it GPL Protected it GOD Blessed it HFG - NalaGinrut --hacker key-- v4sw7CUSMhw6ln6pr8OSFck4ma9u8MLSOFw3WDXGm7g/l8Li6e7t4TNGSb8AGORTDLMen6g6RASZOGCHPa28s1MIr4p-x hackerkey.com ---end k

redoing SCM representation in 2.2

2011-05-12 Thread Andy Wingo
Hello list, I'm looking at new SCM representation and tagging possibilities in 2.2. Read the whole mail please, as it's a little complicated. The current system has a couple of problems: 1) You can only tell a pair by dereferencing the pointer and checking the cell's low bits, and then we