Re: Procedure types

From: H. v. L. <"H.>
Date: Sun, 21 Nov 2004 10:57:57 +0100

----boundary-LibPST-iamunique-198879002_-_-
Content-type: text/plain

My question is:
Are procedure types really a problem for the run time system?

On Sat, 20 Nov 2004 08:56:57 +0300, Fyodor Tkachov
<fyodor.tkachov{([at]})nowhere.xy

> Wojtek, the idea is interesting but seems to require a lot of run-time
> overhead:
> When a request to unload a module comes from somewhere, how the run-time
> would know all
< the procedure variables that point to the module's procedures? A list
has to be maintained
< with back references. This contradicts the Oberon philosophy: complex
things should be
< made manifest to the programmer.

If I am right, BlackBox maintains a list of loaded modules anyway and
those modules not being top level modules, which therefore cannot be
unloaded, are dynamically marked. So the run time system checks whether a
module contains a reference - in this case via inheritance - to another
module.
Actually I don't see any difference between checking an inheritance
relation and checking a pointer to a foreign procedure, the list of
references does exist, so it only must be enlarged by procedure
references!?

Regards

Harro
--------------------------------------------

To unsubscribe from this mailing list, send a message containing the word "unsubscribe" to:
   blackbox-request{([at]})nowhere.xy

To get a list of valid e-mail commands and instructions on their usage, send a message containing the word "help" to the above address.

Send any problem reports or questions related to this email list to the list owner at
   owner-blackbox{([at]})nowhere.xy

Current posting policy:

a) To post you should use the same address by which you are subscribed to the mailing list. That way, the list server will recognize you as subscriber and forward your posting immediately, without creating any overhead.

b) If, for some reason, you cannot post from the address, by which you are subscribed, your message will be moderated to avoid spam. Please understand that moderation will often cause some delay, in particular over weekends or holydays.


