@axpecter/lync 1.5.2 → 2.1.0

package/src/transport/Reader.luau

@@ -1,172 +1,231 @@
 --!strict
 --!optimize 2
--- Deserializes incoming buffers and routes by registration kind.
+-- Deserializes incoming buffers with MSB batch dispatch.
 
 local Baseline = require(script.Parent.Parent.internal.Baseline)
-local Gate = require(script.Parent.Gate)
+local Channel = require(script.Parent.Parent.internal.Channel)
+local Gate = require(script.Parent.Parent.transport.Gate)
 local Middleware = require(script.Parent.Parent.internal.Middleware)
 local Registry = require(script.Parent.Parent.internal.Registry)
-
-local registryGet = Registry.get
-local gateCheck = Gate.check
-local gateReportDrop = Gate.reportDrop
+local Types = require(script.Parent.Parent.Types)
+local Varint = require(script.Parent.Parent.codec.primitive.Varint)
 
 -- Constants -----------------------------------------------------------
 
 local KIND_PACKET = Registry.KIND_PACKET
 local KIND_REQUEST = Registry.KIND_REQUEST
+local KIND_RESPONSE = Registry.KIND_RESPONSE
+
+-- Private -------------------------------------------------------------
 
-local MAX_INCOMING = 65536
+local band = bit32.band
+local readu8 = buffer.readu8
 
 -- Public --------------------------------------------------------------
 
 local Reader = {}
 
--- Shared incoming-data validation used by both Client and Server receive.
 function Reader.decodeIncoming(data: any): buffer?
     if typeof(data) ~= "buffer" then
         return nil
     end
-    if buffer.len(data) > MAX_INCOMING then
+    local b = data :: buffer
+    local len = buffer.len(b)
+    if len == 0 or len > 65536 then
         return nil
     end
-    return data
+    return b
 end
 
--- Callers wrap this in pcall. Any throw aborts the entire buffer from this source.
 function Reader.process(
     incoming: buffer,
+    incomingLen: number,
     refs: { Instance }?,
     player: Player?,
-    startOffset: number
+    isServer: boolean
 ): ()
-    local length = buffer.len(incoming)
-    local pos = startOffset
-
-    if Baseline.hasDelta then
+    -- Set baseline read key for delta codecs
+    if Baseline.hasDelta() then
         Baseline.setReadKey(player or false)
     end
 
-    -- Cache flags once per frame-buffer, not per packet
-    local hasReceiveMiddleware = Middleware.hasReceive
-    local isServer = player ~= nil
+    local statsEnabled = Channel.statsEnabled()
+    local hasRecvHooks = Middleware.hasReceiveHooks()
+    local pos = 0
 
-    while pos < length do
-        local id = buffer.readu8(incoming, pos)
+    while pos < incomingLen do
+        local raw = readu8(incoming, pos)
         pos += 1
 
-        local reg = registryGet(id)
+        local msb = band(raw, 0x80) ~= 0
+        local id = band(raw, 0x7F)
+
+        local reg = Registry.get(id)
         if not reg then
-            warn(`[Lync] Unknown packet ID {id}`)
+            warn(`[Lync] Reader: unknown packet ID {id} at byte {pos - 1}`)
             break
         end
 
-        local kind = reg.kind
+        if reg.kind == KIND_PACKET then
+            local count: number
 
-        if kind == KIND_PACKET then
-            if pos + 2 > length then
-                break
+            if msb then
+                count = 1
+            else
+                count = buffer.readu16(incoming, pos)
+                pos += 2
             end
 
-            local count = buffer.readu16(incoming, pos)
-            pos += 2
-
-            if count == 0 then
-                continue
+            -- Read timestamp if this packet has one configured
+            local tsMode = reg.timestampMode
+            local tsValue: any = nil
+
+            if tsMode == Channel.TS_FRAME then
+                tsValue = readu8(incoming, pos)
+                pos += 1
+            elseif tsMode == Channel.TS_OFFSET then
+                tsValue = buffer.readu16(incoming, pos)
+                pos += 2
+            elseif tsMode == Channel.TS_FULL then
+                tsValue = buffer.readf64(incoming, pos)
+                pos += 8
             end
 
-            local codec = reg.codec
-            local signal = reg.signal
-            local batchStart = pos
-            local maxBytes = reg.maxPayloadBytes
-
-            -- Hot path: no gate, no middleware, no byte budget
-            if not (isServer and reg.needsGate) and not hasReceiveMiddleware and not maxBytes then
-                for _ = 1, count do
-                    if pos >= length then
-                        break
-                    end
-
-                    local value, consumed = codec.read(incoming, pos, refs)
-                    pos += consumed
-                    signal:fire(value, player)
+            -- Prevent a malicious count from reading past the buffer
+            if reg.codec._size then
+                local maxItems = (incomingLen - pos) // (reg.codec._size :: number)
+                if count > maxItems then
+                    count = maxItems
                 end
-            else
-                -- Cold path: gate and/or middleware and/or byte budget active
-                local baseName = reg.baseName
-                local needsGate = isServer and reg.needsGate
+            end
 
-                for _ = 1, count do
-                    if pos >= length then
-                        break
-                    end
+            for _ = 1, count do
+                local value, consumed = reg.codec.read(incoming, pos, refs)
+                pos += consumed
 
