One instruction set computer

Con One Instruction Set Computer (OISC) si indica una macchina di Turing che usa una sola istruzione, e non necessita quindi di opcode. Gli OISC sono solitamente utilizzati nell'insegnamento. Un modello commerciale di calcolatore che utilizza un OISC è il MAXQ della Maxim[1], che utilizza la sola istruzione MOVE.

Tipologie di OISC modifica

Esistono varie possibilità di realizzare un OISC che sia Turing-completo.

Sottrai e salta se... modifica

I più utilizzati a livello didattico sono gli OISC basati su SUBLEQ (sottrai e salta se ≤ 0 - SUB Less EQual) e SUBNEG o SBN (sottrai e salta se negativo - SUB NEG - Subtract and branch if negative). Le implementazioni sono, in pseudo codice:

subleq ''a'', ''b'', ''c''   ; Mem[''b''] = Mem[''b''] - Mem[''a'']
                             ; if (Mem[''b''] ≤ 0) goto ''c''
 
subneg ''a'', ''b'', ''c''   ; Mem[''b''] = Mem[''b''] - Mem[''a'']
                             ; if (Mem[''b''] < 0) goto ''c''

Sottrai e salta se c'è riporto (RSSB) modifica

In inglese Reverse Subtract and Skip if Borrow: l'accumulatore è sottratto dalla locazione di memoria corrente. Se il valore è negativo, salta l'istruzione successiva. Il puntatore all'istruzione (program counter) è all'indirizzo 0, l'accumulatore all'1.

RSSB ''a'' ; Mem[''a''] = Mem[''a''] - Mem[''1'']
           ; Mem[''1''] = Mem[''a'']
           ; if (Mem[''1''] < 0) Mem[''1'']=  Mem[''1''] + 1

Move modifica

Una "move machine", detta anche CPU a transport triggered architecture[2] usa la sola istruzione Move, che opera direttamente sulla memoria.

                          
move ''a'' to ''b'' ; Mem[''b''] := Mem[''a'']

A volte viene scritto come

     
''a'' -> ''b'' ; Mem[''b''] := Mem[''a'']

Le operazioni aritmetiche sono effettuate tramite una ALU, che per indirizzi di più word può essere rimpiazzata da tabelle di lookup[3], mentre i salti sono effettuati mappando il program counter in memoria. Un esempio è stato costruito a partire dall'automa cellulare Wireworld[4]. Un saggio su tale architettura e sul funzionamento è stato scritto da Douglas W. Jones[5][6]. Anche il MAXQ della Maxim utilizza tale design.

BitBitJump modifica

Il BitBitJump è simile al sottrai e salta, solo che opera copiando singoli bit, invece che sottraendo indirizzi di memoria: ad esempio il codice

19 20 8
0 0 -1

è rappresentato ad 8 bit (MSBF) come

[00010011] [00010100] [00001000]
[00000000] [00000000] [11111111]

La prima istruzione copia il 19° bit nel 20°, quindi

[00010011] [00010100] [00011000]
[00000000] [00000000] [11111111]

la memoria diventa ora

19 20 24
0 0 -1

Viene eseguito il salto al 24 bit, ossia la seconda riga, che copia il bit 0 su se stesso e termina (il salto ad indirizzi negativi termina l'esecuzione).

Note modifica

  1. ^ (EN) Introduction to the MAXQ Architecture, su maxim-ic.com. URL consultato il 20 luglio 2009.
  2. ^ One Instruction Set Computers
  3. ^ Copia archiviata, su cs.eku.edu. URL consultato il 20 luglio 2009 (archiviato dall'url originale il 26 maggio 2007).
  4. ^ The Wireworld computer
  5. ^ The Ultimate RISC
  6. ^ ACM SIGARCH Computer Architecture News 16, 3 (June 1988) 48-55

Bibliografia modifica

Voci correlate modifica

Collegamenti esterni modifica

Controllo di autoritàGND (DE4761222-8
  Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica