core/bootstrap/primitives.factor

   1 ! Copyright (C) 2004, 2008 Slava Pestov.
   2 ! See http://factorcode.org/license.txt for BSD license.
   3 USING: alien arrays byte-arrays generic hashtables
   4 hashtables.private io kernel math namespaces parser sequences
   5 strings vectors words quotations assocs layouts classes
   6 classes.builtin classes.tuple classes.tuple.private
   7 kernel.private vocabs vocabs.loader source-files definitions
   8 slots.deprecated classes.union classes.intersection
   9 compiler.units bootstrap.image.private io.files accessors
  10 combinators ;
  11 IN: bootstrap.primitives
  12
  13 "Creating primitives and basic runtime structures..." print flush
  14
  15 crossref off
  16
  17 "resource:core/bootstrap/syntax.factor" parse-file
  18
  19 "resource:core/cpu/" architecture get {
  20     { "x86.32" "x86/32" }
  21     { "x86.64" "x86/64" }
  22     { "linux-ppc" "ppc/linux" }
  23     { "macosx-ppc" "ppc/macosx" }
  24     { "arm" "arm" }
  25 } at "/bootstrap.factor" 3append parse-file
  26
  27 "resource:core/bootstrap/layouts/layouts.factor" parse-file
  28
  29 ! Now we have ( syntax-quot arch-quot layouts-quot ) on the stack
  30
  31 ! Bring up a bare cross-compiling vocabulary.
  32 "syntax" vocab vocab-words bootstrap-syntax set
  33 H{ } clone dictionary set
  34 H{ } clone new-classes set
  35 H{ } clone changed-definitions set
  36 H{ } clone forgotten-definitions set
  37 H{ } clone root-cache set
  38 H{ } clone source-files set
  39 H{ } clone update-map set
  40 init-caches
  41
  42 ! Vocabulary for slot accessors
  43 "accessors" create-vocab drop
  44
  45 ! Trivial recompile hook. We don't want to touch the code heap
  46 ! during stage1 bootstrap, it would just waste time.
  47 [ drop { } ] recompile-hook set
  48
  49 call
  50 call
  51 call
  52
  53 ! After we execute bootstrap/layouts
  54 num-types get f <array> builtins set
  55
  56 bootstrapping? on
  57
  58 ! Create some empty vocabs where the below primitives and
  59 ! classes will go
  60 {
  61     "alien"
  62     "alien.accessors"
  63     "arrays"
  64     "bit-arrays"
  65     "byte-arrays"
  66     "byte-vectors"
  67     "classes.private"
  68     "classes.tuple"
  69     "classes.tuple.private"
  70     "compiler.units"
  71     "continuations.private"
  72     "float-arrays"
  73     "generator"
  74     "growable"
  75     "hashtables"
  76     "hashtables.private"
  77     "io"
  78     "io.files"
  79     "io.files.private"
  80     "io.streams.c"
  81     "kernel"
  82     "kernel.private"
  83     "math"
  84     "math.private"
  85     "memory"
  86     "quotations"
  87     "quotations.private"
  88     "sbufs"
  89     "sbufs.private"
  90     "scratchpad"
  91     "sequences"
  92     "sequences.private"
  93     "slots.private"
  94     "strings"
  95     "strings.private"
  96     "system"
  97     "system.private"
  98     "threads.private"
  99     "tools.profiler.private"
 100     "words"
 101     "words.private"
 102     "vectors"
 103     "vectors.private"
 104 } [ create-vocab drop ] each
 105
 106 ! Builtin classes
 107 : lo-tag-eq-quot ( n -- quot )
 108     [ \ tag , , \ eq? , ] [ ] make ;
 109
 110 : hi-tag-eq-quot ( n -- quot )
 111     [
 112         [ dup tag ] % \ hi-tag tag-number , \ eq? ,
 113         [ [ hi-tag ] % , \ eq? , ] [ ] make ,
 114         [ drop f ] ,
 115         \ if ,
 116     ] [ ] make ;
 117
 118 : builtin-predicate-quot ( class -- quot )
 119     "type" word-prop
 120     dup tag-mask get <
 121     [ lo-tag-eq-quot ] [ hi-tag-eq-quot ] if ;
 122
 123 : define-builtin-predicate ( class -- )
 124     dup builtin-predicate-quot define-predicate ;
 125
 126 : lookup-type-number ( word -- n )
 127     global [ target-word ] bind type-number ;
 128
 129 : register-builtin ( class -- )
 130     [ dup lookup-type-number "type" set-word-prop ]
 131     [ dup "type" word-prop builtins get set-nth ]
 132     [ f f f builtin-class define-class ]
 133     tri ;
 134
 135 : define-builtin-slots ( symbol slotspec -- )
 136     [ drop ] [ 1 simple-slots ] 2bi
 137     [ "slots" set-word-prop ] [ define-slots ] 2bi ;
 138
 139 : define-builtin ( symbol slotspec -- )
 140     >r [ define-builtin-predicate ] keep
 141     r> define-builtin-slots ;
 142
 143 "fixnum" "math" create register-builtin
 144 "bignum" "math" create register-builtin
 145 "tuple" "kernel" create register-builtin
 146 "ratio" "math" create register-builtin
 147 "float" "math" create register-builtin
 148 "complex" "math" create register-builtin
 149 "f" "syntax" lookup register-builtin
 150 "array" "arrays" create register-builtin
 151 "wrapper" "kernel" create register-builtin
 152 "float-array" "float-arrays" create register-builtin
 153 "callstack" "kernel" create register-builtin
 154 "string" "strings" create register-builtin
 155 "bit-array" "bit-arrays" create register-builtin
 156 "quotation" "quotations" create register-builtin
 157 "dll" "alien" create register-builtin
 158 "alien" "alien" create register-builtin
 159 "word" "words" create register-builtin
 160 "byte-array" "byte-arrays" create register-builtin
 161 "tuple-layout" "classes.tuple.private" create register-builtin
 162
 163 ! Catch-all class for providing a default method.
 164 "object" "kernel" create
 165 [ f f { } intersection-class define-class ]
 166 [ [ drop t ] "predicate" set-word-prop ]
 167 bi
 168
 169 "object?" "kernel" vocab-words delete-at
 170
 171 ! Class of objects with object tag
 172 "hi-tag" "kernel.private" create
 173 builtins get num-tags get tail define-union-class
 174
 175 ! Empty class with no instances
 176 "null" "kernel" create
 177 [ f { } f union-class define-class ]
 178 [ [ drop f ] "predicate" set-word-prop ]
 179 bi
 180
 181 "null?" "kernel" vocab-words delete-at
 182
 183 "fixnum" "math" create { } define-builtin
 184 "fixnum" "math" create ">fixnum" "math" create 1quotation "coercer" set-word-prop
 185
 186 "bignum" "math" create { } define-builtin
 187 "bignum" "math" create ">bignum" "math" create 1quotation "coercer" set-word-prop
 188
 189 "ratio" "math" create {
 190     {
 191         { "integer" "math" }
 192         "numerator"
 193         { "numerator" "math" }
 194         f
 195     }
 196     {
 197         { "integer" "math" }
 198         "denominator"
 199         { "denominator" "math" }
 200         f
 201     }
 202 } define-builtin
 203
 204 "float" "math" create { } define-builtin
 205 "float" "math" create ">float" "math" create 1quotation "coercer" set-word-prop
 206
 207 "complex" "math" create {
 208     {
 209         { "real" "math" }
 210         "real-part"
 211         { "real-part" "math" }
 212         f
 213     }
 214     {
 215         { "real" "math" }
 216         "imaginary-part"
 217         { "imaginary-part" "math" }
 218         f
 219     }
 220 } define-builtin
 221
 222 "f" "syntax" lookup { } define-builtin
 223
 224 "array" "arrays" create { } define-builtin
 225
 226 "wrapper" "kernel" create {
 227     {
 228         { "object" "kernel" }
 229         "wrapped"
 230         { "wrapped" "kernel" }
 231         f
 232     }
 233 } define-builtin
 234
 235 "string" "strings" create {
 236     {
 237         { "array-capacity" "sequences.private" }
 238         "length"
 239         { "length" "sequences" }
 240         f
 241     } {
 242         { "object" "kernel" }
 243         "aux"
 244         { "string-aux" "strings.private" }
 245         { "set-string-aux" "strings.private" }
 246     }
 247 } define-builtin
 248
 249 "quotation" "quotations" create {
 250     {
 251         { "object" "kernel" }
 252         "array"
 253         { "quotation-array" "quotations.private" }
 254         f
 255     }
 256     {
 257         { "object" "kernel" }
 258         "compiled?"
 259         { "quotation-compiled?" "quotations" }
 260         f
 261     }
 262 } define-builtin
 263
 264 "dll" "alien" create {
 265     {
 266         { "byte-array" "byte-arrays" }
 267         "path"
 268         { "(dll-path)" "alien" }
 269         f
 270     }
 271 }
 272 define-builtin
 273
 274 "alien" "alien" create {
 275     {
 276         { "c-ptr" "alien" }
 277         "alien"
 278         { "underlying-alien" "alien" }
 279         f
 280     } {
 281         { "object" "kernel" }
 282         "expired?"
 283         { "expired?" "alien" }
 284         f
 285     }
 286 }
 287 define-builtin
 288
 289 "word" "words" create {
 290     f
 291     {
 292         { "object" "kernel" }
 293         "name"
 294         { "word-name" "words" }
 295         { "set-word-name" "words" }
 296     }
 297     {
 298         { "object" "kernel" }
 299         "vocabulary"
 300         { "word-vocabulary" "words" }
 301         { "set-word-vocabulary" "words" }
 302     }
 303     {
 304         { "quotation" "quotations" }
 305         "def"
 306         { "word-def" "words" }
 307         { "set-word-def" "words.private" }
 308     }
 309     {
 310         { "object" "kernel" }
 311         "props"
 312         { "word-props" "words" }
 313         { "set-word-props" "words" }
 314     }
 315     {
 316         { "object" "kernel" }
 317         "compiled?"
 318         { "compiled?" "words" }
 319         f
 320     }
 321     {
 322         { "fixnum" "math" }
 323         "counter"
 324         { "profile-counter" "tools.profiler.private" }
 325         { "set-profile-counter" "tools.profiler.private" }
 326     }
 327 } define-builtin
 328
 329 "byte-array" "byte-arrays" create { } define-builtin
 330
 331 "bit-array" "bit-arrays" create { } define-builtin
 332
 333 "float-array" "float-arrays" create { } define-builtin
 334
 335 "callstack" "kernel" create { } define-builtin
 336
 337 "tuple-layout" "classes.tuple.private" create {
 338     {
 339         { "fixnum" "math" }
 340         "hashcode"
 341         { "layout-hashcode" "classes.tuple.private" }
 342         f
 343     }
 344     {
 345         { "word" "words" }
 346         "class"
 347         { "layout-class" "classes.tuple.private" }
 348         f
 349     }
 350     {
 351         { "fixnum" "math" }
 352         "size"
 353         { "layout-size" "classes.tuple.private" }
 354         f
 355     }
 356     {
 357         { "array" "arrays" }
 358         "superclasses"
 359         { "layout-superclasses" "classes.tuple.private" }
 360         f
 361     }
 362     {
 363         { "fixnum" "math" }
 364         "echelon"
 365         { "layout-echelon" "classes.tuple.private" }
 366         f
 367     }
 368 } define-builtin
 369
 370 "tuple" "kernel" create {
 371     [ { } define-builtin ]
 372     [ { "delegate" } "slot-names" set-word-prop ]
 373     [ define-tuple-layout ]
 374     [
 375         {
 376             {
 377                 { "object" "kernel" }
 378                 "delegate"
 379                 { "delegate" "kernel" }
 380                 { "set-delegate" "kernel" }
 381             }
 382         }
 383         [ drop ] [ generate-tuple-slots ] 2bi
 384         [ "slots" set-word-prop ]
 385         [ define-slots ]
 386         2bi
 387     ]
 388 } cleave
 389
 390 "f" "syntax" create [ not ] "predicate" set-word-prop
 391 "f?" "syntax" vocab-words delete-at
 392
 393 ! Create special tombstone values
 394 "tombstone" "hashtables.private" create
 395 tuple
 396 { } define-tuple-class
 397
 398 "((empty))" "hashtables.private" create
 399 "tombstone" "hashtables.private" lookup f
 400 2array >tuple 1quotation define-inline
 401
 402 "((tombstone))" "hashtables.private" create
 403 "tombstone" "hashtables.private" lookup t
 404 2array >tuple 1quotation define-inline
 405
 406 ! Some tuple classes
 407 "hashtable" "hashtables" create
 408 tuple
 409 {
 410     {
 411         { "array-capacity" "sequences.private" }
 412         "count"
 413         { "hash-count" "hashtables.private" }
 414         { "set-hash-count" "hashtables.private" }
 415     } {
 416         { "array-capacity" "sequences.private" }
 417         "deleted"
 418         { "hash-deleted" "hashtables.private" }
 419         { "set-hash-deleted" "hashtables.private" }
 420     } {
 421         { "array" "arrays" }
 422         "array"
 423         { "hash-array" "hashtables.private" }
 424         { "set-hash-array" "hashtables.private" }
 425     }
 426 } define-tuple-class
 427
 428 "sbuf" "sbufs" create
 429 tuple
 430 {
 431     {
 432         { "string" "strings" }
 433         "underlying"
 434         { "underlying" "growable" }
 435         { "set-underlying" "growable" }
 436     } {
 437         { "array-capacity" "sequences.private" }
 438         "length"
 439         { "length" "sequences" }
 440         { "set-fill" "growable" }
 441     }
 442 } define-tuple-class
 443
 444 "vector" "vectors" create
 445 tuple
 446 {
 447     {
 448         { "array" "arrays" }
 449         "underlying"
 450         { "underlying" "growable" }
 451         { "set-underlying" "growable" }
 452     } {
 453         { "array-capacity" "sequences.private" }
 454         "fill"
 455         { "length" "sequences" }
 456         { "set-fill" "growable" }
 457     }
 458 } define-tuple-class
 459
 460 "byte-vector" "byte-vectors" create
 461 tuple
 462 {
 463     {
 464         { "byte-array" "byte-arrays" }
 465         "underlying"
 466         { "underlying" "growable" }
 467         { "set-underlying" "growable" }
 468     } {
 469         { "array-capacity" "sequences.private" }
 470         "fill"
 471         { "length" "sequences" }
 472         { "set-fill" "growable" }
 473     }
 474 } define-tuple-class
 475
 476 "curry" "kernel" create
 477 tuple
 478 {
 479     {
 480         { "object" "kernel" }
 481         "obj"
 482         { "curry-obj" "kernel" }
 483         f
 484     } {
 485         { "object" "kernel" }
 486         "quot"
 487         { "curry-quot" "kernel" }
 488         f
 489     }
 490 } define-tuple-class
 491
 492 "curry" "kernel" lookup
 493 [ f "inline" set-word-prop ]
 494 [ ]
 495 [ tuple-layout [ <tuple-boa> ] curry ] tri define
 496
 497 "compose" "kernel" create
 498 tuple
 499 {
 500     {
 501         { "object" "kernel" }
 502         "first"
 503         { "compose-first" "kernel" }
 504         f
 505     } {
 506         { "object" "kernel" }
 507         "second"
 508         { "compose-second" "kernel" }
 509         f
 510     }
 511 } define-tuple-class
 512
 513 "compose" "kernel" lookup
 514 [ f "inline" set-word-prop ]
 515 [ ]
 516 [ tuple-layout [ <tuple-boa> ] curry ] tri define
 517
 518 ! Primitive words
 519 : make-primitive ( word vocab n -- )
 520     >r create dup reset-word r>
 521     [ do-primitive ] curry [ ] like define ;
 522
 523 {
 524     { "(execute)" "words.private" }
 525     { "(call)" "kernel.private" }
 526     { "bignum>fixnum" "math.private" }
 527     { "float>fixnum" "math.private" }
 528     { "fixnum>bignum" "math.private" }
 529     { "float>bignum" "math.private" }
 530     { "fixnum>float" "math.private" }
 531     { "bignum>float" "math.private" }
 532     { "<ratio>" "math.private" }
 533     { "string>float" "math.private" }
 534     { "float>string" "math.private" }
 535     { "float>bits" "math" }
 536     { "double>bits" "math" }
 537     { "bits>float" "math" }
 538     { "bits>double" "math" }
 539     { "<complex>" "math.private" }
 540     { "fixnum+" "math.private" }
 541     { "fixnum+fast" "math.private" }
 542     { "fixnum-" "math.private" }
 543     { "fixnum-fast" "math.private" }
 544     { "fixnum*" "math.private" }
 545     { "fixnum*fast" "math.private" }
 546     { "fixnum/i" "math.private" }
 547     { "fixnum-mod" "math.private" }
 548     { "fixnum/mod" "math.private" }
 549     { "fixnum-bitand" "math.private" }
 550     { "fixnum-bitor" "math.private" }
 551     { "fixnum-bitxor" "math.private" }
 552     { "fixnum-bitnot" "math.private" }
 553     { "fixnum-shift" "math.private" }
 554     { "fixnum-shift-fast" "math.private" }
 555     { "fixnum<" "math.private" }
 556     { "fixnum<=" "math.private" }
 557     { "fixnum>" "math.private" }
 558     { "fixnum>=" "math.private" }
 559     { "bignum=" "math.private" }
 560     { "bignum+" "math.private" }
 561     { "bignum-" "math.private" }
 562     { "bignum*" "math.private" }
 563     { "bignum/i" "math.private" }
 564     { "bignum-mod" "math.private" }
 565     { "bignum/mod" "math.private" }
 566     { "bignum-bitand" "math.private" }
 567     { "bignum-bitor" "math.private" }
 568     { "bignum-bitxor" "math.private" }
 569     { "bignum-bitnot" "math.private" }
 570     { "bignum-shift" "math.private" }
 571     { "bignum<" "math.private" }
 572     { "bignum<=" "math.private" }
 573     { "bignum>" "math.private" }
 574     { "bignum>=" "math.private" }
 575     { "bignum-bit?" "math.private" }
 576     { "bignum-log2" "math.private" }
 577     { "byte-array>bignum" "math" }
 578     { "float=" "math.private" }
 579     { "float+" "math.private" }
 580     { "float-" "math.private" }
 581     { "float*" "math.private" }
 582     { "float/f" "math.private" }
 583     { "float-mod" "math.private" }
 584     { "float<" "math.private" }
 585     { "float<=" "math.private" }
 586     { "float>" "math.private" }
 587     { "float>=" "math.private" }
 588     { "<word>" "words" }
 589     { "word-xt" "words" }
 590     { "drop" "kernel" }
 591     { "2drop" "kernel" }
 592     { "3drop" "kernel" }
 593     { "dup" "kernel" }
 594     { "2dup" "kernel" }
 595     { "3dup" "kernel" }
 596     { "rot" "kernel" }
 597     { "-rot" "kernel" }
 598     { "dupd" "kernel" }
 599     { "swapd" "kernel" }
 600     { "nip" "kernel" }
 601     { "2nip" "kernel" }
 602     { "tuck" "kernel" }
 603     { "over" "kernel" }
 604     { "pick" "kernel" }
 605     { "swap" "kernel" }
 606     { ">r" "kernel" }
 607     { "r>" "kernel" }
 608     { "eq?" "kernel" }
 609     { "getenv" "kernel.private" }
 610     { "setenv" "kernel.private" }
 611     { "(exists?)" "io.files.private" }
 612     { "(directory)" "io.files.private" }
 613     { "gc" "memory" }
 614     { "gc-stats" "memory" }
 615     { "save-image" "memory" }
 616     { "save-image-and-exit" "memory" }
 617     { "datastack" "kernel" }
 618     { "retainstack" "kernel" }
 619     { "callstack" "kernel" }
 620     { "set-datastack" "kernel" }
 621     { "set-retainstack" "kernel" }
 622     { "set-callstack" "kernel" }
 623     { "exit" "system" }
 624     { "data-room" "memory" }
 625     { "code-room" "memory" }
 626     { "os-env" "system" }
 627     { "millis" "system" }
 628     { "tag" "kernel.private" }
 629     { "modify-code-heap" "compiler.units" }
 630     { "dlopen" "alien" }
 631     { "dlsym" "alien" }
 632     { "dlclose" "alien" }
 633     { "<byte-array>" "byte-arrays" }
 634     { "<bit-array>" "bit-arrays" }
 635     { "<displaced-alien>" "alien" }
 636     { "alien-signed-cell" "alien.accessors" }
 637     { "set-alien-signed-cell" "alien.accessors" }
 638     { "alien-unsigned-cell" "alien.accessors" }
 639     { "set-alien-unsigned-cell" "alien.accessors" }
 640     { "alien-signed-8" "alien.accessors" }
 641     { "set-alien-signed-8" "alien.accessors" }
 642     { "alien-unsigned-8" "alien.accessors" }
 643     { "set-alien-unsigned-8" "alien.accessors" }
 644     { "alien-signed-4" "alien.accessors" }
 645     { "set-alien-signed-4" "alien.accessors" }
 646     { "alien-unsigned-4" "alien.accessors" }
 647     { "set-alien-unsigned-4" "alien.accessors" }
 648     { "alien-signed-2" "alien.accessors" }
 649     { "set-alien-signed-2" "alien.accessors" }
 650     { "alien-unsigned-2" "alien.accessors" }
 651     { "set-alien-unsigned-2" "alien.accessors" }
 652     { "alien-signed-1" "alien.accessors" }
 653     { "set-alien-signed-1" "alien.accessors" }
 654     { "alien-unsigned-1" "alien.accessors" }
 655     { "set-alien-unsigned-1" "alien.accessors" }
 656     { "alien-float" "alien.accessors" }
 657     { "set-alien-float" "alien.accessors" }
 658     { "alien-double" "alien.accessors" }
 659     { "set-alien-double" "alien.accessors" }
 660     { "alien-cell" "alien.accessors" }
 661     { "set-alien-cell" "alien.accessors" }
 662     { "(throw)" "kernel.private" }
 663     { "alien-address" "alien" }
 664     { "slot" "slots.private" }
 665     { "set-slot" "slots.private" }
 666     { "string-nth" "strings.private" }
 667     { "set-string-nth" "strings.private" }
 668     { "resize-array" "arrays" }
 669     { "resize-string" "strings" }
 670     { "<array>" "arrays" }
 671     { "begin-scan" "memory" }
 672     { "next-object" "memory" }
 673     { "end-scan" "memory" }
 674     { "size" "memory" }
 675     { "die" "kernel" }
 676     { "fopen" "io.streams.c" }
 677     { "fgetc" "io.streams.c" }
 678     { "fread" "io.streams.c" }
 679     { "fputc" "io.streams.c" }
 680     { "fwrite" "io.streams.c" }
 681     { "fflush" "io.streams.c" }
 682     { "fclose" "io.streams.c" }
 683     { "<wrapper>" "kernel" }
 684     { "(clone)" "kernel" }
 685     { "<string>" "strings" }
 686     { "array>quotation" "quotations.private" }
 687     { "quotation-xt" "quotations" }
 688     { "<tuple>" "classes.tuple.private" }
 689     { "<tuple-layout>" "classes.tuple.private" }
 690     { "profiling" "tools.profiler.private" }
 691     { "become" "kernel.private" }
 692     { "(sleep)" "threads.private" }
 693     { "<float-array>" "float-arrays" }
 694     { "<tuple-boa>" "classes.tuple.private" }
 695     { "callstack>array" "kernel" }
 696     { "innermost-frame-quot" "kernel.private" }
 697     { "innermost-frame-scan" "kernel.private" }
 698     { "set-innermost-frame-quot" "kernel.private" }
 699     { "call-clear" "kernel" }
 700     { "(os-envs)" "system.private" }
 701     { "set-os-env" "system" }
 702     { "unset-os-env" "system" }
 703     { "(set-os-envs)" "system.private" }
 704     { "resize-byte-array" "byte-arrays" }
 705     { "resize-bit-array" "bit-arrays" }
 706     { "resize-float-array" "float-arrays" }
 707     { "dll-valid?" "alien" }
 708     { "unimplemented" "kernel.private" }
 709     { "gc-reset" "memory" }
 710 }
 711 dup length [ >r first2 r> make-primitive ] 2each
 712
 713 ! Bump build number
 714 "build" "kernel" create build 1+ 1quotation define