braid-text 0.2.107 → 0.2.109
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/index.js +7 -2
- package/package.json +12 -2
- package/.claude/settings.local.json +0 -9
- package/test/fuzz-test.js +0 -643
- package/test/test.html +0 -118
- package/test/test.js +0 -321
- package/test/tests.js +0 -2899
package/test/fuzz-test.js
DELETED
|
@@ -1,643 +0,0 @@
|
|
|
1
|
-
|
|
2
|
-
let { Doc } = require("@braid.org/diamond-types-node")
|
|
3
|
-
let braid_text = require('../index.js')
|
|
4
|
-
let {dt_get, dt_get_patches, dt_parse, dt_create_bytes, dt_get_local_version, RangeSet} = braid_text
|
|
5
|
-
|
|
6
|
-
process.on("unhandledRejection", (x) =>
|
|
7
|
-
console.log(`unhandledRejection: ${x.stack ?? x}`)
|
|
8
|
-
)
|
|
9
|
-
process.on("uncaughtException", (x) =>
|
|
10
|
-
console.log(`uncaughtException: ${x.stack ?? x}`)
|
|
11
|
-
)
|
|
12
|
-
|
|
13
|
-
braid_text.db_folder = null
|
|
14
|
-
|
|
15
|
-
async function test_db() {
|
|
16
|
-
braid_text.db_folder = './braid-text-db'
|
|
17
|
-
var key = Math.random().toString(36).slice(2)
|
|
18
|
-
await braid_text.put(key, {version: ['a-0'], body: 'A'})
|
|
19
|
-
await braid_text.put(key, {version: ['a-2'], parents: ['a-0'], patches: [{range: '[1:1]', content: 'B'}]})
|
|
20
|
-
delete braid_text.cache[key]
|
|
21
|
-
var {version, body} = await braid_text.get(key, {})
|
|
22
|
-
|
|
23
|
-
if (body != 'AB') throw new Error('db error')
|
|
24
|
-
|
|
25
|
-
braid_text.db_folder = null
|
|
26
|
-
}
|
|
27
|
-
|
|
28
|
-
async function test_dt_get_local_version() {
|
|
29
|
-
for (var tt = 0; tt < 100; tt++) {
|
|
30
|
-
var st = Date.now()
|
|
31
|
-
|
|
32
|
-
var doc = new Doc('x')
|
|
33
|
-
var n = 100
|
|
34
|
-
var v_array = []
|
|
35
|
-
var p_array = []
|
|
36
|
-
var agents = ['hi']
|
|
37
|
-
var agent_rangesets = {}
|
|
38
|
-
|
|
39
|
-
for (var i = 0; i < n; i++) {
|
|
40
|
-
// console.log(`i = ${i}`)
|
|
41
|
-
|
|
42
|
-
// Math.randomSeed('seed::::' + i)
|
|
43
|
-
|
|
44
|
-
var agent = agents[0]
|
|
45
|
-
|
|
46
|
-
var seq = null
|
|
47
|
-
if (!agent_rangesets[agent]) agent_rangesets[agent] = new RangeSet()
|
|
48
|
-
var ranges = agent_rangesets[agent].ranges
|
|
49
|
-
if (!ranges.length) {
|
|
50
|
-
seq = Math.floor(Math.random() * 10)
|
|
51
|
-
} else {
|
|
52
|
-
var ii
|
|
53
|
-
if (ranges[0]?.[0] === 0)
|
|
54
|
-
ii = Math.floor(Math.random() * ranges.length)
|
|
55
|
-
else
|
|
56
|
-
ii = Math.floor(Math.random() * (ranges.length + 1)) - 1
|
|
57
|
-
var low = ii < 0 ? 0 : ranges[ii][1] + 1
|
|
58
|
-
var high = ii + 1 < ranges.length ? ranges[ii + 1][0] - 1 : ranges[ii][1] + 10
|
|
59
|
-
seq = Math.random() < 0.8 ? low : low + Math.floor(Math.random() * (high - low + 1))
|
|
60
|
-
}
|
|
61
|
-
agent_rangesets[agent].add_range(seq, seq)
|
|
62
|
-
v_array.push(`${agent}-${seq}`)
|
|
63
|
-
|
|
64
|
-
var parents = []
|
|
65
|
-
var shadow = new Set()
|
|
66
|
-
if (p_array.length) {
|
|
67
|
-
var starting_point = Math.floor(Math.random() * p_array.length)
|
|
68
|
-
parents.push(starting_point)
|
|
69
|
-
for (var p of p_array[starting_point]) shadow.add(p)
|
|
70
|
-
for (var ii = starting_point - 1; ii >= 0 && Math.random() < 0.9; ii--) {
|
|
71
|
-
if (!shadow.has(ii) && Math.random() < 0.5) {
|
|
72
|
-
parents.push(ii)
|
|
73
|
-
shadow.add(ii)
|
|
74
|
-
}
|
|
75
|
-
if (shadow.has(ii))
|
|
76
|
-
for (var p of p_array[ii])
|
|
77
|
-
shadow.add(p)
|
|
78
|
-
}
|
|
79
|
-
}
|
|
80
|
-
p_array.push(parents)
|
|
81
|
-
parents = parents.map(p => v_array[p])
|
|
82
|
-
|
|
83
|
-
let args = [`${agent}-${seq}`, parents, 0, 0, 'x']
|
|
84
|
-
// console.log(args)
|
|
85
|
-
|
|
86
|
-
doc.mergeBytes(dt_create_bytes(...args))
|
|
87
|
-
}
|
|
88
|
-
|
|
89
|
-
var bytes = doc.toBytes()
|
|
90
|
-
|
|
91
|
-
for (var t = 0; t < 100; t++) {
|
|
92
|
-
// if (t % 10 === 0) console.log(` t = ${t}`)
|
|
93
|
-
|
|
94
|
-
var version = []
|
|
95
|
-
var vv_array = [...v_array]
|
|
96
|
-
while (!version.length || (vv_array.length && Math.random() < 0.9)) {
|
|
97
|
-
version.push(vv_array.splice(Math.floor(Math.random() * vv_array.length), 1)[0])
|
|
98
|
-
}
|
|
99
|
-
|
|
100
|
-
var local_new = dt_get_local_version(bytes, version)
|
|
101
|
-
var local_old = old_dt_get_local_version(bytes, version)
|
|
102
|
-
|
|
103
|
-
if (local_new.some((x, i) => x != local_old[i])) {
|
|
104
|
-
throw new Error('bad!')
|
|
105
|
-
}
|
|
106
|
-
}
|
|
107
|
-
|
|
108
|
-
console.log(`[tt=${tt}] total T = ${Date.now() - st}`)
|
|
109
|
-
}
|
|
110
|
-
}
|
|
111
|
-
|
|
112
|
-
function old_dt_get_local_version(bytes, version) {
|
|
113
|
-
var [_agents, versions, _parentss] = dt_parse([...bytes])
|
|
114
|
-
|
|
115
|
-
var frontier = new Set(version)
|
|
116
|
-
|
|
117
|
-
var local_version = []
|
|
118
|
-
for (var i = 0; i < versions.length; i++) {
|
|
119
|
-
var v = versions[i].join("-")
|
|
120
|
-
if (frontier.has(v)) {
|
|
121
|
-
local_version.push(i)
|
|
122
|
-
frontier.delete(v)
|
|
123
|
-
}
|
|
124
|
-
}
|
|
125
|
-
|
|
126
|
-
if (frontier.size) throw new Error(`version not found: ${version}`)
|
|
127
|
-
|
|
128
|
-
return local_version
|
|
129
|
-
}
|
|
130
|
-
|
|
131
|
-
async function test_misc() {
|
|
132
|
-
// make sure we get a "missing parent version"
|
|
133
|
-
// when we give wrong parents to braid_text.put
|
|
134
|
-
try {
|
|
135
|
-
await braid_text.put('test_misc', {
|
|
136
|
-
merge_type: 'dt',
|
|
137
|
-
version: ['ab-0'],
|
|
138
|
-
parents: ['missing-0'],
|
|
139
|
-
patches: [{ unit: 'text', range: '[0:0]', content: 'x' }]
|
|
140
|
-
})
|
|
141
|
-
throw new Error('test failed')
|
|
142
|
-
} catch (e) {
|
|
143
|
-
if (!e.message.startsWith('missing parent version')) throw new Error('test failed')
|
|
144
|
-
}
|
|
145
|
-
}
|
|
146
|
-
|
|
147
|
-
async function main() {
|
|
148
|
-
let best_seed = NaN
|
|
149
|
-
let best_n = Infinity
|
|
150
|
-
let base = Math.floor(Math.random() * 10000000)
|
|
151
|
-
let st = Date.now()
|
|
152
|
-
|
|
153
|
-
await test_misc()
|
|
154
|
-
|
|
155
|
-
await test_dt_get_local_version()
|
|
156
|
-
|
|
157
|
-
await test_db()
|
|
158
|
-
|
|
159
|
-
let og_log = console.log
|
|
160
|
-
console.log = () => {}
|
|
161
|
-
for (let t = 0; t < 10000; t++) {
|
|
162
|
-
let seed = base + t
|
|
163
|
-
// for (let t = 0; t < 1; t++) {
|
|
164
|
-
// let seed = 9803841
|
|
165
|
-
|
|
166
|
-
og_log(`t = ${t}, seed = ${seed}, best_n = ${best_n} @ ${best_seed}`)
|
|
167
|
-
Math.randomSeed(seed)
|
|
168
|
-
|
|
169
|
-
let n = Math.floor(Math.random() * 15)
|
|
170
|
-
console.log(`n = ${n}`)
|
|
171
|
-
|
|
172
|
-
try {
|
|
173
|
-
// create a bunch of edits called doc,
|
|
174
|
-
// and remember a point along the way of adding all these edits,
|
|
175
|
-
// called middle_doc
|
|
176
|
-
let doc = new Doc('server')
|
|
177
|
-
let middle_doc = null
|
|
178
|
-
|
|
179
|
-
if (!middle_doc && (Math.random() < 1/n || n == 0))
|
|
180
|
-
middle_doc = Doc.fromBytes(doc.toBytes())
|
|
181
|
-
for (let i = 0; i < n; i++) {
|
|
182
|
-
console.log(`edit ${i}`)
|
|
183
|
-
|
|
184
|
-
make_random_edit(doc)
|
|
185
|
-
if (!middle_doc && (Math.random() < 1/n || i == n - 1))
|
|
186
|
-
middle_doc = Doc.fromBytes(doc.toBytes())
|
|
187
|
-
}
|
|
188
|
-
if (!middle_doc) throw new Error('bad')
|
|
189
|
-
|
|
190
|
-
// put them into braid-text
|
|
191
|
-
let dt_to_braid = async (doc, key) => {
|
|
192
|
-
await braid_text.get(key, {})
|
|
193
|
-
for (let x of dt_get_patches(doc)) {
|
|
194
|
-
var resource = await braid_text.get_resource(key)
|
|
195
|
-
var [actor, seq] = braid_text.decode_version(x.version)
|
|
196
|
-
var old_text = await braid_text.get(key)
|
|
197
|
-
|
|
198
|
-
console.log(`x = `, x)
|
|
199
|
-
let y = {
|
|
200
|
-
merge_type: 'dt',
|
|
201
|
-
version: [x.version],
|
|
202
|
-
parents: x.parents,
|
|
203
|
-
patches: [{
|
|
204
|
-
unit: x.unit,
|
|
205
|
-
range: x.range,
|
|
206
|
-
content: x.content
|
|
207
|
-
}]
|
|
208
|
-
}
|
|
209
|
-
await braid_text.put(key, y)
|
|
210
|
-
y.validate_already_seen_versions = true
|
|
211
|
-
await braid_text.put(key, y)
|
|
212
|
-
}
|
|
213
|
-
}
|
|
214
|
-
await dt_to_braid(doc, 'doc')
|
|
215
|
-
await dt_to_braid(middle_doc, 'middle_doc')
|
|
216
|
-
console.log(`doc dt = ${doc.get()}`)
|
|
217
|
-
console.log(`middle_doc dt = ${middle_doc.get()}`)
|
|
218
|
-
console.log(`doc = ${await braid_text.get('doc')}`)
|
|
219
|
-
console.log(`middle_doc = ${await braid_text.get('middle_doc')}`)
|
|
220
|
-
|
|
221
|
-
// ensure they look right
|
|
222
|
-
if (doc.get() != await braid_text.get('doc')) throw new Error('bad')
|
|
223
|
-
if (middle_doc.get() != await braid_text.get('middle_doc')) throw new Error('bad')
|
|
224
|
-
|
|
225
|
-
// test getting old version
|
|
226
|
-
let middle_v = middle_doc.getRemoteVersion().map(x => x.join('-')).sort()
|
|
227
|
-
console.log(`middle_doc = ${await braid_text.get('middle_doc')}`)
|
|
228
|
-
console.log(`middle_v = `, middle_v)
|
|
229
|
-
|
|
230
|
-
let doc_v = doc.getRemoteVersion().map(x => x.join('-')).sort()
|
|
231
|
-
console.log(`doc_v = `, doc_v)
|
|
232
|
-
|
|
233
|
-
console.log(`doc = `, await braid_text.get('doc', {version: middle_v}))
|
|
234
|
-
if (await braid_text.get('middle_doc') != (await braid_text.get('doc', {version: middle_v})).body) throw new Error('bad')
|
|
235
|
-
|
|
236
|
-
// test simplton
|
|
237
|
-
var first_time = true
|
|
238
|
-
await new Promise(async (done, fail) => {
|
|
239
|
-
await braid_text.get('middle_doc', {peer: 'sim', subscribe: async update => {
|
|
240
|
-
if (first_time) {
|
|
241
|
-
first_time = false
|
|
242
|
-
if (update.body !== await braid_text.get('middle_doc')) fail(new Error('simpleton fail'))
|
|
243
|
-
done()
|
|
244
|
-
}
|
|
245
|
-
}})
|
|
246
|
-
})
|
|
247
|
-
|
|
248
|
-
// test handler on dt
|
|
249
|
-
braid_text.get('middle_doc', {merge_type: 'dt', subscribe: async update => {}})
|
|
250
|
-
|
|
251
|
-
// test transfer_encoding "dt"
|
|
252
|
-
var transfer_doc = new Doc()
|
|
253
|
-
|
|
254
|
-
var r = await braid_text.get('middle_doc', {
|
|
255
|
-
transfer_encoding: 'dt'
|
|
256
|
-
})
|
|
257
|
-
|
|
258
|
-
transfer_doc.mergeBytes(r.body)
|
|
259
|
-
|
|
260
|
-
if (transfer_doc.get() !== await braid_text.get('middle_doc')) throw new Error('bad')
|
|
261
|
-
|
|
262
|
-
var r = await braid_text.get('doc', {
|
|
263
|
-
transfer_encoding: 'dt',
|
|
264
|
-
parents: middle_v
|
|
265
|
-
})
|
|
266
|
-
|
|
267
|
-
transfer_doc.mergeBytes(r.body)
|
|
268
|
-
|
|
269
|
-
if (transfer_doc.get() !== await braid_text.get('doc')) throw new Error('bad')
|
|
270
|
-
|
|
271
|
-
// try getting updates from middle_doc to doc
|
|
272
|
-
if (!v_eq(middle_v, doc_v)) {
|
|
273
|
-
var ac = new AbortController()
|
|
274
|
-
await new Promise(async done => {
|
|
275
|
-
braid_text.get('doc', {
|
|
276
|
-
signal: ac.signal,
|
|
277
|
-
merge_type: 'dt',
|
|
278
|
-
parents: middle_v,
|
|
279
|
-
subscribe: async update => {
|
|
280
|
-
await braid_text.put('middle_doc', update)
|
|
281
|
-
middle_v = (await braid_text.get_resource('middle_doc')).version
|
|
282
|
-
if (v_eq(doc_v, middle_v)) done()
|
|
283
|
-
}
|
|
284
|
-
})
|
|
285
|
-
})
|
|
286
|
-
ac.abort()
|
|
287
|
-
}
|
|
288
|
-
|
|
289
|
-
if (await braid_text.get('middle_doc') != await braid_text.get('doc')) throw new Error('bad')
|
|
290
|
-
|
|
291
|
-
doc.free()
|
|
292
|
-
middle_doc.free()
|
|
293
|
-
for (let p of Object.values(braid_text.cache))
|
|
294
|
-
(await p).doc.free()
|
|
295
|
-
braid_text.cache = {}
|
|
296
|
-
} catch (e) {
|
|
297
|
-
if (console.log == og_log) throw e
|
|
298
|
-
if (n < best_n) {
|
|
299
|
-
best_n = n
|
|
300
|
-
best_seed = seed
|
|
301
|
-
}
|
|
302
|
-
}
|
|
303
|
-
}
|
|
304
|
-
og_log(`best_seed = ${best_seed}, best_n = ${best_n}`)
|
|
305
|
-
og_log(`time = ${Date.now() - st}`)
|
|
306
|
-
}
|
|
307
|
-
|
|
308
|
-
function make_random_edit(doc) {
|
|
309
|
-
let [agents, versions, _parentss] = dt_parse([...doc.toBytes()])
|
|
310
|
-
|
|
311
|
-
let agent = (agents.length && Math.random() > 0.5) ?
|
|
312
|
-
agents[Math.floor(Math.random() * agents.length)] :
|
|
313
|
-
Math.random().toString(36).slice(2)
|
|
314
|
-
|
|
315
|
-
let include_versions = []
|
|
316
|
-
let base_seq = -1
|
|
317
|
-
var used_seqs = new Set()
|
|
318
|
-
for (let i = 0; i < versions.length; i++) {
|
|
319
|
-
let [a, seq] = versions[i]
|
|
320
|
-
if (Math.random() > 0.5) {
|
|
321
|
-
include_versions.push(a + '-' + seq)
|
|
322
|
-
}
|
|
323
|
-
if (a == agent && seq > base_seq) base_seq = seq
|
|
324
|
-
if (a == agent) used_seqs.add(seq)
|
|
325
|
-
}
|
|
326
|
-
base_seq++
|
|
327
|
-
|
|
328
|
-
function choose_seq(len) {
|
|
329
|
-
L1: for (var t = 0; 1000000; t++) {
|
|
330
|
-
var choice = Math.floor(Math.random() * (base_seq * 1.2 + 10))
|
|
331
|
-
for (var i = choice; i < choice + len; i++)
|
|
332
|
-
if (used_seqs.has(i)) continue L1
|
|
333
|
-
return choice
|
|
334
|
-
}
|
|
335
|
-
throw new Error('failed to find seq')
|
|
336
|
-
}
|
|
337
|
-
|
|
338
|
-
console.log({agents, versions, include_versions})
|
|
339
|
-
|
|
340
|
-
let parent_doc = dt_get(doc, include_versions)
|
|
341
|
-
|
|
342
|
-
let parents = parent_doc.getRemoteVersion().map(x => x.join('-'))
|
|
343
|
-
|
|
344
|
-
let len = parent_doc.len()
|
|
345
|
-
console.log(`len = ${len}`)
|
|
346
|
-
|
|
347
|
-
parent_doc.free()
|
|
348
|
-
|
|
349
|
-
if (len && Math.random() > 0.5) {
|
|
350
|
-
// delete
|
|
351
|
-
let start = Math.floor(Math.random() * len)
|
|
352
|
-
let del_len = Math.floor(Math.random() * (len - start - 1)) + 1
|
|
353
|
-
|
|
354
|
-
let args = [`${agent}-${choose_seq(del_len)}`, parents, start, del_len, null]
|
|
355
|
-
console.log(args)
|
|
356
|
-
doc.mergeBytes(dt_create_bytes(...args))
|
|
357
|
-
} else {
|
|
358
|
-
// insert
|
|
359
|
-
let start = Math.floor(Math.random() * (len + 1))
|
|
360
|
-
let n = Math.floor(Math.random() * 10) + 1
|
|
361
|
-
let ins = Array(n).fill(0).map(() => getRandomCharacter()).join('')
|
|
362
|
-
|
|
363
|
-
let args = [`${agent}-${choose_seq(n)}`, parents, start, 0, ins]
|
|
364
|
-
console.log(args)
|
|
365
|
-
doc.mergeBytes(dt_create_bytes(...args))
|
|
366
|
-
}
|
|
367
|
-
|
|
368
|
-
// work here
|
|
369
|
-
console.log(`doc => ${doc.get()}`)
|
|
370
|
-
}
|
|
371
|
-
|
|
372
|
-
function v_eq(v1, v2) {
|
|
373
|
-
return v1.length == v2.length && v1.every((x, i) => x == v2[i])
|
|
374
|
-
}
|
|
375
|
-
|
|
376
|
-
//////////////////////////////////////////////////////////////////
|
|
377
|
-
//////////////////////////////////////////////////////////////////
|
|
378
|
-
//////////////////////////////////////////////////////////////////
|
|
379
|
-
|
|
380
|
-
function getRandomCharacter() {
|
|
381
|
-
const characters = [
|
|
382
|
-
// ASCII characters
|
|
383
|
-
'A', 'B', 'C', 'D', 'E', 'F', 'G', 'H', 'I', 'J', 'K', 'L', 'M',
|
|
384
|
-
'N', 'O', 'P', 'Q', 'R', 'S', 'T', 'U', 'V', 'W', 'X', 'Y', 'Z',
|
|
385
|
-
'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm',
|
|
386
|
-
'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z',
|
|
387
|
-
'0', '1', '2', '3', '4', '5', '6', '7', '8', '9',
|
|
388
|
-
'!', '@', '#', '$', '%', '^', '&', '*', '(', ')', '-', '_', '+', '=',
|
|
389
|
-
|
|
390
|
-
// Unicode characters (each is a single code point)
|
|
391
|
-
'α', 'β', 'γ', 'δ', 'ε', 'ζ', 'η', 'θ', // Greek letters
|
|
392
|
-
'零', '一', '二', '三', '四', '五', '六', '七', // Chinese numerals
|
|
393
|
-
'☀', '☁', '☂', '☃', '☄', '★', '☆', '☇', // Miscellaneous symbols
|
|
394
|
-
'🌈', '🌞', '🌝', '🌚', '🌕', '🌖', '🌗', '🌘', // Emoji (may be multiple UTF-16 units)
|
|
395
|
-
'Ω', 'π', '∑', '√', '∫', '∀', '∂', '∃', // Mathematical symbols
|
|
396
|
-
'あ', 'い', 'う', 'え', 'お', 'か', 'き', 'く', // Japanese Hiragana
|
|
397
|
-
'ا', 'ب', 'ت', 'ث', 'ج', 'ح', 'خ', 'د', // Arabic letters
|
|
398
|
-
];
|
|
399
|
-
|
|
400
|
-
const randomIndex = Math.floor(Math.random() * characters.length);
|
|
401
|
-
return characters[randomIndex];
|
|
402
|
-
}
|
|
403
|
-
|
|
404
|
-
/////////
|
|
405
|
-
|
|
406
|
-
// the next two functions added by me
|
|
407
|
-
|
|
408
|
-
function create_rand(seed) {
|
|
409
|
-
if (typeof (seed) == 'string') {
|
|
410
|
-
var t = new MersenneTwister(0)
|
|
411
|
-
var a = []
|
|
412
|
-
for (var i = 0; i < seed.length; i++)
|
|
413
|
-
a[i] = seed.charCodeAt(i)
|
|
414
|
-
t.init_by_array(a, a.length)
|
|
415
|
-
} else if (typeof (seed) == 'number') {
|
|
416
|
-
var t = new MersenneTwister(seed)
|
|
417
|
-
} else {
|
|
418
|
-
var t = new MersenneTwister()
|
|
419
|
-
}
|
|
420
|
-
return () => t.random()
|
|
421
|
-
}
|
|
422
|
-
|
|
423
|
-
Math.randomSeed = function (seed) {
|
|
424
|
-
var r = create_rand(seed)
|
|
425
|
-
Math.random = () => r()
|
|
426
|
-
}
|
|
427
|
-
|
|
428
|
-
/* The following piece of code is an implementation of MersenneTwister object
|
|
429
|
-
taken from https://gist.github.com/banksean/300494, with one method
|
|
430
|
-
xor_array(array, size) added.
|
|
431
|
-
*/
|
|
432
|
-
|
|
433
|
-
/*
|
|
434
|
-
I've wrapped Makoto Matsumoto and Takuji Nishimura's code in a namespace
|
|
435
|
-
so it's better encapsulated. Now you can have multiple random number generators
|
|
436
|
-
and they won't stomp all over eachother's state.
|
|
437
|
-
|
|
438
|
-
If you want to use this as a substitute for Math.random(), use the random()
|
|
439
|
-
method like so:
|
|
440
|
-
|
|
441
|
-
var m = new MersenneTwister();
|
|
442
|
-
var randomNumber = m.random();
|
|
443
|
-
|
|
444
|
-
You can also call the other genrand_{foo}() methods on the instance.
|
|
445
|
-
|
|
446
|
-
If you want to use a specific seed in order to get a repeatable random
|
|
447
|
-
sequence, pass an integer into the constructor:
|
|
448
|
-
|
|
449
|
-
var m = new MersenneTwister(123);
|
|
450
|
-
|
|
451
|
-
and that will always produce the same random sequence.
|
|
452
|
-
|
|
453
|
-
Sean McCullough (banksean@gmail.com)
|
|
454
|
-
*/
|
|
455
|
-
|
|
456
|
-
/*
|
|
457
|
-
A C-program for MT19937, with initialization improved 2002/1/26.
|
|
458
|
-
Coded by Takuji Nishimura and Makoto Matsumoto.
|
|
459
|
-
|
|
460
|
-
Before using, initialize the state by using init_genrand(seed)
|
|
461
|
-
or init_by_array(init_key, key_length).
|
|
462
|
-
|
|
463
|
-
Copyright (C) 1997 - 2002, Makoto Matsumoto and Takuji Nishimura,
|
|
464
|
-
All rights reserved.
|
|
465
|
-
|
|
466
|
-
Redistribution and use in source and binary forms, with or without
|
|
467
|
-
modification, are permitted provided that the following conditions
|
|
468
|
-
are met:
|
|
469
|
-
|
|
470
|
-
1. Redistributions of source code must retain the above copyright
|
|
471
|
-
notice, this list of conditions and the following disclaimer.
|
|
472
|
-
|
|
473
|
-
2. Redistributions in binary form must reproduce the above copyright
|
|
474
|
-
notice, this list of conditions and the following disclaimer in the
|
|
475
|
-
documentation and/or other materials provided with the distribution.
|
|
476
|
-
|
|
477
|
-
3. The names of its contributors may not be used to endorse or promote
|
|
478
|
-
products derived from this software without specific prior written
|
|
479
|
-
permission.
|
|
480
|
-
|
|
481
|
-
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
482
|
-
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
483
|
-
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
|
|
484
|
-
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
|
|
485
|
-
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
|
|
486
|
-
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
|
|
487
|
-
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
|
|
488
|
-
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
|
|
489
|
-
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
|
|
490
|
-
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
|
|
491
|
-
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
|
|
492
|
-
|
|
493
|
-
|
|
494
|
-
Any feedback is very welcome.
|
|
495
|
-
http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/emt.html
|
|
496
|
-
email: m-mat @ math.sci.hiroshima-u.ac.jp (remove space)
|
|
497
|
-
*/
|
|
498
|
-
|
|
499
|
-
var MersenneTwister = function (seed) {
|
|
500
|
-
if (seed == undefined) {
|
|
501
|
-
seed = new Date().getTime();
|
|
502
|
-
}
|
|
503
|
-
/* Period parameters */
|
|
504
|
-
this.N = 624;
|
|
505
|
-
this.M = 397;
|
|
506
|
-
this.MATRIX_A = 0x9908b0df; /* constant vector a */
|
|
507
|
-
this.UPPER_MASK = 0x80000000; /* most significant w-r bits */
|
|
508
|
-
this.LOWER_MASK = 0x7fffffff; /* least significant r bits */
|
|
509
|
-
|
|
510
|
-
this.mt = new Array(this.N); /* the array for the state vector */
|
|
511
|
-
this.mti = this.N + 1; /* mti==N+1 means mt[N] is not initialized */
|
|
512
|
-
|
|
513
|
-
this.init_genrand(seed);
|
|
514
|
-
}
|
|
515
|
-
|
|
516
|
-
/* initializes mt[N] with a seed */
|
|
517
|
-
MersenneTwister.prototype.init_genrand = function (s) {
|
|
518
|
-
this.mt[0] = s >>> 0;
|
|
519
|
-
for (this.mti = 1; this.mti < this.N; this.mti++) {
|
|
520
|
-
var s = this.mt[this.mti - 1] ^ (this.mt[this.mti - 1] >>> 30);
|
|
521
|
-
this.mt[this.mti] = (((((s & 0xffff0000) >>> 16) * 1812433253) << 16) + (s & 0x0000ffff) * 1812433253)
|
|
522
|
-
+ this.mti;
|
|
523
|
-
/* See Knuth TAOCP Vol2. 3rd Ed. P.106 for multiplier. */
|
|
524
|
-
/* In the previous versions, MSBs of the seed affect */
|
|
525
|
-
/* only MSBs of the array mt[]. */
|
|
526
|
-
/* 2002/01/09 modified by Makoto Matsumoto */
|
|
527
|
-
this.mt[this.mti] >>>= 0;
|
|
528
|
-
/* for >32 bit machines */
|
|
529
|
-
}
|
|
530
|
-
}
|
|
531
|
-
|
|
532
|
-
/* initialize by an array with array-length */
|
|
533
|
-
/* init_key is the array for initializing keys */
|
|
534
|
-
/* key_length is its length */
|
|
535
|
-
/* slight change for C++, 2004/2/26 */
|
|
536
|
-
MersenneTwister.prototype.init_by_array = function (init_key, key_length) {
|
|
537
|
-
var i, j, k;
|
|
538
|
-
this.init_genrand(19650218);
|
|
539
|
-
i = 1; j = 0;
|
|
540
|
-
k = (this.N > key_length ? this.N : key_length);
|
|
541
|
-
for (; k; k--) {
|
|
542
|
-
var s = this.mt[i - 1] ^ (this.mt[i - 1] >>> 30)
|
|
543
|
-
this.mt[i] = (this.mt[i] ^ (((((s & 0xffff0000) >>> 16) * 1664525) << 16) + ((s & 0x0000ffff) * 1664525)))
|
|
544
|
-
+ init_key[j] + j; /* non linear */
|
|
545
|
-
this.mt[i] >>>= 0; /* for WORDSIZE > 32 machines */
|
|
546
|
-
i++; j++;
|
|
547
|
-
if (i >= this.N) { this.mt[0] = this.mt[this.N - 1]; i = 1; }
|
|
548
|
-
if (j >= key_length) j = 0;
|
|
549
|
-
}
|
|
550
|
-
for (k = this.N - 1; k; k--) {
|
|
551
|
-
var s = this.mt[i - 1] ^ (this.mt[i - 1] >>> 30);
|
|
552
|
-
this.mt[i] = (this.mt[i] ^ (((((s & 0xffff0000) >>> 16) * 1566083941) << 16) + (s & 0x0000ffff) * 1566083941))
|
|
553
|
-
- i; /* non linear */
|
|
554
|
-
this.mt[i] >>>= 0; /* for WORDSIZE > 32 machines */
|
|
555
|
-
i++;
|
|
556
|
-
if (i >= this.N) { this.mt[0] = this.mt[this.N - 1]; i = 1; }
|
|
557
|
-
}
|
|
558
|
-
|
|
559
|
-
this.mt[0] = 0x80000000; /* MSB is 1; assuring non-zero initial array */
|
|
560
|
-
}
|
|
561
|
-
|
|
562
|
-
/* XORs the mt array with a given array xor_key of length key_length */
|
|
563
|
-
MersenneTwister.prototype.xor_array = function (xor_key, key_length) {
|
|
564
|
-
var i, j;
|
|
565
|
-
j = 0;
|
|
566
|
-
for (i = 0; i < this.N; i++) {
|
|
567
|
-
this.mt[i] ^= xor_key[j];
|
|
568
|
-
this.mt[i] >>>= 0;
|
|
569
|
-
j++;
|
|
570
|
-
if (j >= key_length) j = 0;
|
|
571
|
-
}
|
|
572
|
-
}
|
|
573
|
-
|
|
574
|
-
/* generates a random number on [0,0xffffffff]-interval */
|
|
575
|
-
MersenneTwister.prototype.genrand_int32 = function () {
|
|
576
|
-
var y;
|
|
577
|
-
var mag01 = new Array(0x0, this.MATRIX_A);
|
|
578
|
-
/* mag01[x] = x * MATRIX_A for x=0,1 */
|
|
579
|
-
|
|
580
|
-
if (this.mti >= this.N) { /* generate N words at one time */
|
|
581
|
-
var kk;
|
|
582
|
-
|
|
583
|
-
if (this.mti == this.N + 1) /* if init_genrand() has not been called, */
|
|
584
|
-
this.init_genrand(5489); /* a default initial seed is used */
|
|
585
|
-
|
|
586
|
-
for (kk = 0; kk < this.N - this.M; kk++) {
|
|
587
|
-
y = (this.mt[kk] & this.UPPER_MASK) | (this.mt[kk + 1] & this.LOWER_MASK);
|
|
588
|
-
this.mt[kk] = this.mt[kk + this.M] ^ (y >>> 1) ^ mag01[y & 0x1];
|
|
589
|
-
}
|
|
590
|
-
for (; kk < this.N - 1; kk++) {
|
|
591
|
-
y = (this.mt[kk] & this.UPPER_MASK) | (this.mt[kk + 1] & this.LOWER_MASK);
|
|
592
|
-
this.mt[kk] = this.mt[kk + (this.M - this.N)] ^ (y >>> 1) ^ mag01[y & 0x1];
|
|
593
|
-
}
|
|
594
|
-
y = (this.mt[this.N - 1] & this.UPPER_MASK) | (this.mt[0] & this.LOWER_MASK);
|
|
595
|
-
this.mt[this.N - 1] = this.mt[this.M - 1] ^ (y >>> 1) ^ mag01[y & 0x1];
|
|
596
|
-
|
|
597
|
-
this.mti = 0;
|
|
598
|
-
}
|
|
599
|
-
|
|
600
|
-
y = this.mt[this.mti++];
|
|
601
|
-
|
|
602
|
-
/* Tempering */
|
|
603
|
-
y ^= (y >>> 11);
|
|
604
|
-
y ^= (y << 7) & 0x9d2c5680;
|
|
605
|
-
y ^= (y << 15) & 0xefc60000;
|
|
606
|
-
y ^= (y >>> 18);
|
|
607
|
-
|
|
608
|
-
return y >>> 0;
|
|
609
|
-
}
|
|
610
|
-
|
|
611
|
-
/* generates a random number on [0,0x7fffffff]-interval */
|
|
612
|
-
MersenneTwister.prototype.genrand_int31 = function () {
|
|
613
|
-
return (this.genrand_int32() >>> 1);
|
|
614
|
-
}
|
|
615
|
-
|
|
616
|
-
/* generates a random number on [0,1]-real-interval */
|
|
617
|
-
MersenneTwister.prototype.genrand_real1 = function () {
|
|
618
|
-
return this.genrand_int32() * (1.0 / 4294967295.0);
|
|
619
|
-
/* divided by 2^32-1 */
|
|
620
|
-
}
|
|
621
|
-
|
|
622
|
-
/* generates a random number on [0,1)-real-interval */
|
|
623
|
-
MersenneTwister.prototype.random = function () {
|
|
624
|
-
return this.genrand_int32() * (1.0 / 4294967296.0);
|
|
625
|
-
/* divided by 2^32 */
|
|
626
|
-
}
|
|
627
|
-
|
|
628
|
-
/* generates a random number on (0,1)-real-interval */
|
|
629
|
-
MersenneTwister.prototype.genrand_real3 = function () {
|
|
630
|
-
return (this.genrand_int32() + 0.5) * (1.0 / 4294967296.0);
|
|
631
|
-
/* divided by 2^32 */
|
|
632
|
-
}
|
|
633
|
-
|
|
634
|
-
/* generates a random number on [0,1) with 53-bit resolution*/
|
|
635
|
-
MersenneTwister.prototype.genrand_res53 = function () {
|
|
636
|
-
var a = this.genrand_int32() >>> 5, b = this.genrand_int32() >>> 6;
|
|
637
|
-
return (a * 67108864.0 + b) * (1.0 / 9007199254740992.0);
|
|
638
|
-
}
|
|
639
|
-
|
|
640
|
-
/* These real versions are due to Isaku Wada, 2002/01/09 added */
|
|
641
|
-
|
|
642
|
-
////////////////////////////////////////////////////////////////////
|
|
643
|
-
main()
|