- Boost - lists.boost.org

Trac open feature requests - by assignee
by Marshall Clow 09 Nov '07

09 Nov '07

[ 91 open feature requests today, 84 two weeks ago ] If you are maintaining a library, and have not logged into the trac system at <http://svn.boost.org/trac/boost/>, please do so ASAP. Until you do that, no tickets can be assigned to you, and will remain under "None". Instructions on working with tickets can be found at: <http://svn.boost.org/trac/boost/wiki/TicketWorkflow> and a mapping of user names to "real names" can be found at: <http://svn.boost.org/trac/boost/report/16> Feature Requests 17 djowel 10 pdimov 8 None 5 jsiek 5 dave 4 mark_rodgers 4 johnmaddock 4 grafik 4 doug_gregor 4 dlwalker 4 az_sw_dude 3 vladimir_prus 2 rogeeff 2 nasonov 2 eric_niebler 2 ebf 1 witt 1 ramey 1 mumiee 1 jmaurer 1 guwi17 1 garcia 1 bemandawes 1 asutton 1 anthonyw 1 agurtovoy 1 <Blank> <Blank> 1093 Mandatory source files shouldn't require_ or give the impression to require_ the Boost Build system None 1059 random_on_sphere can be made 10 times faster! None 1166 [boostbook] paths relative to boost.root None 1219 Add official Visual C++ 2008 (9.0) support None 1298 fun with imdb graph None 1329 default value None 1397 Please embed bogus test code in preprocessor conditionals None 1403 Enable copying boost::array to const None 1426 Should not include ostream when not needed agurtovoy 799 mpl::if_ anthonyw 659 provide an abstract "Task" type based on Boost.Threads asutton 693 Add clique detection algorithms DFMax_ Bron-Kerbosch az_sw_dude 1207 Method "from_julian_day_number" (class gregorian_calendar) not documented az_sw_dude 17 Socket wrapper class az_sw_dude 187 locale az_sw_dude 596 make timezone csv file C/C++ compatible bemandawes 590 mkstemp dave 1180 [boost.python] def_readwrite need a default docstring dave 1315 iterator_adaptor does not work with incomplete Value types dave 1427 [iterator] transform_iterator should use boost::result_of to determine functor result type dave 916 BPL Support for Python Callable Objects dave 918 __doc__ strings djowel 1156 feature request: linkid to the whole document djowel 1157 On Images djowel 1158 optional named parameters djowel 1159 bibliography support djowel 1173 Balanced comments djowel 1189 Scoped Macros djowel 1190 Markups inside simple markups djowel 1193 Nestable tables and lists and exlicit paragraph markup djowel 1194 Add ID to table to allow linking to tables easily djowel 1202 Add a [teletype] source mode djowel 1204 Non-breaking-space? djowel 1205 Quickbook getting started djowel 1213 Specify that [#named_anchors] are global djowel 1214 Provide an error count from a bjam Quickbook build djowel 1288 Quickbook article info needs expansion to include more bibliographic info djowel 1399 Quickbook should advise error count and set a return code if != 0 djowel 1404 Unordered Fusion Map constructors. dlwalker 1224 MPL compatibilty for Integer Type Selection Templates dlwalker 1225 Exact-sized Integer Type Selection Templates dlwalker 1227 Original/Signed/Unsigned Integer Variant Selection Templates dlwalker 1414 Warning suppression desirable for ios_state doug_gregor 372 adjacency_matrix should model BidirectionalGraph doug_gregor 373 LEDA graph adaptors for undirected graphs doug_gregor 395 BGL graph types do not support allocators doug_gregor 746 max flow with lower bounds (capacities) ebf 1112 reference_wrapper<T> should convert to reference_wrapper<U> when T& is convertible to U& ebf 547 [variant] Compile time checked getter eric_niebler 1071 Request for BOOST_REVERSE_FOREACH and rationale eric_niebler 1295 for each in VC8+ garcia 1045 [multi_array] Need a proper swap operation grafik 1203 Decouple the backend grafik 1236 email addresses of bug submitters should be obfuscated on publicly visible Trac pages grafik 1303 Per-target resource limits. grafik 714 [jam] HardLink rule on NT platform guwi17 795 [ublas] vector::back() jmaurer 920 Proposed extension to random library johnmaddock 1178 Regular expression min match length johnmaddock 1331 Boost.TypeTraits namespace johnmaddock 591 make portable stdint.h from boost code johnmaddock 764 [regex] add support for a BOOST_NO_CREGEX mode jsiek 100 more use of the concept "allocator" jsiek 182 Support aspect-orientation jsiek 193 Check ordering for mutexes jsiek 315 Implement operator[] for Tokenizer jsiek 694 Add Maximum Common Subgraph (MCS) algorithm mark_rodgers 30 parser mark_rodgers 558 add database library? mark_rodgers 821 allow_unregistered improvement mark_rodgers 87 function to get the size of a array mumiee 1201 Regexify the syntax highlighter nasonov 913 Specialization of lexical_cast nasonov 922 Lexical cast and wide characters pdimov 1107 Add weak_use_count to weak_ptr as a debugging aid pdimov 1109 intrusive_ptr needs a helper base class pdimov 1110 Add a release method to scoped_array pdimov 1111 boost::bind objects should expose function_type and list_type pdimov 1113 shared_array<T> should convert to shared_array<T const> pdimov 1114 Request for shared_ptr::type and shared_ptr::pointer pdimov 1392 BOOST_VERIFY macro_ similar to BOOST_ASSERT pdimov 398 Support for embedded VC++ 4.0 pdimov 445 Can't delete automatically in circularly included object. pdimov 810 support for weak_ptr binding ramey 874 Ability to partially specialize implementation_level rogeeff 1136 Let BOOST_CHECK_EQUAL support std::wstring rogeeff 1415 Warnings need suppression in Boost.Test vladimir_prus 1129 Standalone doc_ outdated path from homepage vladimir_prus 1393 library binaries should be buildable by name from the top level vladimir_prus 674 find-library for boost decorated names witt 145 filter iterator adaptor should be able to be bidirectional -- -- Marshall Marshall Clow Qualcomm, Inc. <mailto:mclow@qualcomm.com> The famous British scientist, Lord Kelvin, said: "When you measure what you are speaking about and express it in numbers, you know something about it, but when you cannot (or do not) measure it, when you cannot (or do not) express it in numbers, then your knowledge is of a meagre and unsatisfactory kind."

