ruby-changes:47171
From: nagachika <ko1@a...>
Date: Sat, 8 Jul 2017 11:21:43 +0900 (JST)
Subject: [ruby-changes:47171] nagachika:r59286 (ruby_2_4): merge revision(s) 58284, 58812, 59028: [Backport #13632]
nagachika 2017-07-08 11:21:36 +0900 (Sat, 08 Jul 2017) New Revision: 59286 https://svn.ruby-lang.org/cgi-bin/viewvc.cgi?view=revision&revision=59286 Log: merge revision(s) 58284,58812,59028: [Backport #13632] vm_core.h: ruby_error_stream_closed * vm_core.h (ruby_special_exceptions): renamed ruby_error_closed_stream as ruby_error_stream_closed, like the message. speed up IO#close with many threads Today, it increases IO#close performance with many threads: Execution time (sec) name trunk after vm_thread_close 4.276 3.018 Speedup ratio: compare with the result of `trunk' (greater is better) name after vm_thread_close 1.417 This speedup comes because rb_notify_fd_close only scans threads inside rb_thread_io_blocking_region, not all threads in the VM. In the future, this type data structure may allow us to notify waiters of multiple FDs on a single thread (when using Fibers). * thread.c (struct waiting_fd): declare (rb_thread_io_blocking_region): use on-stack list waiter (rb_notify_fd_close): walk vm->waiting_fds instead (call_without_gvl): remove old field setting (th_init): ditto * vm_core.h (typedef struct rb_vm_struct): add waiting_fds list * (typedef struct rb_thread_struct): remove waiting_fd field (rb_vm_living_threads_init): initialize waiting_fds list I am now kicking myself for not thinking about this 3 years ago when I introduced ccan/list in [Feature #9632] to optimize this same function :< IO#close: do not enqueue redundant interrupts (take #2) Enqueuing multiple errors for one event causes spurious errors down the line, as reported by Nikolay Vashchenko in https://bugs.ruby-lang.org/issues/13632 This should fix bad interactions with test_race_gets_and_close in test/ruby/test_io.rb since we ensure rb_notify_fd_close continues returning the busy flag after enqueuing the interrupt. Backporting changes to 2.4 and earlier releases will be more challenging... * thread.c (rb_notify_fd_close): do not enqueue multiple interrupts [ruby-core:81581] [Bug #13632] * test/ruby/test_io.rb (test_single_exception_on_close): new test based on script from Nikolay Modified directories: branches/ruby_2_4/ Modified files: branches/ruby_2_4/test/ruby/test_io.rb branches/ruby_2_4/thread.c branches/ruby_2_4/version.h branches/ruby_2_4/vm.c branches/ruby_2_4/vm_core.h Index: ruby_2_4/test/ruby/test_io.rb =================================================================== --- ruby_2_4/test/ruby/test_io.rb (revision 59285) +++ ruby_2_4/test/ruby/test_io.rb (revision 59286) @@ -2809,6 +2809,28 @@ __END__ https://github.com/ruby/ruby/blob/trunk/ruby_2_4/test/ruby/test_io.rb#L2809 end; end + def test_single_exception_on_close + a = [] + t = [] + 10.times do + r, w = IO.pipe + a << [r, w] + t << Thread.new do + while r.gets + end rescue IOError + Thread.current.pending_interrupt? + end + end + a.each do |r, w| + w.write -"\n" + w.close + r.close + end + t.each do |th| + assert_equal false, th.value, '[ruby-core:81581] [Bug #13632]' + end + end + def test_open_mode feature4742 = "[ruby-core:36338]" bug6055 = '[ruby-dev:45268]' Index: ruby_2_4/thread.c =================================================================== --- ruby_2_4/thread.c (revision 59285) +++ ruby_2_4/thread.c (revision 59286) @@ -95,7 +95,11 @@ static int rb_threadptr_pending_interrup https://github.com/ruby/ruby/blob/trunk/ruby_2_4/thread.c#L95 #define eTerminateSignal INT2FIX(1) static volatile int system_working = 1; -#define closed_stream_error GET_VM()->special_exceptions[ruby_error_closed_stream] +struct waiting_fd { + struct list_node wfd_node; /* <=> vm.waiting_fds */ + rb_thread_t *th; + int fd; +}; inline static void st_delete_wrap(st_table *table, st_data_t key) @@ -1310,7 +1314,6 @@ call_without_gvl(void *(*func)(void *), https://github.com/ruby/ruby/blob/trunk/ruby_2_4/thread.c#L1314 rb_thread_t *th = GET_THREAD(); int saved_errno = 0; - th->waiting_fd = -1; if (ubf == RUBY_UBF_IO || ubf == RUBY_UBF_PROCESS) { ubf = ubf_select; data2 = th; @@ -1433,11 +1436,15 @@ VALUE https://github.com/ruby/ruby/blob/trunk/ruby_2_4/thread.c#L1436 rb_thread_io_blocking_region(rb_blocking_function_t *func, void *data1, int fd) { volatile VALUE val = Qundef; /* shouldn't be used */ + rb_vm_t *vm = GET_VM(); rb_thread_t *th = GET_THREAD(); volatile int saved_errno = 0; int state; + struct waiting_fd wfd; - th->waiting_fd = fd; + wfd.fd = fd; + wfd.th = th; + list_add(&vm->waiting_fds, &wfd.wfd_node); TH_PUSH_TAG(th); if ((state = EXEC_TAG()) == 0) { @@ -1448,8 +1455,8 @@ rb_thread_io_blocking_region(rb_blocking https://github.com/ruby/ruby/blob/trunk/ruby_2_4/thread.c#L1455 } TH_POP_TAG(); - /* clear waiting_fd anytime */ - th->waiting_fd = -1; + /* must be deleted before jump */ + list_del(&wfd.wfd_node); if (state) { TH_JUMP_TAG(th, state); @@ -2195,16 +2202,23 @@ int https://github.com/ruby/ruby/blob/trunk/ruby_2_4/thread.c#L2202 rb_notify_fd_close(int fd) { rb_vm_t *vm = GET_THREAD()->vm; - rb_thread_t *th = 0; + struct waiting_fd *wfd = 0; int busy; busy = 0; - list_for_each(&vm->living_threads, th, vmlt_node) { - if (th->waiting_fd == fd) { - VALUE err = th->vm->special_exceptions[ruby_error_closed_stream]; + list_for_each(&vm->waiting_fds, wfd, wfd_node) { + if (wfd->fd == fd) { + rb_thread_t *th = wfd->th; + VALUE err; + + busy = 1; + if (!th) { + continue; + } + wfd->th = 0; + err = th->vm->special_exceptions[ruby_error_stream_closed]; rb_threadptr_pending_interrupt_enque(th, err); rb_threadptr_interrupt(th); - busy = 1; } } return busy; @@ -4839,7 +4853,7 @@ Init_Thread(void) https://github.com/ruby/ruby/blob/trunk/ruby_2_4/thread.c#L4853 rb_define_method(rb_cThread, "name=", rb_thread_setname, 1); rb_define_method(rb_cThread, "inspect", rb_thread_inspect, 0); - rb_vm_register_special_exception(ruby_error_closed_stream, rb_eIOError, "stream closed"); + rb_vm_register_special_exception(ruby_error_stream_closed, rb_eIOError, "stream closed"); cThGroup = rb_define_class("ThreadGroup", rb_cObject); rb_define_alloc_func(cThGroup, thgroup_s_alloc); Index: ruby_2_4/version.h =================================================================== --- ruby_2_4/version.h (revision 59285) +++ ruby_2_4/version.h (revision 59286) @@ -1,10 +1,10 @@ https://github.com/ruby/ruby/blob/trunk/ruby_2_4/version.h#L1 #define RUBY_VERSION "2.4.2" -#define RUBY_RELEASE_DATE "2017-07-01" -#define RUBY_PATCHLEVEL 132 +#define RUBY_RELEASE_DATE "2017-07-08" +#define RUBY_PATCHLEVEL 133 #define RUBY_RELEASE_YEAR 2017 #define RUBY_RELEASE_MONTH 7 -#define RUBY_RELEASE_DAY 1 +#define RUBY_RELEASE_DAY 8 #include "ruby/version.h" Index: ruby_2_4/vm_core.h =================================================================== --- ruby_2_4/vm_core.h (revision 59285) +++ ruby_2_4/vm_core.h (revision 59286) @@ -427,7 +427,7 @@ enum ruby_special_exceptions { https://github.com/ruby/ruby/blob/trunk/ruby_2_4/vm_core.h#L427 ruby_error_reenter, ruby_error_nomemory, ruby_error_sysstack, - ruby_error_closed_stream, + ruby_error_stream_closed, ruby_special_error_count }; @@ -490,6 +490,7 @@ typedef struct rb_vm_struct { https://github.com/ruby/ruby/blob/trunk/ruby_2_4/vm_core.h#L490 struct rb_thread_struct *main_thread; struct rb_thread_struct *running_thread; + struct list_head waiting_fds; /* <=> struct waiting_fd */ struct list_head living_threads; size_t living_thread_num; VALUE thgroup_default; @@ -712,8 +713,6 @@ typedef struct rb_thread_struct { https://github.com/ruby/ruby/blob/trunk/ruby_2_4/vm_core.h#L713 /* passing state */ int state; - int waiting_fd; - /* for rb_iterate */ VALUE passed_block_handler; @@ -1445,6 +1444,7 @@ void rb_thread_wakeup_timer_thread(void) https://github.com/ruby/ruby/blob/trunk/ruby_2_4/vm_core.h#L1444 static inline void rb_vm_living_threads_init(rb_vm_t *vm) { + list_head_init(&vm->waiting_fds); list_head_init(&vm->living_threads); vm->living_thread_num = 0; } Index: ruby_2_4/vm.c =================================================================== --- ruby_2_4/vm.c (revision 59285) +++ ruby_2_4/vm.c (revision 59286) @@ -2477,7 +2477,6 @@ th_init(rb_thread_t *th, VALUE self) https://github.com/ruby/ruby/blob/trunk/ruby_2_4/vm.c#L2477 th->status = THREAD_RUNNABLE; th->errinfo = Qnil; th->last_status = Qnil; - th->waiting_fd = -1; th->root_svar = Qfalse; th->local_storage_recursive_hash = Qnil; th->local_storage_recursive_hash_for_trace = Qnil; Index: ruby_2_4 =================================================================== --- ruby_2_4 (revision 59285) +++ ruby_2_4 (revision 59286) Property changes on: ruby_2_4 ___________________________________________________________________ Modified: svn:mergeinfo ## -0,0 +0,1 ## Merged /trunk:r58284,58812,59028 -- ML: ruby-changes@q... Info: http://www.atdot.net/~ko1/quickml/