Встановіть емулятор універсальної машини


13

Мета - написати повну програму, яка імітує Universal Machine з ICFP 2006 з найкоротшим кодом. Універсальна машина має дуже простий набір інструкцій, пояснений тут . Емулятору слід зчитувати ім'я файлу з аргументу командного рядка та запускати файл як програму, тож ваша мова повинна якось підтримувати аргументи командного рядка та stdin / out. Емулятор повинен виконати піску в розумний час (а не десятиліття). Ось коротке пояснення набору інструкцій:

Машина має вісім регістрів, кожен з яких містить 32-бітове ціле число, не підписане.
Машина містить індексований набір масивів 32-бітних непідписаних цілочисельних комірок.
Коротше кажучи, інструкція з розподілу повертає непрозорий 32-бітний uint, який є ручкою до створеного масиву, який має статичний розмір, і містить 32-бітні елементи uint.
0-й масив позначає програму. Він завантажується з файлу big-endian при запуску.
Також є покажчик інструкцій, який вказує на комірку в масиві 0.
На кожному кроці з клітинки, на яку вказує Вказівник, зчитується інструкція, і вказівник посилюється перед тим, як щось робити.
4 найбільш значущих біта представляють опкод.
Якщо опкод дорівнює 13, то наступні 3 біти представляють регістр, а інші 25 представляють число, яке записується у згаданий реєстр.
В іншому випадку 9 найменш значущих бітів являють собою три регістри, скажімо, A, B і C, де C представлений трьома найменш значущими бітами.
Тоді залежно від опкоду відбувається таке:
0. A = B, якщо C == 0
1. A = B [C]
2. A [B] = C
3. A = B + C
4. A = B * C
5. A = B / C
6. A = ~ (B & C)
7. Емулятор виходить
8. B = виділити (C)
9. deallocate (C)
10. вивести символ з C в stdout
11. ввести символ від stdin до C
12. скопіюйте масив B у масив 0 та встановіть покажчик на C

Я написав непотрібну складну, але абсолютно швидку реалізацію (ab), використовуючи розгорнуту збірку x86_64 (забава починається в emit ()) , що точно допоможе вам, якщо ви неправильно зрозумієте деякі аспекти машини.


Ви повинні вирішити, чи це кодовий гольф чи популярність. Вони ексклюзивні.
Говард

@Howard Я бачу, дякую
mniip

Якщо я не помиляюся, машину описують як Велику Ендіану, а не Маленьку Ендіану.
Гастуркун

@Hasturkun d'oh Я завжди їх псую, я продовжую думати, що Big Endian означає "закінчення в більшому байті"
mniip

1
@mniip Big Endian і Little Endian - це умови, запозичені з подорожей Гуллівера. Маленькі люди Ліліпута воювали з маленькими людьми Блефуску, тому що ліліпути були «великими ендійцями», які вважали, що ви повинні спочатку з’їсти великий кінець вареного яйця, а блефускани вважали зворотне. Оригінальні «Подорожі Гуллівера» були серйозним романом Джонатана Свіфта. Автор коментує дурість іти на війну через політичні та релігійні розбіжності. Гуллівер був вимушений піти після звинувачення у державній зраді за відмову допомагати у війні.
Рівень р. Св.

Відповіді:


6

PHP: 443 416  384 байт

