COMET2 emulator.

1. CASL2 ࣮ߦ‫঺ڥ؀‬հ
Feb 9 2021 / asuka y
COMET2 Emulator ࡞ͬͯΈͨ

2. ‫ܦ‬Ң
ੵಡ stack
ࣗ࡞ΤϛϡϨʔλͰֶͿx86ΞʔΩςΫνϟ
ISBN 978-4-8399-5474-1
30೔ͰͰ͖Δ! OSࣗ࡞ೖ໳
ISBN 978-4-8399-1984-9
ࢼ͠ʹɺ
Կ͔؆୯ͳΤϛϡϨʔλ
Λ࣮૷͍ͨ͠ɻ
RustͰ࣮૷

3. ୊ࡐʹ CASL2/COMET2 ͱ͔ྑͦ͞͏

4. COMET2/CASL2ͱ͸
COMET2
> COMET2༻ͷԾ૝ΞηϯϒϦ
> NASMʹࣅͨ‫ه‬๏
> 36໋ྩͱগͳ͘γϯϓϧ
CASL2
> 16bitsͷԾ૝ίϯϐϡʔλ
> 1‫ͨ·ޠ‬͸2‫ޠ‬ͷCISCϓϩηοα
IPA : ࢼ‫͢༻࢖Ͱݧ‬Δ৘ใٕज़ʹؔ͢Δ༻‫ޠ‬ɾϓϩάϥϜ‫Ͳͳޠݴ‬ Ver.4.2 > Ξηϯϒϥ‫ޠݴ‬ͷ࢓༷
https://www.jitec.ipa.go.jp/1_13download/shiken_yougo_ver4_2.pdf

5. σϞ
https://a-skua.github.io/tiamat/

6. ઃ‫ܭ‬
MAIN START
LAD GR1,0 ; var start = 0
LAD GR0,63 ; var end = 63
XOR GR2,GR2 ; var fizz_count = 0
XOR GR3,GR3 ; var buzz_count = 0
XOR GR4,GR4 ; var fizz_buzz_cout = 0
LAD GR5,3 ; final fizz = 3
LAD GR6,5 ; final buzz = 5
LAD GR7,15 ; final fizz_buzz = 15
; for (var i = start; i < end; i++)
LOOP CPL GR1,GR0
JZE EXIT
LAD GR1,1,GR1
LAD GR2,1,GR2 ; fizz_count += 1
LAD GR3,1,GR3 ; buzz_count += 1
LAD GR4,1,GR4 ; fizz_buzz_count += 1
CPL GR4,GR7 ; if (fizz_buzz_count == 15)
JZE FZBZ
CPL GR3,GR6 ; if (buzz_count == 5)
JZE BZ
CPL GR2,GR5 ; IF (fizz_count == 3)
JZE FZ
OUT DOT,255
JUMP LOOP
FZBZ OUT FIZZ,255
LAD GR4,0
Hello, world.
INPUT OUTPUT

7. ઃ‫ܭ‬
MAIN START
LAD GR1,0 ; var start = 0
LAD GR0,63 ; var end = 63
XOR GR2,GR2 ; var fizz_count = 0
XOR GR3,GR3 ; var buzz_count = 0
XOR GR4,GR4 ; var fizz_buzz_cout = 0
LAD GR5,3 ; final fizz = 3
LAD GR6,5 ; final buzz = 5
LAD GR7,15 ; final fizz_buzz = 15
; for (var i = start; i < end; i++)
LOOP CPL GR1,GR0
JZE EXIT
LAD GR1,1,GR1
LAD GR2,1,GR2 ; fizz_count += 1
LAD GR3,1,GR3 ; buzz_count += 1
LAD GR4,1,GR4 ; fizz_buzz_count += 1
CPL GR4,GR7 ; if (fizz_buzz_count == 15)
JZE FZBZ
CPL GR3,GR6 ; if (buzz_count == 5)
JZE BZ
CPL GR2,GR5 ; IF (fizz_count == 3)
JZE FZ
OUT DOT,255
JUMP LOOP
FZBZ OUT FIZZ,255
LAD GR4,0
Hello, world.
INPUT OUTPUT
ೖྗΛஞ࣍ղऍͯ͠ग़ྗ͢Δํ๏ͰΤϛϡϨʔλΛ࣮૷͠Α͏ͱͯ͠‫׬‬੒ͤͣ