1 0

Trac open bugs - by assignee
by Marshall Clow 09 Nov '07

09 Nov '07

[ 221 open bugs today, 221 yesterday ] If you are maintaining a library, and have not logged into the trac system at <http://svn.boost.org/trac/boost/>, please do so ASAP. Until you do that, no tickets can be assigned to you, and will remain under "None". Instructions on working with tickets can be found at: <http://svn.boost.org/trac/boost/wiki/TicketWorkflow> and a mapping of user names to "real names" can be found at: <http://svn.boost.org/trac/boost/report/16> Bug summary 19 dgregor 18 ramey 16 grafik 16 djowel 16 az_sw_dude 16 None 12 doug_gregor 11 turkanis 8 dave 7 anthonyw 7 agurtovoy 6 vladimir_prus 6 jsiek 5 witt 5 samuel_krempp 5 nesotto 5 johnmaddock 4 igaztanaga 4 bemandawes 3 shammah 3 pdimov 3 jbandela 3 danielw 2 urzuga 2 t_schwinger 2 pavol_droba 2 nasonov 2 jmaurer 2 ebf 1 speedsnail 1 samuel_k 1 rogeeff 1 matias 1 kaalus 1 hkaiser 1 guwi17 1 dlwalker 1 burbelgruff 1 aaron_windsor 1 <Blank> <Blank> 1307 [lambda] invalid boostbook None 1048 Spirit returns full = false in 1.34 if there is trailing spaces in input None 1068 Mersenne twister disables streaming for Visual C++ None 1094 Finding the correct library to link (feature request for pkg-config support)h None 1187 bcp copy not needed files None 1222 lambda::ret<T> should declare result_type. None 1247 Typos in "boost/random/additive_combine.hpp"_ lines 68-69 None 1252 [pool] severe overhead with unaligned sizes. None 1270 uniform_smallint doesn't compile with lagged_fibonacci random number generators None 1291 config.hpp fails to compile with gcc -Wundef None 1311 Can't call base members on derived object in unit_test None 1342 dylib library names broken in Mac OS X None 1384 Linking problem with date_time library on Visual C++ 2008 Express None 1405 http://svn.boost.org/trac/boost/browser/trunk/libs/utility/test/Jamfile.v2 fails None 1407 Boost is doesn't install on MacPorts using Leopard None 1423 MSVC uniform int workaround not required for VC++ 2008 None 991 [pool] aaron_windsor 778 top-level configure is broken agurtovoy 1001 gcc 4.1.2 segfaults on mpl/test/apply.cpp agurtovoy 1051 MPL header ordering triggers bug agurtovoy 1099 unable to iterate through a "non-explicitly-declared" mpl::set agurtovoy 1215 Boost 1.34.1_ mpl: Wrong workaround detection using MinGW32 (or.hpp_ line #33) agurtovoy 1317 has_xxx randomly broken in msvc agurtovoy 588 mpl::remove compile error with gcc 4.1.0 agurtovoy 640 documentation mistake anthonyw 1154 tss destruction segfaults in conjunction with dlopen/dlclose anthonyw 1168 [thread] tss crashes randomly anthonyw 1226 macro TEXT() in GetProcAddress() anthonyw 1268 xtime_cmp changes to deal with overflow were reverted anthonyw 1323 Assertion Error during cleanup after running out of thread resources anthonyw 876 xtime documentation incomplete anthonyw 881 errors when build with Apache stdcxx az_sw_dude 1028 typo in boost header: date_time/time_defs.hpp az_sw_dude 1078 from_iso_string cannot read the output from to_iso_string az_sw_dude 1098 Urgent libboost-date-time1.33.1 : bugs on ia64 ? az_sw_dude 1147 date_time library contains global #define ERROR az_sw_dude 1160 warning: month_format shadows a member of this az_sw_dude 1162 warning: ticks shadows a member of this az_sw_dude 1289 posix_time::time_facet forgets to pass a_ref argument to base class az_sw_dude 1299 change in typedef stringstream_type in format_date_parser.hpp causing compilation error az_sw_dude 1306 invalid docbook in date_period.xml az_sw_dude 1386 date_time documentation Jamfile breaks building of boost docs az_sw_dude 287 wrong usage of ios_base::narrow az_sw_dude 316 date_time type conversion warning az_sw_dude 604 from_ftime incorrectly processes FILETIME filled with zeros az_sw_dude 642 operator<< for gregorian::date_duration not found az_sw_dude 889 Insane Dependencies az_sw_dude 890 date_time library supports only the current dst rule bemandawes 1230 mbstate uninitialized bemandawes 1378 filesystem path invalid name for hidden files (LINUX) bemandawes 1389 filesystem::ostream << boost::format generates operator ambigious error (in MSVC++) bemandawes 752 directory_iterator doesn't work with catch burbelgruff 1425 Customization for VC++2008 needed danielw 1044 Argument pack inaccessable in a functions return type danielw 1054 Parameter takes an "infinite" amount of time to compile with the Intel compiler. danielw 1097 keyword.hpp generates many warnings C4180: qualifier applied to function type has no meaning; ignored dave 1010 linking boost.python on freebsd dave 1019 iterator_facade::pointer should be the return type of operator-> (DR 445) dave 1085 Python rules for compiling in Mac OS X dave 1179 [boost.python] can not export a union in VC2005sp1 dave 1181 [boost.python] can modify enum value dave 1387 Review / update docs to reflect changes dave 865 Use of C++0x keyword as identifier dave 910 gcc strict-aliasing problems with python dgregor 1002 [iostreams] close_impl<closable_tag> does not comply with spec dgregor 1003 [iostreams] copy-paste error in typedefs for wchar multichar_filters dgregor 1139 [iostreams] Regex filter segfaults when zero matches found dgregor 1140 boost::iostreams linked_streambuf bug dgregor 1149 Minor doc error in basic_null_device dgregor 1164 Floyd Warshall broken with unsigned edge weights dgregor 1185 iostreams::direct_streambuf<T_Tr>::is_open always returns false if output iterator is not null dgregor 1192 [boostbook] problem when two files have the same name dgregor 1199 configure doesn't work with path containing whitespaces (MacOS X) dgregor 1232 mapped_file_source::is_open() is broken under windows dgregor 1310 [result_of] const-qualified function pointer doesn't work dgregor 1326 Unable to check graph isomorphism using LEDA adapter dgregor 1391 dominator_tree_test on Borland/CodeGear outputs overly long line dgregor 1394 Translate libs/graph/build/python/Jamfile to BBv2 dgregor 1395 Write Tests for Python Bindings dgregor 1416 Warnings from Boost.Function need suppression. dgregor 556 Bundled graph properties dgregor 732 Johnson All-Pairs needs better "no path" information dgregor 736 Const correctness violation djowel 1096 Tutorial needs updating for BBv2 djowel 1170 Emit Warnings instead of # symbols in the syntax highlighter djowel 1171 Quickbook title output djowel 1172 non-utf djowel 1176 Space after inline code djowel 1206 Escaping from within code? djowel 1273 CR+LF newlines in position_iterator djowel 1276 spirit problem with _GLIBCXX_DEBUG djowel 1277 Closing section like [pre with } causes Quickbok to crash djowel 1280 sections in imported source files get put inside <para> elements in docbook output djowel 1281 Quickbook produces invalid BoostBook/DocBook XML djowel 1324 tuple should have a swap() that operates element-by-element djowel 1396 wrong result_of invocation around transform_view djowel 241 Miss " = ParserT()" djowel 314 spirit insert_key_actor.hpp djowel 664 crash in boost::spirit::parse dlwalker 613 boost/crc.hpp uses non-standard conforming syntax doug_gregor 1021 [Graph][reverse_graph] Problem using reverse_graph adapter with an adapted user defined graph doug_gregor 1076 compile error: disconnecting struct with operator()() doesn't work in VS2005 SP1 doug_gregor 375 LEDA graph adaptors do not handle hidden nodes properly doug_gregor 402 random_vertex/random_edge are unnecessarily inefficient doug_gregor 403 Document copy_component doug_gregor 447 reverse_graph and constness of property maps doug_gregor 708 Dijkstra no_init version should not require VertexListGraph doug_gregor 733 Numbered headers don't work with "preferred" syntax doug_gregor 735 Fruchterman-Reingold grid performance can be improved doug_gregor 738 Memory leaks with signal::connect? doug_gregor 829 Implicit graph not implement doug_gregor 852 Problem with Boost and GCC 4.1 ebf 965 [doc] boost::variant tutorial - final example uses v1_v2 should be seq1_seq2 ebf 993 Variant should use least common multiple of alignments_ rather than maximum grafik 1041 Cygwin requires PATH setting. grafik 1062 Cygwin install stage fails with combination of patches grafik 1146 KAI Referenced in compiler status acknowledgements grafik 1233 Boost website still refers to CVS grafik 1244 Broken links to unit test examples grafik 1318 http links have gone bad in boost.test documentation grafik 1322 trac rejects patch attachment as spam grafik 1400 broken link to threads-devel gmane archives grafik 1417 Regresson tests hang in Darwin (Tiger) grafik 1429 multi_index - test_update invokes UAC under Vista and so test not run ... grafik 546 boost.build needs fixes for HP/UX grafik 616 Boost Jam_ and non english directorys grafik 896 <native-wchar_t>off does not work when build with vc-8.0 grafik 959 linking fails when Boost is compiled with STLport 5.1.* on Linux (names mismatch) grafik 977 bjam crashes when compiled with gcc 4.2 grafik 986 Problem building Python modules on boost 1.34.0 guwi17 1237 Resizing symmetric matrices hkaiser 1079 boost-1.34.0 fails to compile. concept checks not satisfied. igaztanaga 1080 boost::interprocess win32 global file mapping issue igaztanaga 1210 interprocess::barrier hangs during second use under linux (boost 1.33.1) igaztanaga 1231 interprocess_condition (emulated) hangs after notify_all(). igaztanaga 1390 Interpocess: managed shared memory failing completely under OS X jbandela 283 Compiler error for tokenizer on Solaris jbandela 501 token_iterator::at_end() result is inversed jbandela 665 bug in char_separator jmaurer 351 Diff in state of mersenne_twister gen between GCC3.41 & CW9 jmaurer 819 uniform_int<> with type's maximum availaible range error johnmaddock 1081 Empty string rejected as perl-style regex johnmaddock 1083 boost_regex 1.34.0 uses ICU library without linking to it johnmaddock 1314 Using SSE-intrinsics in VC8 causes static assert in type_with_alignment.hpp johnmaddock 1411 Fix BOOST_PARTIAL_SPECIALIZATION_EXPLICT_ARGS johnmaddock 1424 promote enum test fails with VC++ 2008. Expected? jsiek 416 Spelling of Edmonds-Karp-Algorithm jsiek 575 Calling subgraph::global_to_local on a root graph jsiek 636 strange compiling problem for transitive_closure jsiek 815 remove_edge core dumps on self-circle jsiek 875 No iterator based constructor for adjacency_matrix jsiek 900 graphml reader namespace handling is broken kaalus 1184 property_tree assignment (operator) bug matias 1406 Understanding the Tables outdated nasonov 1220 lexical_cast requires RTTI nasonov 754 boost::any - typeid comparison across shared boundaries nesotto 1284 [range] sub_range assignment issue nesotto 1327 iterator value_type possibly cv-qualified nesotto 1421 ptr_map reference type is not a reference nesotto 1422 const_iterator does not equate to value_type (or const value_type) nesotto 723 local_time_facet error in VS2005 Win2003 pavol_droba 1152 rle_example fails pavol_droba 1385 begin must be boost-qualified pdimov 1106 shared_ptr<T> should not convert to shared_ptr<U> when T* doesn't convert to U* pdimov 1108 shared_ptr does not compile under g++ with -fno-rtti pdimov 997 error in boost::bind doc ramey 1036 assert failure in oserializer.hpp:418 ramey 1038 "<" and ">" should be excaped in xml_oarchive ramey 1086 Serialization of weak_ptr produces invalid XML ramey 1089 missing boost::serialization::make_nvp in pointer container library ramey 1121 xml_archive_exception is missing seperate header file_ and documentation mismatch ramey 1137 Virtual destructor is missing ramey 1141 Dangerious operator<< for wostream ramey 1142 boost/serialization/optional doesn't include necessary header ramey 1223 boost::serialization chokes on correcly formatted empty XML element ramey 1267 Assertion `new_cid == cid' failed in basic_iarchive ramey 1285 [serialization] problem when including shared_ptr_132.hpp ramey 1286 Missing/Incorrect dllimport/dllexport directives prevent Windows DLLs from building ramey 1290 Serialization export.hpp (or type_info_implementation.hpp) is NOT self-contained and causes compile error ramey 1382 Missing #pragma warning(pop) in void_cast.hpp ramey 757 xml serialization fails when using namespace ramey 961 boost::basic_binary_oprimitive not instantiated correctly ramey 968 xml_grammar - incorrect define char ramey 969 basic_binary_iprimitive::load_binary bug rogeeff 1383 signal.h features not found on Mac OS samuel_k 585 64 bit compile warning/error for boost::format samuel_krempp 1195 patch: boost/format/parsing.hpp does not compile if BOOST_NO_LOCALE_ISDIGIT is defined samuel_krempp 1196 Patch: when BOOST_NO_STD_LOCALE is not defined_ boost/format/internals.hpp fails to compile. samuel_krempp 1278 declaration of 'str' shadows a member of 'this' samuel_krempp 704 format zero length string msvc-8 samuel_krempp 859 boost::format ignores a user defined locale shammah 284 pool::purge_memory() does not reset next_size shammah 290 perfomance: memory cleanup for pool takes too long shammah 386 boost::pool_allocator breaks with vector of vectors speedsnail 1138 Problems with TSS and static thread library t_schwinger 1100 Building boost.function_types fails cvs rev-1.1_ no chdir command in bash t_schwinger 1332 Inclusion of non existing file boost/fusion/sequence/utility/unpack_args.hpp in boost/fusion/sequence/utility.hpp turkanis 1033 iostreams::restrict doesn't work on an iostreams::file_source turkanis 1070 [iostreams]boost\iostreams\copy.hpp line80 copy_impl turkanis 525 problem with boost::iostreams when compiled with Visual C++ turkanis 699 Changing size of memory-mapped file on Windows turkanis 786 bug in iostreams/copy.hpp line 81 turkanis 791 iostreams::tee_filter is for output only turkanis 817 Performance problem in iostreams turkanis 822 Incorrect usage of bad_write()_ bad_seek() etc. turkanis 823 Seekable file_descriptor_source /sink? turkanis 824 BOOST_IOSTREAMS_HAS_LSEEK64 on Mac OS X turkanis 856 iostreams file_descriptor::write fails under Win32 urzuga 574 [boost::lambda] Compile error with libstdc++ debug mode urzuga 781 Lambda: (_1 + "y")(string("x")) Doesn't Compile vladimir_prus 1165 more quoting problems vladimir_prus 1274 Useless error message vladimir_prus 1275 boost::program_options::validation_error::what() is private vladimir_prus 1321 invalid docbook in tool documentation vladimir_prus 469 multitoken broken vladimir_prus 689 [program_options] Endless loop with long default arguments witt 1046 Boost.Python quickstart instructions mention nonexistent target witt 583 Fixes for build on IBM pSeries for AIX and Linux witt 834 Homepage regression links witt 957 The "Getting Started" page does not mention the stdlib option witt 973 zip_iterator has value_type == reference -- -- Marshall Marshall Clow Qualcomm, Inc. <mailto:mclow@qualcomm.com> The famous British scientist, Lord Kelvin, said: "When you measure what you are speaking about and express it in numbers, you know something about it, but when you cannot (or do not) measure it, when you cannot (or do not) express it in numbers, then your knowledge is of a meagre and unsatisfactory kind."

