back to business

Hi all,

I am back to GLAS after a long break. Toon and I have spent
quite some
time till the beginning of summer on getting a first vector
kernel
right, but never finished it.
I am currently rereading the concepts. What I would like to
do the
coming weeks is try and spend a day a week on the project.

I will try and separate concepts that are needed for the
core
functionality and those needed for the implementation of the
core in the
various backends that we currently have. Recall that the
core
functionality is the implementation of BLAS like algorithms.

In the meantime Peter has worked on vector space concepts,
which should
come in handy at a higher level than the core of GLAS.

Best,

Karl

-- 
Karl Meerbergen
Katholieke Universiteit Leuven
Department of Computer Science

E-mail: karl.meerbergencs.kuleuven.be
URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
Phone : +32 16 327700 (secretary)
Fax   : +32 16 327996

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

I have had a look at the current GLAS doc and codes. Some
cleaning is
wise and I would like to start with a fresh tree.

The concepts are going to be much slimmer than the current
version. It
is my intension to hide concepts needed for the
implementation details
as much as possible, and to move them to the backends. So,
no iterators,
cursors etc as a member of VectorExpression or
DenseVectorExpression.

The only exception is ContinuousDenseVectorExpression, where
pointer
access is added which is needed for the blas backend. This
is going to
be an example to illustrate how the code can be extended to
vector
concepts with a specific data access, e.g. vectors stored on
disk.

I think a first vector kernel can be ready pretty soon to
allow some
basic blas1-type operations. Then, we see what needs to be
added to
match and validate Peters vector space concept.

The idea is then to gradually enrich the concepts when more
requirements
are added to GLAS.


Karl

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

Hi Karl, Toon,

Have you considered using Concept-GCC ?
http://www.generic-programming.org/languages/conceptcpp/


Ian

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

I think we should consider this. Is concept-gcc stable now?


On Wed, 2006-11-22 at 14:36 +0100, Ian McCulloch wrote:
> Hi Karl, Toon,
> 
> Have you considered using Concept-GCC ?
> http://www.generic-programming.org/languages/conceptcpp/

> 
> Ian
> 
> _______________________________________________
> glas mailing list
> glaslists.boost.org
> http
://lists.boost.org/mailman/listinfo.cgi/glas
-- 
Karl Meerbergen
Katholieke Universiteit Leuven
Department of Computer Science

E-mail: karl.meerbergencs.kuleuven.be
URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
Phone : +32 16 327700 (secretary)
Fax   : +32 16 327996

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

On Wed, 22 Nov 2006, Karl Meerbergen wrote:

> I think we should consider this. Is concept-gcc stable
now?

I think it is, although last time I checked there were some
issues with 
compile times that ought to go away in the final version. 
Aside from 
spending a few hours reading the proposal, I have never used
concept gcc.  
Maybe someone else on this list has?  My impression was
though, it would 
be the killer feature for linear algebra libs.

Cheers,
Ian


> 
> 
> On Wed, 2006-11-22 at 14:36 +0100, Ian McCulloch wrote:
> > Hi Karl, Toon,
> > 
> > Have you considered using Concept-GCC ?
> > http://www.generic-programming.org/languages/conceptcpp/

> > 
> > Ian
> > 
> > _______________________________________________
> > glas mailing list
> > glaslists.boost.org
> > http
://lists.boost.org/mailman/listinfo.cgi/glas
> -- 
> Karl Meerbergen
> Katholieke Universiteit Leuven
> Department of Computer Science
> 
> E-mail: karl.meerbergencs.kuleuven.be
> URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
> Phone : +32 16 327700 (secretary)
> Fax   : +32 16 327996
> 
> _______________________________________________
> glas mailing list
> glaslists.boost.org
> http
://lists.boost.org/mailman/listinfo.cgi/glas
> 
> 
_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

concept-gcc is an interesting "concept". It may
reduce our development
effort.

