mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
introduce rb_nogvl C-API to mark ubf as async-signal-safe
zlib and bignum both contain unblocking functions which are async-signal-safe and do not require spawning additional threads. We can execute those functions directly in signal handlers without incurring overhead of extra threads, so provide C-API users the ability to deal with that. Other C-API users may have similar need. This flexible API can supercede existing uses of rb_thread_call_without_gvl and rb_thread_call_without_gvl2 by introducing a flags argument to control behavior. Note: this API is NOT finalized. It needs approval from other committers. I prefer shorter name than previous rb_thread_call_without_gvl* functions because my eyes requires big fonts. [Bug #15499] git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@66712 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
This commit is contained in:
parent
16cfd26a57
commit
23444302d9
8 changed files with 103 additions and 11 deletions
3
bignum.c
3
bignum.c
|
@ -2572,6 +2572,7 @@ bigdivrem1(void *ptr)
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* async-signal-safe */
|
||||||
static void
|
static void
|
||||||
rb_big_stop(void *ptr)
|
rb_big_stop(void *ptr)
|
||||||
{
|
{
|
||||||
|
@ -2636,7 +2637,7 @@ bigdivrem_restoring(BDIGIT *zds, size_t zn, BDIGIT *yds, size_t yn)
|
||||||
if (bds.zn > 10000 || bds.yn > 10000) {
|
if (bds.zn > 10000 || bds.yn > 10000) {
|
||||||
retry:
|
retry:
|
||||||
bds.stop = Qfalse;
|
bds.stop = Qfalse;
|
||||||
rb_thread_call_without_gvl(bigdivrem1, &bds, rb_big_stop, &bds);
|
rb_nogvl(bigdivrem1, &bds, rb_big_stop, &bds, RB_NOGVL_UBF_ASYNC_SAFE);
|
||||||
|
|
||||||
if (bds.stop == Qtrue) {
|
if (bds.stop == Qtrue) {
|
||||||
/* execute trap handler, but exception was not raised. */
|
/* execute trap handler, but exception was not raised. */
|
||||||
|
|
|
@ -27,8 +27,49 @@ thread_runnable_sleep(VALUE thread, VALUE timeout)
|
||||||
return thread;
|
return thread;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
struct loop_ctl {
|
||||||
|
int notify_fd;
|
||||||
|
volatile int stop;
|
||||||
|
};
|
||||||
|
|
||||||
|
static void *
|
||||||
|
do_loop(void *p)
|
||||||
|
{
|
||||||
|
struct loop_ctl *ctl = p;
|
||||||
|
|
||||||
|
/* tell the waiting process they can interrupt us, now */
|
||||||
|
write(ctl->notify_fd, "", 1);
|
||||||
|
|
||||||
|
while (!ctl->stop) {
|
||||||
|
struct timeval tv = { 0, 10000 };
|
||||||
|
select(0, NULL, NULL, NULL, &tv);
|
||||||
|
}
|
||||||
|
return 0;
|
||||||
|
}
|
||||||
|
|
||||||
|
static void
|
||||||
|
stop_set(void *p)
|
||||||
|
{
|
||||||
|
struct loop_ctl *ctl = p;
|
||||||
|
|
||||||
|
ctl->stop = 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
static VALUE
|
||||||
|
thread_ubf_async_safe(VALUE thread, VALUE notify_fd)
|
||||||
|
{
|
||||||
|
struct loop_ctl ctl;
|
||||||
|
|
||||||
|
ctl.notify_fd = NUM2INT(notify_fd);
|
||||||
|
ctl.stop = 0;
|
||||||
|
|
||||||
|
rb_nogvl(do_loop, &ctl, stop_set, &ctl, RB_NOGVL_UBF_ASYNC_SAFE);
|
||||||
|
return thread;
|
||||||
|
}
|
||||||
|
|
||||||
void
|
void
|
||||||
Init_call_without_gvl(void)
|
Init_call_without_gvl(void)
|
||||||
{
|
{
|
||||||
rb_define_method(rb_cThread, "__runnable_sleep__", thread_runnable_sleep, 1);
|
rb_define_method(rb_cThread, "__runnable_sleep__", thread_runnable_sleep, 1);
|
||||||
|
rb_define_method(rb_cThread, "__ubf_async_safe__", thread_ubf_async_safe, 1);
|
||||||
}
|
}
|
||||||
|
|
|
@ -1011,6 +1011,7 @@ zstream_run_func(void *ptr)
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* There is no safe way to interrupt z->run->func().
|
* There is no safe way to interrupt z->run->func().
|
||||||
|
* async-signal-safe
|
||||||
*/
|
*/
|
||||||
static void
|
static void
|
||||||
zstream_unblock_func(void *ptr)
|
zstream_unblock_func(void *ptr)
|
||||||
|
@ -1053,8 +1054,9 @@ zstream_run(struct zstream *z, Bytef *src, long len, int flush)
|
||||||
}
|
}
|
||||||
|
|
||||||
loop:
|
loop:
|
||||||
err = (int)(VALUE)rb_thread_call_without_gvl(zstream_run_func, (void *)&args,
|
err = (int)(VALUE)rb_nogvl(zstream_run_func, (void *)&args,
|
||||||
zstream_unblock_func, (void *)&args);
|
zstream_unblock_func, (void *)&args,
|
||||||
|
RB_NOGVL_UBF_ASYNC_SAFE);
|
||||||
|
|
||||||
if (flush != Z_FINISH && err == Z_BUF_ERROR
|
if (flush != Z_FINISH && err == Z_BUF_ERROR
|
||||||
&& z->stream.avail_out > 0) {
|
&& z->stream.avail_out > 0) {
|
||||||
|
|
|
@ -21,6 +21,10 @@ extern "C" {
|
||||||
|
|
||||||
#include "ruby/intern.h"
|
#include "ruby/intern.h"
|
||||||
|
|
||||||
|
/* flags for rb_nogvl */
|
||||||
|
#define RB_NOGVL_INTR_FAIL (0x1)
|
||||||
|
#define RB_NOGVL_UBF_ASYNC_SAFE (0x2)
|
||||||
|
|
||||||
RUBY_SYMBOL_EXPORT_BEGIN
|
RUBY_SYMBOL_EXPORT_BEGIN
|
||||||
|
|
||||||
void *rb_thread_call_with_gvl(void *(*func)(void *), void *data1);
|
void *rb_thread_call_with_gvl(void *(*func)(void *), void *data1);
|
||||||
|
@ -30,6 +34,14 @@ void *rb_thread_call_without_gvl(void *(*func)(void *), void *data1,
|
||||||
void *rb_thread_call_without_gvl2(void *(*func)(void *), void *data1,
|
void *rb_thread_call_without_gvl2(void *(*func)(void *), void *data1,
|
||||||
rb_unblock_function_t *ubf, void *data2);
|
rb_unblock_function_t *ubf, void *data2);
|
||||||
|
|
||||||
|
/*
|
||||||
|
* XXX: unstable/unapproved - out-of-tree code should NOT not depend
|
||||||
|
* on this until it hits Ruby 2.6.1
|
||||||
|
*/
|
||||||
|
void *rb_nogvl(void *(*func)(void *), void *data1,
|
||||||
|
rb_unblock_function_t *ubf, void *data2,
|
||||||
|
int flags);
|
||||||
|
|
||||||
#define RUBY_CALL_WO_GVL_FLAG_SKIP_CHECK_INTS_AFTER 0x01
|
#define RUBY_CALL_WO_GVL_FLAG_SKIP_CHECK_INTS_AFTER 0x01
|
||||||
#define RUBY_CALL_WO_GVL_FLAG_SKIP_CHECK_INTS_
|
#define RUBY_CALL_WO_GVL_FLAG_SKIP_CHECK_INTS_
|
||||||
|
|
||||||
|
|
20
test/-ext-/gvl/test_ubf_async_safe.rb
Normal file
20
test/-ext-/gvl/test_ubf_async_safe.rb
Normal file
|
@ -0,0 +1,20 @@
|
||||||
|
# frozen_string_literal: true
|
||||||
|
class TestUbfAsyncSafe < Test::Unit::TestCase
|
||||||
|
def test_ubf_async_safe
|
||||||
|
skip 'need fork for single-threaded test' unless Process.respond_to?(:fork)
|
||||||
|
IO.pipe do |r, w|
|
||||||
|
pid = fork do
|
||||||
|
require '-test-/gvl/call_without_gvl'
|
||||||
|
r.close
|
||||||
|
trap(:INT) { exit!(0) }
|
||||||
|
Thread.current.__ubf_async_safe__(w.fileno)
|
||||||
|
exit!(1)
|
||||||
|
end
|
||||||
|
w.close
|
||||||
|
assert IO.select([r], nil, nil, 30), 'child did not become ready'
|
||||||
|
Process.kill(:INT, pid)
|
||||||
|
_, st = Process.waitpid2(pid)
|
||||||
|
assert_predicate st, :success?, ':INT signal triggered exit'
|
||||||
|
end
|
||||||
|
end
|
||||||
|
end
|
24
thread.c
24
thread.c
|
@ -1421,9 +1421,10 @@ blocking_region_end(rb_thread_t *th, struct rb_blocking_region_buffer *region)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
static void *
|
void *
|
||||||
call_without_gvl(void *(*func)(void *), void *data1,
|
rb_nogvl(void *(*func)(void *), void *data1,
|
||||||
rb_unblock_function_t *ubf, void *data2, int fail_if_interrupted)
|
rb_unblock_function_t *ubf, void *data2,
|
||||||
|
int flags)
|
||||||
{
|
{
|
||||||
void *val = 0;
|
void *val = 0;
|
||||||
rb_execution_context_t *ec = GET_EC();
|
rb_execution_context_t *ec = GET_EC();
|
||||||
|
@ -1436,15 +1437,22 @@ call_without_gvl(void *(*func)(void *), void *data1,
|
||||||
data2 = th;
|
data2 = th;
|
||||||
}
|
}
|
||||||
else if (ubf && vm_living_thread_num(th->vm) == 1) {
|
else if (ubf && vm_living_thread_num(th->vm) == 1) {
|
||||||
ubf_th = rb_thread_start_unblock_thread();
|
if (RB_NOGVL_UBF_ASYNC_SAFE) {
|
||||||
|
th->vm->ubf_async_safe = 1;
|
||||||
|
}
|
||||||
|
else {
|
||||||
|
ubf_th = rb_thread_start_unblock_thread();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
BLOCKING_REGION(th, {
|
BLOCKING_REGION(th, {
|
||||||
val = func(data1);
|
val = func(data1);
|
||||||
saved_errno = errno;
|
saved_errno = errno;
|
||||||
}, ubf, data2, fail_if_interrupted);
|
}, ubf, data2, flags & RB_NOGVL_INTR_FAIL);
|
||||||
|
|
||||||
if (!fail_if_interrupted) {
|
th->vm->ubf_async_safe = 0;
|
||||||
|
|
||||||
|
if ((flags & RB_NOGVL_INTR_FAIL) == 0) {
|
||||||
RUBY_VM_CHECK_INTS_BLOCKING(ec);
|
RUBY_VM_CHECK_INTS_BLOCKING(ec);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -1546,14 +1554,14 @@ void *
|
||||||
rb_thread_call_without_gvl2(void *(*func)(void *), void *data1,
|
rb_thread_call_without_gvl2(void *(*func)(void *), void *data1,
|
||||||
rb_unblock_function_t *ubf, void *data2)
|
rb_unblock_function_t *ubf, void *data2)
|
||||||
{
|
{
|
||||||
return call_without_gvl(func, data1, ubf, data2, TRUE);
|
return rb_nogvl(func, data1, ubf, data2, RB_NOGVL_INTR_FAIL);
|
||||||
}
|
}
|
||||||
|
|
||||||
void *
|
void *
|
||||||
rb_thread_call_without_gvl(void *(*func)(void *data), void *data1,
|
rb_thread_call_without_gvl(void *(*func)(void *data), void *data1,
|
||||||
rb_unblock_function_t *ubf, void *data2)
|
rb_unblock_function_t *ubf, void *data2)
|
||||||
{
|
{
|
||||||
return call_without_gvl(func, data1, ubf, data2, FALSE);
|
return rb_nogvl(func, data1, ubf, data2, 0);
|
||||||
}
|
}
|
||||||
|
|
||||||
VALUE
|
VALUE
|
||||||
|
|
|
@ -1542,6 +1542,11 @@ rb_thread_wakeup_timer_thread(int sig)
|
||||||
if (ec) {
|
if (ec) {
|
||||||
RUBY_VM_SET_TRAP_INTERRUPT(ec);
|
RUBY_VM_SET_TRAP_INTERRUPT(ec);
|
||||||
ubf_timer_arm(current);
|
ubf_timer_arm(current);
|
||||||
|
|
||||||
|
/* some ubfs can interrupt single-threaded process directly */
|
||||||
|
if (vm->ubf_async_safe && mth->unblock.func) {
|
||||||
|
(mth->unblock.func)(mth->unblock.arg);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -608,6 +608,9 @@ typedef struct rb_vm_struct {
|
||||||
VALUE thgroup_default;
|
VALUE thgroup_default;
|
||||||
int living_thread_num;
|
int living_thread_num;
|
||||||
|
|
||||||
|
/* set in single-threaded processes only: */
|
||||||
|
volatile int ubf_async_safe;
|
||||||
|
|
||||||
unsigned int running: 1;
|
unsigned int running: 1;
|
||||||
unsigned int thread_abort_on_exception: 1;
|
unsigned int thread_abort_on_exception: 1;
|
||||||
unsigned int thread_report_on_exception: 1;
|
unsigned int thread_report_on_exception: 1;
|
||||||
|
|
Loading…
Reference in a new issue