Tag Engine Notes

Yehowshua commented

2025-03-17 16:04:23 +00:00

Owner

We need a bus slave...
For the bus slave, we the bus makes the request to the
the problem is we want to stick responses in the result FIFO as soon as they arrive, but they need to have a unique tag
- I should have twice as many unique tags as the fifo size
- need some sort of module where you can reserve a tag
- all tags start off available. As soon as we reserve a tag, we move the pointer to the next available tag

===

Maybe instead we have linked lists of available tags

When we reserve a new tag t1, we move the that reserved tag off the list and change the head of the list to point to point to head = r.next
When we retire a reserved tag t2, we do *tail.next = t2

- We need a bus slave... - For the bus slave, we the bus makes the request to the - the problem is we want to stick responses in the result FIFO as soon as they arrive, but they need to have a unique tag - I should have twice as many unique tags as the fifo size - need some sort of module where you can reserve a tag - all tags start off available. As soon as we reserve a tag, we move the pointer to the next available tag === Maybe instead we have linked lists of available tags * When we reserve a new tag t1, we move the that reserved tag off the list and change the head of the list to point to point to `head = r.next` * When we retire a reserved tag t2, we do `*tail.next = t2`

Yehowshua commented

2025-03-20 20:53:35 +00:00

Author

Owner

refactor function into getPtr and getHead

Yehowshua commented

2025-03-23 10:14:08 +00:00

Author

Owner

After talking a bit to Grok, I realized that what I wanted to actually implement is called a FreeList. So scratch the above comments and we're going to implement a stack based FreeList. This means we will need to rename TagEngine.bs -> FreeList.bs

After talking a bit to Grok, I realized that what I wanted to actually implement is called a FreeList. So scratch the above comments and we're going to implement a stack based FreeList. This means we will need to rename `TagEngine.bs` -> `FreeList.bs`

Yehowshua commented

2025-03-23 10:52:43 +00:00

Author

Owner

Ask on groups.io how to convert (\i -> mkReg |> fromInteger i) to it's own function...

Ask on groups.io how to convert ` (\i -> mkReg |> fromInteger i)` to it's own function...

Yehowshua commented

2025-03-23 11:26:13 +00:00

Author

Owner

Try and add StackPtr type to improve legibility

Tag Engine Notes #3