version 1.102, 2004/09/15 01:43:33 |
version 1.103, 2004/09/15 06:06:42 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.101 2004/09/14 10:00:26 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.102 2004/09/15 01:43:33 noro Exp $ */ |
|
|
#include "nd.h" |
#include "nd.h" |
|
|
|
|
ND _nd_free_list; |
ND _nd_free_list; |
ND_pairs _ndp_free_list; |
ND_pairs _ndp_free_list; |
|
|
|
#if 0 |
static int ndv_alloc; |
static int ndv_alloc; |
|
#endif |
#if 1 |
#if 1 |
static int nd_f4_nsp=0x7fffffff; |
static int nd_f4_nsp=0x7fffffff; |
#else |
#else |
|
|
d = ndvtond(0,r); |
d = ndvtond(0,r); |
stat = nd_nf(0,d,nd_ps,0,0,&nf); |
stat = nd_nf(0,d,nd_ps,0,0,&nf); |
if ( !stat ) { |
if ( !stat ) { |
nd_reconstruct(0,0,0); |
nd_reconstruct(0,0); |
goto again; |
goto again; |
} else if ( nf ) return 0; |
} else if ( nf ) return 0; |
if ( DP_Print ) { printf("."); fflush(stdout); } |
if ( DP_Print ) { printf("."); fflush(stdout); } |
|
|
stat = nd_sp(m,0,l,&h); |
stat = nd_sp(m,0,l,&h); |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
goto again; |
goto again; |
} |
} |
#if USE_GEOBUCKET |
#if USE_GEOBUCKET |
|
|
#endif |
#endif |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
goto again; |
goto again; |
} else if ( nf ) { |
} else if ( nf ) { |
if ( checkonly ) return 0; |
if ( checkonly ) return 0; |
|
|
stat = nd_sp(m,0,l,&h); |
stat = nd_sp(m,0,l,&h); |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,1,d); |
d = nd_reconstruct(1,d); |
goto again; |
goto again; |
} |
} |
#if USE_GEOBUCKET |
#if USE_GEOBUCKET |
|
|
#endif |
#endif |
if ( !stat ) { |
if ( !stat ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,1,d); |
d = nd_reconstruct(1,d); |
goto again; |
goto again; |
} else if ( nf ) { |
} else if ( nf ) { |
if ( nd_demand ) { |
if ( nd_demand ) { |
|
|
if ( !nfq ) { |
if ( !nfq ) { |
if ( !nd_sp(0,1,l,&h) || !nd_nf(0,h,nd_ps_trace,!Top,0,&nfq) ) { |
if ( !nd_sp(0,1,l,&h) || !nd_nf(0,h,nd_ps_trace,!Top,0,&nfq) ) { |
NEXT(l) = d; d = l; |
NEXT(l) = d; d = l; |
d = nd_reconstruct(m,1,d); |
d = nd_reconstruct(1,d); |
goto again; |
goto again; |
} |
} |
} |
} |
Line 1790 NODE ndv_reduceall(int m,NODE f) |
|
Line 1792 NODE ndv_reduceall(int m,NODE f) |
|
g = nd_separate_head(g,&head); |
g = nd_separate_head(g,&head); |
stat = nd_nf(m,g,nd_ps,1,&dn,&nf); |
stat = nd_nf(m,g,nd_ps,1,&dn,&nf); |
if ( !stat ) |
if ( !stat ) |
nd_reconstruct(m,0,0); |
nd_reconstruct(0,0); |
else { |
else { |
if ( DP_Print ) { printf("."); fflush(stdout); } |
if ( DP_Print ) { printf("."); fflush(stdout); } |
if ( !m ) { |
if ( !m ) { |
Line 2186 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
Line 2188 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
if ( !m && Demand ) nd_demand = 1; |
if ( !m && Demand ) nd_demand = 1; |
else nd_demand = 0; |
else nd_demand = 0; |
|
|
|
#if 0 |
ndv_alloc = 0; |
ndv_alloc = 0; |
|
#endif |
get_vars((Obj)f,&fv); pltovl(v,&vv); |
get_vars((Obj)f,&fv); pltovl(v,&vv); |
for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ ); |
for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ ); |
switch ( ord->id ) { |
switch ( ord->id ) { |
Line 2224 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
Line 2228 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe |
|
} |
} |
if ( r0 ) NEXT(r) = 0; |
if ( r0 ) NEXT(r) = 0; |
MKLIST(*rp,r0); |
MKLIST(*rp,r0); |
|
#if 0 |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
|
#endif |
} |
} |
|
|
void nd_gr_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp) |
void nd_gr_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp) |
Line 2789 void nd_setup_parameters(int nvar,int max) { |
|
Line 2795 void nd_setup_parameters(int nvar,int max) { |
|
nd_work_vector = (int *)REALLOC(nd_work_vector,nd_nvar*sizeof(int)); |
nd_work_vector = (int *)REALLOC(nd_work_vector,nd_nvar*sizeof(int)); |
} |
} |
|
|
ND_pairs nd_reconstruct(int mod,int trace,ND_pairs d) |
ND_pairs nd_reconstruct(int trace,ND_pairs d) |
{ |
{ |
int i,obpe,oadv,h; |
int i,obpe,oadv,h; |
static NM prev_nm_free_list; |
static NM prev_nm_free_list; |
Line 3456 NDV ndtondv(int mod,ND p) |
|
Line 3462 NDV ndtondv(int mod,ND p) |
|
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(len*nmv_adv); |
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(len*nmv_adv); |
else |
else |
m0 = m = MALLOC(len*nmv_adv); |
m0 = m = MALLOC(len*nmv_adv); |
|
#if 0 |
ndv_alloc += nmv_adv*len; |
ndv_alloc += nmv_adv*len; |
|
#endif |
for ( t = BDY(p), i = 0; t; t = NEXT(t), i++, NMV_ADV(m) ) { |
for ( t = BDY(p), i = 0; t; t = NEXT(t), i++, NMV_ADV(m) ) { |
ndl_copy(DL(t),DL(m)); |
ndl_copy(DL(t),DL(m)); |
CQ(m) = CQ(t); |
CQ(m) = CQ(t); |
Line 3727 void nd_nf_p(P f,LIST g,LIST v,int m,struct order_spec |
|
Line 3735 void nd_nf_p(P f,LIST g,LIST v,int m,struct order_spec |
|
stat = nd_nf(m,nd,nd_ps,1,0,&nf); |
stat = nd_nf(m,nd,nd_ps,1,0,&nf); |
if ( !stat ) { |
if ( !stat ) { |
nd_psn++; |
nd_psn++; |
nd_reconstruct(m,0,0); |
nd_reconstruct(0,0); |
nd_psn--; |
nd_psn--; |
} else |
} else |
break; |
break; |
Line 3964 NDV vect_to_ndv(UINT *vect,int spcol,int col,int *rhea |
|
Line 3972 NDV vect_to_ndv(UINT *vect,int spcol,int col,int *rhea |
|
if ( !len ) return 0; |
if ( !len ) return 0; |
else { |
else { |
mr0 = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
mr0 = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
|
#if 0 |
ndv_alloc += nmv_adv*len; |
ndv_alloc += nmv_adv*len; |
|
#endif |
mr = mr0; |
mr = mr0; |
p = s0vect; |
p = s0vect; |
for ( j = k = 0; j < col; j++, p += nd_wpd ) |
for ( j = k = 0; j < col; j++, p += nd_wpd ) |
Line 4059 NODE nd_f4(int m) |
|
Line 4069 NODE nd_f4(int m) |
|
|
|
if ( !m ) |
if ( !m ) |
error("nd_f4 : not implemented"); |
error("nd_f4 : not implemented"); |
|
#if 0 |
ndv_alloc = 0; |
ndv_alloc = 0; |
|
#endif |
g = 0; d = 0; |
g = 0; d = 0; |
for ( i = 0; i < nd_psn; i++ ) { |
for ( i = 0; i < nd_psn; i++ ) { |
d = update_pairs(d,g,i); |
d = update_pairs(d,g,i); |
Line 4074 NODE nd_f4(int m) |
|
Line 4086 NODE nd_f4(int m) |
|
if ( !stat ) { |
if ( !stat ) { |
for ( t = l; NEXT(t); t = NEXT(t) ); |
for ( t = l; NEXT(t); t = NEXT(t) ); |
NEXT(t) = d; d = l; |
NEXT(t) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
continue; |
continue; |
} |
} |
if ( bucket->m < 0 ) continue; |
if ( bucket->m < 0 ) continue; |
Line 4082 NODE nd_f4(int m) |
|
Line 4094 NODE nd_f4(int m) |
|
if ( !col ) { |
if ( !col ) { |
for ( t = l; NEXT(t); t = NEXT(t) ); |
for ( t = l; NEXT(t); t = NEXT(t) ); |
NEXT(t) = d; d = l; |
NEXT(t) = d; d = l; |
d = nd_reconstruct(m,0,d); |
d = nd_reconstruct(0,d); |
continue; |
continue; |
} |
} |
get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1); |
get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1); |
Line 4103 NODE nd_f4(int m) |
|
Line 4115 NODE nd_f4(int m) |
|
} |
} |
} |
} |
for ( r = g; r; r = NEXT(r) ) BDY(r) = (pointer)nd_ps[(int)BDY(r)]; |
for ( r = g; r; r = NEXT(r) ) BDY(r) = (pointer)nd_ps[(int)BDY(r)]; |
|
#if 0 |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc); |
|
#endif |
return g; |
return g; |
} |
} |
|
|
Line 4257 NDV nd_recv_ndv() |
|
Line 4271 NDV nd_recv_ndv() |
|
if ( !len ) return 0; |
if ( !len ) return 0; |
else { |
else { |
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
m0 = m = (NMV)GC_malloc_atomic_ignore_off_page(nmv_adv*len); |
|
#if 0 |
ndv_alloc += len*nmv_adv; |
ndv_alloc += len*nmv_adv; |
|
#endif |
for ( i = 0; i < len; i++, NMV_ADV(m) ) { |
for ( i = 0; i < len; i++, NMV_ADV(m) ) { |
CM(m) = nd_recv_int(); |
CM(m) = nd_recv_int(); |
nd_recv_intarray(DL(m),nd_wpd); |
nd_recv_intarray(DL(m),nd_wpd); |