1
0
Fork 0
mirror of https://github.com/ruby/ruby.git synced 2022-11-09 12:17:21 -05:00
ruby--ruby/test/ruby
k0kubun ed935aa5be mjit_compile.c: merge initial JIT compiler
which has been developed by Takashi Kokubun <takashikkbn@gmail> as
YARV-MJIT. Many of its bugs are fixed by wanabe <s.wanabe@gmail.com>.

This JIT compiler is designed to be a safe migration path to introduce
JIT compiler to MRI. So this commit does not include any bytecode
changes or dynamic instruction modifications, which are done in original
MJIT.

This commit even strips off some aggressive optimizations from
YARV-MJIT, and thus it's slower than YARV-MJIT too. But it's still
fairly faster than Ruby 2.5 in some benchmarks (attached below).

Note that this JIT compiler passes `make test`, `make test-all`, `make
test-spec` without JIT, and even with JIT. Not only it's perfectly safe
with JIT disabled because it does not replace VM instructions unlike
MJIT, but also with JIT enabled it stably runs Ruby applications
including Rails applications.

I'm expecting this version as just "initial" JIT compiler. I have many
optimization ideas which are skipped for initial merging, and you may
easily replace this JIT compiler with a faster one by just replacing
mjit_compile.c. `mjit_compile` interface is designed for the purpose.

common.mk: update dependencies for mjit_compile.c.

internal.h: declare `rb_vm_insn_addr2insn` for MJIT.

vm.c: exclude some definitions if `-DMJIT_HEADER` is provided to
compiler. This avoids to include some functions which take a long time
to compile, e.g. vm_exec_core. Some of the purpose is achieved in
transform_mjit_header.rb (see `IGNORED_FUNCTIONS`) but others are
manually resolved for now. Load mjit_helper.h for MJIT header.
mjit_helper.h: New. This is a file used only by JIT-ed code. I'll
refactor `mjit_call_cfunc` later.
vm_eval.c: add some #ifdef switches to skip compiling some functions
like Init_vm_eval.

win32/mkexports.rb: export thread/ec functions, which are used by MJIT.

include/ruby/defines.h: add MJIT_FUNC_EXPORTED macro alis to clarify
that a function is exported only for MJIT.

array.c: export a function used by MJIT.
bignum.c: ditto.
class.c: ditto.
compile.c: ditto.
error.c: ditto.
gc.c: ditto.
hash.c: ditto.
iseq.c: ditto.
numeric.c: ditto.
object.c: ditto.
proc.c: ditto.
re.c: ditto.
st.c: ditto.
string.c: ditto.
thread.c: ditto.
variable.c: ditto.
vm_backtrace.c: ditto.
vm_insnhelper.c: ditto.
vm_method.c: ditto.

I would like to improve maintainability of function exports, but I
believe this way is acceptable as initial merging if we clarify the
new exports are for MJIT (so that we can use them as TODO list to fix)
and add unit tests to detect unresolved symbols.
I'll add unit tests of JIT compilations in succeeding commits.

Author: Takashi Kokubun <takashikkbn@gmail.com>
Contributor: wanabe <s.wanabe@gmail.com>

