Rustのタスクモデルについて

Rustのタスクモデル
@dim7th
9/7 Rust Samurai その弐
13年9月7日土曜日

•学芸大学教育学部2年
•Twitter @dim7th
•3Dプリンタとか
•scheme, python, C++, Dartとか
自己紹介

1.タスクについて
2.タスクの通信
3.immutableなデータの共有
Rustのタスクモデルについて

Rust 0.8-preで話します
• RustTasks and CommunicationTutorial
• http://static.rust-lang.org/doc/tutorial-tasks.html

1.タスクについて

Rustにおけるタスクとは
• VMにおけるグリーンスレッドのようなもの
• 軽量でタスク間においてはメモリが独立
• タスク間のメッセージ通信が可能
• OSのスレッドにRustのスケジューラが割り当てる
• マルチコアであれば並列に割り振られる

というわけで実際に

タスクを生成してみる
fn main(){
spawn( || println("hello"));
}

fn main(){
spawn( || println("hello"));
}
Lambda Expression
タスクを生成してみる

Lambda Expression
let func = | arg | {
println(fmt!(“arg=%?”,arg));
}
func(10)
=>10

よく使われる形で
do spawn() {
println(“hello, world!”);
}

よく使われる形で
do spawn() {
println(“hello, world!”);
}
Do Expression

spawn( |arg| {
hoge(arg) ;
});
Do Expression

Do Expression
spawn( |arg| {
hoge(arg) ;
});
do spawn |arg| {
hoge(arg);
}

2.タスクの通信

“A pipe is simply
a pair of endpoints”

portchan
Pipe

Pipe
Task
Channel
Port
AnotherTask

実際にやってみる
use std : : task;
let (port , chan) : (Port<int>, Chan<int>) = stream( );
do spawn | arg | {
chan . send (arg);
}

use std : : task;
do spawn | arg | {
chan . send (arg);
}
型宣言

use std : : task;
do spawn | arg | {
chan . send (arg);
}
型宣言
argはport . recv()で取得できる

一つのChanは複数の
タスクから使えない

例えば
let (port , chan) = stream( );
do spawn | arg1 | {
chan . send (arg1);
}
do spawn | arg2 | {
chan . send (arg2);
}

`chan` moved into closure
environment here
because it has type `~fn:Send( )`,
which is non-copyable
(perhaps you meant to use clone( )? )
error: aborting due to previous error

怒られます

そこで出てくるのが

SharedChan

use std : : comm;
let (port , chan) = comm : : stream( );

use std : : comm;
let chan = comm : : SharedChan : : new(chan);

use std : : comm;
chanを上書きする

use std : : comm;
do spawn | hoge | {
let child_chan = chan . clone( );
child_chan.send(arg);
}

use std : : comm;
do spawn | hoge | {
let child_chan = chan . clone( );
child_chan.send(arg);
}
タスク内でclone( )する

Servoではどうなの？
servo/src/components/main/servo.rc
151行目らへん

3. immutableなデータの共有

Pipeを使ってもできる

Pipeを使ってもできる
immutableなので
無駄なデータのコピー

Auto Reference Counted wrapper

extern mod extra;
use extra : : arc : :Arc;
let pi = 3.14159;
let shared_num = Arc : : new(num);

extern mod extra;
use extra : : arc : :Arc;
let pi = 3.14159;
let shared_num = Arc : : new(num);

do spawn {

let local_num :Arc<ﬂoat> = port.recv();

println( fmt!( " % ? ", local_num . get( )));

}

http://saneyukis.hatenablog.com/entry/2013/07/28/233325
http://static.rust-lang.org/doc/tutorial-tasks.html
http://static.rust-lang.org/doc/rust.html
URL

4.タスクの失敗

“exceptions in Rust are
unrecoverable within a single task:
once a task fails, there is no way to
"catch" the exception.”
http://static.rust-lang.org/doc/tutorial-tasks.html

タスクの例外は回復できない

例外はfail!( )を呼ぶことで発生できる

let result : Result<( ) , ( )> = do task : : try {
fail( );
};
assert!(result . is_err( ));

基本的にタスクが死ぬと
関連するタスク全て死ぬ

do spawn{
do spawn {
fail( );
}
hoge1( );
}
hoge2( );

Rustのタスクモデルについて

More Related Content

What's hot

Viewers also liked

Similar to Rustのタスクモデルについて

Recently uploaded

Rustのタスクモデルについて