But glas should compile with "old" compilers also.
So, templated
functions and classes should perhaps have two headers: one
for current C
++ compilers and one for concept-gcc. A variable
GLAS_CONCEPT_SUPPORT or
something like that could enable or disable concept-gcc
support.

Best,

Karl



On Wed, 2006-11-22 at 14:52 +0100, Ian McCulloch wrote:
> On Wed, 22 Nov 2006, Karl Meerbergen wrote:
> 
> > I think we should consider this. Is concept-gcc
stable now?
> 
> I think it is, although last time I checked there were
some issues with 
> compile times that ought to go away in the final
version.  Aside from 
> spending a few hours reading the proposal, I have never
used concept gcc.  
> Maybe someone else on this list has?  My impression was
though, it would 
> be the killer feature for linear algebra libs.
> 
> Cheers,
> Ian
> 
> 
> > 
> > 
> > On Wed, 2006-11-22 at 14:36 +0100, Ian McCulloch
wrote:
> > > Hi Karl, Toon,
> > > 
> > > Have you considered using Concept-GCC ?
> > > http://www.generic-programming.org/languages/conceptcpp/

> > > 
> > > Ian
> > > 
> > >
_______________________________________________
> > > glas mailing list
> > > glaslists.boost.org
> > > http
://lists.boost.org/mailman/listinfo.cgi/glas
> > -- 
> > Karl Meerbergen
> > Katholieke Universiteit Leuven
> > Department of Computer Science
> > 
> > E-mail: karl.meerbergencs.kuleuven.be
> > URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
> > Phone : +32 16 327700 (secretary)
> > Fax   : +32 16 327996
> > 
> > _______________________________________________
> > glas mailing list
> > glaslists.boost.org
> > http
://lists.boost.org/mailman/listinfo.cgi/glas
> > 
> > 
> _______________________________________________
> glas mailing list
> glaslists.boost.org
> http
://lists.boost.org/mailman/listinfo.cgi/glas
-- 
Karl Meerbergen
Katholieke Universiteit Leuven
Department of Computer Science

E-mail: karl.meerbergencs.kuleuven.be
URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
Phone : +32 16 327700 (secretary)
Fax   : +32 16 327996

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

I see an immediate application of concept_map:
glas::dense_vector
becomes a EuclideanVectorspace, e.g.

template <typename T>
concept_map EuclideanVectorspace< dense_vector<T>
> {
  real_type norm() const {
    return norm_2(v) ;
  }

  T operator*( dense_vector<T> const& v ) const {
    return dot( conj(*this), v ) ;
  }
} ;



etc.



On Wed, 2006-11-22 at 14:52 +0100, Ian McCulloch wrote:
> On Wed, 22 Nov 2006, Karl Meerbergen wrote:
> 
> > I think we should consider this. Is concept-gcc
stable now?
> 
> I think it is, although last time I checked there were
some issues with 
> compile times that ought to go away in the final
version.  Aside from 
> spending a few hours reading the proposal, I have never
used concept gcc.  
> Maybe someone else on this list has?  My impression was
though, it would 
> be the killer feature for linear algebra libs.
> 
> Cheers,
> Ian
> 
> 
> > 
> > 
> > On Wed, 2006-11-22 at 14:36 +0100, Ian McCulloch
wrote:
> > > Hi Karl, Toon,
> > > 
> > > Have you considered using Concept-GCC ?
> > > http://www.generic-programming.org/languages/conceptcpp/

> > > 
> > > Ian
> > > 
> > >
_______________________________________________
> > > glas mailing list
> > > glaslists.boost.org
> > > http
://lists.boost.org/mailman/listinfo.cgi/glas
> > -- 
> > Karl Meerbergen
> > Katholieke Universiteit Leuven
> > Department of Computer Science
> > 
> > E-mail: karl.meerbergencs.kuleuven.be
> > URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
> > Phone : +32 16 327700 (secretary)
> > Fax   : +32 16 327996
> > 
> > _______________________________________________
> > glas mailing list
> > glaslists.boost.org
> > http
://lists.boost.org/mailman/listinfo.cgi/glas
> > 
> > 
> _______________________________________________
> glas mailing list
> glaslists.boost.org
> http
://lists.boost.org/mailman/listinfo.cgi/glas
-- 
Karl Meerbergen
Katholieke Universiteit Leuven
Department of Computer Science

