[CZT-Devel] some admin issues / decisions

[Leo F. <leo...@ne...>]

Hi guys,

I would like to ask you about a few admin issues/decisions… I will keep it in some order of importance. please comment :-)

a) performance issues 		= ZName?
b) release 					= do one now?
c) version control choice(s)	= add mercurial?
d) licensing issue				= GPL x EPL

=======================
a) performance issues = ZName?

Some users were asking about problems when loading large specs in CZT leading to memory blowouts.
After some profiling and a few small changes we got great improvements. 
Some problems still remain, mostly with ZName and its use of Ids. 

This brings back the use of Flyweight patterns for some constructs (e.g., AST sharing), probably ZName most of all should do it.
I am looking into that together with Tim to see whether we will have any real gain or not…. We will see….

Suggestions on how to make the Flyweight for names (considering Ids) are welcome. For instance, 

\begin{zsection}
  \SECTION Test 
\end{zsection}
\begin{zed}
  variable == 1
\end{zed}

has 130 ZName instances created with 66 remaining live in memory (i.e., we could try avoiding duplication of ZNames).
these names come mostly from prelude. Of these 66 names, we have 60 unique ids but just 14 unique name "strings"/word
(e.g., notice that "_+_", "+" are two different ZNames; and that gets multiplied by the number of ids each get).

With StdToolkit, these numbers are 3252 create; 2267 live; 1488 unique ids; 169 unique name strings….
So optimisation of names looks promising….

comments / thoughts please?

=======================
b) release = do one now?

It's been a while without a release. I thought to do another one. I haven't done this before in maven / source forge.
any hints / tips / do's / donut's you know of?

=======================
c) version control choice(s) = add mercurial?

a user talked to me about using Mercurial alongside SVN in order to be able to have (experimental) extensions under version control,
without the hassle of branching/merging, where the source forge copy would be the master rep still…

any thoughts / suggestions / things-against this?  If none, I was tempted to try and use mercurial ….

=======================
d) licensing issue = GPL x EPL

It came to my attention that CZT main license (GPL) has some conflicts with Eclipse (EPL) licence 

http://mmilinkov.wordpress.com/2010/04/06/epl-gpl-commentary/

Given our Eclipse integration, I thought if there could be any issues with such conflict(s)?

=========

Thanks.
Leo