- Boost - lists.boost.org

Boost variant and memory allocations
by Emil Dotchevski 27 Mar '08

27 Mar '08

The never-empty requirement for Boost Variant requires memory allocation in general, in the implementation of operator=, as discussed here: http://www.boost.org/doc/html/variant/design.html#variant.design.never-empty The same page states that future implementations might use policy-based design to specify custom allocator. Assuming that it is desirable to allow for allocations to be customized, wouldn't it be better to use the same technique as in the custom allocator support in shared_ptr and in the version of boost::function that Doug just committed to the SVN trunk? In this case, the allocator wouldn't be provided as a policy to the variant template itself, but would appear as template parameter of its constructor and operator=. -- Emil Dotchevski Reverge Studios, Inc. http://www.revergestudios.com/reblog/index.php?n=ReCode

1 0

Boost.Test: "Test setup error: child has exited" error with RC2
by Jens Seidel 27 Mar '08

27 Mar '08

Hi, I tried to build the release branch on a Linux OpenSuse 10.2 with g++ (GCC) 4.1.2 20061115 (prerelease) (SUSE Linux) and it worked well. I also called "make check" and the tests were successful. What I now miss is a config.log file which saved the arguments to ./configure (as used by autotools) since I already forgot how I started the build :-) I think I just tried ./configure --prefix=...; make; make install; make check I compiled my own program which uses Boost.Logging v1 and Boost.Test as well as boost::shared_ptr and got many compiler warnings in Boost.Test headers. Many of these (unused arguments) could easily be fixed but nothing happened since I reported some of these 5 months ago in http://svn.boost.org/trac/boost/ticket/1432 ... OK, but I also got a new error once I try to start my test: Test setup error: child has exited; pid: 1001; uid: 20576; exit value: 0 The problem seems to be related to a std::system() call, which I do not understand! Without it it works! Here is my test code: #include <cstdlib> #include <boost/test/included/unit_test_framework.hpp> using boost::unit_test::test_suite; void Vektor3Test1() { } test_suite* Vektor3_test_suite() { test_suite *test = BOOST_TEST_SUITE("Vektor3 test suite"); test->add(BOOST_TEST_CASE(&Vektor3Test1)); return test; } test_suite* init_unit_test_suite(int, char *[]) { std::system("true"); // leads to "Test setup error: child has exited; pid: 1001; uid: 30540; exit value: 0" test_suite *test = BOOST_TEST_SUITE("Master test suite"); test->add(Vektor3_test_suite()); return test; } Any idea? Jens

2 2

[Serialization] Build failures on the Boost trunk
by Douglas Gregor 27 Mar '08

27 Mar '08

