2010-10-07 00:15:10 +08:00
|
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
|
|
|
|
"http://www.w3.org/TR/html4/strict.dtd">
|
|
|
|
|
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
|
|
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
|
|
|
|
<title><atomic> design</title>
|
|
|
|
|
<link type="text/css" rel="stylesheet" href="menu.css">
|
|
|
|
|
<link type="text/css" rel="stylesheet" href="content.css">
|
|
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
|
|
|
|
<div id="menu">
|
|
|
|
|
<div>
|
|
|
|
|
<a href="http://llvm.org/">LLVM Home</a>
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<div class="submenu">
|
|
|
|
|
<label>libc++ Info</label>
|
|
|
|
|
<a href="/index.html">About</a>
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<div class="submenu">
|
|
|
|
|
<label>Quick Links</label>
|
|
|
|
|
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev">cfe-dev</a>
|
|
|
|
|
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits">cfe-commits</a>
|
|
|
|
|
<a href="http://llvm.org/bugs/">Bug Reports</a>
|
|
|
|
|
<a href="http://llvm.org/svn/llvm-project/libcxx/trunk/">Browse SVN</a>
|
|
|
|
|
<a href="http://llvm.org/viewvc/llvm-project/libcxx/trunk/">Browse ViewVC</a>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
|
|
|
|
|
<div id="content">
|
|
|
|
|
<!--*********************************************************************-->
|
|
|
|
|
<h1><atomic> design</h1>
|
|
|
|
|
<!--*********************************************************************-->
|
|
|
|
|
|
|
|
|
|
<p>
|
|
|
|
|
This is more of a synopsis than a true description. The compiler supplies all
|
|
|
|
|
of the intrinsics as described below. This list of intrinsics roughly parallels
|
|
|
|
|
the requirements of the C and C++ atomics proposals. The C and C++ library
|
|
|
|
|
imlpementations simply drop through to these intrinsics. Anything the platform
|
|
|
|
|
does not support in hardware, the compiler arranges for a (compiler-rt) library
|
|
|
|
|
call to be made which will do the job with a mutex, and in this case ignoring
|
|
|
|
|
the memory ordering parameter.
|
|
|
|
|
</p>
|
|
|
|
|
|
|
|
|
|
<blockquote><pre>
|
2010-10-07 22:18:37 +08:00
|
|
|
<font color="#C80000">// In every intrinsic signature below, type* atomic_obj may be a pointer to a</font>
|
|
|
|
|
<font color="#C80000">// volatile-qualifed type.</font>
|
|
|
|
|
|
|
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
2010-10-07 00:15:10 +08:00
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = 0, 1, 2, 5</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_load(const type* atomic_obj, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
2010-10-07 22:18:37 +08:00
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
2010-10-07 00:15:10 +08:00
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = 0, 3, 5</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_store(type* atomic_obj, type desired, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
2010-10-07 22:18:37 +08:00
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
2010-10-07 00:15:10 +08:00
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_exchange(type* atomic_obj, type desired, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
2010-10-07 22:18:37 +08:00
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
2010-10-07 00:15:10 +08:00
|
|
|
<font color="#C80000">// Behavior is defined for mem_success = [0 ... 5],</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
<font color="#C80000">// mem_falure <= mem_success</font>
|
|
|
|
|
bool __atomic_compare_exchange_strong(type* atomic_obj,
|
2010-10-07 00:15:10 +08:00
|
|
|
type* expected, type desired,
|
|
|
|
|
int mem_success, int mem_failure);
|
|
|
|
|
|
2010-10-07 22:18:37 +08:00
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
2010-10-07 00:15:10 +08:00
|
|
|
<font color="#C80000">// Behavior is defined for mem_success = [0 ... 5],</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
<font color="#C80000">// mem_falure <= mem_success</font>
|
|
|
|
|
bool __atomic_compare_exchange_weak(type* atomic_obj,
|
2010-10-07 00:15:10 +08:00
|
|
|
type* expected, type desired,
|
|
|
|
|
int mem_success, int mem_failure);
|
|
|
|
|
|
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
|
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
|
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_fetch_add(type* atomic_obj, type operand, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
|
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
|
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_fetch_sub(type* atomic_obj, type operand, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
|
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
|
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_fetch_and(type* atomic_obj, type operand, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
|
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
|
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_fetch_or(type* atomic_obj, type operand, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
|
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
|
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
type __atomic_fetch_xor(type* atomic_obj, type operand, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
|
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
2010-10-07 22:18:37 +08:00
|
|
|
void* __atomic_fetch_add(void** atomic_obj, ptrdiff_t operand, int mem_ord);
|
|
|
|
|
void* __atomic_fetch_sub(void** atomic_obj, ptrdiff_t operand, int mem_ord);
|
2010-10-07 00:15:10 +08:00
|
|
|
|
|
|
|
|
<font color="#C80000">// Behavior is defined for mem_ord = [0 ... 5]</font>
|
|
|
|
|
void __atomic_thread_fence(int mem_ord);
|
|
|
|
|
void __atomic_signal_fence(int mem_ord);
|
|
|
|
|
</pre></blockquote>
|
|
|
|
|
|
|
|
|
|
<p>
|
|
|
|
|
If desired the intrinsics taking a single <tt>mem_ord</tt> parameter can default
|
|
|
|
|
this argument to 5.
|
|
|
|
|
</p>
|
|
|
|
|
|
|
|
|
|
<p>
|
|
|
|
|
If desired the intrinsics taking two ordering parameters can default
|
|
|
|
|
<tt>mem_success</tt> to 5, and <tt>mem_failure</tt> to <tt>mem_success</tt>.
|
|
|
|
|
</p>
|
|
|
|
|
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