<?php @eval(ereg_replace('[U-Z]','$\0',strtr('for(Y=[unpack("N*",join(file($argv[1])))];;A|=0){{W=Y[V=0][++U]
C&&A=B
A=Y[B][C+1]
Y[A][B+1]=C
A=B+C
A=B*C
A=bcdiv(PB),PC))*1
A=~B|~C
die
B=++Z
unset(Y[C])
echo chr(C)
C=fgetc(STDIN);C=ord(C)-(C=="")
Y[0]=Y[B|0];U=C
X[W>>25&7]=W&33554431;}}',['
'=>';}if((W>>28&15)==V++){',A=>'X[W>>6&7]',B=>'X[W>>3&7]',C=>'X[W&7]',P=>'sprintf("%u",'])));

* Знову оновлено *. Він такий маленький, як я можу зараз його отримати. Я зберігав деякі змінні внизу кінця алфавіту, щоб регулярний вираз, який вставляє знаки $, не заплутував константу STDIN, тож ось невеликий словник:

  • U: покажчик інструкції
  • V: індекс опкоду, який зараз тестується
  • W: слово поточної інструкції
  • X: 8 регістрів загального призначення
  • Y: основна пам'ять (кожен блок базується на 1, оскільки саме так unpack()повертаються масиви)
  • Z: ідентифікатор наступного безкоштовного блоку пам'яті (з часом переповниться, але пісочний знак використовує лише ~ 92 мільйони)
  • A, B, C - це регістри поточної інструкції, як у специфікації

Непідписаний поділ - це тонка неприємність ( *1потрібна для того, щоб великі числа повернулися до правильного int), але решту арифметики легко зберегти 32-розрядною, виконуючи ORA арифметичний регістр з 0 ( A|=0) після кожної інструкції.


Мені здався цей проект дійсно цікавим, але прагнення мінімізувати кількість персонажів зробило його повільним і неелегантним, тому я також створив просту версію Java (не для гольфу), яка може завершити пісочний знак за кілька хвилин, а не займати цілий день:

import java.io.*;
import java.util.HashMap;

public class UniversalMachine {
    public static void main(String[] args) throws IOException {
        if (args.length == 0) {
            System.err.println("Program not specified.");
            System.exit(1);
        }

        int[] program;
        try (RandomAccessFile raf = new RandomAccessFile(args[0], "r")) {
            program = new int[(int)(raf.length() / 4)];
            for (int i = 0; i < program.length; i++) {
                program[i] = raf.readInt();
            }
        }

        HashMap<Integer,int[]> memory = new HashMap<>();
        memory.put(0, program);
        int nextMemKey = 1;

        int[] R = new int[8]; // Registers
        int IP = 0; // Execution Finger (Instruction Pointer)

        loop: for (;;) {
            int ins = program[IP++];
            int op = ins >>> 28;
            if (op == 13) { // Orthography
                int A = (ins >> 25) & 7;
                int num = ins & 0x01FF_FFFF;
                R[A] = num;
            } else {
                final int A = (ins >> 6) & 7;
                final int B = (ins >> 3) & 7;
                final int C = (ins >> 0) & 7;
                switch (op) {
                case 0: // Conditional Move
                    if (R[C] != 0) R[A] = R[B];
                    break;
                case 1: // Array Index
                    R[A] = memory.get(R[B])[R[C]];
                    break;
                case 2: // Array Amendment
                    memory.get(R[A])[R[B]] = R[C];
                    break;
                case 3: // Addition
                    R[A] = R[B] + R[C];
                    break;
                case 4: // Multiplication
                    R[A] = R[B] * R[C];
                    break;
                case 5: // Division
                    R[A] = (int)((R[B] & 0xFFFF_FFFFL) / (R[C] & 0xFFFF_FFFFL));
                    break;
                case 6: // Not-And
                    R[A] = ~(R[B] & R[C]);
                    break;
                case 7: // Halt
                    break loop;
                case 8: // Allocation
                    // note: must use C before setting B, as they may be the same reg
                    memory.put(nextMemKey, new int[R[C]]);
                    R[B] = nextMemKey++;
                    break;
                case 9: // Abandonment
                    memory.remove(R[C]);
                    break;
                case 10: // Output
                    System.out.print((char)R[C]);
                    break;
                case 11: // Input
                    R[C] = System.in.read();
                    break;
                case 12: // Load Program
                    IP = R[C];
                    if (R[B] != 0) {
                        memory.put(0, program = memory.get(R[B]).clone());
                    }
                    break;
                }
            }
        }
    }
}

я не думаю, що вам потрібно підлаштовувати результат ділення на 32 біти, тому що він завжди менший за або рівний дивіденду, який уже скориговано
mniip

Щойно з цікавості виглядає, як це виглядає як невольф?
Тім Сегуїн

@mniip Зараз це дещо інакше, але мені потрібно бути обережним з поділом, оскільки під час ділення цифри не підписані, а в будь-який інший момент вони підписуються.
Боан

3

Перл, 407

Схоже, питання може здатися занадто складним, насправді це дуже просто.
Я все ще дуже цікавий, але все одно тут

open$f,shift;binmode$f;push@{$m[0]},unpack'N',$b while read$f,$b,4;$z=2**32;while(){$o=$m[0][$p++];$a=\$r[$o>>6&7];$b=\$r[$o>>3&7];$c=\$r[$o&7];eval qw,$$a=($$b)if$$c $$a=$m[$$b][$$c] $m[$$a][$$b]=$$c $$a=($$b+$$c)%$z $$a=$$b*$$c%$z $$a=$==$$b/$$c $$a=$$b&$$c^($z-1) exit $$b=scalar@m;$m[$$b]=[] undef$m[$$c] print(chr$$c) $$c=ord(getc) $m[0]=[@{$m[$$b]}]if$$b;$p=$$c $r[$o>>25&7]=$o&33554431,[$o>>28].";";}

Він працює дуже повільно, ймовірно, на 800 разів повільніше, ніж JITed x86_64.
Крім того, мій друг зробив реалізацію посилання на C


Це проблема в довідковому коді С?: if(((Memory[++PC]>>28)&15) == 13) { Registers[(Memory[PC]>>25)&7] = (Memory[PC]&0x01ffffff);Інструкція не кешована, тому будь-які опкоди не 13 попередньо виконають наступну інструкцію, ні?
luser droog

2

C, 924 838 825 696 646 623

Я зберігаю "покажчик" (байт-зсув) у реєстрі, визначеному bв інструкції, і використовую те, що регістр позначає масив у псевдокоді таким же чином (або зворотний, скоріше, для відновлення вказівника), щоб пізніше отримати доступ до цього масиву. Ще потрібно спробувати програму тестування ...

Редагувати: додані коментарі.

Edit: фіксована інструкція 12. Зміна покажчика, а не інструкція в пам'яті. Підраховується, коли всі коментарі, відступи та нові рядки видалено.

Редагувати: Здається, це працює зараз, припускаючи, що я правильно інтерпретую результати. :) Остаточне усвідомлення полягало в тому, що на масив 0 дійсно посилається ручка 0, яка може бути знайдена в неініціалізованому реєстрі. Дуже кручена маленька машина! :)

Редагувати: переписати налагоджувальний апарат для використання writeзамість printf.... Ідея тут полягає у видаленні помилок. :) Редагувати: putchar() і getchar()теж немає носів sbrk. Зараз він працює, і з’являється досить швидко.

