Re: [MLton] Crash in GC

Matthew Fluet <[email protected]> Mon, 7 Nov 2022 10:44:51 -0500
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL6V=pm=0WpE9s7gzaTcg75dxHu+TaTsMvBc-+MJC=iCeg@mail.gmail.com>
QWgsIGJyaWxsaWFudCAtLSBidWcgaWRlbnRpZmllZCEhCgpPbiBNb24sIE5vdiA3LCAyMDIyIGF0
IDg6NTQgQU0gQ2hyaXMgQ2FubmFtCjxjYW5uYW1AYWxsLWRheS1icmVha2Zhc3QuY29tPiB3cm90
ZToKPiBCdXQgSSBndWVzcyB3aGF0IHdlIGFjdHVhbGx5IG5lZWQgdG8ga25vdyAoPykgaXMgd2hh
dCBjYXVzZXMgdGhlIHBvaW50ZXIgaW4gb2xkIGdlbmVyYXRpb24gdG8gYmUgd3JpdHRlbiwgcG9p
bnRpbmcgdG8gdGhpcyBudXJzZXJ5IGFkZHJlc3MuIFNvIEkgYWRkZWQgYSBzZWNvbmQgd2F0Y2hw
b2ludCwgYW5kIHRoZSBvcmRlciBvZiBldmVudHMgaXMgbGlrZSB0aGlzOgo+Cj4gMS4gTnVyc2Vy
eSBhZGRyZXNzICgzNDZlMDApIGlzIGluaXRpYWxpc2VkIHRvIDEgaW4gc2VxdWVuY2UgYWxsb2Nh
dGUKPiAyLiBOdXJzZXJ5IGFkZHJlc3MgKDM0NmUwMCkgYW5kIGl0cyBzdXJyb3VuZGluZ3MgYXJl
IG1vZGlmaWVkIGluIHNlcXVlbmNlIHVwZGF0ZQo+IDMuIE9sZC1nZW5lcmF0aW9uIGFkZHJlc3Mg
KDI3MzA4KSBpcyBzZXQgdG8gcG9pbnQgdG8gdGhlIG51cnNlcnkgYWRkcmVzcwo+Cj4gQW5kICgz
KSBvY2N1cnMgbm90IGZyb20gYSBzZXF1ZW5jZSB1cGRhdGUsIGJ1dCB3aXRoaW4gYSBjYWxsIHRv
IEdDX3NlcXVlbmNlQ29weToKPiAuLi4KPgo+IEluIHRoZSBjYWxsIHRvIEdDX3NlcXVlbmNlQ29w
eSwgdGhlIGRlc3RpbmF0aW9uIGFkZHJlc3MgaXMgaW4gdGhlIG9sZCBnZW5lcmF0aW9uIGFuZCB0
aGUgc291cmNlIGFkZHJlc3MgaXMgaW4gdGhlIG51cnNlcnkuIEJ1dCBpdCBhcHBlYXJzIHRvIGJl
IGNhbGxlZCBmcm9tIGdlbmVyYXRlZCBjb2RlLCBub3QgZnJvbSBhIEdDIGFjdGlvbiAtIHRoZXJl
IGlzIG5vIEdDIG9jY3VycmluZyBhdCB0aGUgdGltZS4gV2h5IGlzIHNvbWV0aGluZyBvdXRzaWRl
IGEgR0MgY29weWluZyBkaXJlY3RseSB0byB0aGUgb2xkIGdlbmVyYXRpb24/IEFtIEkgZW50aXJl
bHkgbWlzdW5kZXJzdGFuZGluZz8KPgo+IChUaGUgcHJvZ3JhbSBkb2Vzbid0IGNhbGwgYW55IHBy
aW1pdGl2ZXMgb3IgTUx0b24gZnVuY3Rpb25zIGl0c2VsZiwgaXQgZG9lc24ndCB1c2UgY29weUFy
cmF5L2NvcHlWZWN0b3IpCgpObyBtaXN1bmRlcnN0YW5kaW5nIG9uIHlvdXIgcGFydCBhdCBhbGwu
ICBBIGxvdCBvZiB0aGUgcnVudGltZQpmdW5jdGlvbnMgYXJlICJtaXNuYW1lZCIsIGluIHRoZSBz
ZW5zZSB0aGF0IHdlIHVzZSAiR0NfIiBmb3IgYSBsb3Qgb2YKcnVudGltZSBmdW5jdGlvbnMgdGhh
dCBuZWVkIHRvIGtub3cgYWJvdXQgdGhlIEdDIChlLmcuLCBvYmplY3QgbGF5b3V0LApoZWFwIGlu
dmFyaWFudHMpLCBldmVuIGlmIHRoZXkgYXJlIG5vdCBzdHJpY3RseSBzcGVha2luZyBwZXJmb3Jt
ZWQKZHVyaW5nIGEgZ2FyYmFnZSBjb2xsZWN0aW9uLgoKQXMgeW91IGhhdmUgZGlzY292ZXJlZCwg
dGhlcmUgaXMgYW5vdGhlciB3YXkgYmVzaWRlcyBgQXJyYXkudXBkYXRlYAphbmQgcmVmZXJlbmNl
IGA6PWAgZm9yIGFuIG9sZCBnZW4gb2JqZWN0IHRvIGJlIHVwZGF0ZWQgd2l0aCBhIHBvaW50ZXIK
dG8gYSBudXJzZXJ5IG9iamVjdC4gIFRoZSBgR0Nfc2VxdWVuY2VDb3B5YCB3YXMgYWRkZWQgNSB5
ZWFycyBhZ28gdG8KaW1wcm92ZSB0aGUgcGVyZm9ybWFuY2Ugb2YgYSBudW1iZXIgb2YgYXJyYXkg
YW5kIHZlY3RvciBjb25zdHJ1Y3Rpb24KZnVuY3Rpb25zLiAgQXMgbm90ZWQgaW4gdGhlIGJhY2t0
cmFjZSwgdXNpbmcgYG1lbW1vdmVgIGFuZCBpdHMKcGxhdGZvcm0tZGVwZW5kZW50IG11bHRpLXdv
cmQgdmVjdG9yIGluc3RydWN0aW9ucyBpcyBhIGJpZyBpbXByb3ZlbWVudApvdmVyIE1MdG9uJ3Mg
b2xkIGVsZW1lbnQtYnktZWxlbWVudCBjb3B5aW5nIGxvb3AuICBTZWUKICBodHRwczovL2dpdGh1
Yi5jb20vTUx0b24vbWx0b24vYmxvYi9tYXN0ZXIvQ0hBTkdFTE9HLmFkb2M/cGxhaW49MSNMNTky
CmZvciBzb21lIGRldGFpbHMuICBFdmVuIGlmIHlvdXIgY29kZSBkb2VzIG5vdCBkaXJlY3RseSBj
YWxsCmBBcnJheS5jb3B5YCBvciBgQXJyYXkuY29weVZlY2AsIHRoZXJlIGFyZSBhIGxvdCBvZiBh
cnJheSBhbmQgdmVjdG9yCmNvbnN0cnVjdGlvbiBmdW5jdGlvbnMgaW4gdGhlIE1MdG9uIGltcGxl
bWVudGF0aW9uIG9mIHRoZSBTdGFuZGFyZApCYXNpcyBMaWJyYXJ5IHRoYXQgZG8gdXNlIGBHQ19z
ZXF1ZW5jZUNvcHlgLgoKQnV0LCB0aGUgYEdDX3NlcXVlbmNlQ29weWAgZnVuY3Rpb24KKGh0dHBz
Oi8vZ2l0aHViLmNvbS9NTHRvbi9tbHRvbi9ibG9iL21hc3Rlci9ydW50aW1lL2djL3NlcXVlbmNl
LmMjTDczKQpmYWlscyB0byBtYXJrIHRoZSBjYXJkIG9mIHRoZSBhcnJheSBvYmplY3QgdGhhdCBp
cyBiZWluZyB1cGRhdGVkLiAgVGhlCnBsYWNlcyB3aGVyZSBgR0Nfc2VxdWVuY2VDb3B5YCB3YXMg
Z2V0dGluZyB1cyB0aGUgYmlnZ2VzdCB3aW5zIHdhcyBpbgpzdHJpbmcgY3JlYXRpb24gb3BlcmF0
aW9ucywgd2hlcmUgdGhlIGVsZW1lbnRzIGFyZSBjaGFyYWN0ZXJzIGFuZCBub3QKb2JqZWN0IHBv
aW50ZXJzIChzbywgbm8gbmVlZCBmb3IgY2FyZCBtYXJraW5nKS4gIEJ1dCwgb2YgY291cnNlLCB0
aGUKb3BlcmF0aW9uIG1ha2VzIHNlbnNlIGZvciBhcnJheXMgd2l0aCBlbGVtZW50cyBjb250YWlu
aW5nIHBvaW50ZXIKZmllbGRzLCBzbyBpdCBzaG91bGQgbWFyayBjYXJkcy4gIEFuZCwgYXMgbm90
ZWQsIHRoZXNlIGFyZSB1c3VhbGx5CnVzZWQgaW4gYXJyYXkgYW5kIHZlY3RvciBpbml0aWFsaXph
dGlvbiBmdW5jdGlvbnMsIHNvIHR5cGljYWxseSB0aGUKbmV3IGFycmF5L3ZlY3RvciBpcyBpbiB0
aGUgbnVyc2VyeSBhbmQgdGhlIGluaXRpYWxpemluZyBlbGVtZW50cyBhcmUKcHJldmlvdXNseSBh
bGxvY2F0ZWQgKGluIHRoZSBvbGQgZ2VuIG9yIG51cnNlcnkpLCBzbyBubwppbnRlcmdlbmVyYXRp
b25hbCBwb2ludGVycyBhcmUgY3JlYXRlZC4gIFRoYXQgcHJvYmFibHkgbW9zdGx5IGV4cGxhaW5z
CndoeSBpdCB3YXMgYWJsZSB0byBnbyBzbyBsb25nIHdpdGhvdXQgYmVpbmcgbm90aWNlZC4KClVu
dGVzdGVkLCBidXQgc29tZXRoaW5nIGxpa2U6Cgrina8gZ2l0IGRpZmYKZGlmZiAtLWdpdCBhL3J1
bnRpbWUvZ2Mvc2VxdWVuY2UuYyBiL3J1bnRpbWUvZ2Mvc2VxdWVuY2UuYwppbmRleCA2ZTIwMzU1
NTUuLjQ1MTdlNzFkYyAxMDA2NDQKLS0tIGEvcnVudGltZS9nYy9zZXF1ZW5jZS5jCisrKyBiL3J1
bnRpbWUvZ2Mvc2VxdWVuY2UuYwpAQCAtODUsNiArODUsMTAgQEAgdm9pZCBHQ19zZXF1ZW5jZUNv
cHkgKEdDX3N0YXRlIHMsIHBvaW50ZXIgYWQsCnNpemVfdCBkcywgcG9pbnRlciBhcywgc2l6ZV90
IHNzLAogICBzcGxpdEhlYWRlcihzLCBoZWFkZXIsICZ0YWcsIE5VTEwsICZieXRlc05vbk9ianB0
cnMsICZudW1PYmpwdHJzKTsKICAgYXNzZXJ0ICh0YWcgPT0gU0VRVUVOQ0VfVEFHKTsKCisgIGlm
IChudW1PYmpwdHJzID4gMCBhbmQgbCA+IDApIHsKKyAgICBtYXJrQ2FyZCAocywgYWQpOworICB9
CisKICAgZWx0U2l6ZSA9IGJ5dGVzTm9uT2JqcHRycyArIChudW1PYmpwdHJzICogT0JKUFRSX1NJ
WkUpOwogICBHQ19tZW1tb3ZlIChhcyArIGVsdFNpemUgKiBzcywgYWQgKyBlbHRTaXplICogZHMs
IGVsdFNpemUgKiBsKTsKIH0KCnNob3VsZCBkbyB0aGUgdHJpY2suCgpFeGNlbGxlbnQgd29yayBh
bmQgZGVidWdnaW5nIHNraWxscyEKCi1NYXR0aGV3CgoKX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX18KTUx0b24tZGV2ZWwgbWFpbGluZyBsaXN0Ck1MdG9uLWRl
dmVsQGxpc3RzLnNvdXJjZWZvcmdlLm5ldDsgbWx0b24tZGV2ZWxAbWx0b24ub3JnCmh0dHBzOi8v
bGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL21sdG9uLWRldmVsCg==