2020-12-25 03:31:48 -05:00
|
|
|
# NEWS for Ruby 3.1.0
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2020-02-16 15:00:34 -05:00
|
|
|
This document is a list of user visible feature changes
|
2020-12-25 03:31:48 -05:00
|
|
|
since the **3.0.0** release, except for bug fixes.
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2020-12-22 14:27:38 -05:00
|
|
|
Note that each entry is kept to a minimum, see links for details.
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2020-01-18 03:46:52 -05:00
|
|
|
## Language changes
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* The block arguments can be now be anonymous, if the block will
|
|
|
|
|
only be passed to another method. [[Feature #11256]]
|
2021-11-18 15:44:19 -05:00
|
|
|
|
|
|
|
|
```ruby
|
|
|
|
|
def foo(&)
|
|
|
|
|
bar(&)
|
|
|
|
|
end
|
|
|
|
|
```
|
|
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* Pin operator now takes an expression. [[Feature #17411]]
|
2021-03-21 02:12:54 -04:00
|
|
|
|
|
|
|
|
```ruby
|
|
|
|
|
Prime.each_cons(2).lazy.find_all{_1 in [n, ^(n + 2)]}.take(3).to_a
|
|
|
|
|
#=> [[3, 5], [5, 7], [11, 13]]
|
|
|
|
|
```
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* Pin operator now supports instance, class, and global variables.
|
|
|
|
|
[[Feature #17724]]
|
2021-05-13 18:31:46 -04:00
|
|
|
|
2021-07-15 22:23:36 -04:00
|
|
|
```ruby
|
2021-05-13 18:31:46 -04:00
|
|
|
@n = 5
|
|
|
|
|
Prime.each_cons(2).lazy.find{_1 in [n, ^@n]}
|
|
|
|
|
#=> [3, 5]
|
2021-07-15 22:23:36 -04:00
|
|
|
```
|
2021-05-13 18:31:46 -04:00
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* One-line pattern matching is no longer experimental.
|
2021-07-16 22:13:52 -04:00
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* Multiple assignment evaluation order has been made consistent with
|
|
|
|
|
single assignment evaluation order. With single assignment, Ruby
|
|
|
|
|
uses a left-to-right evaluation order. With this code:
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
|
|
|
|
```ruby
|
|
|
|
|
foo[0] = bar
|
|
|
|
|
```
|
|
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
The following evaluation order is used:
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
1. `foo`
|
|
|
|
|
2. `bar`
|
|
|
|
|
3. `[]=` called on the result of `foo`
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
In Ruby before 3.1.0, multiple assignment did not follow this
|
|
|
|
|
evaluation order. With this code:
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-12-05 03:15:45 -05:00
|
|
|
```ruby
|
|
|
|
|
foo[0], bar.baz = a, b
|
|
|
|
|
```
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
Versions of Ruby before 3.1.0 would evaluate in the following
|
|
|
|
|
order
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
1. `a`
|
|
|
|
|
2. `b`
|
|
|
|
|
3. `foo`
|
|
|
|
|
4. `[]=` called on the result of `foo`
|
|
|
|
|
5. `bar`
|
|
|
|
|
6. `baz=` called on the result of `bar`
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
Starting in Ruby 3.1.0, evaluation order is now consistent with
|
|
|
|
|
single assignment, with the left hand side being evaluated before
|
|
|
|
|
the right hand side:
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
1. `foo`
|
|
|
|
|
2. `bar`
|
|
|
|
|
3. `a`
|
|
|
|
|
4. `b`
|
|
|
|
|
5. `[]=` called on the result of `foo`
|
|
|
|
|
6. `baz=` called on the result of `bar`
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-09-11 06:18:22 -04:00
|
|
|
[[Bug #4443]]
|
Evaluate multiple assignment left hand side before right hand side
In regular assignment, Ruby evaluates the left hand side before
the right hand side. For example:
```ruby
foo[0] = bar
```
Calls `foo`, then `bar`, then `[]=` on the result of `foo`.
Previously, multiple assignment didn't work this way. If you did:
```ruby
abc.def, foo[0] = bar, baz
```
Ruby would previously call `bar`, then `baz`, then `abc`, then
`def=` on the result of `abc`, then `foo`, then `[]=` on the
result of `foo`.
This change makes multiple assignment similar to single assignment,
changing the evaluation order of the above multiple assignment code
to calling `abc`, then `foo`, then `bar`, then `baz`, then `def=` on
the result of `abc`, then `[]=` on the result of `foo`.
Implementing this is challenging with the stack-based virtual machine.
We need to keep track of all of the left hand side attribute setter
receivers and setter arguments, and then keep track of the stack level
while handling the assignment processing, so we can issue the
appropriate topn instructions to get the receiver. Here's an example
of how the multiple assignment is executed, showing the stack and
instructions:
```
self # putself
abc # send
abc, self # putself
abc, foo # send
abc, foo, 0 # putobject 0
abc, foo, 0, [bar, baz] # evaluate RHS
abc, foo, 0, [bar, baz], baz, bar # expandarray
abc, foo, 0, [bar, baz], baz, bar, abc # topn 5
abc, foo, 0, [bar, baz], baz, abc, bar # swap
abc, foo, 0, [bar, baz], baz, def= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz], baz, foo # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0 # topn 3
abc, foo, 0, [bar, baz], baz, foo, 0, baz # topn 2
abc, foo, 0, [bar, baz], baz, []= # send
abc, foo, 0, [bar, baz], baz # pop
abc, foo, 0, [bar, baz] # pop
[bar, baz], foo, 0, [bar, baz] # setn 3
[bar, baz], foo, 0 # pop
[bar, baz], foo # pop
[bar, baz] # pop
```
As multiple assignment must deal with splats, post args, and any level
of nesting, it gets quite a bit more complex than this in non-trivial
cases. To handle this, struct masgn_state is added to keep
track of the overall state of the mass assignment, which stores a linked
list of struct masgn_attrasgn, one for each assigned attribute.
This adds a new optimization that replaces a topn 1/pop instruction
combination with a single swap instruction for multiple assignment
to non-aref attributes.
This new approach isn't compatible with one of the optimizations
previously used, in the case where the multiple assignment return value
was not needed, there was no lhs splat, and one of the left hand side
used an attribute setter. This removes that optimization. Removing
the optimization allowed for removing the POP_ELEMENT and adjust_stack
functions.
This adds a benchmark to measure how much slower multiple
assignment is with the correct evaluation order.
This benchmark shows:
* 4-9% decrease for attribute sets
* 14-23% decrease for array member sets
* Basically same speed for local variable sets
Importantly, it shows no significant difference between the popped
(where return value of the multiple assignment is not needed) and
!popped (where return value of the multiple assignment is needed)
cases for attribute and array member sets. This indicates the
previous optimization, which was dropped in the evaluation
order fix and only affected the popped case, is not important to
performance.
Fixes [Bug #4443]
2021-04-21 13:49:19 -04:00
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* Values in Hash literals and keyword arguments can be omitted.
|
|
|
|
|
[[Feature #14579]]
|
2021-09-16 04:31:39 -04:00
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
For example,
|
2021-09-11 06:13:53 -04:00
|
|
|
|
2021-09-16 04:28:31 -04:00
|
|
|
* `{x:, y:}` is a syntax sugar of `{x: x, y: y}`.
|
|
|
|
|
* `foo(x:, y:)` is a syntax sugar of `foo(x: x, y: y)`.
|
|
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
Constant names, local variable names, and method names are allowed as
|
|
|
|
|
key names. Note that a reserved word is considered as a local
|
|
|
|
|
variable or method name even if it's a pseudo variable name such as
|
|
|
|
|
`self`.
|
2021-09-11 06:13:53 -04:00
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* non main-Ractors can get instance variables (ivars) of classes/modules
|
|
|
|
|
if ivars refer to shareable objects.
|
|
|
|
|
[[Feature #17592]]
|
2021-10-22 12:38:05 -04:00
|
|
|
|
2020-01-18 03:46:52 -05:00
|
|
|
## Command line options
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2020-03-03 03:37:51 -05:00
|
|
|
## Core classes updates
|
|
|
|
|
|
|
|
|
|
Outstanding ones only.
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2021-04-16 03:12:10 -04:00
|
|
|
* Array
|
|
|
|
|
|
|
|
|
|
* Array#intersect? is added. [[Feature #15198]]
|
|
|
|
|
|
2021-10-26 15:35:21 -04:00
|
|
|
* Class
|
|
|
|
|
|
|
|
|
|
* Class#descendants, which returns an array of classes
|
|
|
|
|
directly or indirectly inheriting from the receiver, not
|
|
|
|
|
including the receiver or singleton classes.
|
|
|
|
|
[[Feature #14394]]
|
|
|
|
|
|
|
|
|
|
```ruby
|
|
|
|
|
class A; end
|
|
|
|
|
class B < A; end
|
|
|
|
|
class C < B; end
|
|
|
|
|
A.descendants #=> [B, C]
|
|
|
|
|
B.descendants #=> [C]
|
|
|
|
|
C.descendants #=> []
|
|
|
|
|
```
|
|
|
|
|
|
2021-10-28 08:07:11 -04:00
|
|
|
* Class#subclasses, which returns an array of classes
|
|
|
|
|
directly inheriting from the receiver, not
|
|
|
|
|
including singleton classes.
|
|
|
|
|
[[Feature #18273]]
|
|
|
|
|
|
|
|
|
|
```ruby
|
|
|
|
|
class A; end
|
|
|
|
|
class B < A; end
|
|
|
|
|
class C < B; end
|
|
|
|
|
class D < A; end
|
|
|
|
|
A.subclasses #=> [D, B]
|
|
|
|
|
B.subclasses #=> [C]
|
|
|
|
|
C.subclasses #=> []
|
|
|
|
|
```
|
|
|
|
|
|
2021-01-02 02:42:45 -05:00
|
|
|
* Enumerable
|
|
|
|
|
|
|
|
|
|
* Enumerable#compact is added. [[Feature #17312]]
|
|
|
|
|
|
2021-03-26 03:29:21 -04:00
|
|
|
* Enumerable#tally now accepts an optional hash to count. [[Feature #17744]]
|
|
|
|
|
|
2021-10-28 05:21:27 -04:00
|
|
|
* Enumerable#each_cons and each_slice to return a receiver. [[GH-1509]]
|
|
|
|
|
|
|
|
|
|
```ruby
|
|
|
|
|
[1, 2, 3].each_cons(2){}
|
|
|
|
|
# 3.0 => nil
|
|
|
|
|
# 3.1 => [1, 2, 3]
|
|
|
|
|
|
|
|
|
|
[1, 2, 3].each_slice(2){}
|
|
|
|
|
# 3.0 => nil
|
|
|
|
|
# 3.1 => [1, 2, 3]
|
|
|
|
|
```
|
|
|
|
|
|
2021-01-02 02:42:45 -05:00
|
|
|
* Enumerator::Lazy
|
|
|
|
|
|
|
|
|
|
* Enumerator::Lazy#compact is added. [[Feature #17312]]
|
|
|
|
|
|
2021-03-15 07:05:03 -04:00
|
|
|
* File
|
|
|
|
|
|
|
|
|
|
* File.dirname now accepts an optional argument for the level to
|
|
|
|
|
strip path components. [[Feature #12194]]
|
|
|
|
|
|
2021-12-06 03:36:01 -05:00
|
|
|
* GC
|
|
|
|
|
|
|
|
|
|
* "GC.measure_total_time = true" enables the measurement of GC.
|
|
|
|
|
Measurement can introduce overhead. It is enabled by default.
|
|
|
|
|
GC.measure_total_time returns the current setting.
|
|
|
|
|
GC.stat[:time] or GC.stat(:time) returns measured time
|
|
|
|
|
in milli-soconds.
|
|
|
|
|
|
|
|
|
|
* GC.total_time returns measured time in nano-seconds.
|
|
|
|
|
|
2018-10-07 00:02:46 -04:00
|
|
|
* Integer
|
|
|
|
|
|
|
|
|
|
* Integer.try_convert is added. [[Feature #15211]]
|
|
|
|
|
|
2021-11-18 13:51:14 -05:00
|
|
|
* Kernel
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* Kernel#load now accepts a module as the second argument,
|
|
|
|
|
and will load the file using the given module as the top
|
|
|
|
|
level module. [[Feature #6210]]
|
|
|
|
|
|
2021-09-16 06:55:31 -04:00
|
|
|
* MatchData
|
|
|
|
|
|
|
|
|
|
* MatchData#match is added [[Feature #18172]]
|
|
|
|
|
|
|
|
|
|
* MatchData#match_length is added [[Feature #18172]]
|
|
|
|
|
|
2021-01-14 14:59:25 -05:00
|
|
|
* Module
|
|
|
|
|
|
|
|
|
|
* Module#prepend now modifies the ancestor chain if the receiver
|
|
|
|
|
already includes the argument. Module#prepend still does not
|
|
|
|
|
modify the ancestor chain if the receiver has already prepended
|
|
|
|
|
the argument. [[Bug #17423]]
|
|
|
|
|
|
2021-11-18 13:51:14 -05:00
|
|
|
* Module#private, #public, #protected, and #module_function will
|
|
|
|
|
now return their arguments. If a single argument is given, it
|
|
|
|
|
is returned. If no arguments are given, nil is returned. If
|
|
|
|
|
multiple arguments are given, they are returned as an array.
|
|
|
|
|
[[Feature #12495]]
|
|
|
|
|
|
2021-11-08 13:38:42 -05:00
|
|
|
* Process
|
|
|
|
|
|
|
|
|
|
* Process.\_fork is added. This is a core method for fork(2).
|
|
|
|
|
Do not call this method directly; it is called by existing
|
2021-11-10 00:09:08 -05:00
|
|
|
fork methods: Kernel.#fork, Process.fork, and IO.popen("-").
|
2021-11-08 13:38:42 -05:00
|
|
|
Application monitoring libraries can overwride this method to
|
|
|
|
|
hook fork event. [[Feature #17795]]
|
|
|
|
|
|
2021-01-17 04:35:54 -05:00
|
|
|
* Struct
|
|
|
|
|
|
|
|
|
|
* Passing only keyword arguments to Struct#initialize is warned.
|
|
|
|
|
You need to use a Hash literal to set a Hash to a first member.
|
|
|
|
|
[[Feature #16806]]
|
|
|
|
|
|
2021-07-15 05:21:49 -04:00
|
|
|
* StructClass#keyword_init? is added [[Feature #18008]]
|
|
|
|
|
|
2021-08-17 04:07:01 -04:00
|
|
|
* String
|
|
|
|
|
|
|
|
|
|
* Update Unicode version to 13.0.0 [[Feature #17750]]
|
|
|
|
|
and Emoji version to 13.0 [[Feature #18029]]
|
|
|
|
|
|
2021-02-11 05:14:18 -05:00
|
|
|
* Queue
|
|
|
|
|
|
|
|
|
|
* Queue#initialize now accepts an Enumerable of initial values.
|
|
|
|
|
[[Feature #17327]]
|
|
|
|
|
|
2021-05-26 02:18:16 -04:00
|
|
|
* Thread
|
|
|
|
|
|
|
|
|
|
* Thread#native_thread_id is added. [[Feature #17853]]
|
|
|
|
|
|
2021-02-15 02:06:43 -05:00
|
|
|
* Thread::Backtrace
|
|
|
|
|
|
|
|
|
|
* Thread::Backtrace.limit, which returns the value to limit backtrace
|
2021-07-15 02:38:39 -04:00
|
|
|
length set by `--backtrace-limit` command line option, is added.
|
2021-02-15 02:06:43 -05:00
|
|
|
[[Feature #17479]]
|
|
|
|
|
|
2021-02-16 04:12:47 -05:00
|
|
|
* $LOAD_PATH
|
|
|
|
|
|
|
|
|
|
* $LOAD_PATH.resolve_feature_path does not raise. [[Feature #16043]]
|
|
|
|
|
|
2021-06-22 07:14:45 -04:00
|
|
|
* Fiber Scheduler
|
|
|
|
|
|
|
|
|
|
* Add support for `Addrinfo.getaddrinfo` using `address_resolve` hook.
|
|
|
|
|
[[Feature #17370]]
|
|
|
|
|
|
|
|
|
|
* Introduce non-blocking `Timeout.timeout` using `timeout_after` hook.
|
|
|
|
|
[[Feature #17470]]
|
|
|
|
|
|
2021-07-02 06:41:16 -04:00
|
|
|
* Introduce new scheduler hooks `io_read` and `io_write` along with a
|
|
|
|
|
low level `IO::Buffer` for zero-copy read/write. [[Feature #18020]]
|
|
|
|
|
|
2021-06-22 07:14:45 -04:00
|
|
|
* IO hooks `io_wait`, `io_read`, `io_write`, receive the original IO object
|
|
|
|
|
where possible. [[Bug #18003]]
|
|
|
|
|
|
2021-06-22 07:18:40 -04:00
|
|
|
* Make `Monitor` fiber-safe. [[Bug #17827]]
|
2021-06-22 07:14:45 -04:00
|
|
|
|
2021-06-25 18:17:26 -04:00
|
|
|
* Replace copy coroutine with pthread implementation. [[Feature #18015]]
|
|
|
|
|
|
2021-10-21 03:21:08 -04:00
|
|
|
* Refinement
|
|
|
|
|
|
|
|
|
|
* New class which represents a module created by Module#refine.
|
|
|
|
|
`include` and `prepend` are deprecated, and `import_methods` is added
|
|
|
|
|
instead. [[Bug #17429]]
|
|
|
|
|
|
2020-03-03 03:37:51 -05:00
|
|
|
## Stdlib updates
|
|
|
|
|
|
2021-12-05 05:08:25 -05:00
|
|
|
* The following default gem are updated.
|
|
|
|
|
* RubyGems
|
|
|
|
|
* Bundler
|
|
|
|
|
* RDoc 6.3.2
|
|
|
|
|
* ReLine
|
|
|
|
|
* JSON 2.6.1
|
|
|
|
|
* Psych 4.0.2
|
|
|
|
|
* FileUtils 1.6.0
|
|
|
|
|
* Fiddle 1.1.0
|
|
|
|
|
* StringIO 3.0.1
|
|
|
|
|
* IO::Console 0.5.9
|
|
|
|
|
* IO::Wait 0.2.0
|
|
|
|
|
* CSV 3.2.1
|
|
|
|
|
* Etc 1.3.0
|
2021-12-05 06:34:25 -05:00
|
|
|
* Date 3.2.2
|
2021-12-05 05:08:25 -05:00
|
|
|
* Zlib 2.1.1
|
|
|
|
|
* StringScanner 3.0.1
|
2021-12-05 06:34:25 -05:00
|
|
|
* IpAddr 1.2.3
|
2021-12-05 05:08:25 -05:00
|
|
|
* Logger 1.4.4
|
|
|
|
|
* OStruct 0.5.0
|
|
|
|
|
* Irb
|
|
|
|
|
* Racc 1.6.0
|
|
|
|
|
* Delegate 0.2.0
|
|
|
|
|
* Benchmark 0.2.0
|
2021-12-05 06:34:25 -05:00
|
|
|
* CGI 0.3.1
|
2021-12-05 05:08:25 -05:00
|
|
|
* Readline(C-ext) 0.1.3
|
|
|
|
|
* Timeout 0.2.0
|
|
|
|
|
* YAML 0.2.0
|
|
|
|
|
* URI 0.11.0
|
|
|
|
|
* OpenSSL
|
|
|
|
|
* DidYouMean
|
|
|
|
|
* Weakref 0.1.1
|
|
|
|
|
* Tempfile 0.1.2
|
|
|
|
|
* TmpDir 0.1.2
|
|
|
|
|
* English 0.7.1
|
|
|
|
|
* Net::Protocol 0.1.2
|
|
|
|
|
* Net::Http 0.2.0
|
|
|
|
|
* BigDecimal
|
|
|
|
|
* OptionParser 0.2.0
|
2021-12-05 06:34:25 -05:00
|
|
|
* Set 1.0.2
|
2021-12-05 05:08:25 -05:00
|
|
|
* Find 0.1.1
|
|
|
|
|
* Rinda 0.1.1
|
|
|
|
|
* Erb 2.2.3
|
|
|
|
|
* NKF 0.1.1
|
|
|
|
|
* Base64 0.1.1
|
|
|
|
|
* OpenUri 0.2.0
|
|
|
|
|
* SecureRandom 0.1.1
|
|
|
|
|
* Resolv 0.2.1
|
|
|
|
|
* Resolv::Replace 0.1.0
|
|
|
|
|
* Time 0.2.0
|
|
|
|
|
* PP 0.2.1
|
|
|
|
|
* Prettyprint 0.1.1
|
|
|
|
|
* Drb 2.1.0
|
|
|
|
|
* Pathname 0.2.0
|
2021-12-05 06:34:25 -05:00
|
|
|
* Digest 3.1.0.pre3
|
2021-12-05 05:08:25 -05:00
|
|
|
* Un 0.2.0
|
|
|
|
|
* The following bundled gems are updated.
|
|
|
|
|
* minitest 5.14.4
|
|
|
|
|
* power_assert 2.0.1
|
|
|
|
|
* rake 13.0.6
|
2021-12-05 06:34:25 -05:00
|
|
|
* test-unit 3.5.1
|
|
|
|
|
* rbs 1.8.0
|
|
|
|
|
* typeprof 0.20.4
|
2021-12-05 05:08:25 -05:00
|
|
|
* The following default gems are now bundled gems.
|
|
|
|
|
* net-ftp
|
|
|
|
|
* net-imap
|
|
|
|
|
* net-pop
|
|
|
|
|
* net-smtp
|
|
|
|
|
* matrix
|
|
|
|
|
* prime
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2020-03-03 03:37:51 -05:00
|
|
|
## Compatibility issues
|
|
|
|
|
|
|
|
|
|
Excluding feature bug fixes.
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2021-06-22 07:14:45 -04:00
|
|
|
* `rb_io_wait_readable`, `rb_io_wait_writable` and `rb_wait_for_single_fd` are
|
|
|
|
|
deprecated in favour of `rb_io_maybe_wait_readable`,
|
|
|
|
|
`rb_io_maybe_wait_writable` and `rb_io_maybe_wait` respectively.
|
|
|
|
|
`rb_thread_wait_fd` and `rb_thread_fd_writable` are deprecated. [[Bug #18003]]
|
|
|
|
|
|
2020-08-24 02:38:03 -04:00
|
|
|
## Stdlib compatibility issues
|
2020-06-18 08:11:19 -04:00
|
|
|
|
2021-01-21 01:02:24 -05:00
|
|
|
* `ERB#initialize` warns `safe_level` and later arguments even without -w.
|
|
|
|
|
[[Feature #14256]]
|
|
|
|
|
|
2021-10-19 21:18:54 -04:00
|
|
|
* `lib/debug.rb` is replaced with `debug.gem`
|
|
|
|
|
|
2020-01-18 03:46:52 -05:00
|
|
|
## C API updates
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2021-09-22 04:59:28 -04:00
|
|
|
* Documented. [[GH-4815]]
|
|
|
|
|
|
2021-11-08 16:33:04 -05:00
|
|
|
* `rb_gc_force_recycle` is deprecated and has been changed to a no-op.
|
|
|
|
|
[[Feature #18290]]
|
|
|
|
|
|
2020-01-18 03:46:52 -05:00
|
|
|
## Implementation improvements
|
2020-01-14 22:42:47 -05:00
|
|
|
|
2021-12-06 03:19:42 -05:00
|
|
|
* `instance_eval` and `instance_exec` now only allocate a singleton class when
|
|
|
|
|
required, avoiding extra objects and improving performance. [[GH-5146]]
|
|
|
|
|
|
|
|
|
|
* The performance of `Struct` accessors is improved. [[GH-5131]]
|
|
|
|
|
|
2020-06-26 03:54:05 -04:00
|
|
|
### JIT
|
|
|
|
|
|
2021-06-01 01:00:14 -04:00
|
|
|
* The default `--jit-max-cache` is changed from 100 to 10000.
|
|
|
|
|
|
2021-08-13 02:19:15 -04:00
|
|
|
* JIT-ed code is no longer cancelled when a TracePoint for class events
|
|
|
|
|
is enabled.
|
|
|
|
|
|
2021-06-03 01:25:48 -04:00
|
|
|
* The JIT compiler no longer skips compilation of methods longer than
|
|
|
|
|
1000 instructions.
|
|
|
|
|
|
2021-08-13 01:54:40 -04:00
|
|
|
* `--jit-verbose` and `--jit-warning` output "JIT cancel" when JIT-ed
|
|
|
|
|
code is disabled because TracePoint or GC.compact is used.
|
|
|
|
|
|
2021-06-01 01:00:14 -04:00
|
|
|
* `RubyVM::MJIT` is renamed to `RubyVM::JIT`. [[Feature #17490]]
|
2021-01-14 01:36:45 -05:00
|
|
|
|
2021-10-20 15:51:07 -04:00
|
|
|
### YJIT: New experimental in-process JIT compiler
|
|
|
|
|
|
2021-10-21 12:49:58 -04:00
|
|
|
New JIT compiler available as an experimental feature. [[Feature #18229]]
|
|
|
|
|
|
|
|
|
|
See [this blog post](https://shopify.engineering/yjit-just-in-time-compiler-cruby
|
|
|
|
|
) introducing the project.
|
|
|
|
|
|
2021-10-20 15:51:07 -04:00
|
|
|
* Disabled by default, use `--yjit` command-line option to enable YJIT.
|
|
|
|
|
|
|
|
|
|
* Performance improvements on most real-world software, up to 22% on railsbench, 39% on liquid-render.
|
|
|
|
|
|
|
|
|
|
* Fast warm-up times.
|
|
|
|
|
|
|
|
|
|
* Limited to macOS & Linux on x86-64 platforms for now.
|
|
|
|
|
|
2020-11-10 12:15:57 -05:00
|
|
|
## Static analysis
|
2020-10-20 00:16:19 -04:00
|
|
|
|
|
|
|
|
### RBS
|
2020-09-25 04:08:39 -04:00
|
|
|
|
2020-10-20 00:16:19 -04:00
|
|
|
### TypeProf
|
|
|
|
|
|
2021-10-19 22:05:05 -04:00
|
|
|
* [Experimental IDE support](https://github.com/ruby/typeprof/blob/master/doc/ide.md) has been implemented.
|
|
|
|
|
* Many bug fixes and performance improvements since Ruby 3.0.0.
|
|
|
|
|
|
2021-10-19 21:18:54 -04:00
|
|
|
## Debugger
|
|
|
|
|
|
|
|
|
|
* A new debugger [debug.gem](https://github.com/ruby/debug) is bundled.
|
|
|
|
|
debug.gem is fast debugger implementation and it provides many features
|
|
|
|
|
like remote debugging, colorful REPL, IDE (VSCode) integration and more.
|
|
|
|
|
It replaces `lib/debug.rb` standard library.
|
|
|
|
|
|
|
|
|
|
* `rdbg` command is also installed into `bin/` directory to start and control
|
|
|
|
|
debugging execution.
|
|
|
|
|
|
2021-10-19 22:05:05 -04:00
|
|
|
## error_highlight
|
|
|
|
|
|
|
|
|
|
A built-in gem, error_highlight, has been introduced.
|
|
|
|
|
It includes fine-grained error location in backtrace:
|
|
|
|
|
|
|
|
|
|
```
|
|
|
|
|
$ ruby test.rb
|
|
|
|
|
test.rb:1:in `<main>': undefined method `time' for 1:Integer (NoMethodError)
|
|
|
|
|
|
|
|
|
|
1.time {}
|
|
|
|
|
^^^^^
|
|
|
|
|
Did you mean? times
|
|
|
|
|
```
|
|
|
|
|
|
|
|
|
|
This gem is enabled by default.
|
|
|
|
|
You can disable it by using a command-line option `--disable-error_highlight`.
|
|
|
|
|
See [the repository](https://github.com/ruby/error_highlight) in detail.
|
|
|
|
|
|
2020-01-18 03:46:52 -05:00
|
|
|
## Miscellaneous changes
|
2021-01-02 02:42:45 -05:00
|
|
|
|
2021-05-16 19:49:53 -04:00
|
|
|
* lib/objspace/trace.rb is added, which is a tool for tracing the object
|
|
|
|
|
allocation. Just by requiring this file, tracing is started *immediately*.
|
|
|
|
|
Just by `Kernel#p`, you can investigate where an object was created.
|
|
|
|
|
Note that just requiring this file brings a large performance overhead.
|
|
|
|
|
This is only for debugging purpose. Do not use this in production.
|
2021-07-22 23:41:01 -04:00
|
|
|
[[Feature #17762]]
|
2021-01-02 02:42:45 -05:00
|
|
|
|
2021-07-22 23:41:34 -04:00
|
|
|
* Now exceptions raised in finalizers will be printed to `STDERR`, unless
|
|
|
|
|
`$VERBOSE` is `nil`. [[Feature #17798]]
|
|
|
|
|
|
2021-07-22 23:41:01 -04:00
|
|
|
[Bug #4443]: https://bugs.ruby-lang.org/issues/4443
|
2021-11-18 13:51:14 -05:00
|
|
|
[Feature #6210]: https://bugs.ruby-lang.org/issues/6210
|
2021-11-18 15:44:19 -05:00
|
|
|
[Feature #11256]: https://bugs.ruby-lang.org/issues/11256
|
2021-03-16 01:07:27 -04:00
|
|
|
[Feature #12194]: https://bugs.ruby-lang.org/issues/12194
|
2021-11-18 13:51:14 -05:00
|
|
|
[Feature #12495]: https://bugs.ruby-lang.org/issues/12495
|
2021-01-21 01:02:24 -05:00
|
|
|
[Feature #14256]: https://bugs.ruby-lang.org/issues/14256
|
2021-10-26 15:35:21 -04:00
|
|
|
[Feature #14394]: https://bugs.ruby-lang.org/issues/14394
|
2021-09-11 06:13:53 -04:00
|
|
|
[Feature #14579]: https://bugs.ruby-lang.org/issues/14579
|
2021-04-16 03:12:10 -04:00
|
|
|
[Feature #15198]: https://bugs.ruby-lang.org/issues/15198
|
2018-10-07 00:02:46 -04:00
|
|
|
[Feature #15211]: https://bugs.ruby-lang.org/issues/15211
|
2021-02-16 04:12:47 -05:00
|
|
|
[Feature #16043]: https://bugs.ruby-lang.org/issues/16043
|
2021-01-17 04:35:54 -05:00
|
|
|
[Feature #16806]: https://bugs.ruby-lang.org/issues/16806
|
2021-01-02 02:42:45 -05:00
|
|
|
[Feature #17312]: https://bugs.ruby-lang.org/issues/17312
|
2021-02-11 05:14:18 -05:00
|
|
|
[Feature #17327]: https://bugs.ruby-lang.org/issues/17327
|
2021-10-27 03:55:15 -04:00
|
|
|
[Feature #17370]: https://bugs.ruby-lang.org/issues/17370
|
2021-03-21 02:12:54 -04:00
|
|
|
[Feature #17411]: https://bugs.ruby-lang.org/issues/17411
|
2021-07-22 23:41:01 -04:00
|
|
|
[Bug #17423]: https://bugs.ruby-lang.org/issues/17423
|
2021-10-27 03:55:15 -04:00
|
|
|
[Bug #17429]: https://bugs.ruby-lang.org/issues/17429
|
|
|
|
|
[Feature #17470]: https://bugs.ruby-lang.org/issues/17470
|
2021-02-15 02:06:43 -05:00
|
|
|
[Feature #17479]: https://bugs.ruby-lang.org/issues/17479
|
2021-06-01 01:00:14 -04:00
|
|
|
[Feature #17490]: https://bugs.ruby-lang.org/issues/17490
|
2021-10-22 12:38:05 -04:00
|
|
|
[Feature #17592]: https://bugs.ruby-lang.org/issues/17592
|
2021-05-13 18:31:46 -04:00
|
|
|
[Feature #17724]: https://bugs.ruby-lang.org/issues/17724
|
2021-03-26 03:29:21 -04:00
|
|
|
[Feature #17744]: https://bugs.ruby-lang.org/issues/17744
|
2021-10-27 03:55:15 -04:00
|
|
|
[Feature #17750]: https://bugs.ruby-lang.org/issues/17750
|
2021-05-16 19:49:53 -04:00
|
|
|
[Feature #17762]: https://bugs.ruby-lang.org/issues/17762
|
2021-11-08 21:30:03 -05:00
|
|
|
[Feature #17795]: https://bugs.ruby-lang.org/issues/17795
|
2021-07-22 23:41:34 -04:00
|
|
|
[Feature #17798]: https://bugs.ruby-lang.org/issues/17798
|
2021-07-22 23:41:01 -04:00
|
|
|
[Bug #17827]: https://bugs.ruby-lang.org/issues/17827
|
2021-10-27 03:55:15 -04:00
|
|
|
[Feature #17853]: https://bugs.ruby-lang.org/issues/17853
|
|
|
|
|
[Bug #18003]: https://bugs.ruby-lang.org/issues/18003
|
2021-08-05 04:25:17 -04:00
|
|
|
[Feature #18008]: https://bugs.ruby-lang.org/issues/18008
|
2021-06-25 18:17:26 -04:00
|
|
|
[Feature #18015]: https://bugs.ruby-lang.org/issues/18015
|
2021-07-02 06:41:16 -04:00
|
|
|
[Feature #18020]: https://bugs.ruby-lang.org/issues/18020
|
2021-08-22 09:27:29 -04:00
|
|
|
[Feature #18029]: https://bugs.ruby-lang.org/issues/18029
|
2021-09-16 06:55:31 -04:00
|
|
|
[Feature #18172]: https://bugs.ruby-lang.org/issues/18172
|
2021-10-24 19:38:44 -04:00
|
|
|
[Feature #18229]: https://bugs.ruby-lang.org/issues/18229
|
2021-10-28 08:07:11 -04:00
|
|
|
[Feature #18273]: https://bugs.ruby-lang.org/issues/18273
|
2021-12-05 06:31:58 -05:00
|
|
|
[Feature #18290]: https://bugs.ruby-lang.org/issues/18290
|
2021-10-28 05:21:27 -04:00
|
|
|
[GH-1509]: https://github.com/ruby/ruby/pull/1509
|
2021-09-22 04:59:28 -04:00
|
|
|
[GH-4815]: https://github.com/ruby/ruby/pull/4815
|
2021-12-06 03:19:42 -05:00
|
|
|
[GH-5131]: https://github.com/ruby/ruby/pull/5131
|
2021-12-03 15:58:09 -05:00
|
|
|
[GH-5146]: https://github.com/ruby/ruby/pull/5146
|