Re: How do relaxed access modes like opaque/acquire/release fit into the happens-before order.
Shuyang Liu via Concurrency-interest <[email protected]> Thu, 12 Aug 2021 01:43:15 -0700 (PDT)
| Newsgroups | gmane.comp.java.jsr.166-concurrency |
|---|---|
| Message-ID | <[email protected]> |
--===============3543647889441818212== Content-Type: multipart/alternative; boundary=Apple-Mail-C3013FBB-6152-4801-9D11-6F045B9C329B Content-Transfer-Encoding: 7bit --Apple-Mail-C3013FBB-6152-4801-9D11-6F045B9C329B Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 T3VyIGdyb3VwIGhhZCBhIHBhcGVyIGluIDIwMTkgZm9ybWFsaXppbmcgdGhlIGFjY2VzcyBtb2Rl cyBpbiBKYXZhOiBodHRwczovL2RsLmFjbS5vcmcvZG9pLzEwLjExNDUvMzM2MDU2OA0KKE5vdGUg dGhhdCB0aGVyZSB3YXMgYSBzbWFsbCBwcm9ibGVtIG9uIHRoZSBzZW1hbnRpY3Mgb2Ygdm9sYXRp bGUuIEluIHBhcnRpY3VsYXIsIG9uZSBzaG91bGQgdXNlIGVpdGhlciBsZWFkaW5nIG9yIHRyYWls aW5nIGZlbmNlIGluc2VydGlvbiBzY2hlbWUgY29uc2lzdGVudGx5IGZvciB2b2xhdGlsZSByZWFk cyBhbmQgd3JpdGVzLCBpbnN0ZWFkIG9mIG1peGluZyB0aGVtLiBXZSBoYXZlIGZpeGVkIGl0IGJ1 dCBzdGlsbCBpbiB0aGUgcHJvY2VzcyBvZiBwdWJsaXNoaW5nIGl0KSANCg0KSW4gb3VyIG1vZGVs LCB3ZSBkaWQgbm90IHVzZSB0aGUgaGFwcGVucy1iZWZvcmUgYXBwcm9hY2ggYW55bW9yZS4gSW5z dGVhZCB3ZSBmb3JtYWxpemVkIGl0IGluIHRlcm1zIG9mIHZpc2liaWxpdHkgb3JkZXIuIChEZXRh aWxzIGNhbiBiZSBmb3VuZCBpbiB0aGUgcGFwZXIpLg0KDQpJbiBnZW5lcmFsLCBvcGFxdWUgbW9k ZSBhY2Nlc3NlcyBkbyBub3QgcHJlc2VydmUgcHJvZ3JhbSBvcmRlcnMgZm9yIGFjY2Vzc2VzIHRv IGRpZmZlcmVudCBsb2NhdGlvbnMuIFRoZXkgZG8sIGhvd2V2ZXIsIGZvbGxvd3MgdGhlIGNvaGVy ZW5jZSBydWxlcy4gVGhlIHJlbGVhc2UtYWNxdWlyZSBtb2RlIGFjY2Vzc2VzIHByZXNlcnZlcyBw cm9ncmFtIG9yZGVycyBidXQgbm90IG5lY2Vzc2FyaWx5IGdsb2JhbCBvcmRlcnMuIFRoaXMgaGFz IHRvIGRvIHdpdGggdGhlIG5vbi1NQ0EgbmF0dXJlIG9mIHRoZSBQb3dlciBhcmNoaXRlY3R1cmUg dGhhdCBpdCBjb21waWxlcyB0by4gWW91IG1pZ2h0IGZpbmQgaXQgc3RyYW5nZSB0aGF0IHRoZXJl IGlzIG5vIHN3IG9yZGVyIGZvciByZWxlYXNlLWFjcXVpcmUgbW9kZSBpbiBvdXIgbW9kZWwuIFRo aXMgaXMgYmVjYXVzZSB3ZSBzaW1wbGlmaWVkIHRoZSBjdW11bGF0aXZlIGVmZmVjdCBvZiBsd3N5 bmMgYW5kIGh3c3luYyB1c2luZyByZiB3aGlsZSBub3QgY29uc2lkZXJpbmcgZnIgKHdlIGhhdmUg cHJvdmVkIHRoZSBjb21waWxhdGlvbiBpcyBjb3JyZWN0IGluIG91ciBvbi1nb2luZyBwYXBlcikg YW5kIHg4NiBhbmQgQVJNdjggYXJlIE1DQS4gRmluYWxseSwgdGhlcmUgaXMgYSB0b3RhbCBvcmRl ciBhbW9uZyB2b2xhdGlsZSBhY2Nlc3NlcyB3aGVuIHRoZXkgY2Fycnkgb3V0IOKAnHB1c2jigJ0g b3JkZXJzIGVtdWxhdGluZyB0aGUgZWZmZWN0IG9mIGZ1bGwgZmVuY2VzLiANCg0KVGhlIGZvcm1h bCBkZWZpbml0aW9uIG9mIGRhdGEgcmFjZSBpcyBkZWZpbmVkIGluIHRlcm1zIG9mIHN3IG9yZGVy IHRob3VnaDogYSBwYWlyIG9mIGFjY2Vzc2VzIGlzIHNhaWQgdG8gZm9ybSBhIHJhY2UgaWYgdGhl eSBhcmUgMSkgY29uZmxpY3RpbmcsIGFuZCAyKSBub3Qgb3JkZXJlZCBieSBoYXBwZW5zLWJlZm9y ZS4gV2UgdXNlIHRoZSBjb252ZW50aW9uYWwgZGVmaW5pdGlvbiBmb3IgaGFwcGVucyBiZWZvcmUs IHdoaWNoIGlzIChwbyB8IHN3KSsgKHRoZSB0cmFuc2l0aXZlIGNsb3N1cmUgb2YgdGhlIHVuaW9u IG9mIHByb2dyYW0gb3JkZXIgYW5kIHN5bmNocm9uaXplcy13aXRoKSwgd2hlcmUgc3cgaXMgZGVm aW5lZCBhcyB0aGUgcmVhZHMtZnJvbSBvcmRlciBmcm9tIGEgcmVsZWFzZSB3cml0ZSB0byBhbiBh Y3F1aXJlIHJlYWQuIA0KDQpPbmUgbGFzdCB0aGluZywgaW4gb3VyIGZvcm1hbCBtb2RlbCwgb3Bh cXVlIHJlYWRzIHByZXNlcnZlcyB0aGUgbG9jYWwgcHJvZ3JhbSBvcmRlci4gQnV0IHRoaXMgaXMg cHVyZWx5IGEgd29yay1hcm91bmQgdG8gcHJldmVudCBvdXQtb2YtdGhpbi1haXIgcmVzdWx0cy4g QXMgYSBjb25zZXF1ZW5jZSwgdGhpcyByZXF1aXJlcyB0aGUgY29tcGlsZXIgdG8geWllbGQgYSDi gJxmYWtl4oCdIGRlcGVuZGVuY3kgYWZ0ZXIgZWFjaCByZWFkIGluc3RydWN0aW9uLCB3aGljaCBp cyBub3QgdHJ1ZSBpbiBwcmFjdGljZS4gDQoNCkhvcGUgdGhpcyBoZWxwcyENCg0KQmVzdCBSZWdh cmRzLA0KU2h1eWFuZw0KDQo+IE9uIEF1ZyAxMiwgMjAyMSwgYXQgMToxOCBBTSwgUGV0ZXIgVmVl bnRqZXIgdmlhIENvbmN1cnJlbmN5LWludGVyZXN0IDxjb25jdXJyZW5jeS1pbnRlcmVzdEBjcy5v c3dlZ28uZWR1PiB3cm90ZToNCj4gDQo+IO+7vw0KPiBIaSBBbGV4LA0KPiANCj4gVGhhbmtzIGZv ciB5b3VyIGFuc3dlci4gVGhhdCBzb3VuZHMgbGlrZSBhIHZlcnkgc2Vuc2libGUgYXBwcm9hY2gu IA0KPiANCj4gSSBuZWVkIHRvIHRoaW5rIGFib3V0IHRoaXMuDQo+IA0KPiBSZWdhcmRzLA0KPiAN Cj4gUGV0ZXIuDQo+IA0KPj4gT24gVGh1LCBBdWcgMTIsIDIwMjEgYXQgMTE6MTQgQU0gQWxleCBP dGVua28gPG9sZWtzYW5kci5vdGVua29AZ21haWwuY29tPiB3cm90ZToNCj4+IEkgdHJlYXQgb3Bh cXVlIHJlYWQvd3JpdGUgYXMgcGFydCBvZiBTTywgYnV0IHdoaWNoIGRvIG5vdCBpbnRyb2R1Y2Ug U1cgZWRnZXMgLSBubyB0cmFuc2l0aXZlIGNsb3N1cmUgb2YgcHJvZ3JhbSBvcmRlcnMuIFRoZXkg b2JzZXJ2ZSBlYWNoIG90aGVyLCBiZWNhdXNlIFNPIHNwZWNpZmllcyB3aG8gaXMgYmVmb3JlIHdo by4NCj4+IA0KPj4gVGhlbiBhY3F1aXJlLyByZWxlYXNlIGludHJvZHVjZSBjb3JyZXNwb25kaW5n IHBhcnRzIG9mIHRyYW5zaXRpdmUgY2xvc3VyZS4gSW4gdGhlIGVuZCB2b2xhdGlsZSBsb2FkL3N0 b3JlIGFyZSBqdXN0IHRoYXQuDQo+PiANCj4+IEFsZXgNCj4+IA0KPj4+IE9uIFRodSwgMTIgQXVn IDIwMjEsIDA4OjUyIFBldGVyIFZlZW50amVyIHZpYSBDb25jdXJyZW5jeS1pbnRlcmVzdCwgPGNv bmN1cnJlbmN5LWludGVyZXN0QGNzLm9zd2Vnby5lZHU+IHdyb3RlOg0KPj4+IFRoZSBoYXBwZW5z LWJlZm9yZSAoSEIpIG9yZGVyIGlzIGRlZmluZWQgdXNpbmc6DQo+Pj4gDQo+Pj4gU3luY2hyb25p emF0aW9uIG9yZGVyIChTTyk6IHRvdGFsIG9yZGVyIG92ZXIgYWxsIHN5bmNocm9uaXphdGlvbiBh Y3Rpb25zLg0KPj4+IA0KPj4+IFN5bmNocm9uaXplcyB3aXRoIG9yZGVyIChTVyk6IGEgc3ViIG9y ZGVyIG9mIHRoZSBTTyB0aGF0IG9ubHkgb3JkZXJzIGUuZy4gYSB2b2xhdGlsZSB3cml0ZSBvZiBY IHdpdGggYWxsIHN1YnNlcXVlbnQgdm9sYXRpbGUgcmVhZHMgb2YgWC4NCj4+PiANCj4+PiBQcm9n cmFtIE9yZGVyIChQTyk6IGEgcGFydGlhbCBvcmRlciB0aGF0ICBvcmRlcnMgYWxsIG1lbW9yeSBh Y3Rpb25zIGlzc3VlZCBieSBhIHNpbmdsZSBDUFUuDQo+Pj4gDQo+Pj4gQW5kIHRoZSBIQiByZWxh dGlvbiBpcyBkZWZpbmVkIGFzIHRoZSB0cmFuc2l0aXZlIGNsb3N1cmUgb2YgdGhlIHVuaW9uIG9m IHRoZSBTVyBhbmQgUE8uDQo+Pj4gDQo+Pj4gTXkgcXVlc3Rpb24gaXMgaG93IGRvIHJlbGF4ZWQg YWNjZXNzIG1vZGVzIGxpa2Ugb3BhcXVlIGFuZCBhY3F1aXJlL3JlbGVhc2UgZml0IGludG8gdGhl IEhCPw0KPj4+IA0KPj4+IExldCdzIHN0YXJ0IHdpdGggb3BhcXVlOyBpcyBhbiBvcGFxdWUgd3Jp dGUvcmVhZCBwYXJ0IG9mIHRoZSBTTz8gSWYgc28sIHRoZW4gaXQgd2lsbCBiZSBwYXJ0IG9mIHRo ZSBTVyBhbmQgSEIuIEFuZCBiZWNhdXNlIG9mIHRoaXMsIGl0IHdpbGwgb3JkZXIgbG9hZHMvc3Rv cmVzIHRvIGRpZmZlcmVudCBhZGRyZXNzZXMgd2hpY2ggaXMgbm90IGRlc2lyYWJsZS4gU28gSSBn dWVzcyB0aGUgbG9naWNhbCBzb2x1dGlvbiB3b3VsZCBiZSB0aGF0IGFuIG9wYXF1ZSByZWFkL3dy aXRlIGlzIG5vdCBwYXJ0IG9mIHRoZSBTTyBhbmQgaGVuY2Ugd2UgZG9uJ3QgZ2V0IHRoaXMgcHJv YmxlbS4gIEhvd2V2ZXIgbm93IHdlIGhhdmUgdGhlIHByb2JsZW0gdGhhdCBhbiBvcGFxdWUgcmVh ZC93cml0ZSBpcyBub3Qgb3JkZXJlZCBieSB0aGUgSEIgYW5kIHdlIGhhdmUgYSBkYXRhIHJhY2Ug KHJlYWQgd2lsbCBzdGlsbCBiZSBoYi1jb25zaXN0ZW50KS4NCj4+PiANCj4+PiBJJ20gcnVubmlu ZyBpbnRvIGEgc2ltaWxhciBwcm9ibGVtIHdpdGggdGhlIGFjcXVpcmUvcmVsZWFzZS4gVHJhZGl0 aW9uYWxseSB0aGV5IGFyZSBjYWxsZWQgc3luY2hyb25pemF0aW9uIGFjdGlvbnMgc2luY2UgYSBy ZWxlYXNlLXN0b3JlIHdpbGwgcHJldmVudCBhbnkgb2xkZXIgbG9hZC9zdG9yZSB0byBiZSByZW9y ZGVyZWQgd2l0aCB0aGUgcmVsZWFzZS1zdG9yZSBhbmQgYWNxdWlyZS1sb2FkIHdpbGwgcHJldmVu dCBhbnkgbGF0ZXIgbG9hZC9zdG9yZSB0byBiZSByZW9yZGVyZWQgd2l0aCB0aGUgYWNxdWlyZS1s b2FkLiBTbyB0aGV5IHByb3ZpZGUgc29tZSBsZXZlbCBvZiAgJ3N5bmNocm9uaXphdGlvbic7IGJ1 dCBpcyB0aGlzIHN1ZmZpY2llbnQgZm9yIHRoZW0gdG8gYmUgcGFydCBvZiB0aGUgU08gb3JkZXI/ IE9yIGFyZSB0aGV5IGV4Y2x1ZGVkIGZyb20gdGhlIFNPIGFuZCB3ZSBlbmQgdXAgd2l0aCBhIGRh dGEtcmFjZT8NCj4+PiANCj4+PiBPciBjb3VsZCBpdCBiZSB0aGF0IHRoZSBoYXBwZW5zLWJlZm9y ZSBtb2RlbCBpc24ndCBhIHN1aXRhYmxlIG1vZGVsIHRvIGRlYWwgd2l0aCByZWxheGVkIGFjY2Vz cyBtb2Rlcz8NCj4+PiANCj4+PiBSZWdhcmRzLA0KPj4+IA0KPj4+IFBldGVyLg0KPj4+IA0KPj4+ IA0KPj4+IA0KPj4+IA0KPj4+IF9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fDQo+Pj4gQ29uY3VycmVuY3ktaW50ZXJlc3QgbWFpbGluZyBsaXN0DQo+Pj4gQ29u Y3VycmVuY3ktaW50ZXJlc3RAY3Mub3N3ZWdvLmVkdQ0KPj4+IGh0dHA6Ly9jcy5vc3dlZ28uZWR1 L21haWxtYW4vbGlzdGluZm8vY29uY3VycmVuY3ktaW50ZXJlc3QNCj4gX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18NCj4gQ29uY3VycmVuY3ktaW50ZXJlc3Qg bWFpbGluZyBsaXN0DQo+IENvbmN1cnJlbmN5LWludGVyZXN0QGNzLm9zd2Vnby5lZHUNCj4gaHR0 cDovL2NzLm9zd2Vnby5lZHUvbWFpbG1hbi9saXN0aW5mby9jb25jdXJyZW5jeS1pbnRlcmVzdA0K --Apple-Mail-C3013FBB-6152-4801-9D11-6F045B9C329B Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PG1ldGEgaHR0cC1lcXVpdj0iY29udGVudC10eXBlIiBjb250ZW50PSJ0ZXh0 L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPjwvaGVhZD48Ym9keSBkaXI9ImF1dG8iPjxkaXYgZGlyPSJs dHIiPk91ciBncm91cCBoYWQgYSBwYXBlciBpbiAyMDE5IGZvcm1hbGl6aW5nIHRoZSBhY2Nlc3Mg bW9kZXMgaW4gSmF2YTombmJzcDs8YSBocmVmPSJodHRwczovL2RsLmFjbS5vcmcvZG9pLzEwLjEx NDUvMzM2MDU2OCI+aHR0cHM6Ly9kbC5hY20ub3JnL2RvaS8xMC4xMTQ1LzMzNjA1Njg8L2E+PGRp dj4oTm90ZSB0aGF0IHRoZXJlIHdhcyBhIHNtYWxsIHByb2JsZW0gb24gdGhlIHNlbWFudGljcyBv ZiB2b2xhdGlsZS4gSW4gcGFydGljdWxhciwgb25lIHNob3VsZCB1c2UgZWl0aGVyIGxlYWRpbmcg b3IgdHJhaWxpbmcgZmVuY2UgaW5zZXJ0aW9uIHNjaGVtZSBjb25zaXN0ZW50bHkgZm9yIHZvbGF0 aWxlIHJlYWRzIGFuZCB3cml0ZXMsIGluc3RlYWQgb2YgbWl4aW5nIHRoZW0uIFdlIGhhdmUgZml4 ZWQgaXQgYnV0IHN0aWxsIGluIHRoZSBwcm9jZXNzIG9mIHB1Ymxpc2hpbmcgaXQpJm5ic3A7PC9k aXY+PGRpdj48YnI+PC9kaXY+PGRpdj5JbiBvdXIgbW9kZWwsIHdlIGRpZCBub3QgdXNlIHRoZSBo YXBwZW5zLWJlZm9yZSBhcHByb2FjaCBhbnltb3JlLiBJbnN0ZWFkIHdlIGZvcm1hbGl6ZWQgaXQg aW4gdGVybXMgb2YgdmlzaWJpbGl0eSBvcmRlci4gKERldGFpbHMgY2FuIGJlIGZvdW5kIGluIHRo ZSBwYXBlcikuPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5JbiBnZW5lcmFsLCBvcGFxdWUgbW9k ZSBhY2Nlc3NlcyBkbyBub3QgcHJlc2VydmUgcHJvZ3JhbSBvcmRlcnMgZm9yIGFjY2Vzc2VzIHRv IGRpZmZlcmVudCBsb2NhdGlvbnMuIFRoZXkgZG8sIGhvd2V2ZXIsIGZvbGxvd3MgdGhlIGNvaGVy ZW5jZSBydWxlcy4gVGhlIHJlbGVhc2UtYWNxdWlyZSBtb2RlIGFjY2Vzc2VzIHByZXNlcnZlcyBw cm9ncmFtIG9yZGVycyBidXQgbm90IG5lY2Vzc2FyaWx5IGdsb2JhbCBvcmRlcnMuIFRoaXMgaGFz IHRvIGRvIHdpdGggdGhlIG5vbi1NQ0EgbmF0dXJlIG9mIHRoZSBQb3dlciBhcmNoaXRlY3R1cmUg dGhhdCBpdCBjb21waWxlcyB0by4gWW91IG1pZ2h0IGZpbmQgaXQgc3RyYW5nZSB0aGF0IHRoZXJl IGlzIG5vIHN3IG9yZGVyIGZvciByZWxlYXNlLWFjcXVpcmUgbW9kZSBpbiBvdXIgbW9kZWwuIFRo aXMgaXMgYmVjYXVzZSB3ZSBzaW1wbGlmaWVkIHRoZSBjdW11bGF0aXZlIGVmZmVjdCBvZiBsd3N5 bmMgYW5kIGh3c3luYyB1c2luZyByZiB3aGlsZSBub3QgY29uc2lkZXJpbmcgZnIgKHdlIGhhdmUg cHJvdmVkIHRoZSBjb21waWxhdGlvbiBpcyBjb3JyZWN0IGluIG91ciBvbi1nb2luZyBwYXBlcikg YW5kIHg4NiBhbmQgQVJNdjggYXJlIE1DQS4gRmluYWxseSwgdGhlcmUgaXMgYSB0b3RhbCBvcmRl ciBhbW9uZyB2b2xhdGlsZSBhY2Nlc3NlcyB3aGVuIHRoZXkgY2Fycnkgb3V0IOKAnHB1c2jigJ0g b3JkZXJzIGVtdWxhdGluZyB0aGUgZWZmZWN0IG9mIGZ1bGwgZmVuY2VzLiZuYnNwOzwvZGl2Pjxk aXY+PGJyPjwvZGl2PjxkaXY+VGhlIGZvcm1hbCBkZWZpbml0aW9uIG9mIGRhdGEgcmFjZSBpcyBk ZWZpbmVkIGluIHRlcm1zIG9mIHN3IG9yZGVyIHRob3VnaDogYSBwYWlyIG9mIGFjY2Vzc2VzIGlz IHNhaWQgdG8gZm9ybSBhIHJhY2UgaWYgdGhleSBhcmUgMSkgY29uZmxpY3RpbmcsIGFuZCAyKSBu b3Qgb3JkZXJlZCBieSBoYXBwZW5zLWJlZm9yZS4gV2UgdXNlIHRoZSBjb252ZW50aW9uYWwgZGVm aW5pdGlvbiBmb3IgaGFwcGVucyBiZWZvcmUsIHdoaWNoIGlzIChwbyB8IHN3KSsgKHRoZSB0cmFu c2l0aXZlIGNsb3N1cmUgb2YgdGhlIHVuaW9uIG9mIHByb2dyYW0gb3JkZXIgYW5kIHN5bmNocm9u aXplcy13aXRoKSwgd2hlcmUgc3cgaXMgZGVmaW5lZCBhcyB0aGUgcmVhZHMtZnJvbSBvcmRlciBm cm9tIGEgcmVsZWFzZSB3cml0ZSB0byBhbiBhY3F1aXJlIHJlYWQuJm5ic3A7PC9kaXY+PGRpdj48 YnI+PC9kaXY+PGRpdj5PbmUgbGFzdCB0aGluZywgaW4gb3VyIGZvcm1hbCBtb2RlbCwgb3BhcXVl IHJlYWRzIHByZXNlcnZlcyB0aGUgbG9jYWwgcHJvZ3JhbSBvcmRlci4gQnV0IHRoaXMgaXMgcHVy ZWx5IGEgd29yay1hcm91bmQgdG8gcHJldmVudCBvdXQtb2YtdGhpbi1haXIgcmVzdWx0cy4gQXMg YSBjb25zZXF1ZW5jZSwgdGhpcyByZXF1aXJlcyB0aGUgY29tcGlsZXIgdG8geWllbGQgYSDigJxm YWtl4oCdIGRlcGVuZGVuY3kgYWZ0ZXIgZWFjaCByZWFkIGluc3RydWN0aW9uLCB3aGljaCBpcyBu b3QgdHJ1ZSBpbiBwcmFjdGljZS4mbmJzcDs8L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PkhvcGUg dGhpcyBoZWxwcyE8L2Rpdj48ZGl2Pjxicj48ZGl2IGRpcj0ibHRyIj5CZXN0IFJlZ2FyZHMsPGJy PjxkaXY+U2h1eWFuZzwvZGl2PjwvZGl2PjwvZGl2PjwvZGl2PjxkaXYgZGlyPSJsdHIiPjxicj48 YmxvY2txdW90ZSB0eXBlPSJjaXRlIj5PbiBBdWcgMTIsIDIwMjEsIGF0IDE6MTggQU0sIFBldGVy IFZlZW50amVyIHZpYSBDb25jdXJyZW5jeS1pbnRlcmVzdCAmbHQ7Y29uY3VycmVuY3ktaW50ZXJl c3RAY3Mub3N3ZWdvLmVkdSZndDsgd3JvdGU6PGJyPjxicj48L2Jsb2NrcXVvdGU+PC9kaXY+PGJs b2NrcXVvdGUgdHlwZT0iY2l0ZSI+PGRpdiBkaXI9Imx0ciI+77u/PGRpdiBkaXI9Imx0ciI+PGRp dj5IaSBBbGV4LDwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+VGhhbmtzIGZvciB5b3VyIGFuc3dl ci4gVGhhdCBzb3VuZHMgbGlrZSBhIHZlcnkgc2Vuc2libGUgYXBwcm9hY2guIDxicj48YnI+PC9k aXY+PGRpdj5JIG5lZWQgdG8gdGhpbmsgYWJvdXQgdGhpcy48YnI+PGJyPjwvZGl2PjxkaXY+UmVn YXJkcyw8YnI+PGJyPjwvZGl2PjxkaXY+UGV0ZXIuPGJyPjwvZGl2PjwvZGl2Pjxicj48ZGl2IGNs YXNzPSJnbWFpbF9xdW90ZSI+PGRpdiBkaXI9Imx0ciIgY2xhc3M9ImdtYWlsX2F0dHIiPk9uIFRo dSwgQXVnIDEyLCAyMDIxIGF0IDExOjE0IEFNIEFsZXggT3RlbmtvICZsdDs8YSBocmVmPSJtYWls dG86b2xla3NhbmRyLm90ZW5rb0BnbWFpbC5jb20iPm9sZWtzYW5kci5vdGVua29AZ21haWwuY29t PC9hPiZndDsgd3JvdGU6PGJyPjwvZGl2PjxibG9ja3F1b3RlIGNsYXNzPSJnbWFpbF9xdW90ZSIg c3R5bGU9Im1hcmdpbjowcHggMHB4IDBweCAwLjhleDtib3JkZXItbGVmdDoxcHggc29saWQgcmdi KDIwNCwyMDQsMjA0KTtwYWRkaW5nLWxlZnQ6MWV4Ij48ZGl2IGRpcj0iYXV0byI+SSB0cmVhdCBv cGFxdWUgcmVhZC93cml0ZSBhcyBwYXJ0IG9mIFNPLCBidXQgd2hpY2ggZG8gbm90IGludHJvZHVj ZSBTVyBlZGdlcyAtIG5vIHRyYW5zaXRpdmUgY2xvc3VyZSBvZiBwcm9ncmFtIG9yZGVycy4gVGhl eSBvYnNlcnZlIGVhY2ggb3RoZXIsIGJlY2F1c2UgU08gc3BlY2lmaWVzIHdobyBpcyBiZWZvcmUg d2hvLjxkaXYgZGlyPSJhdXRvIj48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPlRoZW4gYWNxdWly ZS8gcmVsZWFzZSBpbnRyb2R1Y2UgY29ycmVzcG9uZGluZyBwYXJ0cyBvZiB0cmFuc2l0aXZlIGNs b3N1cmUuIEluIHRoZSBlbmQgdm9sYXRpbGUgbG9hZC9zdG9yZSBhcmUganVzdCB0aGF0Ljxicj48 ZGl2IGRpcj0iYXV0byI+PGJyPjwvZGl2PjxkaXYgZGlyPSJhdXRvIj5BbGV4PC9kaXY+PC9kaXY+ PC9kaXY+PGJyPjxkaXYgY2xhc3M9ImdtYWlsX3F1b3RlIj48ZGl2IGRpcj0ibHRyIiBjbGFzcz0i Z21haWxfYXR0ciI+T24gVGh1LCAxMiBBdWcgMjAyMSwgMDg6NTIgUGV0ZXIgVmVlbnRqZXIgdmlh IENvbmN1cnJlbmN5LWludGVyZXN0LCAmbHQ7PGEgaHJlZj0ibWFpbHRvOmNvbmN1cnJlbmN5LWlu dGVyZXN0QGNzLm9zd2Vnby5lZHUiIHRhcmdldD0iX2JsYW5rIj5jb25jdXJyZW5jeS1pbnRlcmVz dEBjcy5vc3dlZ28uZWR1PC9hPiZndDsgd3JvdGU6PGJyPjwvZGl2PjxibG9ja3F1b3RlIGNsYXNz PSJnbWFpbF9xdW90ZSIgc3R5bGU9Im1hcmdpbjowcHggMHB4IDBweCAwLjhleDtib3JkZXItbGVm dDoxcHggc29saWQgcmdiKDIwNCwyMDQsMjA0KTtwYWRkaW5nLWxlZnQ6MWV4Ij48ZGl2IGRpcj0i bHRyIj48ZGl2PjxkaXY+PGRpdj48ZGl2PjxkaXY+PGRpdj48ZGl2PjxkaXY+PGRpdj48ZGl2PlRo ZSBoYXBwZW5zLWJlZm9yZSAoSEIpIG9yZGVyIGlzIGRlZmluZWQgdXNpbmc6PGJyPjxicj48L2Rp dj5TeW5jaHJvbml6YXRpb24gb3JkZXIgKFNPKTogdG90YWwgb3JkZXIgb3ZlciBhbGwgc3luY2hy b25pemF0aW9uIGFjdGlvbnMuPGJyPjxicj48L2Rpdj5TeW5jaHJvbml6ZXMgd2l0aCBvcmRlciAo U1cpOiBhIHN1YiBvcmRlciBvZiB0aGUgU08gdGhhdCBvbmx5IG9yZGVycyBlLmcuIGEgdm9sYXRp bGUgd3JpdGUgb2YgWCB3aXRoIGFsbCBzdWJzZXF1ZW50IHZvbGF0aWxlIHJlYWRzIG9mIFguPGJy Pjxicj48L2Rpdj5Qcm9ncmFtIE9yZGVyIChQTyk6IGEgcGFydGlhbCBvcmRlciB0aGF0Jm5ic3A7 IG9yZGVycyBhbGwgbWVtb3J5IGFjdGlvbnMgaXNzdWVkIGJ5IGEgc2luZ2xlIENQVS48YnI+PGJy PjwvZGl2PkFuZCB0aGUgSEIgcmVsYXRpb24gaXMgZGVmaW5lZCBhcyB0aGUgdHJhbnNpdGl2ZSBj bG9zdXJlIG9mIHRoZSB1bmlvbiBvZiB0aGUgU1cgYW5kIFBPLjxicj48YnI+PC9kaXY+TXkgcXVl c3Rpb24gaXMgaG93IGRvIHJlbGF4ZWQgYWNjZXNzIG1vZGVzIGxpa2Ugb3BhcXVlIGFuZCBhY3F1 aXJlL3JlbGVhc2UgZml0IGludG8gdGhlIEhCPzxicj48YnI+PC9kaXY+TGV0J3Mgc3RhcnQgd2l0 aCBvcGFxdWU7IGlzIGFuIG9wYXF1ZSB3cml0ZS9yZWFkIHBhcnQgb2YgdGhlIFNPPyBJZiBzbywg dGhlbiBpdCB3aWxsIGJlIHBhcnQgb2YgdGhlIFNXIGFuZCBIQi4gQW5kIGJlY2F1c2Ugb2YgdGhp cywgaXQgd2lsbCBvcmRlciBsb2Fkcy9zdG9yZXMgdG8gZGlmZmVyZW50IGFkZHJlc3NlcyB3aGlj aCBpcyBub3QgZGVzaXJhYmxlLiBTbyBJIGd1ZXNzIHRoZSBsb2dpY2FsIHNvbHV0aW9uIHdvdWxk IGJlIHRoYXQgYW4gb3BhcXVlIHJlYWQvd3JpdGUgaXMgbm90IHBhcnQgb2YgdGhlIFNPIGFuZCBo ZW5jZSB3ZSBkb24ndCBnZXQgdGhpcyBwcm9ibGVtLiZuYnNwOyBIb3dldmVyIG5vdyB3ZSBoYXZl IHRoZSBwcm9ibGVtIHRoYXQgYW4gb3BhcXVlIHJlYWQvd3JpdGUgaXMgbm90IG9yZGVyZWQgYnkg dGhlIEhCIGFuZCB3ZSBoYXZlIGEgZGF0YSByYWNlIChyZWFkIHdpbGwgc3RpbGwgYmUgaGItY29u c2lzdGVudCkuPGJyPjwvZGl2Pjxicj48L2Rpdj5JJ20gcnVubmluZyBpbnRvIGEgc2ltaWxhciBw cm9ibGVtIHdpdGggdGhlIGFjcXVpcmUvcmVsZWFzZS4gVHJhZGl0aW9uYWxseSB0aGV5IGFyZSBj YWxsZWQgc3luY2hyb25pemF0aW9uIGFjdGlvbnMgc2luY2UgYSByZWxlYXNlLXN0b3JlIHdpbGwg cHJldmVudCBhbnkgb2xkZXIgbG9hZC9zdG9yZSB0byBiZSByZW9yZGVyZWQgd2l0aCB0aGUgcmVs ZWFzZS1zdG9yZSBhbmQgYWNxdWlyZS1sb2FkIHdpbGwgcHJldmVudCBhbnkgbGF0ZXIgbG9hZC9z dG9yZSB0byBiZSByZW9yZGVyZWQgd2l0aCB0aGUgYWNxdWlyZS1sb2FkLiBTbyB0aGV5IHByb3Zp ZGUgc29tZSBsZXZlbCBvZiZuYnNwOyAnc3luY2hyb25pemF0aW9uJzsgYnV0IGlzIHRoaXMgc3Vm ZmljaWVudCBmb3IgdGhlbSB0byBiZSBwYXJ0IG9mIHRoZSBTTyBvcmRlcj8gT3IgYXJlIHRoZXkg ZXhjbHVkZWQgZnJvbSB0aGUgU08gYW5kIHdlIGVuZCB1cCB3aXRoIGEgZGF0YS1yYWNlPzwvZGl2 PjxkaXY+PGJyPjwvZGl2PjxkaXY+T3IgY291bGQgaXQgYmUgdGhhdCB0aGUgaGFwcGVucy1iZWZv cmUgbW9kZWwgaXNuJ3QgYSBzdWl0YWJsZSBtb2RlbCB0byBkZWFsIHdpdGggcmVsYXhlZCBhY2Nl c3MgbW9kZXM/PGJyPjwvZGl2PjxkaXY+PGJyPjwvZGl2PlJlZ2FyZHMsPGJyPjxicj48L2Rpdj5Q ZXRlci48YnI+PGRpdj48ZGl2Pjxicj48YnI+PGRpdj48ZGl2PjxkaXY+PGJyPjxicj48L2Rpdj48 L2Rpdj48L2Rpdj48L2Rpdj48L2Rpdj48L2Rpdj4NCl9fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fPGJyPg0KQ29uY3VycmVuY3ktaW50ZXJlc3QgbWFpbGluZyBs aXN0PGJyPg0KPGEgaHJlZj0ibWFpbHRvOkNvbmN1cnJlbmN5LWludGVyZXN0QGNzLm9zd2Vnby5l ZHUiIHJlbD0ibm9yZWZlcnJlciIgdGFyZ2V0PSJfYmxhbmsiPkNvbmN1cnJlbmN5LWludGVyZXN0 QGNzLm9zd2Vnby5lZHU8L2E+PGJyPg0KPGEgaHJlZj0iaHR0cDovL2NzLm9zd2Vnby5lZHUvbWFp bG1hbi9saXN0aW5mby9jb25jdXJyZW5jeS1pbnRlcmVzdCIgcmVsPSJub3JlZmVycmVyIG5vcmVm ZXJyZXIiIHRhcmdldD0iX2JsYW5rIj5odHRwOi8vY3Mub3N3ZWdvLmVkdS9tYWlsbWFuL2xpc3Rp bmZvL2NvbmN1cnJlbmN5LWludGVyZXN0PC9hPjxicj4NCjwvYmxvY2txdW90ZT48L2Rpdj4NCjwv YmxvY2txdW90ZT48L2Rpdj4NCjxzcGFuPl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fPC9zcGFuPjxicj48c3Bhbj5Db25jdXJyZW5jeS1pbnRlcmVzdCBtYWls aW5nIGxpc3Q8L3NwYW4+PGJyPjxzcGFuPkNvbmN1cnJlbmN5LWludGVyZXN0QGNzLm9zd2Vnby5l ZHU8L3NwYW4+PGJyPjxzcGFuPmh0dHA6Ly9jcy5vc3dlZ28uZWR1L21haWxtYW4vbGlzdGluZm8v Y29uY3VycmVuY3ktaW50ZXJlc3Q8L3NwYW4+PGJyPjwvZGl2PjwvYmxvY2txdW90ZT48L2JvZHk+ PC9odG1sPg== --Apple-Mail-C3013FBB-6152-4801-9D11-6F045B9C329B-- --===============3543647889441818212== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Concurrency-interest mailing list [email protected] http://cs.oswego.edu/mailman/listinfo/concurrency-interest --===============3543647889441818212==--