класс Thread
Потоки — это реализация Ruby для модели параллельного программирования.
Программы, которым требуется несколько потоков выполнения, идеально подходят для класса Ruby Thread.
Например, мы можем создать новый поток, отдельный от выполнения основного потока, с помощью ::new.
thr = Thread.new { puts "Whats the big deal" }
Затем мы можем приостановить выполнение основного потока и позволить новому потоку завершиться, используя join:
thr.join #=> "Whats the big deal"
Если мы не вызовем thr.join перед завершением основного потока, все другие потоки, включая thr, будут убиты.
В качестве альтернативы, вы можете использовать массив для одновременной обработки нескольких потоков, как в следующем примере:
threads = []
threads << Thread.new { puts "Whats the big deal" }
threads << Thread.new { 3.times { puts "Threads are fun!" } }
После создания нескольких потоков мы ждем, пока все они завершатся последовательно.
threads.each { |thr| thr.join }
Поток инициализация
Для создания новых потоков Ruby предоставляет ::new, ::start и ::fork. С каждым из этих методов должен быть передан блок, в противном случае будет поднято исключение ThreadError.
При наследовании от класса Thread метод initialize вашего подкласса будет проигнорирован методами ::start и ::fork. В противном случае обязательно вызывайте super в методе initialize.
Поток завершение
Для завершения потоков Ruby предоставляет различные способы.
Метод класса ::kill предназначен для выхода из данного потока:
thr = Thread.new { ... }
Thread.kill(thr) # sends exit() to thr В качестве альтернативы вы можете использовать метод экземпляра exit, или любой из его псевдонимов kill или terminate.
thr.exit
Поток статус
Ruby предоставляет несколько методов экземпляров для запроса состояния данного потока. Для получения строки с текущим состоянием потока используйте status
thr = Thread.new { sleep }
thr.status # => "sleep"
thr.exit
thr.status # => false
Вы также можете использовать alive?, чтобы узнать, запущен ли поток или спит, и stop?, если поток завершен или спит.
Поток переменные и область видимости
Поскольку потоки создаются с блоками, те же правила применяются к другим блокам Ruby для области видимости переменных. Любые локальные переменные, созданные в этом блоке, доступны только этому потоку.
Fiber-локальные против Thread-локальных
Каждый волокно имеет свою корзину для хранения #[]. При установке новой fiber-локальной переменной, она доступна только внутри данного Fiber. Для иллюстрации:
Thread.new {
Thread.current[:foo] = "bar"
Fiber.new {
p Thread.current[:foo] # => nil
}.resume
}.join
В этом примере используется [] для получения и []= для установки fiber-локальных переменных, вы также можете использовать keys для перечисления fiber-локальных переменных для данного потока и key? для проверки наличия fiber-локальной переменной.
Что касается thread-локальных переменных, они доступны в пределах всей области видимости потока. Учитывая следующий пример:
Thread.new{
Thread.current.thread_variable_set(:foo, 1)
p Thread.current.thread_variable_get(:foo) # => 1
Fiber.new{
Thread.current.thread_variable_set(:foo, 2)
p Thread.current.thread_variable_get(:foo) # => 2
}.resume
p Thread.current.thread_variable_get(:foo) # => 2
}.join
Можно заметить, что thread-локальная переменная :foo сохранилась в волокне и была изменена на 2 к концу потока.
В этом примере используется thread_variable_set для создания новых thread-локальных переменных и thread_variable_get для их ссылок.
Также есть thread_variables для перечисления всех thread-локальных переменных и thread_variable? для проверки наличия заданной thread-локальной переменной.
Обработка исключений
Любой поток может вызвать исключение, используя метод экземпляра raise, который работает аналогично Kernel#raise.
Однако важно отметить, что исключение, которое возникает в любом потоке, кроме основного, зависит от abort_on_exception. Этот параметр false по умолчанию, что означает, что любое необработанное исключение приведет к тихому завершению потока при ожидании с помощью join или value. Вы можете изменить это значение по умолчанию, либо установив abort_on_exception= true или установив $DEBUG в true.
С добавлением метода класса ::handle_interrupt, вы теперь можете асинхронно обрабатывать исключения с потоками.
Планирование
Ruby предоставляет несколько способов поддержки планирования потоков в вашей программе.
Первый способ — использовать метод класса ::stop, чтобы приостановить текущий поток и запланировать выполнение другого потока.
После того, как поток приостановлен, вы можете использовать метод экземпляра wakeup, чтобы пометить ваш поток как подходящий для планирования.
Вы также можете попробовать ::pass, который пытается передать выполнение другому потоку, но зависит от операционной системы, будет ли текущий поток переключен. То же самое относится к priority, который позволяет намекнуть планировщику потоков, какие потоки должны иметь приоритет при передаче выполнения. Этот метод также зависит от операционной системы и может быть проигнорирован на некоторых платформах.
Публичные методы класса
static VALUE
rb_thread_s_debug(void)
{
return INT2NUM(rb_thread_debug_enabled);
} Возвращает уровень отладки потока. Доступно только при компиляции с THREAD_DEBUG=-1.
static VALUE
rb_thread_s_debug_set(VALUE self, VALUE val)
{
rb_thread_debug_enabled = RTEST(val) ? NUM2INT(val) : 0;
return val;
} Устанавливает уровень отладки потока. Доступно только при компиляции с THREAD_DEBUG=-1.
static VALUE
rb_thread_s_abort_exc(void)
{
return GET_THREAD()->vm->thread_abort_on_exception ? Qtrue : Qfalse;
} Возвращает состояние глобального условия «прерывание при исключении».
По умолчанию false.
Если установлено в true, при прерывании любого потока из-за исключения, возникшее исключение будет повторно вызвано в основном потоке.
Может также быть задано глобальным флагом $DEBUG или параметром командной строки -d.
См. также ::abort_on_exception=.
Существует также метод уровня экземпляра для установки этого для конкретного потока, см. abort_on_exception.
static VALUE
rb_thread_s_abort_exc_set(VALUE self, VALUE val)
{
GET_THREAD()->vm->thread_abort_on_exception = RTEST(val);
return val;
} Если установлено в true, при прерывании любого потока из-за исключения, возникшее исключение будет повторно вызвано в основном потоке. Возвращает новое состояние.
Thread.abort_on_exception = true t1 = Thread.new do puts "In new thread" raise "Exception from thread" end sleep(1) puts "not reached"
Это даст:
In new thread prog.rb:4: Exception from thread (RuntimeError) from prog.rb:2:in `initialize' from prog.rb:2:in `new' from prog.rb:2
См. также ::abort_on_exception.
Существует также метод уровня экземпляра для установки этого для конкретного потока, см. abort_on_exception=.
static VALUE
thread_s_current(VALUE klass)
{
return rb_thread_current();
} Возвращает текущий выполняющийся поток.
Thread.current #=> #<Thread:0x401bdf4c run>
# File prelude.rb, line 11 def self.exclusive(&block) warn "Thread.exclusive is deprecated, use Thread::Mutex", caller MUTEX_FOR_THREAD_EXCLUSIVE.synchronize(&block) end
Заворачивает блок в один, глобальный для VM Mutex#synchronize, возвращая значение блока. Поток, выполняющийся внутри эксклюзивной секции, будет блокировать только другие потоки, которые также используют механизм ::exclusive.
static VALUE
rb_thread_exit(void)
{
rb_thread_t *th = GET_THREAD();
return rb_thread_kill(th->self);
} Завершает текущий работающий поток и планирует запуск другого потока.
Если этот поток уже помечен для завершения, ::exit возвращает Thread.
Если это основной поток или последний поток, завершить процесс.
static VALUE
rb_thread_s_handle_interrupt(VALUE self, VALUE mask_arg)
{
VALUE mask;
rb_execution_context_t * volatile ec = GET_EC();
rb_thread_t * volatile th = rb_ec_thread_ptr(ec);
volatile VALUE r = Qnil;
enum ruby_tag_type state;
if (!rb_block_given_p()) {
rb_raise(rb_eArgError, "block is needed.");
}
mask = 0;
mask_arg = rb_to_hash_type(mask_arg);
rb_hash_foreach(mask_arg, handle_interrupt_arg_check_i, (VALUE)&mask);
if (!mask) {
return rb_yield(Qnil);
}
OBJ_FREEZE_RAW(mask);
rb_ary_push(th->pending_interrupt_mask_stack, mask);
if (!rb_threadptr_pending_interrupt_empty_p(th)) {
th->pending_interrupt_queue_checked = 0;
RUBY_VM_SET_INTERRUPT(th->ec);
}
EC_PUSH_TAG(th->ec);
if ((state = EC_EXEC_TAG()) == TAG_NONE) {
r = rb_yield(Qnil);
}
EC_POP_TAG();
rb_ary_pop(th->pending_interrupt_mask_stack);
if (!rb_threadptr_pending_interrupt_empty_p(th)) {
th->pending_interrupt_queue_checked = 0;
RUBY_VM_SET_INTERRUPT(th->ec);
}
RUBY_VM_CHECK_INTS(th->ec);
if (state) {
EC_JUMP_TAG(th->ec, state);
}
return r;
} Изменяет время асинхронного прерывания.
Прерывание означает асинхронное событие и соответствующую процедуру с помощью #raise, #kill, ловушки сигнала (еще не поддерживается) и завершения основного потока (если основной поток завершается, то все остальные потоки будут завершены).
Заданный hash имеет пары типа ExceptionClass =>
:TimingSymbol. Где ExceptionClass — это прерывание, обрабатываемое заданным блоком. TimingSymbol может быть одним из следующих символов:
-
:immediate -
Вызывать прерывания немедленно.
-
:on_blocking -
Вызывать прерывания во время BlockingOperation.
-
:never -
Никогда не вызывать все прерывания.
BlockingOperation означает, что операция будет блокировать вызывающий поток, например, чтение и запись. В реализации CRuby, BlockingOperation — это любая операция, выполняемая без GVL.
Замаскированные асинхронные прерывания откладываются до тех пор, пока они не будут включены. Этот метод аналогичен sigprocmask(3).
ПРИМЕЧАНИЕ
Асинхронные прерывания сложно использовать.
Если вам нужно взаимодействовать между потоками, рассмотрите другой способ, например, Queue.
Или используйте их с глубоким пониманием этого метода.
Использование
В этом примере мы можем защититься от исключений #raise.
Используя символ :never TimingSymbol, исключение RuntimeError всегда будет игнорироваться в первом блоке основного потока. Во втором блоке ::handle_interrupt мы можем целенаправленно обрабатывать исключения RuntimeError.
th = Thread.new do
Thread.handle_interrupt(RuntimeError => :never) {
begin
# You can write resource allocation code safely.
Thread.handle_interrupt(RuntimeError => :immediate) {
# ...
}
ensure
# You can write resource deallocation code safely.
end
}
end
Thread.pass
# ...
th.raise "stop"
Пока мы игнорируем исключение RuntimeError, безопасно писать наш код выделения ресурсов. Затем, блок ensure — это место, где мы можем безопасно освободить ваши ресурсы.
Защита от Timeout::Error
В следующем примере мы защитимся от исключения Timeout::Error. Это поможет предотвратить утечку ресурсов, когда исключения Timeout::Error возникают во время обычного блока ensure. Для этого примера мы используем помощь стандартной библиотеки Timeout, из lib/timeout.rb
require 'timeout'
Thread.handle_interrupt(Timeout::Error => :never) {
timeout(10){
# Timeout::Error doesn't occur here
Thread.handle_interrupt(Timeout::Error => :on_blocking) {
# possible to be killed by Timeout::Error
# while blocking operation
}
# Timeout::Error doesn't occur here
}
}
В первой части блока timeout, мы можем полагаться на игнорирование Timeout::Error. Затем в блоке Timeout::Error => :on_blocking, любая операция, которая будет блокировать вызывающий поток, подвержена возникновению исключения Timeout::Error.
Настройки управления стеком
Можно стекировать несколько уровней блоков ::handle_interrupt, чтобы управлять более чем одним ExceptionClass и TimingSymbol одновременно.
Thread.handle_interrupt(FooError => :never) {
Thread.handle_interrupt(BarError => :never) {
# FooError and BarError are prohibited.
}
}
Наследование с ExceptionClass
Все исключения, унаследованные от параметра ExceptionClass, будут рассматриваться.
Thread.handle_interrupt(Exception => :never) {
# all exceptions inherited from Exception are prohibited.
}
static VALUE
rb_thread_s_kill(VALUE obj, VALUE th)
{
return rb_thread_kill(th);
} Вызывает завершение данного thread, см. также ::exit.
count = 0
a = Thread.new { loop { count += 1 } }
sleep(0.1) #=> 0
Thread.kill(a) #=> #<Thread:0x401b3d30 dead>
count #=> 93947
a.alive? #=> false
VALUE
rb_thread_list(void)
{
VALUE ary = rb_ary_new();
rb_vm_t *vm = GET_THREAD()->vm;
rb_thread_t *th = 0;
list_for_each(&vm->living_threads, th, vmlt_node) {
switch (th->status) {
case THREAD_RUNNABLE:
case THREAD_STOPPED:
case THREAD_STOPPED_FOREVER:
rb_ary_push(ary, th->self);
default:
break;
}
}
return ary;
} Возвращает массив объектов Thread для всех потоков, которые являются либо запускаемыми, либо остановленными.
Thread.new { sleep(200) }
Thread.new { 1000000.times {|i| i*i } }
Thread.new { Thread.stop }
Thread.list.each {|t| p t}
Это даст:
#<Thread:0x401b3e84 sleep> #<Thread:0x401b3f38 run> #<Thread:0x401b3fb0 sleep> #<Thread:0x401bdf4c run>
static VALUE
rb_thread_s_main(VALUE klass)
{
return rb_thread_main();
} Возвращает основной поток.
static VALUE
thread_s_new(int argc, VALUE *argv, VALUE klass)
{
rb_thread_t *th;
VALUE thread = rb_thread_alloc(klass);
if (GET_VM()->main_thread->status == THREAD_KILLED)
rb_raise(rb_eThreadError, "can't alloc thread");
rb_obj_call_init(thread, argc, argv);
th = rb_thread_ptr(thread);
if (!threadptr_initialized(th)) {
rb_raise(rb_eThreadError, "uninitialized thread - check `%"PRIsVALUE"#initialize'",
klass);
}
return thread;
} Создает новый поток, выполняющий заданный блок.
Любые args переданные в ::new будут переданы в блок:
arr = []
a, b, c = 1, 2, 3
Thread.new(a,b,c) { |d,e,f| arr << d << e << f }.join
arr #=> [1, 2, 3]
Исключение ThreadError возникает, если ::new вызывается без блока.
Если вы собираетесь создавать подкласс Thread, обязательно вызовите super в вашем методе initialize, иначе будет вызвано исключение ThreadError.
static VALUE
thread_s_pass(VALUE klass)
{
rb_thread_schedule();
return Qnil;
} Дайте планировщику потоков подсказку передать выполнение другому потоку. Запущенный поток может или не может переключиться, это зависит от ОС и процессора.
static VALUE
rb_thread_s_pending_interrupt_p(int argc, VALUE *argv, VALUE self)
{
return rb_thread_pending_interrupt_p(argc, argv, GET_THREAD()->self);
} Возвращает значение, указывающее, пуста ли асинхронная очередь.
Так как ::handle_interrupt может использоваться для отсрочки асинхронных событий, этот метод можно использовать для определения наличия отложенных событий.
Если этот метод возвращает true, вы можете завершить :never блоки.
Например, следующий метод обрабатывает отложенные асинхронные события немедленно.
def Thread.kick_interrupt_immediately
Thread.handle_interrupt(Object => :immediate) {
Thread.pass
}
end
Если error задано, то проверяются только отложенные события типа error.
Использование
th = Thread.new{
Thread.handle_interrupt(RuntimeError => :on_blocking){
while true
...
# reach safe point to invoke interrupt
if Thread.pending_interrupt?
Thread.handle_interrupt(Object => :immediate){}
end
...
end
}
}
...
th.raise # stop thread Этот пример также можно переписать следующим образом, что следует использовать для предотвращения асинхронных прерываний.
flag = true
th = Thread.new{
Thread.handle_interrupt(RuntimeError => :on_blocking){
while true
...
# reach safe point to invoke interrupt
break if flag == false
...
end
}
}
...
flag = false # stop thread static VALUE
rb_thread_s_report_exc(void)
{
return GET_THREAD()->vm->thread_report_on_exception ? Qtrue : Qfalse;
} Возвращает состояние глобальной настройки «сообщать об исключениях».
По умолчанию значение true с Ruby 2.5.
Все потоки, созданные, когда этот флаг установлен в true, будут выводить сообщение в $stderr, если поток завершится с исключением.
Thread.new { 1.times { raise } }
выведет это сообщение в $stderr:
#<Thread:...> terminated with exception (report_on_exception is true):
Traceback (most recent call last):
2: from -e:1:in `block in <main>'
1: from -e:1:in `times' Это делается для того, чтобы быстро обнаружить ошибки в потоках. В некоторых случаях вам может не потребоваться этот вывод. Существует несколько способов избежать дополнительного вывода:
-
Если исключение не предполагалось, лучше всего исправить причину исключения, чтобы оно больше не возникало.
-
Если исключение предполагалось, возможно, лучше перехватить его ближе к месту возникновения, чем позволять ему убивать поток.
-
Если гарантируется, что поток будет объединён с помощью #join или #value, то безопасно отключить это сообщение с помощью
Thread.current.report_on_exception = falseпри запуске потока. Однако это может обработать исключение намного позже или вообще не обработать его, если поток никогда не объединяется из-за того, что родительский поток заблокирован и т. д.
См. также ::report_on_exception=.
Также есть метод уровня экземпляра для установки этого значения для конкретного потока, см. report_on_exception=.
static VALUE
rb_thread_s_report_exc_set(VALUE self, VALUE val)
{
GET_THREAD()->vm->thread_report_on_exception = RTEST(val);
return val;
} Возвращает новое состояние. Когда установлено в true, все созданные после этого потоки унаследуют это состояние и будут выводить сообщение в $stderr, если поток завершится с исключением:
Thread.report_on_exception = true t1 = Thread.new do puts "In new thread" raise "Exception from thread" end sleep(1) puts "In the main thread"
Это выведет:
In new thread #<Thread:...prog.rb:2> terminated with exception (report_on_exception is true): Traceback (most recent call last): prog.rb:4:in `block in <main>': Exception from thread (RuntimeError) In the main thread
См. также ::report_on_exception.
Также есть метод уровня экземпляра для установки этого значения для конкретного потока, см. report_on_exception=.
VALUE
rb_thread_stop(void)
{
if (rb_thread_alone()) {
rb_raise(rb_eThreadError,
"stopping only thread\n\tnote: use sleep to stop forever");
}
rb_thread_sleep_deadly();
return Qnil;
} Останавливает выполнение текущего потока, переводя его в состояние «сон», и планирует выполнение другого потока.
a = Thread.new { print "a"; Thread.stop; print "c" }
sleep 0.1 while a.status!='sleep'
print "b"
a.run
a.join
#=> "abc"
Публичные методы экземпляра
static VALUE
rb_thread_aref(VALUE thread, VALUE key)
{
ID id = rb_check_id(&key);
if (!id) return Qnil;
return rb_thread_local_aref(thread, id);
} Ссылка на атрибут—Возвращает значение локальной переменной волокна (корневое волокно текущего потока, если явно не находится внутри Fiber), используя имя в виде символа или строки. Если указанная переменная не существует, возвращает nil.
[
Thread.new { Thread.current["name"] = "A" },
Thread.new { Thread.current[:name] = "B" },
Thread.new { Thread.current["name"] = "C" }
].each do |th|
th.join
puts "#{th.inspect}: #{th[:name]}"
end
Это даст:
#<Thread:0x00000002a54220 dead>: A #<Thread:0x00000002a541a8 dead>: B #<Thread:0x00000002a54130 dead>: C
#[] и #[]= не являются локальными для потока, а локальными для волокна. Этого недоразумения не существовало в Ruby 1.8, поскольку волокна доступны только начиная с Ruby 1.9. В Ruby 1.9 выбрано, чтобы методы вели себя локально для волокна, чтобы сохранить следующий идиоматический способ для динамической области видимости.
def meth(newvalue)
begin
oldvalue = Thread.current[:name]
Thread.current[:name] = newvalue
yield
ensure
Thread.current[:name] = oldvalue
end
end
Идиома может не работать как динамическая область видимости, если методы являются локальными для потока, а данный блок переключает волокна.
f = Fiber.new {
meth(1) {
Fiber.yield
}
}
meth(2) {
f.resume
}
f.resume
p Thread.current[:name]
#=> nil if fiber-local
#=> 2 if thread-local (The value 2 is leaked to outside of meth method.)
Для локальных переменных потока см. thread_variable_get и thread_variable_set.
static VALUE
rb_thread_aset(VALUE self, VALUE id, VALUE val)
{
return rb_thread_local_aset(self, rb_to_id(id), val);
} Присваивание атрибута—Устанавливает или создает значение локальной переменной волокна, используя символ или строку.
См. также #[].
Для локальных переменных потока см. thread_variable_set и thread_variable_get.
static VALUE
rb_thread_abort_exc(VALUE thread)
{
return rb_thread_ptr(thread)->abort_on_exception ? Qtrue : Qfalse;
} Возвращает состояние локального для потока условия «прерывание по исключению» для этого thr.
Значение по умолчанию—false.
См. также abort_on_exception=.
Существует также метод уровня класса для установки этого для всех потоков, см. ::abort_on_exception.
static VALUE
rb_thread_abort_exc_set(VALUE thread, VALUE val)
{
rb_thread_ptr(thread)->abort_on_exception = RTEST(val);
return val;
} Если установлено в true, если этот thr прерывается исключением, сгенерированное исключение будет повторно сгенерировано в основном потоке.
См. также abort_on_exception.
Существует также метод уровня класса для установки этого для всех потоков, см. ::abort_on_exception=.
static VALUE
thread_add_trace_func_m(VALUE obj, VALUE trace)
{
thread_add_trace_func(GET_EC(), rb_thread_ptr(obj), trace);
return trace;
} Добавляет proc в качестве обработчика трассировки.
static VALUE
rb_thread_alive_p(VALUE thread)
{
if (rb_threadptr_dead(rb_thread_ptr(thread))) {
return Qfalse;
}
else {
return Qtrue;
}
} Возвращает true, если thr выполняется или находится в состоянии ожидания.
thr = Thread.new { }
thr.join #=> #<Thread:0x401b3fb0 dead>
Thread.current.alive? #=> true
thr.alive? #=> false
static VALUE
rb_thread_backtrace_m(int argc, VALUE *argv, VALUE thval)
{
return rb_vm_thread_backtrace(argc, argv, thval);
} Возвращает текущий стек вызовов целевого потока.
static VALUE
rb_thread_backtrace_locations_m(int argc, VALUE *argv, VALUE thval)
{
return rb_vm_thread_backtrace_locations(argc, argv, thval);
} Возвращает стек выполнения для целевого потока—массив, содержащий объекты местоположений стека вызовов.
См. Thread::Backtrace::Location для получения дополнительной информации.
Этот метод ведет себя аналогично Kernel#caller_locations, за исключением того, что он применяется к конкретному потоку.
VALUE
rb_thread_kill(VALUE thread)
{
rb_thread_t *th = rb_thread_ptr(thread);
if (th->to_kill || th->status == THREAD_KILLED) {
return thread;
}
if (th == th->vm->main_thread) {
rb_exit(EXIT_SUCCESS);
}
thread_debug("rb_thread_kill: %p (%"PRI_THREAD_ID")\n", (void *)th, thread_id_str(th));
if (th == GET_THREAD()) {
/* kill myself immediately */
rb_threadptr_to_kill(th);
}
else {
threadptr_check_pending_interrupt_queue(th);
rb_threadptr_pending_interrupt_enque(th, eKillSignal);
rb_threadptr_interrupt(th);
}
return thread;
} Завершает thr и планирует выполнение другого потока.
Если этот поток уже помечен для завершения, exit возвращает Thread.
Если это основной поток или последний поток, завершает процесс.
static VALUE
rb_thread_fetch(int argc, VALUE *argv, VALUE self)
{
VALUE key, val;
ID id;
rb_thread_t *target_th = rb_thread_ptr(self);
int block_given;
rb_check_arity(argc, 1, 2);
key = argv[0];
block_given = rb_block_given_p();
if (block_given && argc == 2) {
rb_warn("block supersedes default value argument");
}
id = rb_check_id(&key);
if (id == recursive_key) {
return target_th->ec->local_storage_recursive_hash;
}
else if (id && target_th->ec->local_storage &&
st_lookup(target_th->ec->local_storage, id, &val)) {
return val;
}
else if (block_given) {
return rb_yield(key);
}
else if (argc == 1) {
rb_key_err_raise(rb_sprintf("key not found: %+"PRIsVALUE, key), self, key);
}
else {
return argv[1];
}
} VALUE
rb_thread_group(VALUE thread)
{
VALUE group = rb_thread_ptr(thread)->thgroup;
return group == 0 ? Qnil : group;
} Возвращает ThreadGroup, содержащий данный поток, или возвращает nil, если thr не является членом ни одной группы.
Thread.main.group #=> #<ThreadGroup:0x4029d914>
static VALUE
thread_join_m(int argc, VALUE *argv, VALUE self)
{
double delay = DELAY_INFTY;
VALUE limit;
rb_scan_args(argc, argv, "01", &limit);
if (!NIL_P(limit)) {
delay = rb_num2dbl(limit);
}
return thread_join(rb_thread_ptr(self), delay);
} Вызывающий поток приостановит выполнение и запустит этот thr.
Не возвращается до тех пор, пока thr не завершится или пока не пройдет заданное количество limit секунд.
Если истекает лимит времени, возвращается nil, в противном случае возвращается thr.
Все потоки, которые не были объединены, будут завершены при выходе из основной программы.
Если thr ранее сгенерировал исключение, а флаги ::abort_on_exception или $DEBUG не установлены (следовательно, исключение еще не обработано), оно будет обработано в этот момент.
a = Thread.new { print "a"; sleep(10); print "b"; print "c" }
x = Thread.new { print "x"; Thread.pass; print "y"; print "z" }
x.join # Let thread x finish, thread a will be killed on exit.
#=> "axyz"
Следующий пример иллюстрирует параметр limit.
y = Thread.new { 4.times { sleep 0.1; puts 'tick... ' }}
puts "Waiting" until y.join(0.15)
Это даст:
tick... Waiting tick... Waiting tick... tick...
static VALUE
rb_thread_key_p(VALUE self, VALUE key)
{
ID id = rb_check_id(&key);
st_table *local_storage = rb_thread_ptr(self)->ec->local_storage;
if (!id || local_storage == NULL) {
return Qfalse;
}
else if (st_lookup(local_storage, id, 0)) {
return Qtrue;
}
else {
return Qfalse;
}
} Возвращает true, если данная строка (или символ) существует как локальная переменная волокна.
me = Thread.current me[:oliver] = "a" me.key?(:oliver) #=> true me.key?(:stanley) #=> false
static VALUE
rb_thread_keys(VALUE self)
{
st_table *local_storage = rb_thread_ptr(self)->ec->local_storage;
VALUE ary = rb_ary_new();
if (local_storage) {
st_foreach(local_storage, thread_keys_i, ary);
}
return ary;
} Возвращает массив имен локальных переменных волокна (в виде символов).
thr = Thread.new do Thread.current[:cat] = 'meow' Thread.current["dog"] = 'woof' end thr.join #=> #<Thread:0x401b3f10 dead> thr.keys #=> [:dog, :cat]
VALUE
rb_thread_kill(VALUE thread)
{
rb_thread_t *th = rb_thread_ptr(thread);
if (th->to_kill || th->status == THREAD_KILLED) {
return thread;
}
if (th == th->vm->main_thread) {
rb_exit(EXIT_SUCCESS);
}
thread_debug("rb_thread_kill: %p (%"PRI_THREAD_ID")\n", (void *)th, thread_id_str(th));
if (th == GET_THREAD()) {
/* kill myself immediately */
rb_threadptr_to_kill(th);
}
else {
threadptr_check_pending_interrupt_queue(th);
rb_threadptr_pending_interrupt_enque(th, eKillSignal);
rb_threadptr_interrupt(th);
}
return thread;
} Завершает thr и планирует выполнение другого потока.
Если этот поток уже помечен для завершения, exit возвращает Thread.
Если это основной поток или последний поток, завершает процесс.
static VALUE
rb_thread_getname(VALUE thread)
{
return rb_thread_ptr(thread)->name;
} Показывает имя потока.
static VALUE
rb_thread_setname(VALUE thread, VALUE name)
{
rb_thread_t *target_th = rb_thread_ptr(thread);
if (!NIL_P(name)) {
rb_encoding *enc;
StringValueCStr(name);
enc = rb_enc_get(name);
if (!rb_enc_asciicompat(enc)) {
rb_raise(rb_eArgError, "ASCII incompatible encoding (%s)",
rb_enc_name(enc));
}
name = rb_str_new_frozen(name);
}
target_th->name = name;
if (threadptr_initialized(target_th)) {
native_set_another_thread_name(target_th->thread_id, name);
}
return name;
} Устанавливает заданное имя для потока Ruby. На некоторых платформах это может установить имя для pthread и/или ядра.
static VALUE
rb_thread_pending_interrupt_p(int argc, VALUE *argv, VALUE target_thread)
{
rb_thread_t *target_th = rb_thread_ptr(target_thread);
if (!target_th->pending_interrupt_queue) {
return Qfalse;
}
if (rb_threadptr_pending_interrupt_empty_p(target_th)) {
return Qfalse;
}
else {
if (argc == 1) {
VALUE err;
rb_scan_args(argc, argv, "01", &err);
if (!rb_obj_is_kind_of(err, rb_cModule)) {
rb_raise(rb_eTypeError, "class or module required for rescue clause");
}
if (rb_threadptr_pending_interrupt_include_p(target_th, err)) {
return Qtrue;
}
else {
return Qfalse;
}
}
return Qtrue;
}
} Возвращает, пуста ли асинхронная очередь для целевого потока.
Если error задан, то проверять только отложенные события типа error.
См. ::pending_interrupt? для получения дополнительной информации.
static VALUE
rb_thread_priority(VALUE thread)
{
return INT2NUM(rb_thread_ptr(thread)->priority);
} Возвращает приоритет thr. По умолчанию наследуется от текущего потока, создающего новый поток, или ноль для исходного главного потока; поток с более высоким приоритетом будет выполняться чаще, чем потоки с более низким приоритетом (но потоки с более низким приоритетом также могут выполняться).
Это всего лишь подсказка для планировщика потоков Ruby. Она может игнорироваться на некоторых платформах.
Thread.current.priority #=> 0
static VALUE
rb_thread_priority_set(VALUE thread, VALUE prio)
{
rb_thread_t *target_th = rb_thread_ptr(thread);
int priority;
#if USE_NATIVE_THREAD_PRIORITY
target_th->priority = NUM2INT(prio);
native_thread_apply_priority(th);
#else
priority = NUM2INT(prio);
if (priority > RUBY_THREAD_PRIORITY_MAX) {
priority = RUBY_THREAD_PRIORITY_MAX;
}
else if (priority < RUBY_THREAD_PRIORITY_MIN) {
priority = RUBY_THREAD_PRIORITY_MIN;
}
target_th->priority = priority;
#endif
return INT2NUM(target_th->priority);
} Устанавливает приоритет thr в integer. Потоки с более высоким приоритетом будут выполняться чаще, чем потоки с более низким приоритетом (но потоки с более низким приоритетом также могут выполняться).
Это всего лишь подсказка для планировщика потоков Ruby. Она может игнорироваться на некоторых платформах.
count1 = count2 = 0
a = Thread.new do
loop { count1 += 1 }
end
a.priority = -1
b = Thread.new do
loop { count2 += 1 }
end
b.priority = -2
sleep 1 #=> 1
count1 #=> 622504
count2 #=> 5832
static VALUE
thread_raise_m(int argc, VALUE *argv, VALUE self)
{
rb_thread_t *target_th = rb_thread_ptr(self);
const rb_thread_t *current_th = GET_THREAD();
threadptr_check_pending_interrupt_queue(target_th);
rb_threadptr_raise(target_th, argc, argv);
/* To perform Thread.current.raise as Kernel.raise */
if (current_th == target_th) {
RUBY_VM_CHECK_INTS(target_th->ec);
}
return Qnil;
} Вызывает исключение из заданного потока. Вызывающий абонент не обязан быть thr. См. Kernel#raise для получения дополнительной информации.
Thread.abort_on_exception = true
a = Thread.new { sleep(200) }
a.raise("Gotcha")
Это даст:
prog.rb:3: Gotcha (RuntimeError) from prog.rb:2:in `initialize' from prog.rb:2:in `new' from prog.rb:2
static VALUE
rb_thread_report_exc(VALUE thread)
{
return rb_thread_ptr(thread)->report_on_exception ? Qtrue : Qfalse;
} Возвращает состояние локального для потока условия «сообщать об исключении» для этого thr.
Значение по умолчанию при создании Thread — это значение глобального флага ::report_on_exception.
См. также report_on_exception=.
Существует также метод уровня класса для установки этого для всех новых потоков, см. ::report_on_exception=.
static VALUE
rb_thread_report_exc_set(VALUE thread, VALUE val)
{
rb_thread_ptr(thread)->report_on_exception = RTEST(val);
return val;
} Когда установлено в true, сообщение выводится в $stderr, если исключение завершает работу этого thr. См. ::report_on_exception для получения подробной информации.
См. также report_on_exception.
Существует также метод уровня класса для установки этого для всех новых потоков, см. ::report_on_exception=.
VALUE
rb_thread_run(VALUE thread)
{
rb_thread_wakeup(thread);
rb_thread_schedule();
return thread;
} Будит thr, делая его доступным для планирования.
a = Thread.new { puts "a"; Thread.stop; puts "c" }
sleep 0.1 while a.status!='sleep'
puts "Got here"
a.run
a.join
Это даст:
a Got here c
См. также метод экземпляра wakeup.
static VALUE
rb_thread_safe_level(VALUE thread)
{
return INT2NUM(rb_thread_ptr(thread)->ec->safe_level);
} Возвращает уровень безопасности, действующий для thr. Установка уровней безопасности, локальных для потока, может помочь при реализации песочниц, которые запускают небезопасный код.
thr = Thread.new { $SAFE = 1; sleep }
Thread.current.safe_level #=> 0
thr.safe_level #=> 1
static VALUE
thread_set_trace_func_m(VALUE target_thread, VALUE trace)
{
rb_execution_context_t *ec = GET_EC();
rb_thread_t *target_th = rb_thread_ptr(target_thread);
rb_threadptr_remove_event_hook(ec, target_th, call_trace_func, Qundef);
if (NIL_P(trace)) {
return Qnil;
}
else {
thread_add_trace_func(ec, target_th, trace);
return trace;
}
} Устанавливает proc в thr в качестве обработчика трассировки или отключает трассировку, если параметр равен nil.
static VALUE
rb_thread_status(VALUE thread)
{
rb_thread_t *target_th = rb_thread_ptr(thread);
if (rb_threadptr_dead(target_th)) {
if (!NIL_P(target_th->ec->errinfo) &&
!FIXNUM_P(target_th->ec->errinfo)) {
return Qnil;
}
else {
return Qfalse;
}
}
else {
return rb_str_new2(thread_status_name(target_th, FALSE));
}
} Возвращает состояние thr.
-
"sleep" -
Возвращается, если этот поток спит или ожидает ввода-вывода
-
"run" -
Когда этот поток выполняется
-
"aborting" -
Если этот поток прерывается
-
false -
Когда этот поток завершается нормально
-
nil -
Если завершен с исключением.
a = Thread.new { raise("die now") }
b = Thread.new { Thread.stop }
c = Thread.new { Thread.exit }
d = Thread.new { sleep }
d.kill #=> #<Thread:0x401b3678 aborting>
a.status #=> nil
b.status #=> "sleep"
c.status #=> false
d.status #=> "aborting"
Thread.current.status #=> "run"
static VALUE
rb_thread_stop_p(VALUE thread)
{
rb_thread_t *th = rb_thread_ptr(thread);
if (rb_threadptr_dead(th)) {
return Qtrue;
}
else if (th->status == THREAD_STOPPED ||
th->status == THREAD_STOPPED_FOREVER) {
return Qtrue;
}
else {
return Qfalse;
}
} Возвращает true, если thr завершен или спит.
a = Thread.new { Thread.stop }
b = Thread.current
a.stop? #=> true
b.stop? #=> false
VALUE
rb_thread_kill(VALUE thread)
{
rb_thread_t *th = rb_thread_ptr(thread);
if (th->to_kill || th->status == THREAD_KILLED) {
return thread;
}
if (th == th->vm->main_thread) {
rb_exit(EXIT_SUCCESS);
}
thread_debug("rb_thread_kill: %p (%"PRI_THREAD_ID")\n", (void *)th, thread_id_str(th));
if (th == GET_THREAD()) {
/* kill myself immediately */
rb_threadptr_to_kill(th);
}
else {
threadptr_check_pending_interrupt_queue(th);
rb_threadptr_pending_interrupt_enque(th, eKillSignal);
rb_threadptr_interrupt(th);
}
return thread;
} Завершает thr и планирует выполнение другого потока.
Если этот поток уже помечен для завершения, exit возвращает Thread.
Если это главный поток или последний поток, завершает процесс.
static VALUE
rb_thread_variable_p(VALUE thread, VALUE key)
{
VALUE locals;
ID id = rb_check_id(&key);
if (!id) return Qfalse;
locals = rb_ivar_get(thread, id_locals);
if (!RHASH(locals)->ntbl)
return Qfalse;
if (st_lookup(RHASH(locals)->ntbl, ID2SYM(id), 0)) {
return Qtrue;
}
return Qfalse;
} Возвращает true, если данная строка (или символ) существует как локальная переменная потока.
me = Thread.current me.thread_variable_set(:oliver, "a") me.thread_variable?(:oliver) #=> true me.thread_variable?(:stanley) #=> false
Обратите внимание, что это не локальные переменные волокна. Пожалуйста, см. #[] и #thread_variable_get для получения более подробной информации.
static VALUE
rb_thread_variable_get(VALUE thread, VALUE key)
{
VALUE locals;
locals = rb_ivar_get(thread, id_locals);
return rb_hash_aref(locals, rb_to_symbol(key));
} Возвращает значение локальной переменной потока, которая была установлена. Обратите внимание, что они отличаются от локальных значений волокна. Для локальных значений волокна, пожалуйста, см. #[] и #[]=.
Локальные значения Thread переносятся вместе с потоками и не учитывают волокна. Например:
Thread.new {
Thread.current.thread_variable_set("foo", "bar") # set a thread local
Thread.current["foo"] = "bar" # set a fiber local
Fiber.new {
Fiber.yield [
Thread.current.thread_variable_get("foo"), # get the thread local
Thread.current["foo"], # get the fiber local
]
}.resume
}.join.value # => ['bar', nil]
Значение «bar» возвращается для локальной переменной потока, в то время как nil возвращается для локальной переменной волокна. Волокно выполняется в том же потоке, поэтому локальные значения потока доступны.
static VALUE
rb_thread_variable_set(VALUE thread, VALUE id, VALUE val)
{
VALUE locals;
if (OBJ_FROZEN(thread)) {
rb_error_frozen("thread locals");
}
locals = rb_ivar_get(thread, id_locals);
return rb_hash_aset(locals, rb_to_symbol(id), val);
} Устанавливает локальную переменную потока с key на value. Обратите внимание, что они локальны для потоков, а не для волокон. Пожалуйста, см. #thread_variable_get и #[] для получения дополнительной информации.
static VALUE
rb_thread_variables(VALUE thread)
{
VALUE locals;
VALUE ary;
locals = rb_ivar_get(thread, id_locals);
ary = rb_ary_new();
rb_hash_foreach(locals, keys_i, ary);
return ary;
} Возвращает массив имен локальных переменных потока (в виде символов).
thr = Thread.new do
Thread.current.thread_variable_set(:cat, 'meow')
Thread.current.thread_variable_set("dog", 'woof')
end
thr.join #=> #<Thread:0x401b3f10 dead>
thr.thread_variables #=> [:dog, :cat]
Обратите внимание, что это не локальные переменные волокна. Пожалуйста, см. #[] и #thread_variable_get для получения более подробной информации.
static VALUE
rb_thread_to_s(VALUE thread)
{
VALUE cname = rb_class_path(rb_obj_class(thread));
rb_thread_t *target_th = rb_thread_ptr(thread);
const char *status;
VALUE str;
status = thread_status_name(target_th, TRUE);
str = rb_sprintf("#<%"PRIsVALUE":%p", cname, (void *)thread);
if (!NIL_P(target_th->name)) {
rb_str_catf(str, "@%"PRIsVALUE, target_th->name);
}
if (!target_th->first_func && target_th->first_proc) {
VALUE loc = rb_proc_location(target_th->first_proc);
if (!NIL_P(loc)) {
const VALUE *ptr = RARRAY_CONST_PTR(loc);
rb_str_catf(str, "@%"PRIsVALUE":%"PRIsVALUE, ptr[0], ptr[1]);
rb_gc_force_recycle(loc);
}
}
rb_str_catf(str, " %s>", status);
OBJ_INFECT(str, thread);
return str;
} Выводит в строку имя, идентификатор и статус потока thr.
static VALUE
thread_value(VALUE self)
{
rb_thread_t *th = rb_thread_ptr(self);
thread_join(th, DELAY_INFTY);
return th->value;
} Ожидает завершения thr, используя join, и возвращает его значение или возбуждает исключение, которое завершило поток.
a = Thread.new { 2 + 2 }
a.value #=> 4
b = Thread.new { raise 'something went wrong' }
b.value #=> RuntimeError: something went wrong
VALUE
rb_thread_wakeup(VALUE thread)
{
if (!RTEST(rb_thread_wakeup_alive(thread))) {
rb_raise(rb_eThreadError, "killed thread");
}
return thread;
} Помечает данный поток как готовый к планированию, однако он может оставаться заблокированным в ожидании ввода/вывода.
Примечание: Это не вызывает планировщик, см. run для получения дополнительной информации.
c = Thread.new { Thread.stop; puts "hey!" }
sleep 0.1 while c.status!='sleep'
c.wakeup
c.join
#=> "hey!"
Ruby Core © 1993–2017 Yukihiro Matsumoto
Licensed under the Ruby License.
Ruby Standard Library © contributors
Licensed under their own licenses.