commit 28bf9c03fdb1fdcabf417c66f2f2aa4eca934ea4
parent bba8b776a124717de445214b6377ee8bef754202
Author: Alexander Burger <abu@software-lab.de>
Date: Mon, 11 Jul 2011 11:04:07 +0200
Short explanation of external symbols caching
Diffstat:
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/doc/ref.html b/doc/ref.html
@@ -420,7 +420,10 @@ href="refN.html#new">new</a></code> functions.
<p>External symbols reside in a database file (or a similar resources, see
<code><a href="refE.html#*Ext">*Ext</a></code>), and are loaded into memory -
and written back to the file - dynamically as needed, and transparently to the
-programmer.
+programmer. They are kept in memory ("cached") as long as they are accessible
+("referred to") from other parts of the program, or when they were modified but
+not yet written to the database file (by <code><a
+href="refC.html#commit">commit</a></code>).
<p>The interpreter recognizes external symbols internally by an additional tag
bit in the tail structure.