Browse Source

Replace CL_REQUIRE/CL_PROVIDE(cl_RA_ring) with portable code.

The order of initialization of non-local objects in different compilation units
is not specified in C++. Hence special care should be taken to avoid static
initialization order fiasco. CLN solved the problem with some evil (GCC
specific, and even GCC-version-specific) hack. Replace it with a technique
similar to one used in STL to initialize std::cout and friends.
master
Alexei Sheplyakov 17 years ago
parent
commit
ec25de1e6c
  1. 10
      include/cln/rational_ring.h
  2. 2
      include/cln/univpoly_rational.h
  3. 35
      src/rational/ring/cl_RA_ring.cc

10
include/cln/rational_ring.h

@ -11,7 +11,15 @@ namespace cln {
typedef cl_specialized_number_ring<cl_RA> cl_rational_ring; typedef cl_specialized_number_ring<cl_RA> cl_rational_ring;
extern const cl_rational_ring cl_RA_ring; // math. Q extern const cl_rational_ring cl_RA_ring; // math. Q
extern cl_class cl_class_rational_ring; extern cl_class cl_class_rational_ring;
//CL_REQUIRE(cl_RA_ring)
class cl_RA_ring_init_helper
{
static int count;
public:
cl_RA_ring_init_helper();
~cl_RA_ring_init_helper();
};
static cl_RA_ring_init_helper cl_RA_ring_init_helper_instance;
} // namespace cln } // namespace cln

2
include/cln/univpoly_rational.h

@ -223,8 +223,6 @@ inline const cl_UP_RA deriv (const cl_UP_RA& x)
#endif #endif
CL_REQUIRE(cl_RA_ring)
// Returns the n-th Legendre polynomial (n >= 0). // Returns the n-th Legendre polynomial (n >= 0).
extern const cl_UP_RA legendre (sintL n); extern const cl_UP_RA legendre (sintL n);

35
src/rational/ring/cl_RA_ring.cc

@ -3,8 +3,6 @@
// General includes. // General includes.
#include "cl_sysdep.h" #include "cl_sysdep.h"
CL_PROVIDE(cl_RA_ring)
// Specification. // Specification.
#include "cln/rational_ring.h" #include "cln/rational_ring.h"
@ -143,19 +141,34 @@ static void cl_rational_ring_dprint (cl_heap* pointer)
fprint(cl_debugout, "(cl_rational_ring) cl_RA_ring"); fprint(cl_debugout, "(cl_rational_ring) cl_RA_ring");
} }
cl_class cl_class_rational_ring = {
cl_rational_ring_destructor,
cl_class_flags_number_ring,
cl_rational_ring_dprint
};
cl_class cl_class_rational_ring;
static cl_heap_rational_ring* cl_heap_rational_ring_instance;
// Constructor. // Constructor.
template <> template <>
inline cl_rational_ring::cl_specialized_number_ring () inline cl_rational_ring::cl_specialized_number_ring ()
: cl_number_ring (new cl_heap_rational_ring()) {}
: cl_number_ring(cl_heap_rational_ring_instance) { }
const cl_rational_ring cl_RA_ring;
const cl_rational_ring cl_RA_ring = cl_RA_ring;
} // namespace cln
int cl_RA_ring_init_helper::count = 0;
cl_RA_ring_init_helper::cl_RA_ring_init_helper()
{
if (count++ == 0) {
cl_class_rational_ring.destruct = cl_rational_ring_destructor;
cl_class_rational_ring.flags = cl_class_flags_number_ring;
cl_class_rational_ring.dprint = cl_rational_ring_dprint;
cl_heap_rational_ring_instance = new cl_heap_rational_ring();
new ((void *)&cl_RA_ring) cl_rational_ring();
}
}
cl_RA_ring_init_helper::~cl_RA_ring_init_helper()
{
if (--count == 0) {
delete cl_heap_rational_ring_instance;
}
}
CL_PROVIDE_END(cl_RA_ring)
} // namespace cln
Loading…
Cancel
Save