I'm currently getting a bunch of errors from the serialization library on the Boost trunk on Mac OS X 10.4: darwin.compile.c++ ../../../bin.v2/libs/mpi/build/darwin-4.0.1/debug/ macosx-version-10.4/content_oarchive.o../../../boost/archive/impl/ archive_pointer_oserializer.ipp: In constructor 'boost::archive::detail::archive_pointer_oserializer<Archive>::archive_p ointer_oserializer(const boost::serialization::extended_type_info&)':../../../boost/archive/ impl/archive_pointer_oserializer.ipp:41: error: 'singleton' is not a member of 'boost::serialization'../../../boost/archive/impl/ archive_pointer_oserializer.ipp:43: error: expected primary- expression before '>' token../../../boost/archive/impl/ archive_pointer_oserializer.ipp:43: error: '::get_mutable_instance' has not been declared../../../boost/archive/impl/ archive_pointer_oserializer.ipp: In static member function 'static const boost::archive::detail::basic_pointer_oserializer* boost::archive::detail::archive_pointer_oserializer<Archive>::find (const boost::serialization::extended_type_info&)':../../../boost/ archive/impl/archive_pointer_oserializer.ipp:54: error: 'singleton' is not a member of 'boost::serialization'../../../boost/archive/impl/ archive_pointer_oserializer.ipp:56: error: expected primary- expression before '>' token../../../boost/archive/impl/ archive_pointer_oserializer.ipp:56: error: '::get_const_instance' has not been declared../../../boost/archive/impl/ archive_pointer_oserializer.ipp:57: error: 'singleton' is not a member of 'boost::serialization'../../../boost/archive/impl/ archive_pointer_oserializer.ipp:57: error: '::get_const_instance' has not been declared../../../boost/archive/impl/ archive_pointer_oserializer.ipp:57: error: expected primary- expression before 'void'../../../boost/archive/impl/ archive_pointer_oserializer.ipp:57: error: expected `)' before 'void'../../../boost/archive/impl/archive_pointer_oserializer.ipp:57: error: expected `)' before ';' token../../../boost/archive/impl/ archive_pointer_oserializer.ipp: In destructor 'virtual boost::archive::detail::archive_pointer_oserializer<Archive>::~archive_p ointer_oserializer()':../../../boost/archive/impl/ archive_pointer_oserializer.ipp:73: error: 'singleton' is not a member of 'boost::serialization'../../../boost/archive/impl/ archive_pointer_oserializer.ipp:75: error: expected primary- expression before '>' token../../../boost/archive/impl/ archive_pointer_oserializer.ipp:75: error: '::get_mutable_instance' has not been declared Any idea about what's happening? - Doug

1 0

New boost::function allocator semantics?
by Emil Dotchevski 27 Mar '08

27 Mar '08

What is the procedure for updating the boost::function allocator semantics according to http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2007/n2308.html? A working implementation is available here: http://www.revergestudios.com/boost-function/ I'm asking because it will break legacy code that uses the current allocator support in boost::function. Such legacy code would be very easy to fix (of course, legacy code that uses boost::function without supplying custom allocator will not break.) -- Emil Dotchevski Reverge Studios, Inc. http://www.revergestudios.com/reblog/index.php?n=ReCode

2 1

Re: [boost] Reminder: review will end March 28th
by Cédric Venet 27 Mar '08

27 Mar '08

Hi, I am not sure to be qualified to make a review but I will give it a try. First, I think the library should be accepted. > - What is your evaluation of the design? Seems good. I must say I didnt read or try the transform part of proto. > - What is your evaluation of the implementation? Didnt read the code > - What is your evaluation of the documentation? I think there is some (more) work to do on it. I had some probleme with users_guide\expression_construction\construction_utils.html Because it was not clear to me how to put it in pratice. In fact after a fast read of the doc, I mostly used the exemple as reference of how to do something. So, I don't know exactly what can be done but some ideas may be: *Provide more basic exemple *Refer to the exemple in the documentation to show the practical use of what is described. *make a FAQ One difficulty I didn't had time to study is how to do polymorphic grammar or semantic checking. (perhaps I should not put this in the review). Mor clearly, I add two example: First I would like to have a grammar which can work on any terminal but can only have compatible terminal in a one expression (for example, you can't have vector and list in one expression but you can have one expression with lists and one with vector and they would follow the same grammar). My idea was to do a basic proto grammar which just check operator use and then to use a transform to fold the type of the terminals, checking they are all compatible. Second, I have a grammar where I can add terminals 'a+b' and index terminal 'a[b]'. you can have '(a+b)[c]'. some terminals may be indexable but other not. I could make a grammar for indexable terminal and another for not indexable but it would be duplicated. And if I add more properties to my terminals (for example Boolean, integer or float), the number of grammar explode. I was thinking to again use a transform to check the 'semantic' of the expression. Is it the way to go? I didn't see any reference to this in the documentation, but this seems a common pattern to me? The proto grammar would only check the 'parsing' and one transform would check the semantic. A yes, I would add two note which seem relevant for VS user: * the compiler flag -Zm (for example -Zm150) to change the maximum size of the precompiled header * the pragma inline_recursion and inline_depth (default off and 8) > - What is your evaluation of the potential usefulness of the library? Extremely useful. > - Did you try to use the library? With what compiler? Did you have any > problems? I used it with VS2005. I didnt had any problem (at least not one which wasnt my fault) > - How much effort did you put into your evaluation? A glance? A quick > reading? In-depth study? I read the doc and started writing a small test. Didnt had the time to try transform. Regards, -- Cédric

1 0

[proto] I'm trying to write a vector class
by Noah Stein 27 Mar '08

27 Mar '08

Eric, I spent a few hours the other week trying to convert my last matrix-vector class library over to proto. It implemented expression trees, but I’d never gotten around to adding some features that proto should make much, much easier to implement such as expression optimization. I figured it would be a good way to experiment with the library to review. I eventually gave up on refactoring my class towards proto and instead tried refactoring your lazy_vector example towards my class. It's raised some questions/points. I'll illustrate with questions that are based on your lazy_vector example. 1) lazy_vector seemed like it could derive from lazy_vector_expr in CRTP fashion. I figured your use of std::vector<T> as the terminal type was just to make initialization easier; however, using CRTP fails to compile. Did I miss this in the documentation or is it not explicitly mentioned? 2) How can I handle scalar values transparently? My attempts to accept "v1=v2*5" have failed. I can't get the 5 to implicitly construct into a scalar_vector type I have defined. I had that working in my old one, but I can't seem to figure out the correct way of setting that up in proto. 3) My vector class' signature is very simple: template<typename T> class Vector : VectorExpr<terminal<T> > . The type T contains a number of traits defining the vector: the type of the elements, the dimension, how the data is stored. I can't figure out how to specify the terminals in my grammar. In your example, you use terminal<std::vector<_> > as your terminal. The std::vector part is unknown to me. That's my point of variation in my vector concept thus I can't know all the different types that could be used in the terminal. I tried deriving my storage classes from a common base class; however, that failed. Is there any way to encode some sort of restriction in the grammar for this situation? Right now, I'm using _, but that's clearly not a great solution. Proto looks very interesting. I was quite excited the first I saw it mentioned. There seems to be a lot of power there. I just need to figure out how to use it. You have a lot of documentation, but it seems to be attacking the problem from the opposite direction I'm approaching from, so it's been a little slow going. I hate asking questions about something I can investigate on my own, but I'd like to get far enough along that I can properly review it. Thanks, Noah No virus found in this outgoing message. Checked by AVG. Version: 7.5.519 / Virus Database: 269.22.0/1342 - Release Date: 3/25/2008 10:26 AM

2 3

Status of thread safe signals?
by James Talbut 27 Mar '08

27 Mar '08

What is the status of the thread safe signals library in sandbox/thread_safe_signals? Will it go in the main boost library at some point? Thanks Jim P Consider the environment. Please don't print this email. ________________________________________________________________________ This e-mail, and any attachment, is confidential. If you have received it in error, do not use or disclose the information in any way, notify me immediately, and please delete it from your system. ________________________________________________________________________

4 4

[pending/relaxed_heap.hpp] assert problem
by Dawson, Paul (UK Filton) 27 Mar '08

27 Mar '08

Using relaxed_heap I'm getting a problem with the asserts in the top() and pop() functions: assert(smallest_value->value != 0); Where value is a ::boost::optional<T>, and T is the indexed type of the heap. The problem that I'm having is that when my T is an int, and the int in question is perfectly valid and has an initialised value of zero, it fails the assert test. Based on my limited understanding, we would actually want to be asserting either (smallest_value != 0) since smallest_value is a pointer, or (smallest_value->value.is_initialised()) since this is an optional. Apologies if I have misunderstood something, as I am a newcomer to boost. Many thanks, Paul. --------------------------- Paul Dawson BAE Systems (Operations) Limited Registered Office: Warwick House, PO Box 87, Farnborough Aerospace Centre, Farnborough, Hants, GU14 6YU, UK Registered in England & Wales No: 1996687 ******************************************************************** This email and any attachments are confidential to the intended recipient and may also be privileged. If you are not the intended recipient please delete it from your system and notify the sender. You should not copy it or use it for any purpose nor disclose or distribute its contents to any other person. ********************************************************************

2 1

[gsoc2008] contacting the mentors
by Gautam Sewani 27 Mar '08

27 Mar '08

Hi, I am working on my proposal for GSOC 08 under Boost and I'd like to talk to the mentors.I was unable to find their contact details, can anyone help me in this regard? Yours Sincerely, Gautam Sewani

2 1

[interprocess] [shared_ptr] Failure to type convert offset_ptr<T> to T *
by Aleksey Midenkov 27 Mar '08

27 Mar '08

The failure is in sp_counted_impl.hpp:66: 64 template<class Ptr> 65 sp_counted_impl_pd(const Ptr & p, const A &a, const D &d ) 66 : this_allocator(a), D(d), m_ptr(p.get()) 67 {} p is of type offset_ptr<T> and m_ptr is of type T * Test case source, compiler output and quick fix patch (which is not fully correct, I suspect) are attached. $ g++ --version g++ (GCC) 4.2.3 (Debian 4.2.3-2) Copyright (C) 2007 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

2 1