Compare commits

...

4 Commits

Author SHA1 Message Date
Felix Roos 95ecd73d49 some notes 2022-06-16 11:48:09 +02:00
Felix Roos a9995d185f dont add location if addLocations is false 2022-06-16 11:48:00 +02:00
Felix Roos 5da2085436 count calls and log every second 2022-06-16 03:52:54 +02:00
Felix Roos ae9820b39f some testing with Fraction mock class 2022-06-16 03:17:35 +02:00
3 changed files with 154 additions and 11 deletions
+92 -10
View File
@@ -4,9 +4,87 @@ Copyright (C) 2022 Strudel contributors - see <https://github.com/tidalcycles/st
This program is free software: you can redistribute it and/or modify it under the terms of the GNU Affero General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for more details. You should have received a copy of the GNU Affero General Public License along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
import Fraction from 'fraction.js';
// import Fraction from 'fraction.js';
import { TimeSpan } from './timespan.mjs';
let instances = 0;
let strings = 0;
let fractions = 0;
let numbers = 0;
setInterval(() => {
console.log(`${instances} calls = ${numbers} numbers + ${fractions} fractions + ${strings} strings`);
instances = 0;
strings = 0;
fractions = 0;
numbers = 0;
}, 1000);
// http://localhost:3000/#c3RhY2soCiAgImUzLGJiMyxkNCIuc3RydWN0KCJ4KDMsOCwtMSkiKS5vZmYoMS84LHg9PngudHJhbnNwb3NlKDEyKS52ZWxvY2l0eSguMikpLAogICJjMiIuc3RydWN0KCJ4KDQsOCwtMikiKSwKICAiYzMiLnN0cnVjdCgieCgzLDgsLTIpIi5mYXN0KDIpKQopLnNsb3coMikKIC5lY2hvKDQsLjEyNSwuOCkKIC52ZWxvY2l0eShzaW5lLnN0cnVjdCgieCo4IikuYWRkKDMvNSkubXVsKDIvNSkuZmFzdCg4KSkKIC8vIC5waWFub3JvbGwoKQovLyBzdHJ1ZGVsIGRpc2FibGUtaGlnaGxpZ2h0aW5n
// ~400k/s
// this is a "mock" for fraction.js, using just floats without any rational arithmetic
// to test if the performance gets better without fraction.js
// result: it seems to get better but not by much
// the main jankyness remains for some complicated patterns
class Fraction {
value; // number
constructor(value) {
instances++;
if (value instanceof Fraction) {
// TODO: return this?
this.value = value.value;
fractions++;
} else if (typeof value === 'string') {
const [n, d] = value.split('/');
this.value = n / (d || 1);
strings++;
} else if (typeof value !== 'number' || isNaN(value)) {
console.warn('Fraction got NaN', value);
} else {
numbers++;
this.value = Number(value);
if (isNaN(this.value)) {
console.warn('Fraction parsed NaN from', value);
}
}
}
add(other) {
return new Fraction(this.value + other);
}
sub(other) {
return new Fraction(this.value - other);
}
mul(other) {
return new Fraction(this.value * other);
}
div(other) {
return new Fraction(this.value / other);
}
toString() {
return this.value + '';
}
valueOf() {
return this.value;
}
floor() {
return new Fraction(Math.floor(this.value));
}
abs() {
return new Fraction(Math.abs(this.value));
}
inverse() {
return new Fraction(1 / this.value);
}
compare(other) {
return this.value - other;
}
equals(other) {
return this.value.valueOf() === other.valueOf();
}
// TODO: toFraction
}
// Returns the start of the cycle.
Fraction.prototype.sam = function () {
return this.floor();
@@ -14,12 +92,16 @@ Fraction.prototype.sam = function () {
// Returns the start of the next cycle.
Fraction.prototype.nextSam = function () {
// return new Fraction(Math.floor(this.value) + 1);
return this.sam().add(1);
};
// Returns a TimeSpan representing the begin and end of the Time value's cycle
Fraction.prototype.wholeCycle = function () {
return new TimeSpan(this.sam(), this.nextSam());
/* const begin = Math.floor(this.value);
const end = begin + 1;
return new TimeSpan(begin, end); */
};
// The position of a time value relative to the start of its cycle.
@@ -63,20 +145,20 @@ Fraction.prototype.or = function (other) {
return this.eq(0) ? other : this;
};
const fraction = (n) => {
/* const fraction = (n) => {
if (typeof n === 'number') {
/*
https://github.com/infusion/Fraction.js/#doubles
„If you pass a double as it is, Fraction.js will perform a number analysis based on Farey Sequences."
„If you want to keep the number as it is, convert it to a string, as the string parser will not perform any further observations“
// https://github.com/infusion/Fraction.js/#doubles
// „If you pass a double as it is, Fraction.js will perform a number analysis based on Farey Sequences."
// „If you want to keep the number as it is, convert it to a string, as the string parser will not perform any further observations“
-> those farey sequences turn out to make pattern querying ~20 times slower! always use strings!
-> still, some optimizations could be done: .mul .div .add .sub calls still use numbers
*/
// -> those farey sequences turn out to make pattern querying ~20 times slower! always use strings!
// -> still, some optimizations could be done: .mul .div .add .sub calls still use numbers
n = String(n);
}
return Fraction(n);
};
}; */
const fraction = (n) => new Fraction(n);
export const gcd = (...fractions) => {
return fractions.reduce((gcd, fraction) => gcd.gcd(fraction), fraction(1));
+1 -1
View File
@@ -89,7 +89,7 @@ export default (_code) => {
const isMarkable = isPatternArg(parents) || hasModifierCall(parent);
// add to location to pure(x) calls
if (node.type === 'CallExpression' && node.callee.name === 'pure') {
if (addLocations && node.type === 'CallExpression' && node.callee.name === 'pure') {
const literal = node.arguments[0];
// const value = literal[{ LiteralNumericExpression: 'value', LiteralStringExpression: 'name' }[literal.type]];
return reifyWithLocation(literal, node.arguments[0], ast.locations, artificialNodes);
+61
View File
@@ -0,0 +1,61 @@
# study: why are there so many calls?
- `pure('c3')` => 746 calls per second...
- shapeshifted: `(async()=>{return reify("c3").withLocation([1,5,20],[1,9,24])})()`Ï => same # of calls with or without shapeshifting
- without highlighting (// strudel disable-highlighting), there are only 15 calls
## call stack
this is how the ~15 calls are made for the first query:
- keypress -> activateCode -> evaluate -> safeEval -> pure -> new Pattern (pretty simple)
- query 0
- const timespan = new TimeSpan(0,1)
- Fraction(0), Fraction(1)
- onQuery(new State(timespan))
- pattern.query(state)
- pure.query(state)
- state.span.spanCycles
- end.sam() -> this.floor -> new Fraction
- begin.sam -> this.floor -> new Fraction
- begin.nextSam
- begin.sam -> this.floor -> new Fraction
- .add(1) -> new Fraction
- Fraction(0).wholeCycle -> new TimeSpan(0, 1)
- this.sam -> new Fraction(0)
- this.nextSam -> new Fraction(1)
- new Hap(TimeSpan(0,1), TimeSpan(0,1), 'c3')
- Tone.getTransport().cancel(0);
- queryNextTime = 0.5
- t = 0.6
## from simple to complicated
(all without highlighting)
- `pure('c3')`: 15 calls
- `pure('c3').fast(1)`: 74 calls
- `pure('c3').fast(1).fast(1)`: 133 calls
- `pure('c3').fast(1).fast(1).fast(1)`: 192 calls
- `pure('c3').fast(1).fast(1).fast(1).fast(1)`: 251 calls
- `pure('c3').fast(1).fast(1).fast(1).fast(1).fast(1)`: 310 calls
- `pure('c3').fast(2)`: 94 calls
- `pure('c3').fast(2).fast(2)`: 264 calls
- `pure('c3').fast(2).fast(2).fast(2)`: 636 calls
- `pure('c3').fast(4)`: 134 calls
## WIL
- Fraction.wholeCycle: returns a timespan for the whole cycle the given fraction is in. Fraction(n).wholeCycle -> TimeSpan(n.floor, n.floor+1)
- e.g. `Fraction(0.5).wholeCycle` -> `TimeSpan(0, 1)`
- TimeSpan.spanCycles: returns an array of whole cycle timespans that intersect with the given timespan
- e.g. `TimeSpan(0.5, 1.5)` -> `[TimeSpan(0, 1), TimeSpan(1, 2)]`
- pure: returns one Hap for spanCycles of query span. Hap will get wholeCycle as whole and query span as part
- reify: turns non patterns into patterns using pure. makes sure you get a pattern
## notes
- slowcat -> sequence -> fastcat -> slowcat is a somewhat hidden recursion
- slowcat -> pat_n can be negative and will then return an empty array. is that good? shouldn't pat_n be always a positive index?
- slowcat offset: how to think about this?
- slowcat: why add offset and sub it from the query span?