| { |
| "domain": "com.microsoft", |
| "name": "MRotaryEmbedding", |
| "sinceVersion": 1, |
| "inputs": { |
| "x": { "onnx": "input", "dtype": "T" }, |
| "positionIds": { "onnx": "position_ids", "dtype": "M", "rank": 3, "storage": "uint32", "narrowing": "checked" }, |
| "cos": { "onnx": "cos_cache", "dtype": "T", "rank": 2 }, |
| "sin": { "onnx": "sin_cache", "dtype": "T", "rank": 2 } |
| }, |
| "outputs": { "y": { "onnx": "output", "dtype": "T", "rank": "ranks.x", "shape": "shapes.x" } }, |
| "attributes": { |
| "interleaved": { "default": 0 }, |
| "is_packed_batching": { "default": 0 }, |
| "mrope_layout": { "default": 0 }, |
| "num_heads": { "default": 0 }, |
| "rotary_embedding_dim": { "default": 0 }, |
| "scale": { "default": 1 }, |
| "mrope_section": {} |
| }, |
| "attributeConstraints": { |
| "interleaved": { "values": [0, 1] }, |
| "is_packed_batching": { "values": [0] }, |
| "mrope_layout": { "values": [0, 1] }, |
| "mrope_section": { "required": true } |
| }, |
| "typeConstraints": { "T": ["float32", "float16"], "M": ["int64"] }, |
| "tunables": { "WORKGROUP_SIZE": { "default": 256 } }, |
| "derive": { |
| "rank3HeadSize": "dim(shapes.x, 2) / attrs.num_heads if attrs.num_heads is defined and attrs.num_heads > 0 else 0", |
| "headSize": "rank3HeadSize if ranks.x == 3 else dim(shapes.x, 3)", |
| "effectiveRotaryDim": "attrs.rotary_embedding_dim if attrs.rotary_embedding_dim != 0 else headSize", |
| "tasksPerHead": "ceilDiv(headSize, 2)", |
| "pairCount": "(numel(shapes.x) / max(1, headSize)) * tasksPerHead", |
| "pairDispatchOk": "ceilDiv(pairCount, tunables.WORKGROUP_SIZE) <= min(device.limits.maxComputeWorkgroupsPerDimension, 65535) * min(device.limits.maxComputeWorkgroupsPerDimension, 65535)", |
| "halfRotaryDim": "dim(shapes.cos, 1)", |
| "sectionsDefined": "attrs.mrope_section is defined and (attrs.mrope_section | length) == 3", |
| "sectionsValid": "sectionsDefined and attrs.mrope_section[0] >= 0 and attrs.mrope_section[1] >= 0 and attrs.mrope_section[2] >= 0 and attrs.mrope_section[0] + attrs.mrope_section[1] + attrs.mrope_section[2] == halfRotaryDim", |
| "commonContract": "f16Ok(dtypes.T) and sameShape(shapes.x, shapes.y) and (attrs.interleaved == 0 or attrs.interleaved == 1) and (attrs.mrope_layout == 0 or attrs.mrope_layout == 1) and attrs.num_heads >= 0 and attrs.rotary_embedding_dim >= 0 and (attrs.rotary_embedding_dim == 0 or attrs.num_heads > 0) and sameShape(shapes.cos, shapes.sin) and ranks.cos == 2 and ranks.sin == 2 and sectionsValid and ranks.positionIds == 3 and dim(shapes.positionIds, 0) == 3 and dim(shapes.positionIds, 1) == dim(shapes.x, 0) and dim(shapes.positionIds, 2) == dim(shapes.x, 1 if ranks.x == 3 else 2)", |
| "rank3Contract": "commonContract and ranks.x == 3 and ranks.y == 3 and attrs.num_heads is defined and attrs.num_heads >= 1 and dim(shapes.x, 2) % attrs.num_heads == 0 and rank3HeadSize > 0 and effectiveRotaryDim % 2 == 0 and (attrs.rotary_embedding_dim == 0 or attrs.rotary_embedding_dim <= rank3HeadSize) and halfRotaryDim * 2 == effectiveRotaryDim", |
| "rank4Contract": "commonContract and ranks.x == 4 and ranks.y == 4 and dim(shapes.x, 3) > 0 and effectiveRotaryDim % 2 == 0 and (attrs.rotary_embedding_dim == 0 or attrs.rotary_embedding_dim <= dim(shapes.x, 3)) and halfRotaryDim * 2 == effectiveRotaryDim" |
| }, |
| "when": ["pairDispatchOk"], |
| "bindings": { |
| "x": { "buffer": "read-only-storage", "elementType": "$T" }, |
| "position_ids": { "arg": "positionIds", "buffer": "read-only-storage", "elementType": "u32" }, |
| "cos_cache": { "arg": "cos", "buffer": "read-only-storage", "elementType": "$T" }, |
| "sin_cache": { "arg": "sin", "buffer": "read-only-storage", "elementType": "$T" }, |
| "y": { "buffer": "storage", "elementType": "$T" }, |
| "params": { |
| "buffer": "uniform", |
| "struct": [ |
| { "name": "pairCount", "type": "u32", "value": "pairCount" }, |
| { "name": "batchSize", "type": "u32", "value": "dim(shapes.x, 0)" }, |
| { "name": "sequenceLength", "type": "u32", "value": "dim(shapes.x, 1)" }, |
| { "name": "numHeads", "type": "u32", "value": "attrs.num_heads" }, |
| { "name": "headSize", "type": "u32", "value": "rank3HeadSize" }, |
| { "name": "rotaryDim", "type": "u32", "value": "halfRotaryDim * 2" }, |
| { "name": "halfRotaryDim", "type": "u32", "value": "halfRotaryDim" }, |
| { "name": "section0", "type": "u32", "value": "attrs.mrope_section[0]" }, |
| { "name": "section1", "type": "u32", "value": "attrs.mrope_section[1]" }, |
| { "name": "section2", "type": "u32", "value": "attrs.mrope_section[2]" }, |
| { "name": "scale", "type": "f32", "value": "attrs.scale" } |
| ] |
| }, |
| "params_2": { |
| "name": "params", |
| "buffer": "uniform", |
| "struct": [ |
| { "name": "pairCount", "type": "u32", "value": "pairCount" }, |
| { "name": "batchSize", "type": "u32", "value": "dim(shapes.x, 0)" }, |
| { "name": "sequenceLength", "type": "u32", "value": "dim(shapes.x, 2)" }, |
| { "name": "numHeads", "type": "u32", "value": "dim(shapes.x, 1)" }, |
| { "name": "headSize", "type": "u32", "value": "dim(shapes.x, 3)" }, |
| { "name": "rotaryDim", "type": "u32", "value": "halfRotaryDim * 2" }, |
| { "name": "halfRotaryDim", "type": "u32", "value": "halfRotaryDim" }, |
| { "name": "section0", "type": "u32", "value": "attrs.mrope_section[0]" }, |
| { "name": "section1", "type": "u32", "value": "attrs.mrope_section[1]" }, |
| { "name": "section2", "type": "u32", "value": "attrs.mrope_section[2]" }, |
| { "name": "scale", "type": "f32", "value": "attrs.scale" } |
| ] |
| } |
| }, |
| "variants": [ |
| { |
| "id": "rank3", |
| "when": ["rank3Contract"], |
| "derive": { |
| "interleaved": "attrs.interleaved != 0", |
| "mropeSectioned": "attrs.mrope_layout == 0", |
| "usesF16": "dtypes.T == \"f16\"", |
| "scalar": "dtypes.T" |
| }, |
| "passes": [ |
| { |
| "id": "main", |
| "name": "mrotary_embedding3d", |
| "shader": "mrotary-embedding.wgsl.jinja", |
| "derive": { "rank": 3 }, |
| "bindings": ["x", "position_ids", "cos_cache", "sin_cache", "y", "params"], |
| "dispatch": { |
| "x": "min(ceilDiv((pairCount), (tunables.WORKGROUP_SIZE)), 65535)", |
| "y": "ceilDiv(ceilDiv((pairCount), (tunables.WORKGROUP_SIZE)), 65535)", |
| "z": 1 |
| } |
| } |
| ] |
| }, |
| { |
| "id": "rank4", |
| "when": ["rank4Contract"], |
| "derive": { |
| "interleaved": "attrs.interleaved != 0", |
| "mropeSectioned": "attrs.mrope_layout == 0", |
| "usesF16": "dtypes.T == \"f16\"", |
| "scalar": "dtypes.T" |
| }, |
| "passes": [ |
| { |
| "id": "main", |
| "name": "mrotary_embedding4d", |
| "shader": "mrotary-embedding.wgsl.jinja", |
| "derive": { "rank": 4 }, |
| "bindings": ["x", "position_ids", "cos_cache", "sin_cache", "y", "params_2"], |
| "dispatch": { |
| "x": "min(ceilDiv((pairCount), (tunables.WORKGROUP_SIZE)), 65535)", |
| "y": "ceilDiv(ceilDiv((pairCount), (tunables.WORKGROUP_SIZE)), 65535)", |
| "z": 1 |
| } |
| } |
| ] |
| } |
| ] |
| } |
|
|