8. ‫ݪ‬Ҽ
͍͘ΒΞηϯϒϦͷ໋ྩ͕‫ػ‬ց‫ޠ‬
ͷ໋ྩͱ1 : 1ͱ͸͍͑ɺೖྗˠग़ྗ
ͷม‫׵‬΋ৗʹ1 : 1Ͱ͸ͳ͍ɻ
LOAD໋ྩ
• LD GR1,GR0 var x = y
• LD GR1,0 var x = 0
• LD GR1,1,GR1 x += 1
if instruction equal load:
if operand match pattern1:
// any…
else if operand match pattern2:
// any…
else if operand match pattern3:
// any…

9. ࠶ઃ‫ܭ‬
MAIN START
LAD GR1,0 ; var start = 0
LAD GR0,63 ; var end = 63
XOR GR2,GR2 ; var fizz_count = 0
XOR GR3,GR3 ; var buzz_count = 0
XOR GR4,GR4 ; var fizz_buzz_cout = 0
LAD GR5,3 ; final fizz = 3
LAD GR6,5 ; final buzz = 5
LAD GR7,15 ; final fizz_buzz = 15
; for (var i = start; i < end; i++)
LOOP CPL GR1,GR0
JZE EXIT
LAD GR1,1,GR1
LAD GR2,1,GR2 ; fizz_count += 1
LAD GR3,1,GR3 ; buzz_count += 1
LAD GR4,1,GR4 ; fizz_buzz_count += 1
CPL GR4,GR7 ; if (fizz_buzz_count == 15)
JZE FZBZ
CPL GR3,GR6 ; if (buzz_count == 5)
JZE BZ
CPL GR2,GR5 ; IF (fizz_count == 3)
JZE FZ
OUT DOT,255
JUMP LOOP
FZBZ OUT FIZZ,255
LAD GR4,0
Hello, world.
INPUT OUTPUT
1ͭͷॲཧʹશͯΛ࣮૷ͤͣɺ‫ػ‬ೳຖʹ࣮૷ͯ͠૊Έ߹ΘͤΔ͜ͱͰ࣮‫ݱ‬
ղऍ ม‫׵‬ ࣮ߦ

10. ࠶ઃ‫ܭ‬
GR0: 21
COMET2
࣮ߦ‫ڥ؀‬
໋ྩ
Ϩδελ/ϝϞϦ
0x1000 0x0007
0x1210 0x0001
0x2001 0x0007
0x8100
0x000A 0x000B
CASL2
ղੳ‫ث‬
MAIN START
LD GR0,VAL
LAD GR1,1
ADDA GR0,VAL,GR1
RET
VAL DC 10,11
END
ղऍɾม‫׵‬ ࣮ߦ

11. > ςετ͕ॻ͖΍͍͢
• ೖྗ஋ʹཚ਺Λ༻͍ͨςετ
> ࣮૷͕༰қʹ
• ίʔυͷ੹೚ൣғ͕໌֬
> εςʔτϨεͳ࣮૷
• ঢ়ଶ͸֎͔Β༩͑ΒΕΔ
> ೖྗʹରͯ͠Ұҙͳग़ྗʹ͢Δ
• ࣮ߦ݁Ռ͕ਪଌ͠΍͘͢ͳΔ
ҙ͍ࣝͯ͠Δ͜ͱ
void noOperation(final Resource r) {
final pr = r.programRegister;
pr.value += 1;
}
final casl2 = Casl2();
final comet2 = Comet2();
final code = casl2.compile(asm);
comet2.load(code);
comet2.exec();

12. ࣮૷‫ޠݴ‬
Dart language
> DartͷϥΠϒϥϦͱ࣮ͯ͠૷
• ಛఆͷϓϥοτϑΥʔϜʹґଘ͠ͳ͍࣮૷
• Web & CLI + Flutter
> Dartͷnull-safetyΛࢼ͔ͨͬͨ͠
http://
> _
Dart : Native, JavaScript
Flutter : Android, iOS, Web

13. ࠓ͠͹Β͘͸‫ػ‬ೳվળͯ͠·͢
CASL2࢖͏࣌ͷબ୒ࢶʹ!

14. ͋Γ͕ͱ͏͍͟͝·ͨ͠
͓͢͢Ίͷॻ੶ͱ͔͋Ε͹‫!͍ͩͯ͑͘͞ڭ‬