Part of [Feature #14235]

---

* Known issues
  * Code generated by gcc is faster than clang. The benchmark may be worse
    in macOS. Following benchmark result is provided by gcc w/ Linux.
  * Performance is decreased when Google Chrome is running
  * JIT can work on MinGW, but it doesn't improve performance at least
    in short running benchmark.
  * Currently it doesn't perform well with Rails. We'll try to fix this
    before release.

---

* Benchmark reslts

Benchmarked with:
Intel 4.0GHz i7-4790K with 16GB memory under x86-64 Ubuntu 8 Cores

- 2.0.0-p0: Ruby 2.0.0-p0
- r62186: Ruby trunk (early 2.6.0), before MJIT changes
- JIT off: On this commit, but without `--jit` option
- JIT on: On this commit, and with `--jit` option

** Optcarrot fps

Benchmark: https://github.com/mame/optcarrot

|         |2.0.0-p0 |r62186   |JIT off  |JIT on   |
|:--------|:--------|:--------|:--------|:--------|
|fps      |37.32    |51.46    |51.31    |58.88    |
|vs 2.0.0 |1.00x    |1.38x    |1.37x    |1.58x    |

** MJIT benchmarks

Benchmark: https://github.com/benchmark-driver/mjit-benchmarks
(Original: https://github.com/vnmakarov/ruby/tree/rtl_mjit_branch/MJIT-benchmarks)

|           |2.0.0-p0 |r62186   |JIT off  |JIT on   |
|:----------|:--------|:--------|:--------|:--------|
|aread      |1.00     |1.09     |1.07     |2.19     |
|aref       |1.00     |1.13     |1.11     |2.22     |
|aset       |1.00     |1.50     |1.45     |2.64     |
|awrite     |1.00     |1.17     |1.13     |2.20     |
|call       |1.00     |1.29     |1.26     |2.02     |
|const2     |1.00     |1.10     |1.10     |2.19     |
|const      |1.00     |1.11     |1.10     |2.19     |
|fannk      |1.00     |1.04     |1.02     |1.00     |
|fib        |1.00     |1.32     |1.31     |1.84     |
|ivread     |1.00     |1.13     |1.12     |2.43     |
|ivwrite    |1.00     |1.23     |1.21     |2.40     |
|mandelbrot |1.00     |1.13     |1.16     |1.28     |
|meteor     |1.00     |2.97     |2.92     |3.17     |
|nbody      |1.00     |1.17     |1.15     |1.49     |
|nest-ntimes|1.00     |1.22     |1.20     |1.39     |
|nest-while |1.00     |1.10     |1.10     |1.37     |
|norm       |1.00     |1.18     |1.16     |1.24     |
|nsvb       |1.00     |1.16     |1.16     |1.17     |
|red-black  |1.00     |1.02     |0.99     |1.12     |
|sieve      |1.00     |1.30     |1.28     |1.62     |
|trees      |1.00     |1.14     |1.13     |1.19     |
|while      |1.00     |1.12     |1.11     |2.41     |

** Discourse's script/bench.rb

Benchmark: https://github.com/discourse/discourse/blob/v1.8.7/script/bench.rb

NOTE: Rails performance was somehow a little degraded with JIT for now.
We should fix this.
(At least I know opt_aref is performing badly in JIT and I have an idea
 to fix it. Please wait for the fix.)

*** JIT off
Your Results: (note for timings- percentile is first, duration is second in millisecs)

categories_admin:
  50: 17
  75: 18
  90: 22
  99: 29
home_admin:
  50: 21
  75: 21
  90: 27
  99: 40
topic_admin:
  50: 17
  75: 18
  90: 22
  99: 32
categories:
  50: 35
  75: 41
  90: 43
  99: 77
home:
  50: 39
  75: 46
  90: 49
  99: 95
topic:
  50: 46
  75: 52
  90: 56
  99: 101

*** JIT on
Your Results: (note for timings- percentile is first, duration is second in millisecs)

categories_admin:
  50: 19
  75: 21
  90: 25
  99: 33
home_admin:
  50: 24
  75: 26
  90: 30
  99: 35
topic_admin:
  50: 19
  75: 20
  90: 25
  99: 30
categories:
  50: 40
  75: 44
  90: 48
  99: 76
home:
  50: 42
  75: 48
  90: 51
  99: 89
topic:
  50: 49
  75: 55
  90: 58
  99: 99

git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@62197 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2018-02-04 11:22:28 +00:00
..
enc fix unicode data directory 2017-12-23 00:30:33 +00:00
allpairs.rb
beginmainend.rb
bug-11928.rb
bug-13526.rb test/ruby/bug-13526.rb: should wait until all threads are stopped 2017-11-21 00:56:09 +00:00
lbtest.rb
marshaltestlib.rb
sentence.rb
test_alias.rb
test_argf.rb
test_arity.rb
test_array.rb vm_insnhelper.c: search in the indexing order 2018-01-11 08:26:21 +00:00
test_assignment.rb
test_autoload.rb
test_backtrace.rb
test_basicinstructions.rb
test_beginendblock.rb
test_bignum.rb Handle exception explicitly in TestBignum#test_interrupt_during_to_s 2017-12-12 19:48:32 +00:00
test_call.rb
test_case.rb
test_class.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_clone.rb
test_comparable.rb
test_complex.rb force fixable 2018-01-30 05:48:28 +00:00
test_complex2.rb
test_complexrational.rb
test_condition.rb
test_const.rb
test_continuation.rb Fix test-all tests to avoid creating report_on_exception warnings 2017-12-12 18:44:49 +00:00
test_defined.rb defined? returns nil for toplevel constant lookup 2018-01-27 06:12:09 +00:00
test_dir.rb dir.c: Dir#each_child 2018-01-24 07:15:55 +00:00
test_dir_m17n.rb
test_econv.rb
test_encoding.rb
test_enum.rb Add case equality arity to Enumerable#all?, any?, none? and one?, 2017-12-10 22:36:28 +00:00
test_enumerator.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_env.rb test/ruby/test_env.rb: suppress a warning 2017-12-13 10:43:21 +00:00
test_eval.rb parse.y: warning for locations 2017-12-26 10:10:41 +00:00
test_exception.rb error.c: receiver kwarg 2018-01-26 10:55:47 +00:00
test_fiber.rb Fix test-all tests to avoid creating report_on_exception warnings 2017-12-12 18:44:49 +00:00
test_file.rb $SAFE as a process global state. [Feature #14250] 2017-12-28 20:09:24 +00:00
test_file_exhaustive.rb test_file_exhaustive.rb: get rid of failures 2017-12-08 07:35:07 +00:00
test_fixnum.rb
test_flip.rb
test_float.rb
test_fnmatch.rb
test_gc.rb
test_hash.rb hash.c: support key swapping in Hash#transform_keys! 2018-01-26 01:33:45 +00:00
test_ifunless.rb
test_integer.rb
test_integer_comb.rb Integer#allbits?, Integer#anybits?, Integer#nobits? [Feature #12753] 2017-12-12 09:12:14 +00:00
test_io.rb mjit_compile.c: merge initial JIT compiler 2018-02-04 11:22:28 +00:00
test_io_m17n.rb trick ruby-mode.el by heredocs 2018-01-31 04:02:17 +00:00
test_iseq.rb iseq.c: child iseq encoding 2018-01-11 08:34:55 +00:00
test_iterator.rb compile.c: try to convert in massign for 2018-01-27 10:41:43 +00:00
test_key_error.rb error.c: KeyError missing keyword arguments 2018-01-26 06:41:13 +00:00
test_keyword.rb vm_insnhelper.c: fix many keyword arguments 2018-01-19 03:09:24 +00:00
test_lambda.rb
test_lazy_enumerator.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_literal.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_m17n.rb
test_m17n_comb.rb
test_marshal.rb marshal.c: allow marshalling keyword_init struct 2018-01-05 11:44:31 +00:00
test_math.rb
test_metaclass.rb
test_method.rb proc: fix super_method segfault after bind 2018-01-30 19:35:12 +00:00
test_mixed_unicode_escapes.rb parse.y (new_regexp): Fix SEGV of /#{"\u3042"}#{'い'}/ in non UTF-8 2018-01-16 01:43:25 +00:00
test_module.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_not.rb
test_notimp.rb
test_numeric.rb numeric.c: Fix Integer#pow with a large Fixnum modulo 2017-12-30 14:50:15 +00:00
test_object.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_objectspace.rb
test_optimization.rb compile.c: fix string Range optimization with FSL 2018-02-03 07:25:21 +00:00
test_pack.rb long long is a C99ism 2018-01-02 06:41:47 +00:00
test_parse.rb parse.y: Fix a bug of obj[42, &blk] ||= foo bar 2018-01-15 06:25:42 +00:00
test_path.rb
test_pipe.rb win32.c: EPIPE for ERROR_NO_DATA 2018-02-01 02:56:28 +00:00
test_primitive.rb
test_proc.rb extend timeout more 2018-01-18 03:53:46 +00:00
test_process.rb io.c: fptr_copy_finalizer 2018-01-31 08:17:16 +00:00
test_rand.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_range.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_rational.rb force fixable 2018-01-30 05:48:28 +00:00
test_rational2.rb
test_readpartial.rb
test_refinement.rb vm_args.c: to_proc refinements 2018-01-24 06:25:02 +00:00
test_regexp.rb Revert r61192 and r61193 2017-12-12 23:41:34 +00:00
test_require.rb $SAFE as a process global state. [Feature #14250] 2017-12-28 20:09:24 +00:00
test_rubyoptions.rb mjit.c: merge MJIT infrastructure 2018-02-04 06:58:09 +00:00
test_rubyvm.rb
test_settracefunc.rb mjit_compile.c: merge initial JIT compiler 2018-02-04 11:22:28 +00:00
test_signal.rb
test_sleep.rb
test_sprintf.rb
test_sprintf_comb.rb
test_string.rb trick ruby-mode.el by heredocs 2018-01-31 04:02:17 +00:00
test_stringchar.rb
test_struct.rb struct.c: show keyword_init: true on inspect 2017-12-12 15:03:45 +00:00
test_super.rb check array for zsuper. [Bug #14279] 2018-01-05 02:25:26 +00:00
test_symbol.rb
test_syntax.rb test/ruby/test_syntax.rb (test_command_with_cmd_brace_block): Added 2018-01-15 14:01:16 +00:00
test_system.rb process.c: command_name encoding 2018-02-03 03:50:28 +00:00
test_thread.rb mjit_compile.c: merge initial JIT compiler 2018-02-04 11:22:28 +00:00
test_threadgroup.rb
test_time.rb
test_time_tz.rb
test_trace.rb
test_transcode.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_undef.rb
test_unicode_escape.rb
test_variable.rb Add FrozenError as a subclass of RuntimeError 2017-12-12 00:46:34 +00:00
test_vm_dump.rb test_vm_dump.rb: skip if gcc 2017-12-16 00:36:31 +00:00
test_weakmap.rb
test_whileuntil.rb
test_yield.rb
ut_eof.rb