1 0

[review] Exception - result
by Tobias Schwinger 09 Nov '07

09 Nov '07

I'm pleased to announce that the Exception library has been accepted into boost. Thanks to all formal and informal reviewers and to Emil Dotchevski for the library! Summary of possible improvements: ================================= Design ------ Nearly all reviewers made suggestions for syntactic improvements. The "tag(value) syntax" (as suggested by John Torjo) for instance provides sufficient syntactic sugar and seems lightweight to implement. Suggested features in this area are (those are implementable on top of the current design - but will keep users from reinventing the wheel if provided by the library): - Support for grouping information, and - support for generating stack traces. I personally still have a bad feeling about 'enable_error_info' - let's just revisit and discuss it on the list before changing boost::throw_exception. The related discussions about clone/rethrow support is still ongoing. Documentation ------------- Best practices for the catch-site should be clarified in the documentation. Same goes for using the same tag multiple types with one exception object. Other comments should be addressed (I won't put much energy into summarizing documentation comments, guessing most of them might have been taken care of, already). Deployment ---------- There was a suggestion (from Pavel Vozenilek) to put #ifdef around the code of boost::exception that could be put into a separate translation unit. There should probably also be a 'build' directory and a Jamfile so there is smooth integration with the Boost build system. Of course, Jamfiles for test/examples should be added. Implementation -------------- Several reviewers noted that the library is rather allocation-heavy. It pretty much comes down to shared_ptr overuse (causing many unnecessary allocations of small objects and synchronized instructions to be executed) though not in performance critical code possibly affecting other threads and future allocations. -- Tobias Schwinger - Review Manager -

2 1

[interprocess] Atomic ops supports for Alpha processors.
by Markus Schöpflin 09 Nov '07

09 Nov '07

Hello, attached patch introduces support for the atomic ops needed by interprocess on Tru64/CXX/Alpha. It currently misses support for atomic add and sub, but those are not used right now. There are a few issues I would like to raise regarding the atomic operations: 1) Currently it is not specified whether an atomic operation implies a memory barrier or not. This should be explicitly stated. 2) atomic_sub32 does not return the old value, but atomic_add32 does. This seems inconsistent to me. 3) Has the use of the low level atomic ops API as proposed in WG21/N2047 (see http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2047.html) been considered. If yes, why has it been rejected? If no, would it makes sense to use this API? 4) Is there a need for an atomic ops boost library? I seem to remember that other libraries need atomic ops as well. Regards, Markus Index: atomic.hpp =================================================================== --- atomic.hpp (revision 40078) +++ atomic.hpp (working copy) @@ -436,6 +436,82 @@ } //namespace interprocess{ } //namespace boost{ +#elif defined(__osf__) + +#include <machine/builtins.h> +#include <c_asm.h> + +namespace boost{ +namespace interprocess{ +namespace detail{ + +//! Atomically increment an apr_uint32_t by 1 +//! "mem": pointer to the object +//! Returns the old value pointed to by mem +inline boost::uint32_t atomic_inc32(volatile boost::uint32_t *mem) +{ return __ATOMIC_INCREMENT_LONG(mem); } + +//! Atomically decrement an boost::uint32_t by 1 +//! "mem": pointer to the atomic value +//! Returns false if the value becomes zero on decrement, otherwise true +inline bool atomic_dec32(volatile boost::uint32_t *mem) +{ return __ATOMIC_DECREMENT_LONG(mem); } + +// Rational for the implementation of the atomic read and write functions. +// +// 1. The Alpha Architecture Handbook requires that access to a byte, +// an aligned word, an aligned longword, or an aligned quadword is +// atomic. (See 'Alpha Architecture Handbook', version 4, chapter 5.2.2.) +// +// 2. The CXX User's Guide states that volatile quantities are accessed +// with single assembler instructions, and that a compilation error +// occurs when declaring a quantity as volatile which is not properly +// aligned. + +//! Atomically read an boost::uint32_t from memory +inline boost::uint32_t atomic_read32(volatile boost::uint32_t *mem) +{ return *mem; } + +//! Atomically set an boost::uint32_t in memory +//! "mem": pointer to the object +//! "param": val value that the object will assume +inline void atomic_write32(volatile boost::uint32_t *mem, boost::uint32_t val) +{ *mem = val; } + +//! Compare an boost::uint32_t's value with "cmp". +//! If they are the same swap the value with "with" +//! "mem": pointer to the value +//! "with" what to swap it with +//! "cmp": the value to compare it to +//! Returns the old value of *mem +inline boost::uint32_t atomic_cas32 + (volatile boost::uint32_t *mem, boost::uint32_t with, boost::uint32_t cmp) +{ + // Notes: + // + // 1. Branch prediction prefers branches, as we assume that the lock + // is not stolen usually, we branch forward conditionally on success + // of the store, and not conditionally backwards on failure. + // + // 2. The memory lock is invalidated when a branch is taken between + // load and store. Therefore we can only branch if we don't need a + // store. + + return asm("10: ldl_l %v0,(%a0) ;" // load prev value from mem and lock mem + " cmpeq %v0,%a2,%t0 ;" // compare with given value + " beq %t0,20f ;" // if not equal, we're done + " mov %a1,%t0 ;" // load new value into scratch register + " stl_c %t0,(%a0) ;" // store new value to locked mem (overwriting scratch) + " bne %t0,20f ;" // store succeeded, we're done + " br 10b ;" // lock has been stolen, retry + "20: ", + mem, with, cmp); +} + +} //namespace detail{ +} //namespace interprocess{ +} //namespace boost{ + #else #error No atomic operations implemented for this platform, sorry!

