Update Cargo.toml

Author: daniel-noland

Cargo.lock

@@ -1,7 +1,9 @@
 [workspace]
 
 members = [
+    "acl",
     "args",
+    "cascade",
     "cli",
     "common",
     "concurrency",
@@ -11,7 +13,9 @@ members = [
     "dpdk",
     "dpdk-sys",
     "dpdk-sysroot-helper",
+    "dpdk-test-macros",
     "errno",
+    "fixed-size",
     "flow-entry",
     "flow-filter",
     "hardware",
@@ -22,7 +26,10 @@ members = [
     "k8s-less",
     "left-right-tlcache",
     "lifecycle",
+    "lookup",
     "lpm",
+    "match-action",
+    "match-action-derive",
     "mgmt",
     "nat",
     "net",
@@ -59,7 +66,9 @@ repository = "https://github.com/githedgehog/dataplane/"
 # justifying why it is workspace-wide.
 
 # Internal
+acl = { path = "./acl", package = "dataplane-acl", features = [] }
 args = { path = "./args", package = "dataplane-args", features = [] }
+cascade = { path = "./cascade", package = "dataplane-cascade", features = [] }
 cli = { path = "./cli", package = "dataplane-cli", features = [] }
 common = { path = "./common", package = "dataplane-common", features = [] }
 concurrency = { path = "./concurrency", package = "dataplane-concurrency", features = [] }
@@ -68,8 +77,10 @@ config = { path = "./config", package = "dataplane-config", features = [] }
 dpdk = { path = "./dpdk", package = "dataplane-dpdk", features = [] }
 dpdk-sys = { path = "./dpdk-sys", package = "dataplane-dpdk-sys", features = [] }
 dpdk-sysroot-helper = { path = "./dpdk-sysroot-helper", package = "dataplane-dpdk-sysroot-helper", features = [] }
+dpdk-test-macros = { path = "./dpdk-test-macros", package = "dataplane-dpdk-test-macros", features = [] }
 dplane-rpc = { git = "https://github.com/githedgehog/dplane-rpc.git", rev = "e8fc33db10e1d00785f2a2b90cbadcad7900f200", features = [] }
 errno = { path = "./errno", package = "dataplane-errno", features = [] }
+fixed-size = { path = "./fixed-size", package = "dataplane-fixed-size", features = [] }
 flow-entry = { path = "./flow-entry", package = "dataplane-flow-entry", features = [] }
 flow-filter = { path = "./flow-filter", package = "dataplane-flow-filter", features = [] }
 hardware = { path = "./hardware", package = "dataplane-hardware", features = [] }
@@ -80,7 +91,10 @@ k8s-intf = { path = "./k8s-intf", package = "dataplane-k8s-intf", default-featur
 k8s-less = { path = "./k8s-less", package = "dataplane-k8s-less", features = [] }
 left-right-tlcache = { path = "./left-right-tlcache", package = "dataplane-left-right-tlcache", features = [] }
 lifecycle = { path = "./lifecycle", package = "dataplane-lifecycle", features = [] }
+lookup = { path = "./lookup", package = "dataplane-lookup", features = [] }
 lpm = { path = "./lpm", package = "dataplane-lpm", features = [] }
+match-action = { path = "./match-action", package = "dataplane-match-action", features = [] }
+match-action-derive = { path = "./match-action-derive", package = "dataplane-match-action-derive", features = [] }
 mgmt = { path = "./mgmt", package = "dataplane-mgmt", features = [] }
 nat = { path = "./nat", package = "dataplane-nat", features = [] }
 net = { path = "./net", package = "dataplane-net", features = [] }
@@ -113,6 +127,7 @@ bytes = { version = "1.11.1", default-features = false, features = [] }
 caps = { version = "0.5.6", default-features = false, features = [] }
 chrono = { version = "0.4.44", default-features = false, features = [] }
 clap = { version = "4.6.1", default-features = true, features = [] }
+criterion = { version = "0.5.1", default-features = false, features = ["cargo_bench_support"] }
 color-eyre = { version = "0.6.5", default-features = false, features = [] }
 colored = { version = "3.1.1", default-features = false, features = [] }
 crossbeam-utils = { version = "0.8.21", default-features = false, features = [] }
@@ -249,6 +264,15 @@ overflow-checks = true
 #        modified to use conditional compilation to work in wasm/miri.
 # miss: packages that are not logically hopeless, or pointless in wasm/miri, but which currently just happen to contain
 #       logic which can and should eventually be factored out or abstracted into something suitable for wasm/miri.
+[workspace.metadata.package.acl]
+package = "dataplane-acl"
+# Default features enable the DPDK `rte_acl` backend, which pulls in
+# `dpdk-sys` (bindgen against the system DPDK headers).  miri can't
+# build that path on the cross target, and the reference backend's
+# unit tests run fine outside the miri profile.
+miri = false # hopeless + pointless
+wasm = false # hopeless + pointless
+
 [workspace.metadata.package.args]
 package = "dataplane-args"
 miri = true
@@ -259,6 +283,11 @@ package = "dataplane-cli"
 miri = true
 wasm = false # split
 
+[workspace.metadata.package.cascade]
+package = "dataplane-cascade"
+miri = true
+wasm = false # split
+
 [workspace.metadata.package.concurrency]
 package = "dataplane-concurrency"
 miri = true # must ALWAYS work
@@ -280,6 +309,11 @@ package = "dataplane-dpdk-sys"
 miri = false # hopeless + pointless
 wasm = false # hopeless + pointless
 
+[workspace.metadata.package.fixed-size]
+package = "dataplane-fixed-size"
+miri = true
+wasm = true
+
 [workspace.metadata.package.flow-entry]
 package = "dataplane-flow-entry"
 miri = true
@@ -315,6 +349,23 @@ package = "dataplane-k8s-less"
 miri = true
 wasm = false # split
 
+[workspace.metadata.package.lookup]
+package = "dataplane-lookup"
+miri = true
+wasm = false # split (std collections)
+
+[workspace.metadata.package.match-action]
+package = "dataplane-match-action"
+miri = true
+wasm = true
+
+[workspace.metadata.package.match-action-derive]
+package = "dataplane-match-action-derive"
+# Proc-macro crate: runs at the host toolchain, not the miri target.
+# Excluded from miri to keep the target dep graph clean.
+miri = false # hopeless + pointless
+wasm = false # hopeless + pointless
+
 [workspace.metadata.package.mgmt]
 package = "dataplane-mgmt"
 miri = false

Cargo.toml

@@ -0,0 +1,50 @@
+[package]
+name = "dataplane-acl"
+edition.workspace = true
+license.workspace = true
+publish.workspace = true
+version.workspace = true
+
+[features]
+default = []
+# Enables the DPDK `rte_acl` backend for `cascade::Lookup`.  Pulls in
+# the `dpdk` crate (and transitively `dpdk-sys`), so off by default;
+# only the production binary / DPDK-bound consumers turn it on.  The
+# reference backend (always built) carries its own `thiserror`-derived
+# error types, so `thiserror` is unconditional rather than feature-gated
+# under `dpdk`.
+dpdk = ["dep:dpdk"]
+
+[dependencies]
+arrayvec = { workspace = true, default-features = true }
+concurrency = { workspace = true, features = [] }
+dpdk = { workspace = true, optional = true }
+lookup = { workspace = true, features = [] }
+match-action = { workspace = true, features = ["derive"] }
+net = { workspace = true, features = [] }
+thiserror = { workspace = true }
+
+[dev-dependencies]
+# Differential oracle harness: random rulesets + packets compared
+# between the reference and DPDK backends.
+bolero = { workspace = true, features = ["std"] }
+criterion = { workspace = true }
+# Override the regular `dpdk` dep to enable its `test` feature
+# (exposes `dpdk::test_support::start_eal` and `dpdk::with_eal`).
+dpdk = { workspace = true, features = ["test"] }
+# Override match-action to also enable `bolero` for property-test
+# generators (`FieldHit` / `FieldMiss`).
+match-action = { workspace = true, features = ["derive", "bolero"] }
+net = { workspace = true, features = ["test_buffer", "builder"] }
+
+[[bench]]
+name = "reference_five_tuple"
+harness = false
+
+[[bench]]
+name = "dpdk_five_tuple"
+harness = false
+
+[[bench]]
+name = "table_build"
+harness = false