[r6rs-discuss] [Formal] bytevector aliasing severely impedes optimizations

From: Bradley Lucier <lucier>
Date: Mon Mar 5 12:47:36 2007

On Mar 5, 2007, at 10:36 AM, William D Clinger wrote:

> Brad Lucier wrote:
>> I presume that many people might want to use bytevectors as described
>> in this report to increase computational speed and decrease memory
>> requirements by avoiding boxing/unboxing of objects that might
>> otherwise be boxed when held in generic vectors.
>
> Me too. I have been assuming that someone would write
> a SRFI for type-specific numeric vectors together with
> a portable R6RS reference implementation using bytevectors
> encapsulated within records.
>
> If you or I were to write that SRFI, it would solve the
> aliasing problem without even having to mention it.

Will it? The components of two records, one holding ints, one
holding floats (or, here we go, one holding *both* floats and ints,
which is what is really envisaged by this proposal) could not be the
same bytevector?

I haven't looked at the record proposal, so I don't know.

Brad
Received on Mon Mar 05 2007 - 12:47:12 UTC