36 namespace Gecode {
namespace Kernel {
58 static const int n_info = 8192;
88 double decay(
void)
const;
92 Info*
allocate(
unsigned int p,
unsigned int gid);
96 unsigned int pid(
void)
const;
111 GPI::Block::Block(
void)
112 : next(NULL), free(n_info) {}
116 for (
int i=free;
i < n_info;
i++)
123 : b(&fst), invd(1.0), npid(0U), us(false) {}
128 c.afc = invd * (
c.afc + 1.0);
130 for (Block*
i = b;
i != NULL;
i =
i->next)
138 const_cast<GPI&>(*this).m.acquire();
140 const_cast<GPI&>(*this).m.release();
147 const_cast<GPI&>(*this).m.acquire();
149 const_cast<GPI&>(*this).m.release();
174 Block*
n =
new Block;
177 c = &b->info[--b->free];
188 Block*
n =
new Block;
191 c = &b->info[--b->free];