feat(reactivity): more efficient reactivity system

[johnsoncodehk]

fix #311, fix #1811, fix #6018, fix #7160, fix #8714, fix #9149, fix #9419, fix #9464

Changes

• If computed new value does not change, computed, effect, watch, watchEffect, render dependencies will not be triggered
• Multiple computed only trigger effect, sync watch, sync watchEffect once
• Array shift, unshift, splice( only trigger effect, sync watch, sync watchEffect once
• deferredComputed is now a re-export of computed and marked as deprecated
• Added pauseScheduling, resetScheduling APIs
• New scheduling implementation was 2.5x ~ 4.5x faster (feat(reactivity): more efficient reactivity system #5912 (comment))

Detail

computed()

let sec_counter = 0
let min_counter = 0
let hour_counter = 0

const ms = ref(0)
const sec = computed(() => { sec_counter++; return Math.floor(ms.value / 1000) })
const min = computed(() => { min_counter++; return Math.floor(sec.value / 60) })
const hour = computed(() => { hour_counter++; return Math.floor(min.value / 60) })

for (ms.value = 0;  ms.value < 10000000; ms.value += 1) {
  hour.value
}

Before result:

console.log(`sec: ${sec.value}, sec_counter: ${sec_counter}`) // sec: 10000, sec_counter: 10000001
console.log(`min: ${min.value}, min_counter: ${min_counter}`) // min: 166, min_counter: 10000001
console.log(`hour: ${hour.value}, hour_counter: ${hour_counter}`) // hour: 2, hour_counter: 10000001

PR result:

console.log(`sec: ${sec.value}, sec_counter: ${sec_counter}`) // sec: 10000, sec_counter: 10000001
console.log(`min: ${min.value}, min_counter: ${min_counter}`) // min: 166, min_counter: 10001
console.log(`hour: ${hour.value}, hour_counter: ${hour_counter}`) // hour: 2, hour_counter: 167

effect() / watch() / watchEffect()

let times = 0

const sec = ref(0)
const min = computed(() => {
  return Math.floor(sec.value / 60)
})
const hour = computed(() => {
  return Math.floor(min.value / 60)
})

effect(() => {
  times++
  min.value
  hour.value
})

for (sec.value = 0; sec.value < 10000; sec.value++) { }

Before result:

console.log(times) // 20001

PR result:

console.log(times) // 167

render()

For the following code, the template renderer is optimized to trigger once per second instead of triggering 100 times per second.

<script setup>
import { ref, computed } from 'vue'

let render_counter = 0

const ms = ref(0)
const sec = computed(() => { return Math.floor(ms.value / 1000) })

setInterval(() => {
  ms.value += 10
}, 10)
</script>

<template>
  sec: {{ sec }} ({{ ++render_counter }} render times)<br>
</template>

test cases:

• test case 1
• test case 2

Array shift()

const arr = reactive([1, 2, 3])
effect(() => {
  for (let i = 0; i < arr.length; i++) arr[i]
  console.log(arr)
})
arr.shift()

Before output:

[ 1, 2, 3 ]
[ 2, 2, 3 ]
[ 2, 3, 3 ]
[ 2, 3, <1 empty item> ]
[ 2, 3 ]

PR output:

[ 1, 2, 3 ]
[ 2, 3 ]

pauseScheduling(), resetScheduling()

Wrap refs mutations with pauseScheduling() and resetScheduling() to trigger side effects only once.

const foo = ref(0)
const bar = ref(0)

effect(() => {
  console.log(foo.value, bar.value)
})
// -> 0 0

foo.value++
// -> 1 0
bar.value++
// -> 1 1

pauseScheduling()
foo.value++
bar.value++
resetScheduling()
// -> 2 2

[skirtles-code]

I think this may cause problems in cases that rely on the laziness of computed evaluation to avoid errors. e.g.:

• Current main - no error
• This PR - error

[johnsoncodehk]

@skirtles-code Thanks for reviewing it, it is not a bug, users shouldn't assume that c and d is knowledge sharing, if c behaves dependent on d dependencies, d should be included by c. it's a bug

To avoid the bad architecture with circular dependencies, users should also extract the dependencies of c and d.

[yyx990803]

/ecosystem-ci run

[skirtles-code]

@skirtles-code Thanks for reviewing it, it is not a bug, users shouldn't assume that c and d is knowledge sharing, if c behaves dependent on d dependencies, d should be included by c.

To avoid the bad architecture with circular dependencies, users should also extract the dependencies of c and d.

I'm not sure I understand the relevance of your first example. It seems you've added a circular dependency into my example. That shouldn't be there, it makes no sense.

I don't think this can be dismissed as bad architecture. The example I provided is contrived, but I was just trying to illustrate the problem. It obviously looks ridiculous when presented in this form, but that doesn't mean it wouldn't be perfectly natural to see something like this in a real application. The check on b would be something like an emptiness check or a validity check and the call to c.value would likely be something much more complicated that includes accessing c.

The underlying problem here is that, in some cases, computed properties have now switched from being lazily evaluated to eagerly evaluated. c.value is being accessed even though it isn't used. I can't find anywhere that the lazy evaluation is explicitly documented, but I think it has been the established behaviour for long enough that people have a right to expect it. In practice, I think there'll be lots of applications that implicitly rely on it, even if their developers don't realise it.

It isn't just the potential for errors. The extra evaluation of c means that, in some cases, it is doing extra, unnecessary work to evaluate d.

When evaluating d, the test for whether b.value has changed needs to be performed first, and if it has changed then there's no need to check whether c.value has changed. That would avoid the error. There's still potential for problems if the computed uses non-reactive data, but perhaps that would be acceptable. If it isn't possible to perform these change checks in the right order and bail at the right point, then I don't think this performance improvement is worth it. In the rare cases this kind of performance problem comes up it can already be worked around in userland.

[johnsoncodehk]

The underlying problem here is that, in some cases, computed properties have now switched from being lazily evaluated to eagerly evaluated.

Not really, if you find that PR causing this problem, can you provide minimal reproduction or contribute a test case?

[skirtles-code]

The underlying problem here is that, in some cases, computed properties have now switched from being lazily evaluated to eagerly evaluated.

Not really, if you find that PR causing this problem, can you provide minimal reproduction or contribute a test case?

That is what my example shows. That is why it causes an error on this branch but not on main. It is evaluating c eagerly, even though it isn't used.

[skirtles-code]

Here's the same example, but I've hidden the error with a ?. and put in a counter instead. Notice how c is being evaluated twice on this PR but only once on main:

• main
• This PR

[johnsoncodehk]

It's not a trade-off, just a bug, thanks for report that.

[johnsoncodehk]

Fixed by 88d91db (#5912)

[yyx990803]

/ecosystem-ci run

[vue-bot]

📝 Ran ecosystem CI: Open

suite	result
naive-ui	❌ failure
nuxt	❌ failure
pinia	✅ success
router	✅ success
test-utils	✅ success
vant	❌ failure
vite-plugin-vue	✅ success
vitepress	✅ success
vue-macros	✅ success
vuetify	❌ failure
vueuse	✅ success

[johnsoncodehk]

/ecosystem-ci run

[vue-bot]

📝 Ran ecosystem CI: Open

suite	result	latest scheduled
language-tools	✅ success	✅ success
nuxt	✅ success	✅ success
pinia	✅ success	✅ success
quasar	✅ success	✅ success
router	✅ success	✅ success
test-utils	✅ success	✅ success
vant	✅ success	✅ success
vite-plugin-vue	✅ success	✅ success
vitepress	✅ success	✅ success
vue-i18n	✅ success	✅ success
vue-macros	✅ success	✅ success
vuetify	✅ success	✅ success
vueuse	❌ failure	✅ success
vue-simple-compiler	✅ success	✅ success

[ferferga]

Hello, sorry if commenting in a merged PR is undesired and an issue should be opened instead. With the alpha release of 3.4.0, I had the chance to test this more deeply in the playground, but it doesn't seem to work properly with objects. Is this expected to only work right with primitives?

Reproduction link

https://play.vuejs.org/#eNqNU02P2kAM/StWLgslZGDpCQVEi/bQSv3Qdo+5ZBMD2U1mRjMOIKH89zozwAZKt71l7Pfs52fnEHzSOtrWGEyD2Gam0AQWqdbzRBaVVobgAAZXIWSq0jVhHsIupWwDDayMquCOuXeJTGSmpCVG1ZJg1lJ6o/5b1HPHT6ZYr9Es30dx5vTd6/VhNodDIoHRVBvJerRRejyFbyltIsOl8p5rG23TskYQMB6NRv3Qwe7/BYMPcA9NIhuW4QZj0FFGCL75TfW+ymDAtFh449gyfhBWukwJ+QUQP9dESsIiK4vsdZYETsFgkATzZRuJhQd4sJ4/4spbiGYKh8PRzqaJRbsQBzmrOQJOnt0GdSVfEi5WcSLH4iw/CAN/AMMq1dGLVZJPxO0hOSZsEnDJNtLG+A7adxJsiLSdCpHlkmk5lsXWRBJJSF2JBcOE4ZZFhcNcVYtJ9DEaDdNSb9JoLPLCUjcdoa2Gz0btLBoulgRhp53g4BbN0KDM0aD53/ZXtFsSriB/yGhVtEfDJpHl610V6yuLWp+LEs0PTQVf94VVaVmq3VcXI1PjeaZsg9nrjfiL3fvZfhp0yjo+UGrWSD798Os77vn7nKxUXpfHtfwl+YhWlXWr0cM+83/Csjs4p/aL23gh10/2YU8o7WmoVqhzw+HdXpbvjP4mdxJNzi42vwERoomJ

cc @johnsoncodehk

[johnsoncodehk]

@ferferga You need to cache and return the old object if possible.

let computed1Value

const count = ref(0)
const computed1 = computed(() => {
  const prop1 = Math.round(count.value / 1000)
  const prop2 = Math.round(count.value / 1000) * 2
  if (computed1Value && computed1Value.prop1 === prop1 && computed1Value.prop2 === prop2) {
    return computed1Value
  }
  return computed1Value = { prop1, prop2 }
})

[Anoesj]

@ferferga Didn't understand your question at first, but I do now and created a reproduction with both the version with and without cache side by side, so others can see the difference too 😄. Interestingly, this technique also prevents rerenders in Vue 3.3.x, so I learned something new today!

[Anoesj]

@johnsoncodehk I played around with your technique a little more and was thinking: can't this be built into computed by default? I updated the reproduction link above with a computedCached function that does this out of the box. I used lodash isEqual for now to compare the cached value with the new value and return the cache if equal. Is it possible to implement this behavior by default or would the isEqual call have a too big performance impact? If so, we could add computedCached to Vue, so people don't have to implement this technique by themselves.

[ferferga]

@Anoesj Still, this PR reduces a lot of rerenders in my project too. I just thought it also covered objects, but I understand that's a more complex topic.

I'm not sure how that could be solved for all edge cases. Obviously pulling lodash is not a solution for Vue, so everything should be in-house. A solution must be found that is efficient enough for everybody too.

I also wonder whether something like object-hash is more efficient in this case.

[Anoesj]

Of course, I get that. It was just a quick PoC. But having some built-in way to prevent rerenders on non-primitive computeds would be very nice.

[johnsoncodehk]

@Anoesj #9497 can reduce a bit of boilerplate code.

We cannot built-in isEqual for object. In addition to performance issues, we should not assume that objects with the same properties should produce the same behavior in user logic.

[johnsoncodehk]

@ferferga the object-hash's approach is great! I think we can have an object-hash based computed API in vueuse. cc @antfu

[ferferga]

@johnsoncodehk What are the difficulties you see to have it in core? It's great that we can finally have a one-size-fits-all approach to computed and no longer need computedEager, so I think it'd be great too to not have other comp's implementation

I understand your concerns of more potential breakage, but maybe for 3.5?

PS: Another simpler approach maybe is to stringify? Not sure if that could have it's edge cases too... This is surely a complex problem.

[Anoesj]

@johnsoncodehk Nice, that would also work. Also, one hour ago? Dude, you're beast, haha!

[Anoesj]

@ferferga Equality based on stringify wouldn't be optimal when objects have the same properties and values, but in a different order. When working with Array, Map and Set it makes sense to not count something as "equal" when the order is different, but with objects, in my opinion, it's not. Don't know how object-hash handles order though? Maybe, if a non-primitive equality check functionality is made available, there needs to be an opt-in setting to ignore order? Also curious how two class instances with the exact same properties, but a completely different prototype, should be handled.