----boundary-LibPST-iamunique-198879002_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIE15IHF1ZXN0aW9uIGlzOlxwYXINCkFyZSBwcm9j
ZWR1cmUgdHlwZXMgcmVhbGx5IGEgcHJvYmxlbSBmb3IgdGhlIHJ1biB0aW1lIHN5c3RlbT9ccGFy
DQpccGFyDQpPbiBTYXQsIDIwIE5vdiAyMDA0IDA4OjU2OjU3ICswMzAwLCBGeW9kb3IgVGthY2hv
diAgXHBhcg0KPGZ5b2Rvci50a2FjaG92QGNlcm4uY2g+IHdyb3RlOlxwYXINClxwYXINCj4gV29q
dGVrLCB0aGUgaWRlYSBpcyBpbnRlcmVzdGluZyBidXQgc2VlbXMgdG8gcmVxdWlyZSBhIGxvdCBv
ZiBydW4tdGltZSAgXHBhcg0KPiBvdmVyaGVhZDpccGFyDQo+IFdoZW4gYSByZXF1ZXN0IHRvIHVu
bG9hZCBhIG1vZHVsZSBjb21lcyBmcm9tIHNvbWV3aGVyZSwgaG93IHRoZSBydW4tdGltZSAgXHBh
cg0KPiB3b3VsZCBrbm93IGFsbFxwYXINCjwgdGhlIHByb2NlZHVyZSB2YXJpYWJsZXMgdGhhdCBw
b2ludCB0byB0aGUgbW9kdWxlJ3MgcHJvY2VkdXJlcz8gQSBsaXN0ICBccGFyDQpoYXMgdG8gYmUg
bWFpbnRhaW5lZFxwYXINCjwgd2l0aCBiYWNrIHJlZmVyZW5jZXMuIFRoaXMgY29udHJhZGljdHMg
dGhlIE9iZXJvbiBwaGlsb3NvcGh5OiBjb21wbGV4ICBccGFyDQp0aGluZ3Mgc2hvdWxkIGJlXHBh
cg0KPCBtYWRlICBtYW5pZmVzdCB0byB0aGUgcHJvZ3JhbW1lci5ccGFyDQpccGFyDQpJZiBJIGFt
IHJpZ2h0LCBCbGFja0JveCBtYWludGFpbnMgYSBsaXN0IG9mIGxvYWRlZCBtb2R1bGVzIGFueXdh
eSBhbmQgIFxwYXINCnRob3NlIG1vZHVsZXMgbm90IGJlaW5nIHRvcCBsZXZlbCBtb2R1bGVzLCB3
aGljaCB0aGVyZWZvcmUgY2Fubm90IGJlICBccGFyDQp1bmxvYWRlZCwgYXJlIGR5bmFtaWNhbGx5
IG1hcmtlZC4gU28gdGhlIHJ1biB0aW1lIHN5c3RlbSBjaGVja3Mgd2hldGhlciBhICBccGFyDQpt
b2R1bGUgY29udGFpbnMgYSByZWZlcmVuY2UgLSBpbiB0aGlzIGNhc2UgdmlhIGluaGVyaXRhbmNl
IC0gdG8gYW5vdGhlciAgXHBhcg0KbW9kdWxlLlxwYXINCkFjdHVhbGx5IEkgZG9uJ3Qgc2VlIGFu
eSBkaWZmZXJlbmNlIGJldHdlZW4gY2hlY2tpbmcgYW4gaW5oZXJpdGFuY2UgIFxwYXINCnJlbGF0
aW9uIGFuZCBjaGVja2luZyBhIHBvaW50ZXIgdG8gYSBmb3JlaWduIHByb2NlZHVyZSwgdGhlIGxp
c3Qgb2YgIFxwYXINCnJlZmVyZW5jZXMgZG9lcyBleGlzdCwgc28gaXQgb25seSBtdXN0IGJlIGVu
bGFyZ2VkIGJ5IHByb2NlZHVyZSAgXHBhcg0KcmVmZXJlbmNlcyE/XHBhcg0KXHBhcg0KUmVnYXJk
c1xwYXINClxwYXINCkhhcnJvXHBhcg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS1ccGFyDQpccGFyDQpUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgbWFpbGluZyBs
aXN0LCBzZW5kIGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJ1bnN1YnNjcmliZSIgdG86
XHBhcg0KICAgYmxhY2tib3gtcmVxdWVzdEBvYmVyb24uY2hccGFyDQpccGFyDQpUbyBnZXQgYSBs
aXN0IG9mIHZhbGlkIGUtbWFpbCBjb21tYW5kcyBhbmQgaW5zdHJ1Y3Rpb25zIG9uIHRoZWlyIHVz
YWdlLCBzZW5kIGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJoZWxwIiB0byB0aGUgYWJv
dmUgYWRkcmVzcy5ccGFyDQpccGFyDQpTZW5kIGFueSBwcm9ibGVtIHJlcG9ydHMgb3IgcXVlc3Rp
b25zIHJlbGF0ZWQgdG8gdGhpcyBlbWFpbCBsaXN0IHRvIHRoZSBsaXN0IG93bmVyIGF0XHBhcg0K
ICAgb3duZXItYmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KXHBhcg0KQ3VycmVudCBwb3N0aW5nIHBv
bGljeTpccGFyDQpccGFyDQphKSBUbyBwb3N0IHlvdSBzaG91bGQgdXNlIHRoZSBzYW1lIGFkZHJl
c3MgYnkgd2hpY2ggeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBtYWlsaW5nIGxpc3QuIFRoYXQg
d2F5LCB0aGUgbGlzdCBzZXJ2ZXIgd2lsbCByZWNvZ25pemUgeW91IGFzIHN1YnNjcmliZXIgYW5k
IGZvcndhcmQgeW91ciBwb3N0aW5nIGltbWVkaWF0ZWx5LCB3aXRob3V0IGNyZWF0aW5nIGFueSBv
dmVyaGVhZC5ccGFyDQpccGFyDQpiKSBJZiwgZm9yIHNvbWUgcmVhc29uLCB5b3UgY2Fubm90IHBv
c3QgZnJvbSB0aGUgYWRkcmVzcywgYnkgd2hpY2ggeW91IGFyZSBzdWJzY3JpYmVkLCB5b3VyIG1l
c3NhZ2Ugd2lsbCBiZSBtb2RlcmF0ZWQgdG8gYXZvaWQgc3BhbS4gUGxlYXNlIHVuZGVyc3RhbmQg
dGhhdCBtb2RlcmF0aW9uIHdpbGwgb2Z0ZW4gY2F1c2Ugc29tZSBkZWxheSwgaW4gcGFydGljdWxh
ciBvdmVyIHdlZWtlbmRzIG9yIGhvbHlkYXl9fQAc4xNhHOM

----boundary-LibPST-iamunique-198879002_-_---
Received on Sun Nov 21 2004 - 10:57:57 UTC