Boost-Commit :

Date view	Thread view	Subject view	Author view

From: bdawes_at_[hidden]
Date: 2007-10-15 09:06:07

Next message: fmhess_at_[hidden]: "[Boost-commit] svn:boost r40046 - trunk/doc/src"
Previous message: ghost_at_[hidden]: "[Boost-commit] svn:boost r40044 - branches/build/python_port/python/boost/build/build"

Author: bemandawes
Date: 2007-10-15 09:06:07 EDT (Mon, 15 Oct 2007)
New Revision: 40045
URL: http://svn.boost.org/trac/boost/changeset/40045

Log:
Descriptions of native_handle_type and native_handle have been simplified, consolidated, and moved to the frontmatter.
Text files modified:
   sandbox/committee/LWG/Pete_comments.html | 5
   sandbox/committee/LWG/thread_library.html | 171 ++++++---------------------------------
   2 files changed, 33 insertions(+), 143 deletions(-)

Modified: sandbox/committee/LWG/Pete_comments.html
==============================================================================
--- sandbox/committee/LWG/Pete_comments.html (original)
+++ sandbox/committee/LWG/Pete_comments.html 2007-10-15 09:06:07 EDT (Mon, 15 Oct 2007)
@@ -69,8 +69,11 @@
 <li>✔ Mutex concepts: mutex type is required to be Destructible, so requirement
 that its destructor not exit by an exception is redundant. 
 </li>
- <li>"If and only if the mutex type ...", followed by "If there is no ..."
+ <li>✔ "If and only if the mutex type ...", followed by "If there is no ..."
 which is the obverse. Either use iff and only if, or use if ... else. 
+ 
+ Descriptions of native_handle_type and native_handle have been simplified,
+ consolidated, and moved to the frontmatter. 
 </li>
 <li>✔ "Implementations may supply additional ..." is entirely redundant. 
 </li>

Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html (original)
+++ sandbox/committee/LWG/thread_library.html 2007-10-15 09:06:07 EDT (Mon, 15 Oct 2007)
@@ -181,6 +181,13 @@
interface (API). -- end note]


+Several classes described in this clause have members <code>
+native_handle_type</code> and <code>native_handle</code>. The presence of these
+members and their semantics is implementation defined. [Note: These
+members allow implementations to provide access to implementation details. Their
+names are specified to facilitate portable compile-time detection. Actual use of
+these members is inherently non-portable. --end note]
+
<h3>
<a name="ThreadsWording">Threads</a></h3>

@@ -234,7 +241,7 @@
public:
 // types:
 class id;
- typedef implementation-defined native_handle_type;
+ typedef implementation-defined native_handle_type; // See [frontmatter]

 // construct/copy/destroy:
 thread();
@@ -251,7 +258,7 @@
 void join();
 void detach();
 id get_id() const;
- native_handle_type native_handle();
+ native_handle_type native_handle(); // See [frontmatter]

 // static members:
 static unsigned hardware_concurrency();
@@ -610,22 +617,6 @@
</blockquote>
</blockquote>

-<blockquote><pre>native_handle_type native_handle();
-</pre>
-
-<blockquote>
-
-Returns: An object of an implementation-defined type. [Note: The
-intent is that <code>native_handle()</code> provides access to the underlying
-implementation, to allow use of implementation specific facilities. Code that
-relies on implementation specific facilities is inherently non-portable. --
-end note]
-
-Throws: Nothing.
-
-</blockquote>
-</blockquote>
-
<h5><tt>thread</tt> static members</h5>
<blockquote><pre>unsigned hardware_concurrency();
</pre>
@@ -935,55 +926,6 @@
</blockquote>
</blockquote>

