diff lib/js/urweb.js @ 690:01b6f2ee2ef0

Redo signal implementation to avoid memory leaks
author Adam Chlipala <adamc@hcoop.net>
date Thu, 02 Apr 2009 15:12:06 -0400
parents 3b46548f701b
children cc58941da3e2
line wrap: on
line diff
--- a/lib/js/urweb.js	Thu Apr 02 13:48:59 2009 -0400
+++ b/lib/js/urweb.js	Thu Apr 02 15:12:06 2009 -0400
@@ -1,41 +1,66 @@
 function cons(v, ls) {
-  return { n : ls, v : v };
+  return { next : ls, data : v };
+}
+function concat(ls1, ls2) {
+  return (ls1 ? cons(ls1.data, concat(ls1.next, ls2)) : ls2);
+}
+function member(x, ls) {
+  for (; ls; ls = ls.next)
+    if (ls.data == x)
+      return true;
+  return false;
+}
+function remove(x, ls) {
+  return (ls ? (ls.data == x ? ls.next : cons(ls.data, remove(x, ls.next))) : null);
+}
+function union(ls1, ls2) {
+  return (ls1 ? (member(ls1.data, ls2) ? union(ls1.next, ls2) : cons(ls1.data, union(ls1.next, ls2))) : ls2);
 }
 
-function callAll(ls) {
-  for (; ls; ls = ls.n)
-    ls.v();
+
+function populate(node) {
+  var s = node.signal;
+  var oldSources = node.sources;
+  var sr = s();
+  var newSources = sr.sources;
+
+  for (var sp = oldSources; sp; sp = sp.next)
+    if (!member(sp.data, newSources))
+      sp.data.dyns = remove(node, sp.data.dyns);
+
+  for (var sp = newSources; sp; sp = sp.next)
+    if (!member(sp.data, oldSources))
+      sp.data.dyns = cons(node, sp.data.dyns);
+
+  node.sources = newSources;
+  node.recreate(sr.data);
 }
 
 function sc(v) {
-  return {v : v, h : null};
+  return {data : v, dyns : null};
 }
 function sv(s, v) {
-  s.v = v;
-  callAll(s.h);
+  s.data = v;
+  for (var ls = s.dyns; ls; ls = ls.next)
+    if (!ls.dead)
+      populate(ls.data);
 }
 function sg(s) {
-  return s.v;
+  return s.data;
 }
 
 function ss(s) {
-  return s;
+  return function() { return {sources : cons(s, null), data : s.data } };
 }
 function sr(v) {
-  return {v : v, h : null};
+  return function() { return {sources : null, data : v } };
 }
 function sb(x,y) {
-  var z = y(x.v);
-  var s = {v : z.v, h : null};
-
-  function reZ() {
-    z.h = cons(function() { s.v = z.v; callAll(s.h); }, z.h);    
-  }
-
-  x.h = cons(function() { z = y(x.v); reZ(); s.v = z.v; callAll(s.h); }, x.h);
-  reZ();
-
-  return s;
+  return function() {
+    var xr = x();
+    var yr = y(xr.data)();
+    return {sources : union(xr.sources, yr.sources), data : yr.data};
+  };
 }
 
 function lastParent() {
@@ -47,8 +72,6 @@
   return pos.parentNode;
 }
 
-var thisScript = null;
-
 function addNode(node) {
   if (thisScript) {
     thisScript.parentNode.appendChild(node);
@@ -57,6 +80,8 @@
     lastParent().appendChild(node);
 }
 
+var thisScript = null;
+
 function runScripts(node) {
   var savedScript = thisScript;
 
@@ -72,23 +97,36 @@
   thisScript = savedScript;
 }
 
-function populate(node, html) {
-  node.innerHTML = html;
-  runScripts(node);
-}
 
 function dyn(s) {
   var x = document.createElement("span");
-  populate(x, s.v);
+  x.dead = false;
+  x.signal = s;
+  x.sources = null;
+  x.recreate = function(v) {
+    var spans = x.getElementsByTagName("span");
+    for (var i = 0; i < spans.length; ++i) {
+      var span = spans[i];
+      span.dead = true;
+      for (var ls = span.sources; ls; ls = ls.next)
+        ls.data.dyns = remove(span, ls.data.dyns);
+    }
+
+    x.innerHTML = v;
+    runScripts(x);
+  };
+  populate(x);
   addNode(x);
-  s.h = cons(function() { populate(x, s.v) }, s.h);
 }
 
 function inp(t, s) {
   var x = document.createElement(t);
-  x.value = s.v;
+  x.dead = false;
+  x.signal = ss(s);
+  x.sources = null;
+  x.recreate = function(v) { if (x.value != v) x.value = v; };
+  populate(x);
   addNode(x);
-  s.h = cons(function() { if (x.value != s.v) x.value = s.v }, s.h);
   x.onkeyup = function() { sv(s, x.value) };
   return x;
 }
@@ -212,7 +250,7 @@
     q.back = q.front;
   } else {
     var node = cons(v, null);
-    q.back.n = node;
+    q.back.next = node;
     q.back = node;
   }
 }
@@ -220,8 +258,8 @@
   if (q.front == null)
     return null;
   else {
-    var r = q.front.v;
-    q.front = q.front.n;
+    var r = q.front.data;
+    q.front = q.front.next;
     if (q.front == null)
       q.back = null;
     return r;
@@ -257,7 +295,7 @@
       if (isok) {
         var lines = xhr.responseText.split("\n");
         if (lines.length < 2) 
-          return; //throw "Empty message from remote server";
+          return; // throw "Empty message from remote server";
 
         for (var i = 0; i+1 < lines.length; i += 2) {
           var chn = lines[i];
@@ -324,7 +362,7 @@
 }
 
 function uf(s) {
- return escape(s).replace(new RegExp ("/", "g"), "%2F");
+  return escape(s).replace(new RegExp ("/", "g"), "%2F");
 }
 
 function uu(s) {