Lane userdata implementation refactoring:

    - Refactor lane proxy implementation: it is now a full userdata instead
      of a table, and its methods are implemented in C instead of Lua.
      * its metatable is no longer accessible.
      * writing to the proxy raises an error.
      * it is no longer possible to overwrite its join() and cancel() methods
    - when a deep userdata idfunc requests a module to be required, manually
      check that it is not loaded before requiring it instead of relying on
      the require function's loop detection feature.
    - when a module must be required, raise an error if the 'require' function
      is not found in the target state.
    - we know Lanes is loaded in the master state, so we don't force it
      to be required in every lane too when a linda deep userdata is copied.

5 files changed, 43 insertions, 14 deletions

diff --git a/tests/appendud.lua b/tests/appendud.lua
index 65d0798..eb1f768 100644
--- a/tests/appendud.lua
+++ b/tests/appendud.lua
@@ -31,28 +31,30 @@ local _ud = {
 
 
 function appendud(tab, ud)
-    io.stderr:write "Starting"
+    io.stderr:write "Starting "
     tab:beginupdate() set_finalizer( function() tab:endupdate() end )
     ud:lock() set_finalizer( function() ud:unlock() end )
     for i = 1,#ud do
         tab[#tab+1] = ud[i]
     end
-    io.stderr:write "Ending"
+    io.stderr:write "Ending "
     return tab  -- need to return 'tab' since we're running in a separate thread
                 -- ('tab' is passed over lanes by value, not by reference)
 end
 
-local t,err= lanes.gen( "io", appendud )( _tab, _ud )   -- create & launch a thread
+local t,err= lanes.gen( "base,io", appendud )( _tab, _ud )   -- create & launch a thread
 assert(t)
 assert(not err)
 
 -- test
-
-t:join()    -- Need to explicitly wait for the thread, since 'ipairs()' does not
+-- print("t:join()")
+a,b,c = t[1],t[2],t[3]    -- Need to explicitly wait for the thread, since 'ipairs()' does not
+--a,b,c = t:join()    -- Need to explicitly wait for the thread, since 'ipairs()' does not
             -- value the '__index' metamethod (wouldn't it be cool if it did..?)
 
-io.stderr:write(t[1])
+print(a,b,c)
+-- print("io.stderr:write(t[1])")
+-- io.stderr:write(t[1])
+_ = t[0]
+print(_)
 
-for k,v in ipairs(t) do
-    print(k,v)
-end
diff --git a/tests/basic.lua b/tests/basic.lua
index 352e029..853a8de 100644
--- a/tests/basic.lua
+++ b/tests/basic.lua
@@ -171,7 +171,7 @@ local function PEEK() return linda:get("<-") end
 local function SEND(...) linda:send( "->", ... ) end
 local function RECEIVE() return linda:receive( "<-" ) end
 
-local t= lanes_gen("io,package",chunk)(linda)     -- prepare & launch
+local t= lanes_gen("io",chunk)(linda)     -- prepare & launch
 
 SEND(1);  WR( "1 sent\n" )
 SEND(2);  WR( "2 sent\n" )
diff --git a/tests/error.lua b/tests/error.lua
index 673bcb5..4922846 100644
--- a/tests/error.lua
+++ b/tests/error.lua
@@ -9,9 +9,9 @@ require "lanes"
 local function lane()

 

     local subf= function()  -- this so that we can see the call stack

-        --error "aa"

-        error({})

-        error(error)

+        error "aa"

+        --error({})

+        --error(error)

     end

     local subf2= function()

         subf()

diff --git a/tests/fibonacci.lua b/tests/fibonacci.lua
index 8867e14..667a3e9 100644
--- a/tests/fibonacci.lua
+++ b/tests/fibonacci.lua
@@ -70,6 +70,6 @@ assert( #right==99 )
 
 local N= 80
 local res= fib(N)
-print( right[N] )
+print( right[N], res )
 assert( res==right[N] )
 
diff --git a/tests/protectproxy.lua b/tests/protectproxy.lua
new file mode 100644
index 0000000..57ca831
--- /dev/null
+++ b/tests/protectproxy.lua
@@ -0,0 +1,27 @@
+require "lanes"
+
+local body = function( param)
+        print ( "lane body: " .. param)
+        return 1
+end
+
+local gen = lanes.gen( "*", body)
+
+local mylane = gen( "hello")
+
+local result = mylane[1]
+
+-- make sure we have properly protected the lane
+
+-- can't access the metatable
+print( "metatable:" .. tostring( getmetatable( mylane)))
+
+-- can't write to the userdata
+print( "lane result: " .. mylane[1])
+
+-- read nonexistent values -> nil
+print "reading nonexistent return value"
+a = mylane[2]
+
+print "writing to the lane -> error"
+mylane[4] = true