diff options
author | kyren <kerriganw@gmail.com> | 2018-02-06 03:33:19 -0500 |
---|---|---|
committer | kyren <kerriganw@gmail.com> | 2018-02-06 03:33:19 -0500 |
commit | 823c2deaca6207e7ca01198fd45c8d2ebf7fa5b0 (patch) | |
tree | a375b63168235dbfd37f7f72102d7baa8834feea | |
parent | 8820e7705c6f3cb2a0dcbdb16f8f609cb1327dcc (diff) | |
download | mlua-823c2deaca6207e7ca01198fd45c8d2ebf7fa5b0.zip |
Slightly different strategy with RegistryKey values
Provide a method for automatic cleanup of expired RegistryKey values, so that
manually cleaning up registry values is optional.
-rw-r--r-- | src/lua.rs | 131 | ||||
-rw-r--r-- | src/tests.rs | 25 | ||||
-rw-r--r-- | src/types.rs | 36 | ||||
-rw-r--r-- | src/userdata.rs | 20 |
4 files changed, 101 insertions, 111 deletions
@@ -1,4 +1,5 @@ use std::{ptr, str}; +use std::sync::{Arc, Mutex}; use std::ops::DerefMut; use std::cell::RefCell; use std::ffi::CString; @@ -6,6 +7,7 @@ use std::any::TypeId; use std::marker::PhantomData; use std::collections::HashMap; use std::os::raw::{c_char, c_int, c_void}; +use std::mem; use std::process; use libc; @@ -14,7 +16,7 @@ use ffi; use error::*; use util::*; use value::{FromLua, FromLuaMulti, MultiValue, Nil, ToLua, ToLuaMulti, Value}; -use types::{Callback, Integer, LightUserData, LuaRef, Number, RegistryKey, SharedId}; +use types::{Callback, Integer, LightUserData, LuaRef, Number, RegistryKey}; use string::String; use table::Table; use function::Function; @@ -30,8 +32,8 @@ pub struct Lua { // Data associated with the main lua_State via lua_getextraspace. struct ExtraData { - lua_id: SharedId, registered_userdata: HashMap<TypeId, c_int>, + registry_drop_list: Arc<Mutex<Vec<c_int>>>, } impl Drop for Lua { @@ -436,19 +438,13 @@ impl Lua { ) -> Result<()> { unsafe { stack_err_guard(self.state, 0, || { - check_stack(self.state, 6); - - ffi::lua_pushlightuserdata( - self.state, - &USER_REGISTRY_KEY as *const u8 as *mut c_void, - ); - ffi::lua_rawget(self.state, ffi::LUA_REGISTRYINDEX); + check_stack(self.state, 5); push_string(self.state, name)?; self.push_value(self.state, t.to_lua(self)?); - protect_lua_call(self.state, 3, 0, |state| { - ffi::lua_settable(state, -3); + protect_lua_call(self.state, 2, 0, |state| { + ffi::lua_rawset(state, ffi::LUA_REGISTRYINDEX); }) }) } @@ -461,16 +457,12 @@ impl Lua { pub fn named_registry_value<'lua, T: FromLua<'lua>>(&'lua self, name: &str) -> Result<T> { unsafe { stack_err_guard(self.state, 0, || { - check_stack(self.state, 5); - - ffi::lua_pushlightuserdata( - self.state, - &USER_REGISTRY_KEY as *const u8 as *mut c_void, - ); - ffi::lua_rawget(self.state, ffi::LUA_REGISTRYINDEX); + check_stack(self.state, 4); push_string(self.state, name)?; - protect_lua_call(self.state, 2, 1, |state| ffi::lua_gettable(state, -2))?; + protect_lua_call(self.state, 1, 1, |state| { + ffi::lua_rawget(state, ffi::LUA_REGISTRYINDEX) + })?; T::from_lua(self.pop_value(self.state), self) }) @@ -487,27 +479,20 @@ impl Lua { /// Place a value in the Lua registry with an auto-generated key. /// /// This value will be available to rust from all `Lua` instances which share the same main - /// state. The value will NOT be automatically removed when the `RegistryKey` is dropped, you - /// MUST call `remove_registry_value` to remove it. + /// state. pub fn create_registry_value<'lua, T: ToLua<'lua>>(&'lua self, t: T) -> Result<RegistryKey> { unsafe { stack_guard(self.state, 0, || { - check_stack(self.state, 3); - - ffi::lua_pushlightuserdata( - self.state, - &USER_REGISTRY_KEY as *const u8 as *mut c_void, - ); - ffi::lua_rawget(self.state, ffi::LUA_REGISTRYINDEX); + check_stack(self.state, 1); self.push_value(self.state, t.to_lua(self)?); - let id = gc_guard(self.state, || ffi::luaL_ref(self.state, -2)); - - ffi::lua_pop(self.state, 1); + let registry_id = gc_guard(self.state, || { + ffi::luaL_ref(self.state, ffi::LUA_REGISTRYINDEX) + }); Ok(RegistryKey { - lua_id: (*self.extra()).lua_id.clone(), - registry_id: id, + registry_id, + drop_list: (*self.extra()).registry_drop_list.clone(), }) }) } @@ -521,65 +506,64 @@ impl Lua { unsafe { lua_assert!( self.state, - key.lua_id == (*self.extra()).lua_id, + Arc::ptr_eq(&key.drop_list, &(*self.extra()).registry_drop_list), "Lua instance passed RegistryKey created from a different Lua" ); stack_err_guard(self.state, 0, || { - check_stack(self.state, 2); - - ffi::lua_pushlightuserdata( + check_stack(self.state, 1); + ffi::lua_rawgeti( self.state, - &USER_REGISTRY_KEY as *const u8 as *mut c_void, + ffi::LUA_REGISTRYINDEX, + key.registry_id as ffi::lua_Integer, ); - ffi::lua_rawget(self.state, ffi::LUA_REGISTRYINDEX); - - ffi::lua_rawgeti(self.state, -1, key.registry_id as ffi::lua_Integer); - - let t = T::from_lua(self.pop_value(self.state), self)?; - - ffi::lua_pop(self.state, 1); - - Ok(t) + T::from_lua(self.pop_value(self.state), self) }) } } /// Removes a value from the Lua registry. /// - /// You MUST call this function to remove a value placed in the registry with - /// `create_registry_value` - pub fn remove_registry_value(&self, key: RegistryKey) { + /// You may call this function to manually remove a value placed in the registry with + /// `create_registry_value`. In addition to manual `RegistryKey` removal, you can also call + /// `expire_registry_values` to automatically remove values from the registry whose + /// `RegistryKey`s have been dropped. + pub fn remove_registry_value(&self, mut key: RegistryKey) { unsafe { lua_assert!( self.state, - key.lua_id == (*self.extra()).lua_id, + Arc::ptr_eq(&key.drop_list, &(*self.extra()).registry_drop_list), "Lua instance passed RegistryKey created from a different Lua" ); - stack_guard(self.state, 0, || { - check_stack(self.state, 2); - - ffi::lua_pushlightuserdata( - self.state, - &USER_REGISTRY_KEY as *const u8 as *mut c_void, - ); - ffi::lua_rawget(self.state, ffi::LUA_REGISTRYINDEX); - - ffi::lua_pushnil(self.state); - ffi::lua_rawseti(self.state, -2, key.registry_id as ffi::lua_Integer); - - ffi::lua_pop(self.state, 1); - }) + ffi::luaL_unref(self.state, ffi::LUA_REGISTRYINDEX, key.registry_id); + // Don't adding to the registry drop list when dropping the key + key.registry_id = ffi::LUA_REFNIL; } } - /// Returns true if the given `RegistryKey` was created by this `Lua` instance. + /// Returns true if the given `RegistryKey` was created by a `Lua` which shares the underlying + /// main state with this `Lua` instance. /// - /// Other than this one, methods that accept a `RegistryKey` will panic if passed a - /// `RegistryKey` that was not created with this `Lua` instance. + /// Other than this, methods that accept a `RegistryKey` will panic if passed a `RegistryKey` + /// that was not created with a matching `Lua` state. pub fn owns_registry_value(&self, key: &RegistryKey) -> bool { - unsafe { key.lua_id == (*self.extra()).lua_id } + unsafe { Arc::ptr_eq(&key.drop_list, &(*self.extra()).registry_drop_list) } + } + + /// Remove any registry values whose `RegistryKey`s have all been dropped. Unlike normal handle + /// values, `RegistryKey`s cannot automatically clean up their registry entries on Drop, but you + /// can call this method to remove any unreachable registry values. + pub fn expire_registry_values(&self) { + unsafe { + let drop_list = mem::replace( + (*self.extra()).registry_drop_list.lock().unwrap().as_mut(), + Vec::new(), + ); + for id in drop_list { + ffi::luaL_unref(self.state, ffi::LUA_REGISTRYINDEX, id); + } + } } // Uses 1 stack space, does not call checkstack @@ -920,12 +904,6 @@ impl Lua { ffi::lua_rawset(state, ffi::LUA_REGISTRYINDEX); - // Create "user registry" table - - ffi::lua_pushlightuserdata(state, &USER_REGISTRY_KEY as *const u8 as *mut c_void); - ffi::lua_newtable(state); - ffi::lua_rawset(state, ffi::LUA_REGISTRYINDEX); - // Override pcall and xpcall with versions that cannot be used to catch rust panics. ffi::lua_rawgeti(state, ffi::LUA_REGISTRYINDEX, ffi::LUA_RIDX_GLOBALS); @@ -943,8 +921,8 @@ impl Lua { // Create ExtraData, and place it in the lua_State "extra space" let extra_data = Box::into_raw(Box::new(ExtraData { - lua_id: SharedId::new(), registered_userdata: HashMap::new(), + registry_drop_list: Arc::new(Mutex::new(Vec::new())), })); *(ffi::lua_getextraspace(state) as *mut *mut ExtraData) = extra_data; }); @@ -1018,4 +996,3 @@ impl Lua { } static FUNCTION_METATABLE_REGISTRY_KEY: u8 = 0; -static USER_REGISTRY_KEY: u8 = 0; diff --git a/src/tests.rs b/src/tests.rs index 5acffa9..cd10d89 100644 --- a/src/tests.rs +++ b/src/tests.rs @@ -1,8 +1,9 @@ use std::fmt; use std::error; +use std::rc::Rc; use std::panic::catch_unwind; -use {Error, ExternalError, Function, Lua, Nil, Result, Table, Value, Variadic}; +use {Error, ExternalError, Function, Lua, Nil, Result, Table, UserData, Value, Variadic}; #[test] fn test_load() { @@ -537,6 +538,28 @@ fn test_registry_value() { } #[test] +fn test_drop_registry_value() { + struct MyUserdata(Rc<()>); + + impl UserData for MyUserdata {} + + let lua = Lua::new(); + + let rc = Rc::new(()); + + let r = lua.create_registry_value(MyUserdata(rc.clone())).unwrap(); + assert_eq!(Rc::strong_count(&rc), 2); + + drop(r); + lua.expire_registry_values(); + + lua.exec::<()>(r#"collectgarbage("collect")"#, None) + .unwrap(); + + assert_eq!(Rc::strong_count(&rc), 1); +} + +#[test] #[should_panic] fn test_mismatched_lua_ref() { let lua1 = Lua::new(); diff --git a/src/types.rs b/src/types.rs index 0a2e6ca..5aa531b 100644 --- a/src/types.rs +++ b/src/types.rs @@ -1,6 +1,6 @@ use std::fmt; use std::os::raw::{c_int, c_void}; -use std::sync::Arc; +use std::sync::{Arc, Mutex}; use ffi; use error::Result; @@ -16,28 +16,24 @@ pub type Number = ffi::lua_Number; #[derive(Debug, Copy, Clone, Eq, PartialEq)] pub struct LightUserData(pub *mut c_void); -// Clone-able id where every clone of the same id compares equal, and are guaranteed unique. -#[derive(Debug, Clone)] -pub(crate) struct SharedId(Arc<()>); - -impl SharedId { - pub(crate) fn new() -> SharedId { - SharedId(Arc::new(())) - } -} - -impl PartialEq for SharedId { - fn eq(&self, other: &SharedId) -> bool { - Arc::ptr_eq(&self.0, &other.0) - } -} - -impl Eq for SharedId {} - /// An auto generated key into the Lua registry. +/// +/// This is a handle into a value stored inside the Lua registry, similar to the normal handle types +/// like `Table` or `Function`. The difference is that this handle does not require holding a +/// reference to a parent `Lua` instance, and thus is managed differently. Though it is more +/// difficult to use than the normal handle types, it is Send + Sync + 'static, which means that it +/// can be used in many situations where it would be impossible to store a regular handle value. pub struct RegistryKey { - pub(crate) lua_id: SharedId, pub(crate) registry_id: c_int, + pub(crate) drop_list: Arc<Mutex<Vec<c_int>>>, +} + +impl Drop for RegistryKey { + fn drop(&mut self) { + if self.registry_id != ffi::LUA_REFNIL { + self.drop_list.lock().unwrap().push(self.registry_id); + } + } } pub(crate) type Callback<'lua> = diff --git a/src/userdata.rs b/src/userdata.rs index 2c395e4..8c154b5 100644 --- a/src/userdata.rs +++ b/src/userdata.rs @@ -433,6 +433,8 @@ impl<'lua> AnyUserData<'lua> { #[cfg(test)] mod tests { + use std::rc::Rc; + use super::{MetaMethod, UserData, UserDataMethods}; use error::ExternalError; use string::String; @@ -588,29 +590,21 @@ mod tests { #[test] fn detroys_userdata() { - use std::sync::atomic::{AtomicBool, Ordering, ATOMIC_BOOL_INIT}; - - static DROPPED: AtomicBool = ATOMIC_BOOL_INIT; - - struct MyUserdata; + struct MyUserdata(Rc<()>); impl UserData for MyUserdata {} - impl Drop for MyUserdata { - fn drop(&mut self) { - DROPPED.store(true, Ordering::SeqCst); - } - } + let rc = Rc::new(()); let lua = Lua::new(); { let globals = lua.globals(); - globals.set("userdata", MyUserdata).unwrap(); + globals.set("userdata", MyUserdata(rc.clone())).unwrap(); } - assert_eq!(DROPPED.load(Ordering::SeqCst), false); + assert_eq!(Rc::strong_count(&rc), 2); drop(lua); // should destroy all objects - assert_eq!(DROPPED.load(Ordering::SeqCst), true); + assert_eq!(Rc::strong_count(&rc), 1); } #[test] |