E-mail: karl.meerbergencs.kuleuven.be
URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
Phone : +32 16 327700 (secretary)
Fax   : +32 16 327996

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

Well, I used ConceptGCC many times and it works quite well
now.  The 
fundamental concepts on the GLAS list, like ring and group,
are 
implemented with concepts now and compiled with ConceptGCC.
I published 
the results as technical report:

http://www.cs.indiana.edu/cgi-bin/techreports
/TRNNN.cgi?trnum=TR638

There is amongst others an example to compute the power
function with 
regard to an arbitrary binary function. There are different
algorithms 
for magma, semi-group, monoid and groups. The concept
compiler 
dispatches to the most appropriate.

In another paper still pending I did performance experiments
and it 
showed that the performance is the same as with gcc without
concepts.

There were occasionally some minor problems with ConceptGCC
but Doug 
fixed most of them in the meantime.  That said, the compiler
is not in 
perfect production mode yet but it is already extremely
useful for 
working with concepts.

Cheers,
Peter

On 22.11.2006, at 08:52, Ian McCulloch wrote:

>
> On Wed, 22 Nov 2006, Karl Meerbergen wrote:
>
>> I think we should consider this. Is concept-gcc
stable now?
>
> I think it is, although last time I checked there were
some issues with
> compile times that ought to go away in the final
version.  Aside from
> spending a few hours reading the proposal, I have never
used concept 
> gcc.
> Maybe someone else on this list has?  My impression was
though, it 
> would
> be the killer feature for linear algebra libs.
>
> Cheers,
> Ian
>
>
>>
>>
>> On Wed, 2006-11-22 at 14:36 +0100, Ian McCulloch
wrote:
>>> Hi Karl, Toon,
>>>
>>> Have you considered using Concept-GCC ?
>>> http://www.generic-programming.org/languages/conceptcpp/

>>>
>>> Ian
>>>
>>> _______________________________________________
>>> glas mailing list
>>> glaslists.boost.org
>>> http
://lists.boost.org/mailman/listinfo.cgi/glas
>> -- 
>> Karl Meerbergen
>> Katholieke Universiteit Leuven
>> Department of Computer Science
>>
>> E-mail: karl.meerbergencs.kuleuven.be
>> URL   : http:/
/www.cs.kuleuven.be/cwis/research/nalag/
>> Phone : +32 16 327700 (secretary)
>> Fax   : +32 16 327996
>>
>> _______________________________________________
>> glas mailing list
>> glaslists.boost.org
>> http
://lists.boost.org/mailman/listinfo.cgi/glas
>>
>>
> _______________________________________________
> glas mailing list
> glaslists.boost.org
> http
://lists.boost.org/mailman/listinfo.cgi/glas
>
------------
Peter Gottschling, Ph.D.
Research Associate
Open Systems Laboratory
Indiana University
135 Lindley Hall
Bloomington, IN 47405
Tel.: +1-812-855-3608   Fax: +1-812-856-0853
http://www.osl.iu.edu
/~pgottsch

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

If someone wanted to play with concept c++, can it be
installed in parallel to 
the normal gcc so as not to interfere?
_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas

On Wed, 2006-11-22 at 10:46 -0500, Neal Becker wrote:
> If someone wanted to play with concept c++, can it be
installed in parallel to 
> the normal gcc so as not to interfere?

Yes, it can be installed in parallel with GCC. I suggest
putting it in
its own separate directory, then providing an alias such as
"conceptg++"
for the ConceptGCC compiler executable. Otherwise, it is
completely
compatible with GCC 4.1.1.

  Cheers,
  Doug

_______________________________________________
glas mailing list
glaslists.boost.org
http
://lists.boost.org/mailman/listinfo.cgi/glas