Doc No: SC22/WG21/N2681 PL22.16/08-0191 Date: 2008-06-30 Project: JTC1.22.32 Reply to: Robert Klarer IBM Canada, Ltd. firstname.lastname@example.org
Clamage called the meeting to order at 09:00 (UTC+2) on Monday, June 8, 2008
Jean-Paul Rigault described the arrangements and facilities for the meeting.
Clamage had the attendees introduce themselves.
Clamage reviewed the patent disclosure rules.
Nelson reviewed membership rules. Nelson then circulated the attendance list and membership list. Clamage reviewed voting rules and reviewed procedures for the meeting.
Clamage presented the agenda (document PL22.16/08-0121 = WG21/N2611).
Motion to approve the agenda:
Each of the Working Group chairs presented their plans for the coming week.
Motion to approve the minutes (document PL22.16/08-0102 = WG21/N2592)
P. J. Plauger observed that it's unclear, in subsection 10.1 of document N2592, why Library Working Group Motion 2 did not carry. Accordingly, he proposed a friendly amendment to the motion to approve the minutes.
Amendment: Add the following text to the account of Library Working Group Motion 2 in the minutes.
Because there was no clear consensus among participating WG21 member nations, the convenor ruled that this motion did not carry. Poll results among WG21 voting members was:
WG favor oppose abstain WG21 2 2 1
Approved by unanimous consent as amended.
Sutter reported that seven countries are represented at this meeting; all seven have voting status.
As head of the UK delegation, Glassborow made a declaration on behalf of the BSI. The main points of this declaration were:
Much discussion ensued.
Plauger reported that the Special Math IS for C is going to final ballot and that the C++ committee should take corresponding actions. As well, Plauger reported that the C committee agreed to publish a threading model based on the C++ model.
Nelson reported on an issue that was raised by WG14 with respect to the threading model. In the current model, given a struct with two chars beside each other, two different threads can access these chars separately without causing a data race. There is concern that this inhibits certain optimizations, including the combining of stores. There was at least some discussion of allowing the programmer to control the granularity of memory location through the use of a pragma or something similar.
Kosnick asked whether there was any interest in standardizing the atomics. Nelson answered that the memory model and atomics were presented to WG14 in one paper. There was no controversy concerning the atomics.
Stoughton reported that the group will be meeting next week in Redding. The goal of the meeting is to prepare a document outline. There was no liaison statement to make at this meeting because the group had not met since the last C++ meeting.
Plum reported that, at the next SC22 plenary, this group may become a regular WG. Plum also reported that OWGV is making good progress, and that an editing meeting will be conducted in "a month or so" to refine the draft document.
Becker reported that document 08-0098 = WG21/N2588 has all of the edits that were approved at Bellevue. A later revision, PL22.16/08-0116 = WG21/N2606 differs from N2588 only in that it contains some editorial changes.
Meredith noted that this document contains dangling references, as expected.
Motion to accept the working paper
We have three subgroups: Core, Library, and Evolution. There will be a subgroup of Evolution to deal with issues relating to concurrency.
The committee broke into subgroups at 10:30 (GMT+10).
Adamczyk reviewed the CWG formal motions (see below).
Hinnant reviewed the LWG formal motions (see below).
Sutter proposed the following revised timetable for publication of the standard. According to this timetable, a Committee Draft will be issued for ballot in September 2008, and a Final Committee Draft will be issued for ballot in October 2009.
|June 2008||Sofia Antipolis||complete features|
|Sept 2008||San Francisco||
4 months (3 months for ballot + 1 month for buffer)
5 months (4 ballot + 1 buffer)
>= 6 months (2 ballot + >=4 publication)
Clamage observed that, according to Robert's Rules, motions need not be moved and seconded, because they have been forwarded to the group by a subcommittee.
Motion 1. Move WG21/N2659 "Thread-Local Storage" into the C++0X Working Paper.
Motion 2. Move WG21/N2656 "Core issue 654 wording" into the C++0X Working Paper.
Motion 3. Move WG21/N2657 "Local and Unnamed Types as Template Arguments" into the C++0X Working Paper.
Motion 4. Move WG21/N2658 "Constness of Lambda Functions (Revision 1)" into the C++0X Working Paper.
Motion 5. Move WG21/N2658 "Solving the SFINAE problem for expressions" into the C++0X Working Paper.
Motion 6. Move WG21/N2664 "C++ Data-Dependency Ordering: Atomics and Memory Model" into the C++0X Working Paper.
Motion 7. Move WG21/N2672 "Initializer List proposed wording" into the C++0X Working Paper.
Motion 8. Move WG21/N2670 "Minimal Support for Garbage Collection and Reachability-Based Leak Detection (revised)" into the C++0X Working Paper.
Motion 9. Move WG21/N2660 "Dynamic Initialization and Destruction with Concurrency" into the C++0X Working Paper.
Motion 10. Move we apply the resolutions of all issues marked "ready" from N2608 to the C++0X Working Paper, i.e. issues numbered 28, 118, 141, 276, 288, 485, 644, 661, 663, 666.
Motion 1. Move we apply the resolutions to the following issues from N2612 to the C++0X Working Paper:
387, 518, 550, 574, 595, 596, 612, 618, 629, 638, 672, 673, 685, 710, 715, 722, 740, 743, 744, 746, 749, 755, 759, 761, 766, 768, 770, 775, 777, 778, 781, 782, 783, 789, 792, 798
Move: The committee requests the LWG defer discussion of new proposals that would add features to the C++0x standard library until after the C++0x ships.
Motion 3. Move we apply N2514 "Implicit Conversion Operators for Atomics" to the C++0X Working Paper.
Motion 4. Move we apply N2667 "Reserved namespaces for POSIX" to the C++0X Working Paper.
Motion 5. Move we apply N2678 "Error Handling Specification for Chapter 30 (Threads) (Revision 1)" to the C++0X Working Paper.
Motion 6. Move we apply N2661 "A Foundation to Sleep On" to the C++0X Working Paper.
Motion 7. Move we apply N2674 "Shared_ptr atomic access, revision 1" to the C++0X Working Paper.
Motion 8. Move we apply N2666 "More STL algorithms (revision 2)" to the C++0X Working Paper.
Motion 9. Move we apply N2669 "Thread-Safety in the Standard Library (Rev 2)" to the C++0X Working Paper.
Motion 10. Move we apply N2435 "Explicit bool for Smart Pointers" to the C++0X Working Paper.
Motion 11. Move we apply N2679 "Initializer List for Standard Containers (Revision 1)" to the C++0X Working Paper.
Motion 12. Move we apply N2680 "Proposed Wording for Placement Insert (Revision 1)" to the C++0X Working Paper.
Meredith made the following announcement on behalf of LWG: from this point forward, the library group would like all papers to include full concept wording.
See 11.1, below.
Nelson reported the following mailing deadlines:
|post-meeting mailing||June 27, 2008|
|mid-term mailing||July 25, 2008|
|pre-San Francisco mailing||August 22, 2008|
The following meetings are as follows:
Plum moved to thank the host. Applause.
Motion to adjourn
|Adobe Systems||Mat Marcus||V||V||V||V||V||V|
|Apple Computer||Howard E. Hinnant||V||V||V||V||V||V|
|Dawes||Beman G. Dawes||V||V||V||V||V|
|Dinkumware||P. J. Plauger||V||V||V||V||V||V|
|Edison Design Group||J. Stephen Adamczyk||V||V||V||V||V||V|
|Edison Design Group||Daveed Vandevoorde||A||A||A||A||A||A|
|Edison Design Group||John H. Spicer||A||A||A||A||A||A|
|Edison Design Group||Mike Herrick||A||A||A||A||A||A|
|Edison Design Group||William M. Miller||A||A||A||A||A||A|
|Fermi Nat. Accelerator Lab||Marc F. Paterno||V||V||V||V||V||V|
|Gimpel Software||James Widman||V||V||V||V||V||V|
|Indiana University||Doug Gregor||V||V||V||V||V||V|
|National ICT Australia||Manfred Doudar||V||V||V||V||V|
|Plum Hall||Thomas Plum||V||V||V||V||V||V|
|Plum Hall||Francis W. Glassborow||A||A||A||A||A||A|
|Programming Research||Dietmar Kühl||A||A||A||A||A||A|
|Red Hat||Jason Merrill||V||V||V||V||V||V|
|Red Hat||Benjamin Kosnik||A||A||A||A||A||A|
|Rogue Wave Software||Martin Sebor||V||V||V||V||V|
|Roundhouse Consulting||Pete Becker||V||V||V||V||V||V|
|Sandia National Labs||K. Noel Belcourt||V||V||V||V||V|
|Sun Microsystems||Stephen D. Clamage||V||V||V||V||V||V|
|Tele Atlas||Alan Talbot||V||V||V||V||V||V|
|Texas A&M||Jaakko Järvi||A||V||V||V||V||V|
|Texas A&M||Bjarne Stroustrup||V||A||A||A||A|
|Zephyr Associates||Thomas Witt||V||V||V||V||V||V|
|Bruker Daltonics||Daniel Krügler||N||N||N||N||N||N|
|HP||Christophe de Dinechin||N|
|Integrable Solutions||Gabriel Dos Reis||N||N||N||N||N||N|
|Interactive Data Managed Solutions||Jens Maurer||N||N||N||N||N||N|
|TU Dresden||Peter Gottschling||N||N||N||N||N|
|University of Nice||Jean-Paul Rigault||N||N||N||N||N||N|
|Vollmann Engineering||Detlef Vollmann||N||N||N||N||N||N|
|Alberto Ganesh Barbati||N||N||N||N||N||N|