sudo ./bootstrap.sh --with-toolset=clang cxxflags="-I/usr/local/include/c++/v1 -stdlib=libc++" linkflags="-stdlib=libc++" --without-libraries=signals,python,iostreams,mpisudo ./b2 toolset=clang cxxflags="-I/usr/local/include/c++/v1 -stdlib=libc++" linkflags="-stdlib=libc++" install
__transaction_relaxed and __transaction_atomic__transaction_relaxed| Thread A | Thread B |
__transaction_relaxed {
a = 1;
b = a;
}
| a = 3; |
a = 3; 亂入了。但是呢，如果寫：
| Thread A | Thread B |
__transaction_relaxed {
a = 1;
b = a;
}
| __transaction_relaxed {
a = 3;
}
|
__transaction_atomic| Thread A | Thread B |
__transaction_relaxed {
a = 1;
b = a;
}
| a = 3; |
transaction_safe 修飾這個 function（safe 屬性在某些狀況下也有由 compiler 推導出來，見後續）。 transaction_unsafe 用來表明一個 function 不 safe，compiler 就可以阻止他被呼叫（比方說雖然現在這個 function safe，但是未來改版以後可能不 safe，我們知道他未來有不 safe 的可能性，所以我們希望現在就禁止他被使用）。
Lambda 也有 safe/unsafe。
如果一個 statement 有以下任何一個特性，那他就是 unsafe：一般的 function 宣告，如果你沒有特別指定，他 implicit 根據裡面有沒有含有 unsafe 的 statement 來決定自己 implicit 宣告成 safe 還是 unsafe。但是「直接呼叫自己」的 recursive 函數是 unsafe（應該是說 compiler 會偵測 directly recursive call，但是 indirectly call 就不管），但是你也可以 explicitly 指定 recursive funciton 是 safe。
template function 一樣也會自動推導則，但是，是具現化以後才推導，會看內含 statement safe 不 safe，如果有 unsafe 的 statement，那就 implicit unsafe，如果全部的 statement 都是 safe，那就 implicit safe。
Ctro 跟 Dtor，user defined 的當然就是作一般 (template) function，compiler generated 的，就看 base class 跟 non-static data member 的 Ctor/Dtor 是不是 safe。
SomeType myObj = __transaction_atomic ( expr ); SomeType myObj = __transaction_relaxed ( expr );
作用於 expression 求值的過程。也就這個求值的過程，會是 trasactional 的。
transaction expression 不能 nested。也不允許用 outer 修飾，也不能含有 transaction statement，也不能含有 cancel，也不能含有 cancel-and-throw，因為 C++ 不允許 expression 含有 statement。接下來還有一堆超饒舌的，先跳過，看了實在好想吐 orz 18 頁第 1 行。
void f() __transaction_relaxed {
}
void f() __transaction_atomic {
}
意思就是這個 function body 內部的執行，會是 transactional。
如果這個 function 剛好是 Ctor/Dtor 的話，那個 base class 跟 member class 的初始化也都是 transactional 的。下面一個例子，比方說這個 class 的每個物件都有一個流水號，根據一個 global variable 來的。
class Foo {
static size_t _count = 0;
size_t _id;
Foo() __transaction_atomic {
_id = _count++;
}
}
function transaction block 也可以跟 try block 混在一起。
try __transaction_atomic : Foo() {
}
catch (...) {} // catch 不是 transaction 的一部分
__transaction_atomic try : Foo() {
}
catch (...) {} // catch 是 transaction 的一部分
可以用來放棄一個 transaction，只能寫在 atomic transaction 裡面。transactional expression 不能 cancel，function transactional block 也不能 cancel。
__transaction_cancel [[outer]];outer cancel statement 只能寫在被標明為 transaction_may_cancel_outer 的 atomic transaction 或是 function block transaction 裡面。
幹……怎麼會這麼多……後面還有……好想哭……喜歡上一個漫畫家「冬目景」。
最早是在，可能有十年了吧，在表弟家看到的一本漫畫叫作《黑鐵》。一個人被改造成機器人的劍客故事，聽起來既白癡又低能，不知道是搞笑漫畫還是熱血打鬥，但是實際上卻是一點點抑鬱的，很觸動人心深處的故事，跟劍客不劍客沒什麼關係。就像很多科幻小說，除去科幻的部份，卻還是很精彩，我想，好的故事，跟背景設定無關，而是故事本身的重點是在人身上，而黑鐵就是這樣的故事，重點在人身上。後來在清大念研究所，宿舍的交誼廳也放著一套黑鐵，但是並沒有全部，這次我很仔細的全部看了，更喜歡這個漫畫了，我發現他不只是故事好，畫面也總是帶一點點悲戚的美，歹勢阿，我文筆很爛，想不到什麼好詞描述，不過就是這樣。
過了幾年的現在，又想到這部漫畫，想起來，想去把結局也看完，上往搜索了一下，才發現這個漫畫連載中斷，所以沒有結局了。也知道了作者叫作「冬目景」，ㄟ，我發現我看過她的《白老鼠遊戲》但是卻沒什麼特別的印象。發現冬目景的作品很多都中斷連載，不知道原因，只覺得很可惜。看了一些作品的介紹，看到《昨日之歌》好像會是我喜歡的類型的故事，就去找來看了，結果……真的很喜歡，只是看的過程常常會不小心的掉下眼淚，冬目景的畫真的很漂亮 ^^ 應該說畫面看起來常常髒髒的，筆觸也斷斷續續的，但是看起來就是很漂亮，筆觸成熟，看起來很隨意，不會講，懶的寫了 ＠_＠ 反正很喜歡，害我很想寫部落格，不過我寫不出什麼毛，所以還是停吧...