Adventures in Text-mode

Adventures in Text-mode

By Twisol

In order of no progress to done: Red, Orange, Yellow, Blue, Light blue, Green, Light green.

Last updated 2/12/09 at 12:01 am PST

Cripes! 2.0 -- See the Class Layout

Arenamatic Code w/ cConsole

Tuesday, August 11, 2009

Happy birthday to me!

Posted - 8/11/2009 4:30:31 AM

I turned 17 today! I won't technically be 17 for maybe three more hours, but for all intents and purposes...

I've been working a lot on that Nucleus engine I mentioned previously. Right now I'm getting to know the Lua/C API so I can write a C module that Nucleus can load as a native extension to Java, as a Lua interop module. At the moment it's standalone for testing purposes, while I struggle to learn how to bind C++ classes/objects into Lua to my tastes. I'm happy with what I have so far, but right now it can only bind functions, not other kinds of values. It's probably worth writing down what I've learned so far though.

The goal: Access instance methods of a C++ object from Lua.
The problem: Lua can only easily bind static methods. There needs to be some way to tell a function what instance it should act on.
The solution (simple in hindsight): store the object instance as a full userdatum, and call its methods in Lua using the colon operator (object:method(params)). This is really just syntactic sugar for object.method(object, params). Given that object is the instance, object is really just 'this'.

The above is the keystone to the solution. Obviously it won't do much without some support. For example, we still have to bind a static function for Lua to call. Furthermore, userdata does nothing useful without a metatable. So we have to register a metatable to our new userdatum, with a (static) method registered as its __index at the very least. This function will handle lookups into the userdatum; if I do "object.foo", __index will recieve obj and "foo", and return an appropriate value, even if it's just nil. This is done with a static array of name/pointer pairs to allow lookups based on name.

We expect "object.method" to call __index and return that particular method. But remember, these methods are instance methods, and Lua can't call those directly. So instead of returning the method directly, we'll create a static 'thunk' function to resolve the access and call our instance method. We'll register this thunking function multiple times, once for each instance method, and registering a pointer to a data structure as an upvalue each time. The data structure just holds a pointer-to-member; even though pointers-to-member can't be casted to void*, a pointer to a vanilla struct instance sure can. This is basically just a Lua version of std::bind1st, creating a new object (closure) each time.

Now, "object.method" will call into __index and get back our simple thunking method, with a unique upvalue representing the method to call. So, calling this method with parameters (and using the colon syntax to pass a hidden 'this') should successfully resolve to a call to an object's instance method: "object:method(1,2,3)".

The code is... a bit ugly right now. I want to try to clean it up a bit before I make it public, and hopefully add support for __index returning things other than a function. This is a hobby project, so while I know I could just go the C route and go with static functions in separate .c files, I like working with objects, and it's fun to figure out how this is all supposed to work.

Thanks for reading!
~Jonathan

EDIT: May as well post what my goal code is on the Lua end. This is what I want to be able to do when the interop module is finished:

local server = atom.request("server/telnet")

server.handlers["connect"] = function(self, client)
  local db = atom.request("database/mysql")
  db:connect("localhost", "foologin", "barpasS")
  db:use("blacklist")

  local result = db:query("SELECT * FROM tbl WHERE IP='" .. client.IP .. "'")
  if #result > 0 then
    self:disconnect(client, result[1].reason)
  end
end

Ideally, the server.handlers table/udata would use a __newindex metamethod to tell when something's being assigned, and register the hooks appropriately. I think it's pretty intuitive, and I'm almost positive I can do everything in this snippet. Give me some time, people...

Comments: 5 - Leave a Comment

Link

Comments

Journal of Twisol

Prinz Eugn GDNet+ Member since: 7/22/2005 From: Las Cruces, NM

Posted - 8/11/2009 2:26:15 PM

Happy Birthday!
I'm no expert, but why aren't you using the [ source lang="c"]
[/source ] code? All the cool kids do it, as I understand.

So... when are we gonna see a demo?

User Rating: 1432 | Rate This User

Report this Post to a Moderator

Twisol Member since: 9/11/2005 From: Los Angeles

Posted - 8/11/2009 2:36:18 PM

Ah, I used [ code] instead of [ source]. It's a short snippet and it fits the way it is now, but thanks for reminding me.

As to a demo... I'm not entirely sure. It won't be at least until I finish this Lua/Java layer, and then I'll still need to write some dummy modules in Java to show it off. At that point, I think I'll be opening the floor for third-party module submissions anyways.

Thanks for commenting!

User Rating: 1245 | Rate This User

Report this Post to a Moderator