On the operating unit size of load/store architectures
| Authors | |
|---|---|
| Publication date | 2010 |
| Journal | Mathematical Structures in Computer Science |
| Volume | Issue number | 20 | 3 |
| Pages (from-to) | 395-417 |
| Organisations |
|
| Abstract | We introduce a strict version of the concept of a load/store instruction set architecture in the setting of Maurer machines. We take the view that transformations on the states of a Maurer machine are achieved by applying threads as considered in thread algebra to the Maurer machine. We study how the transformations on the states of the main memory of a strict load/store instruction set architecture that can be achieved by applying threads depend on the operating unit size, the cardinality of the instruction set and the maximal number of states of the threads. |
| Document type | Article |
| Note | PT: J; TC: 0. © Cambridge University Press 2010 |
| Language | English |
| Published at | https://doi.org/10.1017/S0960129509990314 |
| Downloads |
327271.pdf
(Final published version)
|
| Permalink to this page | |
