Módulos Lua
Módulos de runtime estendem o ambiente Lua com novas funcionalidades. Módulos podem fornecer utilitários determinísticos, operações de I/O ou comandos assíncronos que cedem para sistemas externos.
A implementação do runtime Lua pode mudar em versões futuras.
Definição de Módulo
Todo módulo usa luaapi.ModuleDef:
var Module = &luaapi.ModuleDef{
Name: "mymodule",
Description: "My custom module",
Class: []string{luaapi.ClassDeterministic},
Types: ModuleTypes, // Definições de tipo para ferramentas
Build: func() (*lua.LTable, []luaapi.YieldType) {
mod := lua.CreateTable(0, 2)
mod.RawSetString("hello", lua.LGoFunc(helloFunc))
mod.RawSetString("greet", lua.LGoFunc(greetFunc))
mod.Immutable = true
return mod, nil
},
}
A função Build retorna:
- Tabela do módulo com funções exportadas
- Lista de tipos de yield para operações assíncronas (ou nil)
Tabelas de módulo são construídas uma vez e cacheadas para reuso em todos os estados Lua.
Classificação de Módulo
O campo Class determina onde o módulo pode ser usado:
| Classe | Descrição |
|---|---|
ClassDeterministic |
Mesma entrada sempre produz mesma saída |
ClassNondeterministic |
Saída varia (tempo, aleatório) |
ClassIO |
Operações de I/O externas |
ClassNetwork |
Operações de rede |
ClassEncoding |
Serialização e codificação |
ClassTime |
Acesso a relógio e timers |
ClassProcess |
Controle de processos |
ClassSecurity |
Contexto de segurança e tokens |
ClassStorage |
Persistência de dados |
ClassWorkflow |
Operações seguras para workflow |
Processos de workflow são compilados com ClassDeterministic e ClassWorkflow como classes permitidas: um módulo fica disponível para workflows se carregar ao menos uma delas; caso contrário, fica restrito a funções e processos.
Expondo Funções
Funções tem assinatura func(l *lua.LState) int onde o valor de retorno é o número de valores empurrados na stack:
func greetFunc(l *lua.LState) int {
name := l.CheckString(1) // Argumento obrigatório
greeting := l.OptString(2, "Hello") // Opcional com padrão
l.Push(lua.LString(greeting + ", " + name + "!"))
return 1
}
| Método | Descrição |
|---|---|
l.CheckString(n) |
String obrigatória na posição n |
l.CheckInt(n) |
Inteiro obrigatório |
l.CheckNumber(n) |
Número obrigatório |
l.CheckTable(n) |
Tabela obrigatória |
l.OptString(n, def) |
String opcional com padrão |
l.OptInt(n, def) |
Int opcional com padrão |
Tabelas
Tabelas passadas entre Go e Lua são mutáveis por padrão. Tabelas de exportação de módulo devem ser marcadas imutáveis:
mod := lua.CreateTable(0, 5)
mod.RawSetString("func1", lua.LGoFunc(func1))
mod.Immutable = true // Previne Lua de modificar exports
Tabelas de dados permanecem mutáveis para uso normal:
result := l.CreateTable(0, 3)
result.RawSetString("name", lua.LString("value"))
result.RawSetString("count", lua.LNumber(42))
l.Push(result)
Sistema de Tipos
Módulos usam dois mecanismos de tipagem separados mas complementares.
Definições de Tipo (Ferramentas)
O campo Types fornece assinaturas de tipo para suporte de IDE e documentação. Os tipos são construídos com os builders fluentes do pacote typ:
import (
"github.com/wippyai/go-lua/types/io"
"github.com/wippyai/go-lua/types/typ"
)
func ModuleTypes() *io.Manifest {
m := io.NewManifest("mymodule")
objectType := typ.NewInterface("mymodule.Object", []typ.Method{
{Name: "get_value", Type: typ.Func().Param("self", typ.Self).
Returns(typ.String, typ.NewOptional(typ.LuaError)).Build()},
{Name: "set_value", Type: typ.Func().Param("self", typ.Self).
Param("value", typ.String).Returns(typ.NewOptional(typ.LuaError)).Build()},
})
m.DefineType("Object", objectType)
m.SetExport(objectType)
return m
}
Construtos de tipo disponíveis:
| Tipo | Descrição |
|---|---|
typ.String |
Primitivo string |
typ.Number |
Valor numérico |
typ.Integer |
Valor inteiro |
typ.Boolean |
Valor booleano |
typ.Any |
Qualquer valor Lua |
typ.Self |
Tipo do receptor para métodos |
typ.LuaError |
Tipo de erro |
typ.NewOptional(t) |
Valor opcional do tipo t |
typ.NewInterface(name, methods) |
Objeto com métodos |
typ.Func() |
Builder de assinatura de função |
typ.NewRecord() |
Builder de tipo struct-like (campos via .Field/.OptField) |
typ.NewArray(t) |
Array do tipo de elemento t |
typ.NewMap(k, v) |
Mapa com tipos de chave/valor |
Builders de função encadeiam Param, OptParam, Variadic e Returns:
// (string, ...any) -> (string, error?)
typ.Func().
Param("first", typ.String).
Variadic(typ.Any).
Returns(typ.String, typ.NewOptional(typ.LuaError)).
Build()
Records declaram campos com Field (obrigatório) e OptField (opcional):
typ.NewRecord().
Field("key", typ.String).
Field("value", typ.Any).
OptField("ttl", typ.Number).
Build()
Veja o pacote typ em go-lua para o sistema de tipos completo.
Bindings UserData (Runtime)
RegisterTypeMethods cria os bindings reais Go-para-Lua:
func init() {
value.RegisterTypeMethods(nil, "mymodule.Object",
map[string]lua.LGoFunc{
"__tostring": objectToString, // Metamétodos
},
map[string]lua.LGoFunc{
"get_value": objectGetValue, // Métodos regulares
"set_value": objectSetValue,
},
)
}
Metatables são imutáveis e cacheadas globalmente para reuso thread-safe.
| Sistema | Propósito | Define |
|---|---|---|
| Definições de Tipo | IDE, docs, checagem de tipo | Assinaturas |
| Bindings UserData | Chamadas de método em runtime | Funções executáveis |
Operações Assíncronas
Para operações que aguardam sistemas externos, retorne um yield em vez de um resultado. O yield é despachado para um handler Go e o processo retoma quando o handler completa.
Definindo Yields
Declare tipos de yield na função Build do módulo:
Build: func() (*lua.LTable, []luaapi.YieldType) {
mod := lua.CreateTable(0, 1)
mod.RawSetString("fetch", lua.LGoFunc(fetchFunc))
mod.Immutable = true
yields := []luaapi.YieldType{
{Sample: &FetchYield{}, CmdID: myapi.FetchCommand},
}
return mod, yields
}
Criando um Yield
Retorne -1 para sinalizar um yield em vez de valores de retorno normais:
func fetchFunc(l *lua.LState) int {
url := l.CheckString(1)
yield := AcquireFetchYield()
yield.URL = url
l.Push(yield)
return -1 // Sinalizar yield, não contagem de stack
}
Implementação de Yield
Yields fazem ponte entre valores Lua e comandos do dispatcher:
type FetchYield struct {
*myapi.FetchCmd
}
func (y *FetchYield) String() string { return "<fetch_yield>" }
func (y *FetchYield) Type() lua.LValueType { return lua.LTUserData }
func (y *FetchYield) CmdID() dispatcher.CommandID { return myapi.FetchCommand }
func (y *FetchYield) ToCommand() dispatcher.Command { return y.FetchCmd }
func (y *FetchYield) Release() { releaseFetchYield(y) }
func (y *FetchYield) HandleResult(l *lua.LState, data any, err error) []lua.LValue {
if err != nil {
return []lua.LValue{lua.LNil, lua.NewLuaError(l, err.Error())}
}
resp := data.(*myapi.FetchResponse)
return []lua.LValue{lua.LString(resp.Body), lua.LNil}
}
O dispatcher roteia o comando para um handler. Veja Command Dispatch para implementar handlers.
Tratamento de Erros
Retorne erros como segundo valor usando erros estruturados:
func myFunc(l *lua.LState) int {
result, err := doSomething()
if err != nil {
lerr := lua.NewLuaError(l, err.Error()).
WithKind(lua.Internal).
WithRetryable(true)
l.Push(lua.LNil)
l.Push(lerr)
return 2
}
l.Push(lua.LString(result))
l.Push(lua.LNil)
return 2
}
Segurança
Verifique permissões antes de realizar operações sensíveis:
func myFunc(l *lua.LState) int {
ctx := l.Context()
if !security.IsAllowed(ctx, "mymodule.action", resource, nil) {
l.Push(lua.LNil)
l.Push(lua.NewLuaError(l, "permission denied").WithKind(lua.PermissionDenied))
return 2
}
// Prosseguir com operação
}
Testes
Testes básicos de módulo verificam estrutura e funções síncronas:
func TestModule(t *testing.T) {
l := lua.NewState()
defer l.Close()
mod, _ := Module.Build()
l.SetGlobal("mymodule", mod)
err := l.DoString(`
local m = mymodule
assert(m.hello() == "Hello, World!")
`)
if err != nil {
t.Fatal(err)
}
}
Testando Módulos com Yields
Para testar código Lua que usa funções que cedem, crie um scheduler mínimo com os dispatchers necessários:
type testScheduler struct {
*actor.Scheduler
clock *clock.Dispatcher
mu sync.Mutex
pending map[string]chan *runtime.Result
}
func newTestScheduler() *testScheduler {
ts := &testScheduler{pending: make(map[string]chan *runtime.Result)}
reg := scheduler.NewRegistry()
// Registrar dispatchers para yields que seu módulo usa
clockSvc := clock.NewDispatcher()
clockSvc.RegisterAll(func(id dispatcher.CommandID, h dispatcher.Handler) {
reg.Register(id, h)
})
ts.clock = clockSvc
ts.Scheduler = actor.NewScheduler(reg, actor.WithWorkers(4), actor.WithLifecycle(ts))
return ts
}
// Stop encapsula Scheduler.Stop, que exige um context.
func (ts *testScheduler) Stop() {
ts.Scheduler.Stop(context.Background())
}
// OnStart satisfaz process.Lifecycle junto com OnComplete.
func (ts *testScheduler) OnStart(context.Context, pid.PID, process.Process) error { return nil }
func (ts *testScheduler) OnComplete(_ context.Context, p pid.PID, result *runtime.Result) {
ts.mu.Lock()
ch, ok := ts.pending[p.UniqID]
delete(ts.pending, p.UniqID)
ts.mu.Unlock()
if ok {
ch <- result
}
}
func (ts *testScheduler) Execute(ctx context.Context, p pid.PID, proc process.Process,
method string, input payload.Payloads) (*runtime.Result, error) {
resultCh := make(chan *runtime.Result, 1)
ts.mu.Lock()
ts.pending[p.UniqID] = resultCh
ts.mu.Unlock()
_, err := ts.Scheduler.Submit(ctx, p, proc, method, input)
if err != nil {
return nil, err
}
select {
case result := <-resultCh:
return result, nil
case <-ctx.Done():
return nil, ctx.Err()
}
}
Crie processos de scripts Lua com os módulos que você está testando:
func bindMyModule(l *lua.LState) error {
tbl, _ := mymodule.Module.Build()
l.SetGlobal(mymodule.Module.Name, tbl)
return nil
}
func newLuaProcess(script string) *engine.Process {
proto, _ := lua.CompileString(script, "test.lua")
proc, _ := engine.NewProcess(
engine.WithProto(proto),
engine.WithModuleBinder(bindMyModule),
)
return proc
}
func TestMyModuleYields(t *testing.T) {
sched := newTestScheduler()
sched.Start()
defer sched.Stop()
script := `
local result = mymodule.fetch("http://example.com")
return result.status
`
ctx, _ := ctxapi.OpenFrameContext(context.Background())
proc := newLuaProcess(script)
result, err := sched.Execute(ctx, pid.PID{UniqID: "test"}, proc, "", nil)
if err != nil {
t.Fatal(err)
}
// Assert no result
}
Veja runtime/lua/modules/time/integration_test.go para um exemplo completo.
Veja Também
- Command Dispatch - Tratamento de comandos yield
- Scheduler - Execução de processos