-                    if maxBytes and (pos - batchStart) > maxBytes then
-                        gateReportDrop(player, "size", reg.name, nil)
-                        break
+                if isServer and reg.needsGate then
+                    if player and not Gate.checkGlobalRateLimit(player) then
+                        if statsEnabled then
+                            reg.drops += 1
+                        end
+                        Middleware.fireDrop(player :: Player, "rate", reg.name, value)
+                        continue
                     end
 
-                    local value, consumed = codec.read(incoming, pos, refs)
-                    pos += consumed
+                    if player and not Gate.checkRateLimit(reg, player) then
+                        if statsEnabled then
+                            reg.drops += 1
+                        end
+                        Middleware.fireDrop(player :: Player, "rate", reg.name, value)
+                        continue
+                    end
 
-                    if needsGate and not gateCheck(value, reg, player :: Player) then
+                    local ok, reason = Gate.validate(value, reg.codec)
+                    if not ok then
+                        if statsEnabled then
+                            reg.drops += 1
+                        end
+                        if player then
+                            Middleware.fireDrop(player, "validation", reg.name, value)
+                        end
                         continue
                     end
 
-                    if hasReceiveMiddleware then
-                        local final = Middleware.runReceive(value, baseName, player)
-                        if final == nil then
+                    if reg.validate then
+                        local valid, validReason = reg.validate(value, player :: Player)
+                        if not valid then
+                            if statsEnabled then
+                                reg.drops += 1
+                            end
+                            Middleware.fireDrop(
+                                player :: Player,
+                                validReason or "validate",
+                                reg.name,
+                                value
+                            )
                             continue
                         end
-                        signal:fire(final, player)
-                    else
-                        signal:fire(value, player)
                     end
                 end
-            end
-        else
-            -- Query frame: id(u8, already read) + correlationId(u16) + status(u8) = 3 more bytes
-            if pos + 3 > length then
-                break
-            end
 
-            local queryCodec = reg.codec
-            local querySignal = reg.signal
+                if hasRecvHooks then
+                    value = Middleware.runReceive(value, reg.name, player)
+                end
 
-            local correlationId = buffer.readu16(incoming, pos)
-            local status = buffer.readu8(incoming, pos + 2)
-            pos += 3
+                if statsEnabled then
+                    reg.recvFires += 1
+                end
 
-            if status == 1 then
-                if kind == KIND_REQUEST then
-                    querySignal:fire(nil, player, correlationId)
+                if tsValue ~= nil then
+                    reg.signal:fire(value, player, tsValue)
                 else
-                    querySignal:fire(nil, player, correlationId)
+                    reg.signal:fire(value, player)
                 end
-                continue
             end
 
-            local value, consumed = queryCodec.read(incoming, pos, refs)
-            pos += consumed
-
-            if isServer and reg.needsGate and not gateCheck(value, reg, player :: Player) then
-                continue
+            if statsEnabled then
+                -- Approximate: counts all bytes consumed in this frame, not just payload
+                reg.bytesReceived += pos
             end
-
-            local final: any
-            if hasReceiveMiddleware then
-                final = Middleware.runReceive(value, reg.baseName, player)
-                if final == nil then
-                    continue
+        elseif reg.kind == KIND_REQUEST or reg.kind == KIND_RESPONSE then
+            -- MSB distinguishes nil responses (no payload) from data responses
+            local corrId, corrBytes = Varint.read(incoming, pos)
+            pos += corrBytes
+
+            if msb then
+                if statsEnabled then
+                    reg.recvFires += 1
                 end
+                reg.signal:fire(nil, player, corrId)
             else
-                final = value
-            end
+                local value, consumed = reg.codec.read(incoming, pos, refs)
+                pos += consumed
 
-            if kind == KIND_REQUEST then
-                querySignal:fire(final, player, correlationId)
-            else
-                querySignal:fire(final, player, correlationId)
+                if isServer and reg.needsGate and reg.kind == KIND_REQUEST then
+                    if player and not Gate.checkRateLimit(reg, player) then
+                        if statsEnabled then
+                            reg.drops += 1
+                        end
+                        Middleware.fireDrop(player :: Player, "rate", reg.name, value)
+                        continue
+                    end
+
+                    local ok, reason = Gate.validate(value, reg.codec)
+                    if not ok then
+                        if statsEnabled then
+                            reg.drops += 1
+                        end
+                        if player then
+                            Middleware.fireDrop(player, "validation", reg.name, value)
+                        end
+                        continue
+                    end
+
+                    if reg.validate then
+                        local valid, validReason = reg.validate(value, player :: Player)
+                        if not valid then
+                            if statsEnabled then
+                                reg.drops += 1
+                            end
+                            Middleware.fireDrop(
+                                player :: Player,
+                                validReason or "validate",
+                                reg.name,
+                                value
+                            )
+                            continue
+                        end
+                    end
+                end
+
+                if hasRecvHooks then
+                    value = Middleware.runReceive(value, reg.name, player)
+                end
+
+                if statsEnabled then
+                    reg.recvFires += 1
+                end
+                reg.signal:fire(value, player, corrId)
             end
         end
     end