#define O(_)*a=*b _*c;B
#define B break;case
#define U unsigned
U*m,r[8],*p,*z,f,x,*a,*b,*c;main(int n,char**v){U char
u[4];z=m=p=sbrk(4);f=n>1?open(v[1],0):0;\
while(read(f,u,4)){*m++=(((((*u<<8)|u[1])<<8)|u[2])<<8)|u[3];sbrk(4);}sbrk(4);\
for(;x=*p++,1;){c=r+(x&7);b=r+((x>>3)&7);a=r+((x>>6)&7);switch(x>>28){case
0:*c?*a=*b:0;B
1:*a=(*b?m+*b:z)[*c];B
2:(*a?m+*a:z)[*b]=*c;B
3:O(+)4:O(*)5:O(/)6:*a=~(*b&*c);B
7:return 0;case
8:*b=1+(U*)sbrk(4*(1+*c))-m;(m+*b)[-1]=*c;B
9:B
10:*u=*c;write(1,u,1);B 
11:read(0,u,1);*c=*u;B
12:*b?memcpy(z=sbrk(4*(m+*b)[-1]),m+*b,4*(m+*b)[-1]):0;p=&z[*c];B
13:a=r+((x>>25)&7);*a=x&0x1ffffff;}}}

Тільки для маленьких ендіанів є версія символів 611 .

