spinsim ... durchdrehen auch auf dem PC

[yeti]

Für kleinere Spielereien zwischndurch: Spinsim

Code: Alles auswählen

(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ spinsim -?
SpinSim Version 0.27
usage: spinsim [options] file
The options are as follows:
     -l  List executed instructions
     -p  Use PASM Spin interpreter
     -#  Execute # instructions
     -P  Profile Spin opcode usage
     -m# Set the hub memory size to # K-bytes
     -c  Enable cycle-accurate mode for pasm cogs
     -b# Enable the serial port and set the baudrate to #
(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ cat hurz.spin 
obj
  ser : "conio"

pub main | n
  ser.start(31, 30, 0, 115200)

  n:=10
  repeat while n--
     ser.str(string("Spinsim!",13))
(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ bstc-0.15.3 -b -Oa -L /usr/lib/spinsim hurz.spin
Brads Spin Tool Compiler v0.15.3 - Copyright 2008,2009 All rights reserved
Compiled for i386 Linux at 08:17:46 on 2009/07/20
Loading Object hurz
Loading Object conio
Program size is 220 longs
Compiled 71 Lines of Code in 0.012 Seconds
(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ time spinsim hurz.binary 
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!

real    0m0.012s
user    0m0.000s
sys     0m0.008s
(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ time spinsim -p hurz.binary 
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!
Spinsim!

real    0m0.059s
user    0m0.052s
sys     0m0.008s

...nur mal so als Appetitanreger...


Bonus-Häppchen:

Code: Alles auswählen

(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ cat a.spin 
pub main | n
  n:=10
  n:=n+5
(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ bstc-0.15.3 -b -Oa -L /usr/lib/spinsim a.spin
Brads Spin Tool Compiler v0.15.3 - Copyright 2008,2009 All rights reserved
Compiled for i386 Linux at 08:17:46 on 2009/07/20
Loading Object a
Program size is 32 longs
Compiled 3 Lines of Code in 0.003 Seconds
(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ spinsim -l a.binary 
Cog 0: 0034 00000000 - 0018 38 0a           ldbi 10
Cog 0: 0038 0000000a - 001a 65              stllc $4
Cog 0: 0034 0000000a - 001b 64              ldllc $4
Cog 0: 0038 0000000a - 001c 38 05           ldbi 5
Cog 0: 003c 00000005 - 001e ec              add
Cog 0: 0038 0000000f - 001f 65              stllc $4
Cog 0: 0034 0000000f - 0020 32              ret
Cog 0: 0024 00000032 - fff9 3f 89           ldreg $1e9
Cog 0: 0028 00000000 - fffb 21              cogstop
(yeti@destiny:1)~/Desktop/wrk/tmp/spinsim$ spinsim -l -p a.binary | wc -l
426

426 Zeilen des PASM-Protokolls wollt ich dann doch nicht Zeile für Zeile hier reinstempeln.

[yeti]

Na sowas!

Beim Rumspielen mit spinsim-0.27 überlegte ich ob man das im propgcc-Umfeld nicht auch sinnig einsetzen könne und dann sehe ich spinsim-0.51 im propgcc-Mercurial-Repository auftauchen...

Spezifisches für propgcc ist noch nicht zu seh'n aber ich hab mal mein spinsim-Debian-Paket auf den Stand dieser Quellen gebracht...
+++ Edit 20150209
Das Debian-Repo bei Wuala existiert seit Lamgem schon nicht mehr.
--- Edit 20150209

Code: Alles auswählen

(yeti@destiny:2)~/wrk/tmp/spinsim$ spinsim -v
SpinSim Version 0.51
usage: spinsim [options] file
The options are as follows:
     -l  List executed instructions
     -p  Use PASM Spin interpreter
     -#  Execute # instructions
     -P  Profile Spin opcode usage
     -m# Set the hub memory size to # K-bytes
     -t  Enable the Prop 2 mode
     -b# Enable the serial port and set the baudrate to # (default 115200)

...wie immer: Alles äußerst undokumentiert seitens des Originalautors... ich tappe noch im Dunklen bezüglich Neuerungen, Verbesserungen und Korrekturen, aber versionsmäßig war das ja fast eine Verdopplung... und Option "-t" ist nun vorhanden... aber wen interessiert schon Prop2?

[yeti]

spinsim hat gerade erst in den PropGCC-Quellen ein Update erfahren, ich denke spinsims Entwicklung findet nun dort statt.

Ich hab wieder ein Paket draus gedreht (für Debian-6.0/32bit): --> http://www.wuala.com/utanapischti/debian
+++ Edit 20150209
Das Debian-Repo bei Wuala existiert seit Langem schon nicht mehr.
--- Edit 20150209

Die Versionsnummer ist in spinsim.c versteckt und wird nicht mit jeder Änderung hochgezählt, beim Paket häng ich also noch die Revisionsnummer des spinsim-Subtrees an; derzeit ist's nach meiner Versionierung also spinsim-0.51-1.propgcc.hg.r1036.

[yeti]

SpinSim gibt's auch via https://github.com/parallaxinc/spinsim und das ist zwar dort mit Zustimmung des Autors eingelagert, aber meines Wissens hat er dort noch nicht den Code aktualisiert...

Derzeit ist die Version 0.75 enthalten:

Code: Alles auswählen

(yeti@aurora:1)~$ /opt/spinsim/bin/spinsim 
Spinsim Version 0.75
usage: spinsim [options] file
The options are as follows:
     -v# Set verbosity level
     -l <filename>  List executed instructions to <filename>
     -p  Use PASM Spin interpreter
     -#  Execute # instructions
     -P  Profile Spin opcode usage
     -m# Set the hub memory size to # K-bytes
     -t  Enable the Prop 2 mode
     -b# Enable the serial port and set the baudrate to # (default 115200)
     -gdb Operate as a GDB target over stdin/stdout
     -L <filename> Log GDB remote comm to <filename>
     -r <filename> Replay GDB session from <filename>
     -e Use eeprom.dat
     -d Use debugger

[yeti]

Code: Alles auswählen

$ cat readme.txt 
                   SPINSIM, QASM and P2PFTH
                       July 25, 2015
                         Dave Hein

This distribution contains spinsim 0.84, qasm 0.14 and a P2 version of
pfth 1.03.  All three of these program contain support for the P2 opcodes
listed in the July 14, 2015 P2 document.

Spinsim similates the P1 and P2 processors.  qasm is an assembler
preprocessor that converts P1 and P2 assembly code into DAT LONG values,
which can then be compiled by existing P1 compilers.  p2pfth is a P2
version of the pfth Forth interpreter.  See the readme files in the
subdirectories for more information.

The directories spinsim084 and qasm014 contain the source and Windows
executables for these programs.  On a Windows system you can go into the
p2pfth directory and run p2pfth by typing the following command:

     ..\spinsim084\spinsim -t -b p2pfth.binary

On plaforms other than Windows the executables must first be built using
the Makefile in spinsim084 and the buildit script in qasm014.

Für mehr Umfang: http://forums.parallax.com/discussion/1 ... -simulator

[yeti]

----------8<-----{20151123-1516-GMT}----->8----------

spinsim-0.92 ist noch dampfend heiß und gibt es via http://forums.parallax.com/discussion/c ... nt_1354138...

Um es unter Debian8 gebaut zu bekommen musste ich ins Makefile nur noch 'libm' beim finalen Linken reinfriemeln...

Ich bäpp mal hier keine Sourcen dran, denn dieser kleine Glitch wird vermutlich bald zu 'ner Korrektur durch den Spinsimchef führen...

----------8<-----{Edit-20151115: $(/§)"§=!"§%=?!§R$%=!!!}----->8----------

Die "-l FILENAME"-Option ist nicht erst seit dieser Release schrottiglich.
Ich bin mal gespannt, ob das je irgendwann jemand merkt.
:-(

----------8<-----{Edit-20151117: K.L.O.N. (Klein-L-Option-News)}----->8----------

Spinsim-Scheffe hat den Bug umzingelt und erschlagen. Die nächste Release soll in ein paar Tagen folgen und neben überwiegend Verbresserungen auf dem Propeller2-Sektor auch die Klein-L-Option-Benutzer wieder glücklich machen...

----------8<-----{Edit-20151123: K.L.O.N.E. (Klein-L-Option-News-Ergänzung)}----->8----------

Und es ward Update!

This update makes spinsim compatible with Chip's November 20th update to PNut. It also fixes some problems and adds support for a few more instructions. The following changes were made.

- Fixed a problem with the "-l" option in the P1 mode
- Added support for the SETBYTS and MOVBYTS instructions
- Added support for the QROTATE, QFRACT and QVECTOR instructions
- Added wait logic for the GETQX and GETQY instructions
- Implemented the SETHLK instruction and the associated code for handling LOCK interrupts
- Fixed a problem with the "JMP S" instruction
- Fixed several problems with the PTRA/PTRB logic.

spinsim093.zip liegt an zitierterm Ort und wartet auf seinen Einsatz.

Erster Eindruck: Man muß nimmer selbst "-lm" ins Makefile schummeln und die K.L.O. funktioniert wieder.
;-D

----------8<-----{Edit-20151221: BB-Markdown-Skandal!}----->8----------

Wieso kann ich in einen Beitrag nur eine solche QUOTE-Box mit anklickbarer URL in der Beschreibungszeile unterbringen? Ist meine URL-in-"QUOTE="-Spielereichj schon fast zu viel für den BB-Parser und beim ersten solchen Konstrukt wundert er sich nur, aber beim zweiten Auftauchen macht er dann den Nase-Boden-Touchdown?

Aus hierdurch nun erklärtem Anlaß folgt der Verweis auf Daves Erwähnung des heutigen Updates, also spinsim094.zip, in total uncooler Form.
:.(

----------8<-----{Edit-20151223: Wer hätte das gedacht?}----->8----------

Überraschung!!!
spinsim095.zip
;-)

----------8<-----{Konec.}----->8----------

[yeti]

----------8<-----{20170625-1254-GMT: Oiski Poiski!}----->8----------

Sachen gibt's...
spinsim096.zip

Code: Alles auswählen

$ /opt/spinsim/bin/spinsim 
Spinsim Version 0.96
usage: spinsim [options] file
The options are as follows:
     -v# Set verbosity level
     -l <filename>  List executed instructions to <filename>
     -p  Use PASM Spin interpreter
     -#  Execute # instructions
     -P  Profile Spin opcode usage
     -m# Set the hub memory size to # K-bytes
     -t# Enable the Prop 2 mode.  # specifies options
     -b# Enable the serial port and set the baudrate to # (default 115200)
     -gdb Operate as a GDB target over stdin/stdout
     -L <filename> Log GDB remote comm to <filename>
     -r <filename> Replay GDB session from <filename>
     -e Use eeprom.dat
     -d Use debugger
     -pst Use PST mode

----------8<-----{20170715-0422-GMT}----->8----------

<flüster> spinsim097.zip </flüster>

----------8<-----{In seinem nudeligen Namen: Pasta & Ramen!}----->8----------

[yeti]

----------8<-----{20180414-2005-GMT}----->8----------

Code: Alles auswählen

(yeti@kumari:13)~$ /opt/spinsim/bin/spinsim 
Spinsim Version 0.98
usage: spinsim [options] file
The options are as follows:
     -v# Set verbosity level
     -l <filename>  List executed instructions to <filename>
     -p  Use PASM Spin interpreter
     -#  Execute # instructions
     -P  Profile Spin opcode usage
     -m# Set the hub memory size to # K-bytes
     -t# Enable the Prop 2 mode.  # specifies options
     -b# Enable the serial port and set the baudrate to # (default 115200)
     -gdb Operate as a GDB target over stdin/stdout
     -L <filename> Log GDB remote comm to <filename>
     -r <filename> Replay GDB session from <filename>
     -e Use eeprom.dat
     -d Use debugger
     -pst Use PST mode

...einen Link im (TransPONDer-)Forum hab ich noch nicht dazu. Der aktüelle Stand ist nun in GitHub und wie [Dave Hein] das im Forum zu dokumentieren gedenkt, ist mir noch unbekannt.

----------8<-----{20180416-0545-GMT}----->8----------

Ok... hier isset:

The attached zipfile contains spinsim version 0.98. It will execute binaries that are built for the P2 FPGA v32b image. The source code is also available on GitHub at https://github.com/parallaxinc/spinsim .

Ein ZIPchen ist, wie bei DHs Neue-Version-Meldungen üblich, dort als Anhang angetackert.

----------8<-----{20180619-1452-GMT}----->8----------

The attached zipfile contains spinsim version 0.99. It includes a fix for the REP instruction, and I fixed the disassembly for the LOC, NIXINT1, POLLSE1 and GETRND instructions. I also fixed the makefile so that spinsim builds under minGW.

Das ZIP liegt am zitiertem Ort...

----------8<-----{Heute schon geMUHt?}----->8----------

[yeti]

Ja ist denn schon Nikooolauuusiii?

Code: Alles auswählen

$ spinsim -b$((57600*4)) -e

CON:Prop0 Cog0 RESET - last status: 0 ok

CON:Prop0 Cog1 RESET - last status: 0 ok

CON:Prop0 Cog2 RESET - last status: 0 ok

CON:Prop0 Cog3 RESET - last status: 0 ok

CON:Prop0 Cog4 RESET - last status: 0 ok

CON:Prop0 Cog5 RESET - last status: 0 ok

CON:Prop0 Cog6 RESET - last status: 0 ok

Prop0 Cog6 RESET - last status: 0 ok
Prop0 Cog6 ok
cog?
Cog:0  #io chan:1 PropForth v5.5 2013Feb20 11:30 0
Cog:1  #io chan:1 PropForth v5.5 2013Feb20 11:30 0
Cog:2  #io chan:1 PropForth v5.5 2013Feb20 11:30 0
Cog:3  #io chan:1 PropForth v5.5 2013Feb20 11:30 0
Cog:4  #io chan:1 PropForth v5.5 2013Feb20 11:30 0
Cog:5  #io chan:1 PropForth v5.5 2013Feb20 11:30 0
Cog:6  #io chan:1 PropForth v5.5 2013Feb20 11:30 0  6(0)->7(0)
Cog:7  #io chan:1                           SERIAL  7(0)->6(0)
Prop0 Cog6 ok
fsclear
Prop0 Cog6 ok
fsfree

0_000_032_768 bytes free in EEPROM file system
Prop0 Cog6 ok
█

Mit den neuesten Korrekturen wurde ein "waitpne"-Bug in SpinSim gekillt, der ordentlichem Input vom Gastgeber-OS via SpinSim zum Propeller (bis zu nerviger Unbenutzbarkeit) störte, endlich zertreten.
—▷ https://github.com/parallaxinc/spinsim

Kleinere FastSpin-BASIC-Tests mit Eingaben laufen nun natürlich auch, aber ich wollt das mit was richtig Heftigem testen und dafür musste PropForth herhalten...

Ein virtuëlles 128k-EEPROM erkennt PropForth in SpinSim nicht. Es mag aber an SpinSim liegen: Wenn ich es richtig erinnere, emuliert SpinSim nur das EEPROM auf der Boot-EEPROM-Adresse und die 128er liegen ja nunmal auf zwei Adressen. 64k werden erkannt und daraus resultiert das angezeigte "fsfree"-Ergebnis.

Das Cut&Paste-Implantieren von "boot.f" in das in SpinSim laufende PropForth lief aber schief... das werd ich irgähndwann Mal oder wie auch immer äääääh... schaunwermal... you mean what I know...

Bock auf Rumspielen?
Hier ist das 64k-EEPROM als Beilage angebäppt:

eeprom.dat.gz

 
/PropForth5.5/PropForthV5.5-20130317/CurrentRelease/PropForthEEprom/eeprom.dat.gz
 

(20.86 KiB) 538-mal heruntergeladen

...viel Spatz!