6 22

helper for managing legacy resources
by Ulrich Eckhardt 09 Nov '07

09 Nov '07

[Note: this is a repost, because there seems to be interest but at the time of the first post nobody responded.] Hi! I have a library here which I would propose for addition to Boost. It is a wrapper around a resource handle, just like std::auto_ptr is a wrapper around a pointer. The main difference to std::auto_ptr is that it doesn't overload operator-> and that it can (or, rather, must) be customized. Therefore it can also be used to hold resources like 'int' (a Unix filedescriptor) or 'FILE*' and also has the known ownership transfer semantics of std::auto_ptr. A few points I'd like to point out: * auto_ptr can hold a FILE*, too! No it can't, because it invokes delete on it while it wasn't allocated with new. * shared_ptr could hold a FILE! Yes, provided you give it a suitable deleter. However, shared_ptr does not provide exclusive ownership semantics and requires dynamic allocation for the reference counter. * It has the same size as std::auto_ptr (I'm assuming an implementation of auto_ptr that only wraps a pointer) and achieves the custom deleting via a policy type (type traits). * When wrapping e.g. an int, the type traits force you to specify whether the int is a timer ID or a filedescriptor, so you even get something like type safety on top of a type-depraved API. * When wrapping e.g. a win32 HANDLE (which is a very opaque type used for lots of things in the win32 API) you can even create traits that tell whether something is a windows handle or an event handle, even though both use the same function for releasing the resource. * You could wrap pointers, too, but since it isn't intended as a smart pointer the syntax would be a bit awkward. Of course, the way the pointers are deallocated would then be customizable, e.g. free() or delete[]. * The same type traits could be used to form a shared_ptr equivalent, but the places where I used this I haven't found the need for this yet. In fact I call exclusive ownership an advantage sometimes, because you precisely don't have to care about whether someone else might be accessing the resource. Also, there is no release() function which I admit is a dangerous function but it is useful nonetheless. I'd call it a sharp tool. I wrote something like this once for a Berkeley socket and once for a win32 thread handle before generalizing it into this class template. It is by no means production-ready (although the idea itself is) so I only want to present the library and some example code (see below) for discussion here. cheers Uli /* example program for a handle wrapper that behaves like std::auto_ptr This wrapper class can be customized with a traits type and then handle resources that are not released with delete, like C's FILE* or Unix filedescriptors. The main characteristics are captured by the trait class. For type FILE, a suitable specialisation is already provided, for other types you can do the same. For use with e.g. Unix filedescriptors, I wouldn't specialise the traits because they are plain ints and thus not a safe identifier for this kind of use (e.g. under win32, you need to differentiate between close() and closesocket(), depending on where you got the int from). Instead, you can use the fact that the first template parameter is only used as default for the traits and not(!) as real storage type. You then simply introduce a special type (the mere declaration of a simple, dedicated struct is enough) and the nested typedef inside the traits is the storage type: // incomplete dummy type, only used as ID for specialisation below struct filedescriptor; // specialize resource_traits template<> resource_traits<filedescriptor> { typedef int handle_type; ... }; auto_handle<filedescriptor> h(open("/dev/stdout", O_WRONLY)); if(h) write( *h, "Heya!", strlen("Heya!")); Note: other than std::auto_ptr, release() doesn't return the resource handle. The reason is that this first needs to be copied to a safe place (i.e. one that guarantees no resource leaks) before releasing ownership. // wrong: if insert() throws, the handle is lost and the // resource is leaked! container.insert(h.release()); // correct: container.insert(h.get()); h.release(); */ #include <stdio.h> #include <sys/types.h> #include <sys/stat.h> #include <fcntl.h> #include <unistd.h> /* traits class describing the resource behaviour */ template<typename ResourceHandle> struct resource_traits { /* nested typedef for the handle type Typically the same as the template parameter. */ typedef ResourceHandle handle_type; /* invalid signal value The equivalent of a NULL pointer. */ handle_type get_null() const; /* check for invalid signal values This is useed because there are cases where more than one signal value exists. */ bool is_valid(handle_type h) const; /* release the resource This is the equivalent to delete or free() for the resource type. */ void deallocate(handle_type h) const; }; template<typename ResourceHandle, typename ResourceTraits = resource_traits<ResourceHandle> > struct auto_handle: ResourceTraits { typedef ResourceTraits traits_type; typedef typename traits_type::handle_type handle_type; auto_handle(): m_handle(traits_type::get_null()) {} explicit auto_handle(handle_type h): m_handle(h) {} auto_handle( auto_handle& rhs): m_handle(rhs.get()) { rhs.release(); } auto_handle& operator=(auto_handle& rhs) { if(this!=&rhs) { reset(rhs.get()); rhs.release(); } return *this; } ~auto_handle() { traits_type::deallocate(m_handle); } struct ref { handle_type h; }; operator ref() { ref r = {m_handle}; release(); return r; } auto_handle(ref r): m_handle(r.h) {} auto_handle& operator=(ref r) { reset(r.h); return *this; } handle_type operator*() const { return m_handle; } handle_type get() const { return m_handle; } bool valid() const { return traits_type::is_valid(m_handle); } typedef bool (auto_handle::*boolean_type)() const; operator boolean_type() const { if(traits_type::is_valid(m_handle)) return &auto_handle::valid; else return 0; } // reset handle without deallocating associated resource void release() { m_handle = traits_type::get_null(); } // deallocate resource and reset handle void reset() { traits_type::deallocate(m_handle); m_handle = traits_type::get_null(); } void reset( handle_type h) { traits_type::deallocate(m_handle); m_handle = h; } private: handle_type m_handle; }; template<> struct resource_traits<FILE*> { /* nested typedef for the handle type Typically the same as the template parameter. */ typedef FILE* handle_type; /* invalid signal value The equivalent of a NULL pointer. */ static handle_type get_null() { return 0; } /* compare for invalid signal value This is useful for cases where more than one signal value exists. */ static bool is_valid(handle_type h) { return h!=0; } /* release the resource This is the equivalent to delete or free() for the resource type. */ static void deallocate(handle_type h) { if(is_valid(h)) { printf("deallocate(%p)\n", h); fclose(h); } } }; typedef auto_handle<FILE*> auto_file; auto_file open_file(char const* path) { auto_handle<FILE*> res(fopen(path,"r")); printf("open_file('%s') = %p\n", path, res.get()); return res; } struct filedescriptor; template<> struct resource_traits<filedescriptor> { typedef int handle_type; static handle_type get_null() { return -1; } static bool is_valid(handle_type h) { return h>=0; } static void deallocate(handle_type h) { if(is_valid(h)) { printf("deallocate(%d)\n", h); // TODO: check returnvalue close(h); } } }; typedef auto_handle<filedescriptor> auto_filedescriptor; auto_filedescriptor open_fd(char const* path) { auto_filedescriptor res(open( path, O_RDONLY)); printf("open_fd('%s') = %d\n", path, res.get()); return res; } int main() { { auto_handle<FILE*> f = open_file("/dev/null"); if(!f) printf("failed to open '/dev/null'\n"); f = open_file("/dev/stdout"); if(!f) printf("failed to open '/dev/stdout'\n"); open_file("/dev/null"); } { auto_filedescriptor fd = open_fd("/dev/null"); if(!fd) printf("failed to open '/dev/null'\n"); fd = open_fd("/dev/stdout"); if(!fd) printf("failed to open '/dev/stdout'\n"); open_fd("/dev/null"); } }

4 3

Documenting reused concepts
by Darren Garvey 09 Nov '07

09 Nov '07

[cross-posted this to boost and boost-docs; I can't guess how many people are interested in this.] I'm looking but can't seem to find any comment on how to document reused concepts, except for one very old, dead-end thread: http://lists.boost.org/Archives/boost/2002/09/35728.php Basically I'm in a situation where I want to reuse concepts from a couple of boost libraries so I obviously need to mention those concepts in my docs. What I'm doing now is linking to the concept documentation in the relevant library, which mostly works but I'm afraid it might confuse someone unfamiliar with the other library. The question is: how much concept documentation should lie outside individual libraries? I suppose there are some (many?) that are never going to be decoupled from any one library, but I thought the nature of a 'concept' - especially looking at C++0x stuff - favours general ones. The ones in Boost.Thread (* http://tinyurl.com/35tetq* - out of date, but still relevant) and Boost.Asio( *http://tinyurl.com/2acksh* - see the RH column) seem to be laid out/named like this. I for one think it would be intuitive and helpful if there were a place for library-agnostic concept documentation, somewhere. I get the impression that's the way things are going anyway. Also, since they concepts are usually documented anyway, *combining* the library-agnostic ones shouldn't be too demanding a task (I'm offering). Deciding what concepts are library-independent or even 'truly general' is another issue. I'm sure I can already smell smoke over my anosmia. :-) I was thinking a general concept interface, perhaps a C++0x-style definition too (*http://tinyurl.com/2xhzpr*), plus links to the libraries that use them and/or the types that implement them would be all that's needed. Is there any interest in this? Any fundamental objections? Am I just entering a world of pain? Regards, Darren P.S. This would fit in nicely with the STL concept documentation effort that Andrew Sutton's been working on (see *http://tinyurl.com/3x92du*).

1 0

Why have forward container declaration in boost/functiona/detail/container_fwd.hpp?
by Yingwei Zhang 09 Nov '07

09 Nov '07

Hello - I am migrating our code base from boost 1.33.1 to 1.34.1. Some changes in boost/functional is causing compilation issues. The hash.hpp in 1.33 does include std container header files. In 1.34.1, however, forward declaration is added as following: #if (defined(__GLIBCXX__) && defined(_GLIBCXX_DEBUG)) \ || BOOST_WORKAROUND(__BORLANDC__, > 0x551) \ || BOOST_WORKAROUND(__DMC__, BOOST_TESTED_AT(0x842)) \ || (defined(__SGI_STL_PORT) || defined(_STLPORT_VERSION)) #include <deque> #include <list> #include <vector> .... #else namespace std { ... template <class T, class Allocator> class list; template <class T, class Allocator> class vector; template <class Key, class T, class Compare, class Allocator> class map; ... } I am working on Darwin with gcc 4.0.1, and the #if test is not true, so we fall through the #else path, with only forward declaration. If my code does not include standard container headers explicitly, it will not compile with boost 1.34.1. Of course the easy fix is to add the standard container header in my code instead of depending on boost to pull it in. What is the reason behind this change? Thanks for explanations. Yingwei

4 4

slightly off topic question
by Robert Ramey 09 Nov '07

09 Nov '07

I'm using the gcc compiler with cygwin. In a couple of my testsI'm getting warnings like this in debug mode and crash in release mode.I'm not having any problem with my VC 7.1 compiler.Does anyone know what normally provokes this?Robert Ramey/usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/stl_list.h: In function `int test_main(int, char**)': /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/stl_list.h:435: warning: '__p' might be used uninitialized in this function /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/stl_list.h:435: warning: '__p' might be used uninitialized in this function /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/stl_list.h: In member function `void boost::archive::detail::iserializer<Archive, T>::load_object_data(boost::archive::detail::basic_iarchive&, void*, unsigned int) const [with Archive = boost::archive::text_iarchive, T = std::list<A, std::allocator<A> >]': /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/bits/stl_list.h:435: warning: '__p' might be used uninitialized in this function /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/ext/slist: In member function `void boost::archive::detail::iserializer<Archive, T>::load_object_data(boost::archive::detail::basic_iarchive&, void*, unsigned int) const [with Archive = boost::archive::text_iarchive, T = __gnu_cxx::slist<A, std::allocator<A> >]': /usr/lib/gcc/i686-pc-cygwin/3.4.4/include/c++/ext/slist:285: warning: '__node' might be used uninitialized in this function

1 0

libs/graph/build/Jamfile.v2 suspicious unmerged changes
by David Abrahams 09 Nov '07

09 Nov '07

Could someone check this file out to make sure all the right changes have been merged from 1.34.0 into trunk? Thanks, -- Dave Abrahams Boost Consulting http://www.boost-consulting.com

12 23

Boost Exception and support for cloning
by Emil Dotchevski 09 Nov '07

09 Nov '07

In the Boost Exception review process, several people have expressed the opinion that since boost::exception (part of the proposed library) is designed to act as a base class for all Boost exceptions, it should also support cloning. This can be done by adding a clone() virtual function to boost::exception. There are several issues we have to consider. First, should clone() be pure virtual, which would require all deriving exceptions to implement it? This can be achieved by modifying boost::throw_exception to throw a type that derives from the passed exception type and implements clone(). If we go that route, we must make sure that Boost does not contain a "naked" throw statement (that is, a throw that does not call boost::throw_exception.) This should be fine, since Boost libraries are required to call boost::throw_exception anyway. However, the functionality provided by boost::exception would be desirable for user code as well, and thus it would make sense for user-defined exception types to derive it. Which raises my second question: should then user code also be required to throw exceptions by calling boost::throw_exception? Emil Dotchevski

5 11