#define O(_)*a=*b _*c;B
#define B break;case
#define U unsigned
U*m,r[8],*p,*z,f,x,*a,*b,*c;main(int n,char**v){U char
u[4];z=m=p=sbrk(4);f=n>1?open(v[1],0):0;while(read(f,u,4)){*m++=(((((*u<<8)|u[1])<<8)|u[2])<<8)|u[3];sbrk(4);}sbrk(4);for(;x=*p++,1;){c=r+(x&7);b=r+((x>>3)&7);a=r+((x>>6)&7);switch(x>>28){case
0:*c?*a=*b:0;B
1:*a=(*b?m+*b:z)[*c];B
2:(*a?m+*a:z)[*b]=*c;B
3:O(+)4:O(*)5:O(/)6:*a=~(*b&*c);B
7:return 0;case
8:*b=1+(U*)sbrk(4*(1+*c))-m;(m+*b)[-1]=*c;B
9:B
//10:*u=*c;write(1,u,1);B //generic
10:write(1,c,1);B //little-endian
//11:read(0,u,1);*c=*u;B //generic
11:read(0,c,1);B //little-endian
12:*b?memcpy(z=sbrk(4*(m+*b)[-1]),m+*b,4*(m+*b)[-1]):0;p=&z[*c];B
13:a=r+((x>>25)&7);*a=x&0x1ffffff;}}}

Відступ та коментування, з (розширеним) коментованим апаратом налагодження.