-
-If and only if the mutex type is internally represented by a single data structure
-which can be passed to operating system specific interfaces, then there shall be a nested
-implementation-defined typedef <tt>
-native_handle_type</tt> that is an alias to this native type if it is copyable,
-otherwise if the native type is not copyable, is a pointer to this native type.
-The implementation shall document whether the <tt>
-native_handle_type</tt>
-typedef is present. 
-
-
-
-If the nested typedef <tt>
-native_handle_type</tt> exists, then there
-also shall be a member function <tt>
-native_handle()</tt> which returns
- <tt>
-native_handle_type</tt>.
- [Example:
-
-
-
-<blockquote><pre>class mutex
-{
- pthread_mutex_t m;
-public:
- typedef pthread_mutex_t* native_handle_type;
- native_handle_type native_handle() {return &m;}
- ...
-};
-</pre>
---end example]
-</blockquote>
-
-
-If there is no single operating system specific data structure that implements
-the mutex type, then neither the nested type <tt>
-native_handle_type</tt> nor the
-member function <tt>native_handle()</tt> shall not be present.
- [Example:
-if a <tt>recursive_mutex</tt> is implemented with both a
- <tt>pthread_mutex_t</tt>
-and a separate lock count, then there will be no <tt>
-native_handle_type</tt>.
- 
---end example]
-
-
-
<h4>Class mutex</h4>

<blockquote><pre>namespace std {
@@ -1001,8 +943,8 @@
 bool try_lock();
 void unlock();

- typedef unspecified native_handle_type; // conditionally present. example: pthread_mutex_t*
- native_handle_type native_handle(); // conditionally present
+ typedef implemenation-defined native_handle_type; // See [frontmatter]
+ native_handle_type native_handle(); // See [frontmatter]
};

} // std
@@ -1030,8 +972,8 @@
 bool try_lock();
 void unlock();

- typedef unspecified native_handle_type; // conditionally present. example: pthread_mutex_t*
- native_handle_type native_handle(); // conditionally present
+ typedef implemenation-defined native_handle_type; // See [frontmatter]
+ native_handle_type native_handle(); // See [frontmatter]
};

} // std
@@ -1106,8 +1048,8 @@
 bool timed_lock(const Duration& rel_time);
 void unlock();

- typedef unspecified native_handle_type; // conditionally present. example: pthread_mutex_t*
- native_handle_type native_handle(); // conditionally present
+ typedef implemenation-defined native_handle_type; // See [frontmatter]
+ native_handle_type native_handle(); // See [frontmatter]
};

} // std
@@ -1137,8 +1079,8 @@
 bool timed_lock(const Duration& rel_time);
 void unlock();

- typedef unspecified native_handle_type; // conditionally present. example: pthread_mutex_t*
- native_handle_type native_handle(); // conditionally present
+ typedef implemenation-defined native_handle_type; // See [frontmatter]
+ native_handle_type native_handle(); // See [frontmatter]
};

} // std
@@ -1703,27 +1645,11 @@
thread that some condition is met, or a UTC[(?)] time is reached.


-
-If and only if the condition variable type is internally represented by an object
-which can be passed to operating system specific interfaces, then there shall be a
-implementation-defined member typedef <tt>native_handle_type</tt> that is an alias
-to this native type, if it is copyable, or if the native type is not copyable,
-a pointer to this native type. The implementation shall document whether the
-<tt>native_handle_type</tt> member typedef is present.
-
-
-
-If the nested typedef <tt>native_handle_type</tt> exists, then there
-also shall be a member function <tt>native_handle()</tt> which returns the
-underlying representation.
-
-
<blockquote><pre>namespace std {

class condition_variable
{
public:
- typedef implementation-defined native_handle_type;

 condition_variable();
 ~condition_variable();
@@ -1739,7 +1665,9 @@
 bool timed_wait(unique_lock<mutex>& lock, const system_time& abs_time);
 template <class Predicate>
 bool timed_wait(unique_lock<mutex>& lock, const system_time& abs_time, Predicate pred);
- native_handle_type native_handle();
+
+ typedef implemenation-defined native_handle_type; // See [frontmatter]
+ native_handle_type native_handle(); // See [frontmatter]
};

} // std
@@ -1923,16 +1851,6 @@
</blockquote>
</blockquote>