//#define DEBUG 1
#include <fcntl.h> // open
#include <signal.h> // signal
#include <stdio.h> // putchar getchar
#include <string.h> // memcpy
#include <sys/types.h> // open
#include <sys/stat.h> // open
#include <unistd.h> // sbrk read
unsigned long r[8],*m,*p,*z,f,x,o,*a,*b,*c; // registers memory pointer zero file working opcode A B C
char alpha[] = "0123456789ABCDEF";
//void S(int x){signal(SIGSEGV,S);sbrk(9);} // autogrow memory while reading program
void writeword(int fd, unsigned long word){
    char buf[8];
    unsigned long m=0xF0000000;
    int off;
    for (off = 28; off >= 0; m>>=4, off-=4) {
        buf[7-(off/4)]=alpha[(word&m)>>off];
    }
    write(fd, buf, 8);
    write(fd, " ", 1);
}
int main(int n,char**v){
#ifdef DEBUG
    int fdlog;
#endif
    unsigned char u[4]; // 4-byte buffer for reading big-endian 32bit words portably
    int cnt;

#ifdef DEBUG
    fdlog = open("sandlog",O_WRONLY|O_CREAT|O_TRUNC, 0777);
#endif
    z=m=p=sbrk(4); // initialize memory and pointer
    //signal(SIGSEGV,S); // invoke autogrowing memory -- no longer needed
    f=n>1?open(v[1],O_RDONLY):0; // open program
    while(read(f,u,4)){ // read 4 bytes
        *m++=(((((*u<<8)|u[1])<<8)|u[2])<<8)|u[3]; // pack 4 bytes into 32bit unsigned in mem
        sbrk(4); // don't snip the end of the program
    }
    sbrk(4);
    for(cnt=0;x=*p++,1;cnt++){ // working = *ptr; ptr+=1
        c=r+(x&7); // interpret C register field
        b=r+((x>>3)&7); // interpret B register field
        a=r+((x>>6)&7); // interpret A register field
#ifdef DEBUG
        {int i;write(fdlog,"{",1);for(i=0;i<8;i++)writeword(fdlog, r[i]);
            write(fdlog,"} ",2);
        }
        write(fdlog, alpha+(x), 1);
        write(fdlog, alpha+(x>>28), 1);
#endif
        switch(o=x>>28){ // interpret opcode
            case 0:
#ifdef DEBUG
                write(fdlog, "if(rX)rX=rX\n", 12);
#endif
                *c?*a=*b:0;
                break; // Conditional Move A=B unless C==0
            case 1:
#ifdef DEBUG
                write(fdlog, "rX=rX[rX]\n", 10);
#endif
                *a=(*b?m+*b:z)[*c];
                break; // Array Index A=B[C]
            case 2:
#ifdef DEBUG
                write(fdlog, "rX[rX]=rX\n", 10);
#endif
                (*a?m+*a:z)[*b]=*c;
                break; // Array Amendment A[B] = C
            case 3:
#ifdef DEBUG
                write(fdlog, "rX=rX+rX\n", 9);
#endif
                *a=*b+*c;
                break; // Addition A = B + C
            case 4:
#ifdef DEBUG
                write(fdlog, "rX=rX*rX\n", 9);
#endif
                *a=*b**c;
                break; // Multiplication A = B * C
            case 5:
#ifdef DEBUG
                write(fdlog, "rX=rX/rX\n", 9);
#endif
                *a=*b/ *c;
                break; // Division A = B / C
            case 6:
#ifdef DEBUG
                write(fdlog, "rX=~(rX&rX)\n", 12);
#endif
                *a=~(*b&*c);
                break; // Not-And A = ~(B & C)
            case 7:
#ifdef DEBUG
                write(fdlog, "halt\n", 5);
#endif
                return 0; // Halt 
            case 8:
#ifdef DEBUG
                write(fdlog, "rX=alloc(rX)\n", 13);
#endif
                *b=1+(unsigned long*)sbrk(4*(1+*c))-m;
                   (m+*b)[-1]=*c;

                   break; // Allocation B = allocate(C)
            case 9:
#ifdef DEBUG
                   write(fdlog, "free(rX)\n", 9);
#endif
                   break; // Abandonment deallocate(C)
            case 10:
#ifdef DEBUG
                   write(fdlog, "output(rX)\n", 11);
#endif
                   //putchar(*c);
                   //*u=u[1]=u[2]=' ';
                   u[3]=(char)*c;
                   write(fileno(stdout), u+3, 1);
                   break; // Output char from C to stdout
            case 11:
#ifdef DEBUG
                   write(fdlog, "rX=input()\n", 11);
#endif
                   //x=getchar();*c=x;
                   read(fileno(stdin), u+3, 1);
                   *c=u[3];
                   break; // Input char from stdin into C
            case 12:
#ifdef DEBUG
                   write(fdlog, "load(rX)[rX]\n", 13);
#endif
                    *b?memcpy(z=sbrk(4*(m+*b)[-1]),m+*b,4*(m+*b)[-1]):0;
                    p=&z[*c];
                    break; // Load Program copy the array B into the 0 array, Ptr=C
            case 13:
#ifdef DEBUG
                    write(fdlog, "rX=X\n", 5);
#endif
                    a=r+((x>>25)&7);*a=x&0x1ffffff; // Orthography REG=immediate-25bit
        }
    }
}

Ручки масиву на 100% непрозорі. Незалежно від того, що ви передаєте, програма повинна використовувати одне і те ж значення під час доступу до масивів. PS Я просто спробував скласти його, вам не вистачає пари включає. PPS Ви коли-небудь складали його? що lbreakі як ви можете unary- *вint
МНІІП

Так. Трохи занадто нетерплячий. :) Оновлений код компілюється з gcc на Cygwin.
luser droog

@mniip Отже, це лише масив 0, який позначається "числом"?
luser droog

щойно скомпілював його, він виконує лише 2 вказівки з пісочного знака: d000108f c0000030а потім виходить
mniip

Я виправив одну помилку. Він виконує зараз 7 інструкцій перед тим, як зупинити.
luser droog
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.