-<blockquote>
-<pre>native_handle_type native_handle();
-</pre>
-<blockquote>
-
-Returns: the representation of the underlying object used to implement <tt>*this</tt>.
-
-</blockquote>
-</blockquote>
-


<tt>condition_variable</tt> shall be a standard-layout class (chapter 9 [class]).
@@ -1952,28 +1870,11 @@
meet this requirement.


-
-If and only if the <tt>condition_variable_any</tt> type is internally represented by an
-an object or objects which can be passed to operating system specific interfaces, then
-there shall be a nested implementation-defined typedef <tt>native_handle_type</tt> that
-is an alias to a type providing access to the object or objects. The type
-<tt>native_handle_type</tt> must be copyable; if the object or objects are not copyable,
-<tt>native_handle_type</tt> must be a pointer type. The implementation shall document
-whether the <tt>native_handle_type</tt> typedef is present.
-
-
-
-If the nested typedef <tt>native_handle_type</tt> exists, then there
-also shall be a member function <tt>native_handle()</tt> which returns the
-underlying representation.
-
-
<blockquote><pre>namespace std {

class condition_variable_any
{
public:
- typedef implementation-defined native_handle_type;
 condition_variable_any();
 ~condition_variable_any();

@@ -1990,7 +1891,9 @@
 bool timed_wait(Lock& lock, const system_time& abs_time);
 template <class Lock, class Predicate>
 bool timed_wait(Lock& lock, const system_time& abs_time, Predicate pred);
- native_handle_type native_handle();
+
+ typedef implemenation-defined native_handle_type; // See [frontmatter]
+ native_handle_type native_handle(); // See [frontmatter]
};

} // std
@@ -2174,16 +2077,6 @@
</blockquote>
</blockquote>

-<blockquote>
-<pre>native_handle_type native_handle();
-</pre>
-<blockquote>
-
-Returns: the representation of the underlying object or objects used to implement <tt>*this</tt>.
-
-</blockquote>
-</blockquote>
-
<hr/>

@@ -2241,8 +2134,7 @@


-<blockquote><pre>
-class system_time
+<blockquote><pre>class system_time
{
 public:

@@ -2292,14 +2184,12 @@
 in a signed 64 bit integer.
</blockquote>

-<pre class="programlisting">
-system_time();</pre>
+<pre class="programlisting">system_time();</pre>
 Effects: Constructs a system_time
 object representing the epoch time point 1970-01-01 00:00:00.000000000
 
 Throws: Nothing.
- <pre class="programlisting">
-system_time(time_t secs, nanoseconds ns);
+ <pre class="programlisting">system_time(time_t secs, nanoseconds ns);
</pre>
 Effects: Constructs a utc
 time object representing the time point that is secs + 1,000,000,000*ns after the epoch.
@@ -2309,8 +2199,7 @@
 
 Throws: Nothing.
 
- <pre class="programlisting">
-time_t seconds_since_epoch() const;
+ <pre class="programlisting">time_t seconds_since_epoch() const;
</pre>
 Returns: The count of seconds since 1970-01-01 00:00:00.
 
@@ -2428,8 +2317,7 @@


-<blockquote><pre>
- system_time get_system_time();
+<blockquote><pre> system_time get_system_time();
</pre></blockquote>

@@ -2969,8 +2857,7 @@
Objects of class <tt>hours</tt> can be used to represent a count of hours.


-<blockquote><pre>
-class hours
+<blockquote><pre>class hours
{
 public:
 hours(long long s=0);

Next message: fmhess_at_[hidden]: "[Boost-commit] svn:boost r40046 - trunk/doc/src"
Previous message: ghost_at_[hidden]: "[Boost-commit] svn:boost r40044 - branches/build/python_port/python/boost/build/build"

Date view	Thread view	Subject view	Author view

Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk