jak-project/test/decompiler/reference/jak3/kernel/gkernel_REF.gc

1808 lines
61 KiB
Common Lisp

;;-*-Lisp-*-
(in-package goal)
;; definition for symbol *kernel-version*, type binteger
(define *kernel-version* (the-as binteger #xb00000))
;; definition for symbol *irx-version*, type binteger
(define *irx-version* (the-as binteger #x200000))
;; definition for symbol *kernel-boot-mode*, type symbol
(define *kernel-boot-mode* 'listener)
;; definition for symbol *kernel-boot-level*, type symbol
(define *kernel-boot-level* #f)
;; definition for symbol *deci-count*, type int
(define *deci-count* 0)
;; definition for symbol *last-loado-length*, type int
(define *last-loado-length* 0)
;; definition for symbol *last-loado-global-usage*, type int
(define *last-loado-global-usage* 0)
;; definition for symbol *last-loado-debug-usage*, type int
(define *last-loado-debug-usage* 0)
;; definition for method 7 of type object
(defmethod relocate ((this object) (offset int))
this
)
;; definition for symbol *kernel-packages*, type pair
(define *kernel-packages* '())
;; definition for function load-package
(defun load-package ((package-name string) (heap kheap))
"If not already loaded, do a blocking dgo-load to load the given CGO."
(when (not (nmember package-name *kernel-packages*))
(kmemopen global package-name)
(dgo-load
package-name
heap
(link-flag output-load-msg output-load-true-msg execute-login print-login)
#x200000
)
(set! *kernel-packages* (cons package-name *kernel-packages*))
(kmemclose)
*kernel-packages*
)
)
;; definition for function unload-package
(defun unload-package ((package-name string))
"Mark a package as unloaded. Does not actually unload."
(let ((v1-0 (nmember package-name *kernel-packages*)))
(if v1-0
(set! *kernel-packages* (delete! (car v1-0) *kernel-packages*))
)
)
*kernel-packages*
)
;; definition for symbol *kernel-context*, type kernel-context
(define *kernel-context* (new 'static 'kernel-context
:prevent-from-run (process-mask execute sleep)
:next-pid 3
:current-process #f
:relocating-process #f
:low-memory-message #t
)
)
;; definition for symbol *dram-stack*, type (pointer uint8)
(define *dram-stack* (the-as (pointer uint8) (malloc 'global #x3800)))
;; failed to figure out what this is:
(set! (-> *kernel-context* fast-stack-top) (the-as pointer #x70004000))
;; definition for symbol *null-kernel-context*, type kernel-context
(define *null-kernel-context* (new 'static 'kernel-context))
;; definition for method 1 of type thread
;; WARN: Return type mismatch int vs none.
(defmethod delete ((this thread))
(when (= this (-> this process main-thread))
(break!)
0
)
(set! (-> this process top-thread) (the-as cpu-thread (-> this previous)))
0
(none)
)
;; definition for method 2 of type thread
(defmethod print ((this thread))
(format
#t
"#<~A ~S of ~S pc: #x~X @ #x~X>"
(-> this type)
(-> this name)
(-> this process name)
(-> this pc)
this
)
this
)
;; definition for method 9 of type thread
;; WARN: Return type mismatch int vs none.
(defmethod stack-size-set! ((this thread) (size-bytes int))
"Adjust the size of the stack that can be stored during a suspend. Must be called before any process allocations."
(let ((a2-0 (-> this process)))
(cond
((!= this (-> a2-0 main-thread))
(format 0 "ERROR: illegal attempt change stack size of ~A when the main-thread is not the top-thread.~%" a2-0)
)
((= (-> this stack-size) size-bytes)
)
((= (-> a2-0 heap-cur) (+ (+ (-> this stack-size) -4 (-> this type size)) (the-as int this)))
(set! (-> a2-0 heap-cur) (the-as pointer (+ (+ size-bytes -4 (-> this type size)) (the-as int this))))
(set! (-> this stack-size) size-bytes)
)
(else
(format 0 "ERROR: illegal attempt change stack size of ~A after more heap allocation has occured.~%" a2-0)
)
)
)
0
(none)
)
;; definition for method 0 of type cpu-thread
;; WARN: Return type mismatch pointer vs cpu-thread.
(defmethod new cpu-thread ((allocation symbol) (type-to-make type) (proc process) (name symbol) (stack-size int) (stack-top pointer))
"Allocate a thread. If there is already a top-thread for this process, assume this is a temporary thread, and allocate on the bottom of the stack."
(let ((v0-0 (cond
((-> proc top-thread)
(+ (+ (if (logtest? #x70000000 stack-top)
-7168
-14336
)
4
)
(the-as int stack-top)
)
)
(else
(let ((v1-6 (logand -16 (&+ (-> proc heap-cur) 15))))
(set! (-> proc heap-cur) (&+ (&+ v1-6 (-> type-to-make size)) stack-size))
(&+ v1-6 4)
)
)
)
)
)
(set! (-> (the-as cpu-thread v0-0) type) type-to-make)
(set! (-> (the-as cpu-thread v0-0) name) name)
(set! (-> (the-as cpu-thread v0-0) process) proc)
(set! (-> (the-as cpu-thread v0-0) sp) stack-top)
(set! (-> (the-as cpu-thread v0-0) stack-top) stack-top)
(set! (-> (the-as cpu-thread v0-0) previous) (-> proc top-thread))
(set! (-> proc top-thread) (the-as cpu-thread v0-0))
(set! (-> (the-as cpu-thread v0-0) suspend-hook) (method-of-object (the-as cpu-thread v0-0) thread-suspend))
(set! (-> (the-as cpu-thread v0-0) resume-hook) (method-of-object (the-as cpu-thread v0-0) thread-resume))
(set! (-> (the-as cpu-thread v0-0) stack-size) stack-size)
(the-as cpu-thread v0-0)
)
)
;; definition for method 5 of type cpu-thread
;; WARN: Return type mismatch uint vs int.
(defmethod asize-of ((this cpu-thread))
(the-as int (+ (-> this type size) (-> this stack-size)))
)
;; definition for function remove-exit
;; WARN: Return type mismatch int vs none.
(defbehavior remove-exit process ()
"Remove the top stack frame. If you have no other stack frames, you can use this before a `go`
to skip the `exit` of the state you are currently in."
(if (-> self stack-frame-top)
(set! (-> self stack-frame-top) (-> self stack-frame-top next))
)
0
(none)
)
;; definition (debug) for function stream<-process-mask
(defun-debug stream<-process-mask ((arg0 object) (arg1 process-mask))
"Print out the process-mask as a human readable string."
(let ((s4-0 arg1))
(if (= (logand s4-0 (process-mask process-tree)) (process-mask process-tree))
(format arg0 "process-tree ")
)
(if (= (logand s4-0 (process-mask target)) (process-mask target))
(format arg0 "target ")
)
(if (= (logand (process-mask collectable) s4-0) (process-mask collectable))
(format arg0 "collectable ")
)
(if (= (logand (process-mask projectile) s4-0) (process-mask projectile))
(format arg0 "projectile ")
)
(if (= (logand s4-0 (process-mask sleep-code)) (process-mask sleep-code))
(format arg0 "sleep-code ")
)
(if (= (logand s4-0 (process-mask actor-pause)) (process-mask actor-pause))
(format arg0 "actor-pause ")
)
(if (= (logand (process-mask metalhead) s4-0) (shl #x8000 16))
(format arg0 "metalhead ")
)
(if (= (logand (process-mask bot) s4-0) (process-mask bot))
(format arg0 "bot ")
)
(if (= (logand (process-mask vehicle) s4-0) (process-mask vehicle))
(format arg0 "vehicle ")
)
(if (= (logand (process-mask enemy) s4-0) (process-mask enemy))
(format arg0 "enemy ")
)
(if (= (logand (process-mask entity) s4-0) (process-mask entity))
(format arg0 "entity ")
)
(if (= (logand s4-0 (process-mask heap-shrunk)) (process-mask heap-shrunk))
(format arg0 "heap-shrunk ")
)
(if (= (logand (process-mask sidekick) s4-0) (process-mask sidekick))
(format arg0 "sidekick ")
)
(if (= (logand s4-0 (process-mask going)) (process-mask going))
(format arg0 "going ")
)
(if (= (logand s4-0 (process-mask execute)) (process-mask execute))
(format arg0 "execute ")
)
(if (= (logand (process-mask civilian) s4-0) (process-mask civilian))
(format arg0 "civilian ")
)
(if (= (logand (process-mask death) s4-0) (process-mask death))
(format arg0 "death ")
)
(if (= (logand (process-mask guard) s4-0) (process-mask guard))
(format arg0 "guard ")
)
(if (= (logand s4-0 (process-mask no-kill)) (process-mask no-kill))
(format arg0 "no-kill ")
)
(if (= (logand (process-mask kg-robot) s4-0) (process-mask kg-robot))
(format arg0 "kg-robot ")
)
(if (= (logand (process-mask platform) s4-0) (process-mask platform))
(format arg0 "platform ")
)
(if (= (logand s4-0 (process-mask freeze)) (process-mask freeze))
(format arg0 "freeze ")
)
(if (= (logand s4-0 (process-mask sleep)) (process-mask sleep))
(format arg0 "sleep ")
)
(if (= (logand s4-0 (process-mask progress)) (process-mask progress))
(format arg0 "progress ")
)
(if (= (logand s4-0 (process-mask menu)) (process-mask menu))
(format arg0 "menu ")
)
(if (= (logand (process-mask camera) s4-0) (process-mask camera))
(format arg0 "camera ")
)
(if (= (logand (process-mask ambient) s4-0) (process-mask ambient))
(format arg0 "ambient ")
)
(if (= (logand s4-0 (process-mask dark-effect)) (process-mask dark-effect))
(format arg0 "dark-effect ")
)
(if (= (logand (process-mask crate) s4-0) (process-mask crate))
(format arg0 "crate ")
)
(if (= (logand s4-0 (process-mask kernel-run)) (process-mask kernel-run))
(format arg0 "kernel-run ")
)
(if (= (logand s4-0 (process-mask movie)) (process-mask movie))
(format arg0 "movie ")
)
(if (= (logand s4-0 (process-mask pause)) (process-mask pause))
(format arg0 "pause ")
)
)
arg1
)
;; definition for symbol *master-mode*, type symbol
(define *master-mode* 'game)
;; definition for symbol *pause-lock*, type symbol
(define *pause-lock* #f)
;; definition for method 2 of type process-tree
(defmethod print ((this process-tree))
(format #t "#<~A ~S @ #x~X>" (-> this type) (-> this name) this)
this
)
;; definition for method 0 of type process-tree
(defmethod new process-tree ((allocation symbol) (type-to-make type) (name string))
"Allocate a process-tree with the kernel clock."
(let ((v0-0 (object-new allocation type-to-make (the-as int (-> type-to-make size)))))
(set! (-> v0-0 name) name)
(set! (-> v0-0 mask) (process-mask process-tree))
(set! (-> v0-0 clock) *kernel-clock*)
(+! (-> v0-0 clock ref-count) 1)
(set! (-> v0-0 parent) (the-as (pointer process-tree) #f))
(set! (-> v0-0 brother) (the-as (pointer process-tree) #f))
(set! (-> v0-0 child) (the-as (pointer process-tree) #f))
(set! (-> v0-0 self) v0-0)
(set! (-> v0-0 ppointer) (the-as (pointer process) (&-> v0-0 self)))
v0-0
)
)
;; definition for method 3 of type process-tree
(defmethod inspect ((this process-tree))
(format #t "[~8x] ~A~%" this (-> this type))
(format #t "~Tname: ~S~%" (-> this name))
(format #t "~1Tmask: #x~X : (process-mask " (-> this mask))
(stream<-process-mask #t (-> this mask))
(format #t ")~%")
(format #t "~Tclock: ~A~%" (-> this clock))
(format #t "~Tparent: ~A~%" (ppointer->process (-> this parent)))
(format #t "~Tbrother: ~A~%" (ppointer->process (-> this brother)))
(format #t "~Tchild: ~A~%" (ppointer->process (-> this child)))
this
)
;; definition for method 0 of type process
;; WARN: Return type mismatch object vs process.
(defmethod new process ((allocation symbol) (type-to-make type) (arg0 string) (arg1 int))
"Allocate a process, set up process heap, self/ppointer, clock."
(let ((v0-0 (if (logtest? (the-as int allocation) 1)
(object-new allocation type-to-make (the-as int (+ (-> process size) arg1)))
(+ (the-as int allocation) 4)
)
)
)
(set! (-> (the-as process v0-0) name) arg0)
(set! (-> (the-as process v0-0) clock) *kernel-clock*)
(+! (-> (the-as process v0-0) clock ref-count) 1)
(set! (-> (the-as process v0-0) status) 'dead)
(set! (-> (the-as process v0-0) pid) 0)
(set! (-> (the-as process v0-0) pool) #f)
(set! (-> (the-as process v0-0) allocated-length) arg1)
(set! (-> (the-as process v0-0) top-thread) #f)
(set! (-> (the-as process v0-0) main-thread) #f)
(let ((v1-9 (-> (the-as process v0-0) stack)))
(set! (-> (the-as process v0-0) heap-cur) v1-9)
(set! (-> (the-as process v0-0) heap-base) v1-9)
)
(set! (-> (the-as process v0-0) heap-top)
(&-> (the-as process v0-0) stack (-> (the-as process v0-0) allocated-length))
)
(set! (-> (the-as process v0-0) stack-frame-top) (the-as stack-frame (-> (the-as process v0-0) heap-top)))
(set! (-> (the-as process v0-0) stack-frame-top) #f)
(set! (-> (the-as process v0-0) state) #f)
(set! (-> (the-as process v0-0) next-state) #f)
(set! (-> (the-as process v0-0) prev-state) #f)
(set! (-> (the-as process v0-0) state-stack) #f)
(set! (-> (the-as process v0-0) entity) #f)
(set! (-> (the-as process v0-0) level) #f)
(set! (-> (the-as process v0-0) trans-hook) #f)
(set! (-> (the-as process v0-0) post-hook) #f)
(set! (-> (the-as process v0-0) event-hook) #f)
(set! (-> (the-as process v0-0) parent) (the-as (pointer process-tree) #f))
(set! (-> (the-as process v0-0) brother) (the-as (pointer process-tree) #f))
(set! (-> (the-as process v0-0) child) (the-as (pointer process-tree) #f))
(set! (-> (the-as process v0-0) self) (the-as process v0-0))
(set! (-> (the-as process v0-0) ppointer) (&-> (the-as process v0-0) self))
(the-as process v0-0)
)
)
;; definition for function inspect-process-heap
(defun inspect-process-heap ((proc process))
"Call the inspect method on every object in the process heap."
(let ((s5-0 (the-as object (&+ (-> proc heap-base) 4))))
(while (< (the-as int s5-0) (the-as int (-> proc heap-cur)))
(inspect (the-as basic s5-0))
(set! s5-0 (&+ (the-as pointer s5-0) (logand -16 (+ (asize-of (the-as basic s5-0)) 15))))
)
)
#f
)
;; definition for method 3 of type process
(defmethod inspect ((this process))
(format #t "[~8x] ~A~%" this (-> this type))
(format #t "~Tname: ~S~%" (-> this name))
(format #t "~1Tmask: #x~X : (process-mask " (-> this mask))
(stream<-process-mask #t (-> this mask))
(format #t ")~%")
(format #t "~Tclock: ~A~%" (-> this clock))
(format #t "~Tstatus: ~A~%" (-> this status))
(format #t "~Tmain-thread: ~A~%" (-> this main-thread))
(format #t "~Ttop-thread: ~A~%" (-> this top-thread))
(format #t "~Tentity: ~A~%" (-> this entity))
(format #t "~Tlevel: ~A~%" (-> this level))
(format #t "~Tstate: ~A~%" (-> this state))
(format #t "~Tprev-state: ~A~%" (-> this prev-state))
(format #t "~Tnext-state: ~A~%" (-> this next-state))
(format #t "~Tstate-stack: ~A~%" (-> this state-stack))
(format #t "~Ttrans-hook: ~A~%" (-> this trans-hook))
(format #t "~Tpost-hook: ~A~%" (-> this post-hook))
(format #t "~Tevent-hook: ~A~%" (-> this event-hook))
(format #t "~Tparent: ~A~%" (ppointer->process (-> this parent)))
(format #t "~Tbrother: ~A~%" (ppointer->process (-> this brother)))
(format #t "~Tchild: ~A~%" (ppointer->process (-> this child)))
(format #t "~Tconnection-list: ~`connectable`P~%" (-> this connection-list))
(format #t "~Tstack-frame-top: ~A~%" (-> this stack-frame-top))
(format #t "~Theap-base: #x~X~%" (-> this heap-base))
(format #t "~Theap-top: #x~X~%" (-> this heap-top))
(format #t "~Theap-cur: #x~X~%" (-> this heap-cur))
(let ((s5-0 *print-column*))
(set! *print-column* (+ *print-column* 64))
(format #t "----~%")
(inspect-process-heap this)
(format #t "----~%")
(set! *print-column* s5-0)
)
(format #t "~Tallocated-length: ~D~%" (-> this allocated-length))
(format #t "~Tstack[~D] @ #x~X~%" (-> this allocated-length) (-> this stack))
this
)
;; definition for method 5 of type process
;; WARN: Return type mismatch uint vs int.
(defmethod asize-of ((this process))
(the-as int (+ (-> process size) (-> this allocated-length)))
)
;; definition for method 2 of type process
;; INFO: this function exists in multiple non-identical object files
(defmethod print ((this process))
(cond
((and (-> this top-thread) (!= (-> this status) 'dead))
(format #t "#<~A ~S ~A :state ~S " (-> this type) (-> this name) (-> this status) (if (-> this state)
(-> this state name)
)
)
(format
#t
":stack ~D/~D :heap ~D/~D @ #x~X>"
(&- (-> this top-thread stack-top) (the-as uint (-> this top-thread sp)))
(-> this main-thread stack-size)
(- (-> this allocated-length) (&- (-> this heap-top) (the-as uint (-> this heap-cur))))
(-> this allocated-length)
this
)
)
(else
(format
#t
"#<~A ~S ~A :state ~S @ #x~X"
(-> this type)
(-> this name)
(-> this status)
(if (-> this state)
(-> this state name)
)
this
)
)
)
this
)
;; definition for function return-from-thread
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for function return-from-thread-dead
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for function reset-and-call
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for method 10 of type cpu-thread
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for method 11 of type cpu-thread
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for method 0 of type dead-pool
(defmethod new dead-pool ((allocation symbol) (type-to-make type) (num-proc int) (process-size int) (name string))
"Allocate a dead pool and set up dead processes"
(let ((s3-0 (object-new allocation type-to-make (the-as int (-> type-to-make size)))))
(set! (-> s3-0 name) name)
(set! (-> s3-0 mask) (process-mask process-tree))
(set! (-> s3-0 parent) (the-as (pointer process-tree) #f))
(set! (-> s3-0 brother) (the-as (pointer process-tree) #f))
(set! (-> s3-0 child) (the-as (pointer process-tree) #f))
(set! (-> s3-0 self) s3-0)
(set! (-> s3-0 ppointer) (the-as (pointer process) (&-> s3-0 self)))
(dotimes (s2-1 num-proc)
(let ((s1-0 (-> s3-0 child))
(v1-5 ((method-of-type process new) allocation process "dead" process-size))
)
(set! (-> s3-0 child) (process->ppointer v1-5))
(set! (-> v1-5 parent) (process->ppointer (the-as process s3-0)))
(set! (-> v1-5 pool) s3-0)
(set! (-> v1-5 brother) s1-0)
)
)
s3-0
)
)
;; definition for method 14 of type dead-pool
(defmethod get-process ((this dead-pool) (proc-type type) (proc-size int) (unk object))
"Allocate a process from the pool, or #f if it fails."
(let ((s4-0 (the-as object (-> this child))))
(when (and (not (the-as (pointer process-tree) s4-0)) *debug-segment* (!= this *debug-dead-pool*))
(set! s4-0 (get-process *debug-dead-pool* proc-type proc-size unk))
(if (the-as process s4-0)
(format
0
"WARNING: ~A ~A had to be allocated from the debug pool, because ~A was empty.~%"
proc-type
(ppointer->process (the-as process s4-0))
(-> this name)
)
)
)
(cond
(s4-0
(set! (-> (the-as (pointer process) s4-0) 0 type) proc-type)
(-> (the-as (pointer process) s4-0) 0)
)
(else
(format
0
"WARNING: ~A ~A could not be allocated, because ~A was empty.~%"
proc-type
(ppointer->process (the-as (pointer process) s4-0))
(-> this name)
)
(the-as process #f)
)
)
)
)
;; definition for method 15 of type dead-pool
;; WARN: Return type mismatch int vs none.
(defmethod return-process ((this dead-pool) (proc process))
"Return a process to the pool."
(change-parent proc this)
0
(none)
)
;; definition for method 0 of type dead-pool-heap
(defmethod new dead-pool-heap ((allocation symbol) (type-to-make type) (name string) (max-num-proc int) (heap-size int))
"Allocate and initialize a dead-pool-heap."
(let ((s2-0 (object-new allocation type-to-make (the-as int (+ (-> type-to-make size) (* 12 max-num-proc))))))
(set! (-> s2-0 name) name)
(set! (-> s2-0 mask) (process-mask process-tree))
(set! (-> s2-0 allocated-length) max-num-proc)
(set! (-> s2-0 parent) (the-as (pointer process-tree) #f))
(set! (-> s2-0 brother) (the-as (pointer process-tree) #f))
(set! (-> s2-0 child) (the-as (pointer process-tree) #f))
(set! (-> s2-0 self) s2-0)
(set! (-> s2-0 ppointer) (the-as (pointer process) (&-> s2-0 self)))
(init s2-0 allocation heap-size)
s2-0
)
)
;; definition for method 16 of type dead-pool-heap
;; WARN: Return type mismatch dead-pool-heap vs none.
(defmethod init ((this dead-pool-heap) (allocation symbol) (heap-size int))
"Allocate memory for processes and init records."
(countdown (v1-0 (-> this allocated-length))
(let ((a0-4 (-> this process-list v1-0)))
(set! (-> a0-4 process) *null-process*)
(set! (-> a0-4 next) (-> this process-list (+ v1-0 1)))
)
)
(set! (-> this dead-list next) (the-as dead-pool-heap-rec (-> this process-list)))
(set! (-> this alive-list process) #f)
(set! (-> this process-list (+ (-> this allocated-length) -1) next) #f)
(set! (-> this alive-list prev) (-> this alive-list))
(set! (-> this alive-list next) #f)
(set! (-> this alive-list process) #f)
(set! (-> this first-gap) (-> this alive-list))
(set! (-> this first-shrink) #f)
(cond
((zero? heap-size)
(set! (-> this heap base) (the-as pointer 0))
(set! (-> this heap current) (the-as pointer 0))
(set! (-> this heap top) (the-as pointer 0))
(set! (-> this heap top-base) (the-as pointer 0))
0
)
(else
(set! (-> this heap base) (malloc allocation heap-size))
(set! (-> this heap current) (-> this heap base))
(set! (-> this heap top) (&+ (-> this heap base) heap-size))
(set! (-> this heap top-base) (-> this heap top))
)
)
(none)
)
;; definition for method 25 of type dead-pool-heap
;; WARN: Return type mismatch object vs pointer.
(defmethod gap-location ((this dead-pool-heap) (rec dead-pool-heap-rec))
"Get pointer to gap (possibly zero size) after the given process"
(the-as
pointer
(if (-> rec process)
(+ (+ (-> rec process allocated-length) -4 (-> process size)) (the-as int (-> rec process)))
(-> this heap base)
)
)
)
;; definition for method 24 of type dead-pool-heap
(defmethod gap-size ((this dead-pool-heap) (first-rec dead-pool-heap-rec))
"Get the size of the gap (possibly zero) after the given process. Use #f for the gap at the start of the pool memory."
(cond
((-> first-rec process)
(let ((v1-3
(&+ (&+ (the-as pointer (-> first-rec process)) (-> process size)) (-> first-rec process allocated-length))
)
)
(if (-> first-rec next)
(&- (the-as pointer (-> first-rec next process)) (the-as uint v1-3))
(&- (-> this heap top) (the-as uint (&+ v1-3 4)))
)
)
)
((-> first-rec next)
(&- (the-as pointer (-> first-rec next process)) (the-as uint (&+ (-> this heap base) 4)))
)
(else
(&- (-> this heap top) (the-as uint (-> this heap base)))
)
)
)
;; definition for method 26 of type dead-pool-heap
(defmethod find-gap ((this dead-pool-heap) (first-rec dead-pool-heap-rec))
"Find the first process with a nonzero gap after it, after the given process."
(while (and (-> first-rec next) (zero? (gap-size this first-rec)))
(set! first-rec (-> first-rec next))
)
first-rec
)
;; definition for method 3 of type dead-pool-heap
(defmethod inspect ((this dead-pool-heap))
(format #t "[~8x] ~A~%" this (-> this type))
(format #t "~Tname: ~A~%" (-> this name))
(format #t "~1Tmask: #x~X : (process-mask " (-> this mask))
(stream<-process-mask #t (-> this mask))
(format #t ")~%")
(format #t "~Tparent: #x~X~%" (-> this parent))
(format #t "~Tbrother: #x~X~%" (-> this brother))
(format #t "~Tchild: #x~X~%" (-> this child))
(format #t "~Tppointer: #x~X~%" (-> this ppointer))
(format #t "~Tself: ~A~%" (-> this self))
(format #t "~Tallocated-length: ~D~%" (-> this allocated-length))
(format #t "~Theap: #<kheap @ #x~X>~%" (-> this heap))
(format #t "~Tfirst-gap: #<dead-pool-heap-rec @ #x~X>~%" (-> this first-gap))
(format #t "~Tfirst-shrink: #<dead-pool-heap-rec @ #x~X>~%" (-> this first-shrink))
(format #t "~Talive-list: #<dead-pool-heap-rec @ #x~X>~%" (-> this alive-list))
(format #t "~Tlast: #<dead-pool-heap-rec @ #x~X>~%" (-> this alive-list prev))
(format #t "~Tdead-list: #<dead-pool-heap-rec @ #x~X>~%" (-> this dead-list))
(let* ((s5-0 (&- (-> this heap top) (the-as uint (-> this heap base))))
(v1-3 (if (-> this alive-list prev)
(gap-size this (-> this alive-list prev))
s5-0
)
)
)
(format #t "~Tprocess-list[0] @ #x~X ~D/~D bytes used~%" (-> this process-list) (- s5-0 v1-3) s5-0)
)
(let ((s5-1 (-> this alive-list))
(s4-0 0)
)
(while s5-1
(if (-> s5-1 process)
(format #t "~T [~3D] #<dead-pool-heap-rec @ #x~X> ~A~%" s4-0 s5-1 (-> s5-1 process))
)
(let ((s3-0 (gap-size this s5-1)))
(if (nonzero? s3-0)
(format #t "~T gap: ~D bytes @ #x~X~%" s3-0 (gap-location this s5-1))
)
)
(set! s5-1 (-> s5-1 next))
(+! s4-0 1)
)
)
this
)
;; definition for method 5 of type dead-pool-heap
;; WARN: Return type mismatch uint vs int.
(defmethod asize-of ((this dead-pool-heap))
(the-as int (+ (-> this type size) (* 12 (-> this allocated-length))))
)
;; definition for method 20 of type dead-pool-heap
(defmethod memory-used ((this dead-pool-heap))
"Get the total memory used. Memory in between processes that is not used by a process is considered used."
(if (-> this alive-list prev)
(- (memory-total this) (gap-size this (-> this alive-list prev)))
0
)
)
;; definition for method 21 of type dead-pool-heap
(defmethod memory-total ((this dead-pool-heap))
"Get the total size of the heap for processes."
(&- (-> this heap top) (the-as uint (-> this heap base)))
)
;; definition for method 22 of type dead-pool-heap
(defmethod memory-free ((this dead-pool-heap))
"Get the size of the unused part of the heap."
(let ((v1-0 (-> this heap top)))
(if (-> this alive-list prev)
(gap-size this (-> this alive-list prev))
(&- v1-0 (the-as uint (-> this heap base)))
)
)
)
;; definition for method 23 of type dead-pool-heap
(defmethod compact-time ((this dead-pool-heap))
"Get the compaction time (never set)."
(-> this compact-time)
)
;; definition for method 27 of type dead-pool-heap
(defmethod find-gap-by-size ((this dead-pool-heap) (size int))
"Find the first gap with a size at least this big"
(let ((gp-0 (-> this first-gap)))
(while (and gp-0 (< (gap-size this gp-0) size))
(set! gp-0 (-> gp-0 next))
)
gp-0
)
)
;; definition for method 14 of type dead-pool-heap
(defmethod get-process ((this dead-pool-heap) (proc-type type) (proc-size int) (unk object))
"Allocate a process from the pool, or #f if it fails."
(let ((s3-0 (-> this dead-list next))
(s4-0 (the-as process #f))
)
(let ((s1-0 (find-gap-by-size this (the-as int (+ (-> process size) proc-size)))))
(cond
((and s3-0 s1-0 (nonzero? (-> this heap base)))
(set! (-> this dead-list next) (-> s3-0 next))
(let ((v1-6 (-> s1-0 next)))
(set! (-> s1-0 next) s3-0)
(set! (-> s3-0 next) v1-6)
(if v1-6
(set! (-> v1-6 prev) s3-0)
)
)
(set! (-> s3-0 prev) s1-0)
(if (= s1-0 (-> this alive-list prev))
(set! (-> this alive-list prev) s3-0)
)
(let ((a0-5 (gap-location this s1-0)))
(set! s4-0 ((method-of-type process new) (the-as symbol a0-5) process "process" proc-size))
)
(set! (-> s3-0 process) s4-0)
(set! (-> s4-0 ppointer) (&-> s3-0 process))
(if (= (-> this first-gap) s1-0)
(set! (-> this first-gap) (find-gap this s3-0))
)
(if (or (not (-> this first-shrink)) (< (the-as int s4-0) (the-as int (-> this first-shrink process))))
(set! (-> this first-shrink) s3-0)
)
(set! (-> s4-0 parent) (-> this ppointer))
(set! (-> s4-0 pool) this)
(set! (-> this child) (&-> s3-0 process))
)
(else
(when (and *debug-segment* (!= this *debug-dead-pool*))
(set! s4-0 (get-process *debug-dead-pool* proc-type proc-size unk))
(if (and s4-0 *vis-boot*)
(format
0
"WARNING: ~A ~A had to be allocated from the debug pool, because ~A was empty.~%"
proc-type
s4-0
(-> this name)
)
)
0
)
)
)
)
(if s4-0
(set! (-> s4-0 type) proc-type)
(format 0 "WARNING: ~A ~A could not be allocated, because ~A was empty.~%" proc-type s4-0 (-> this name))
)
s4-0
)
)
;; definition for method 15 of type dead-pool-heap
;; WARN: Return type mismatch int vs none.
(defmethod return-process ((this dead-pool-heap) (proc process))
"Return a process to the pool."
(if (!= this (-> proc pool))
(format 0 "ERROR: process ~A does not belong to dead-pool-heap ~A.~%" proc this)
)
(change-parent proc this)
(set! (-> this child) (the-as (pointer process-tree) #f))
(let ((s5-1 (-> proc ppointer)))
(if (or (= (-> this first-gap) s5-1) (< (the-as int (gap-location this (the-as dead-pool-heap-rec s5-1)))
(the-as int (gap-location this (-> this first-gap)))
)
)
(set! (-> this first-gap) (the-as dead-pool-heap-rec (-> s5-1 1)))
)
(when (= (-> this first-shrink) s5-1)
(set! (-> this first-shrink) (the-as dead-pool-heap-rec (-> s5-1 1)))
(if (not (-> this first-shrink process))
(set! (-> this first-shrink) #f)
)
)
(set! (-> s5-1 1 clock) (the-as clock (-> s5-1 2)))
(if (-> s5-1 2)
(set! (-> s5-1 2 mask) (the-as process-mask (-> s5-1 1)))
(set! (-> this alive-list prev) (the-as dead-pool-heap-rec (-> s5-1 1)))
)
(set! (-> s5-1 2) (the-as process (-> this dead-list next)))
(set! (-> this dead-list next) (the-as dead-pool-heap-rec s5-1))
(set! (-> s5-1 0) *null-process*)
)
0
(none)
)
;; definition for method 18 of type dead-pool-heap
(defmethod shrink-heap ((this dead-pool-heap) (proc process))
"Shrink the heap of a process, allowing the dead pool heap to later reclaim the memory during a compact."
(when proc
(let ((s5-0 (-> proc ppointer)))
(when (not (or (logtest? (-> proc mask) (process-mask heap-shrunk))
(and (not (-> proc next-state)) (not (-> proc state)))
)
)
(set! (-> proc allocated-length) (&- (-> proc heap-cur) (the-as uint (-> proc stack))))
(set! (-> proc heap-top) (&-> proc stack (-> proc allocated-length)))
(if (< (the-as int proc) (the-as int (gap-location this (-> this first-gap))))
(set! (-> this first-gap) (find-gap this (the-as dead-pool-heap-rec s5-0)))
)
(logior! (-> proc mask) (process-mask heap-shrunk))
)
(if (= (-> this first-shrink) s5-0)
(set! (-> this first-shrink) (the-as dead-pool-heap-rec (-> s5-0 2)))
)
)
)
this
)
;; definition for method 17 of type dead-pool-heap
;; WARN: Return type mismatch int vs none.
;; WARN: Function (method 17 dead-pool-heap) has a return type of none, but the expression builder found a return statement.
(defmethod compact ((this dead-pool-heap) (compact-count int))
"Relocate process in memory to remove gaps, increasing free memory for this dead-pool-heap."
(if (zero? (-> this heap base))
(return 0)
)
(let* ((s4-0 (memory-free this))
(v1-5 (memory-total this))
(f0-2 (/ (the float s4-0) (the float v1-5)))
)
(cond
((< f0-2 0.1)
(set! compact-count 1000)
(if (and *debug-segment* (-> *kernel-context* low-memory-message))
(format
*stdcon*
"~3LLow Actor Memory (free ~,,0fK/~,,0fK)~0L~%"
(* 0.0009765625 (the float (memory-free *nk-dead-pool*)))
(* 0.0009765625 (the float (memory-total *nk-dead-pool*)))
)
)
)
((< f0-2 0.2)
(set! compact-count (* compact-count 4))
)
((< f0-2 0.3)
(set! compact-count (* compact-count 2))
)
)
)
(set! (-> this compact-count-targ) (the-as uint compact-count))
(set! (-> this compact-count) (the-as uint 0))
(while (nonzero? compact-count)
(+! compact-count -1)
(let ((v1-25 (-> this first-shrink)))
(when (not v1-25)
(set! v1-25 (-> this alive-list next))
(set! (-> this first-shrink) v1-25)
)
(if v1-25
(shrink-heap this (-> v1-25 process))
)
)
(let ((s4-2 (-> this first-gap)))
(when (-> s4-2 next)
(let ((s3-1 (-> s4-2 next process))
(s2-1 (gap-size this s4-2))
)
(when (nonzero? s2-1)
(when (< s2-1 0)
(break!)
0
)
(shrink-heap this s3-1)
(relocate s3-1 (- s2-1))
(set! (-> this first-gap) (find-gap this s4-2))
(+! (-> this compact-count) 1)
)
)
)
)
)
0
(none)
)
;; definition for method 19 of type dead-pool-heap
;; WARN: Return type mismatch int vs none.
(defmethod churn ((this dead-pool-heap) (count int))
"Relocate process in memory, to trigger memory bugs related to process relocation."
(while (nonzero? count)
(+! count -1)
(let ((s4-0 (-> this alive-list next)))
(when s4-0
(if (or (= (-> this first-gap) s4-0)
(< (the-as int (gap-location this s4-0)) (the-as int (gap-location this (-> this first-gap))))
)
(set! (-> this first-gap) (-> s4-0 prev))
)
(when (= (-> this first-shrink) s4-0)
(set! (-> this first-shrink) (-> s4-0 prev))
(if (not (-> this first-shrink process))
(set! (-> this first-shrink) #f)
)
)
(set! (-> s4-0 prev next) (-> s4-0 next))
(if (-> s4-0 next)
(set! (-> s4-0 next prev) (-> s4-0 prev))
(set! (-> this alive-list prev) (-> s4-0 prev))
)
(let ((a1-3 (-> this alive-list prev)))
(let ((v1-19 (-> a1-3 next)))
(set! (-> a1-3 next) s4-0)
(set! (-> s4-0 next) v1-19)
(if v1-19
(set! (-> v1-19 prev) s4-0)
)
)
(set! (-> s4-0 prev) a1-3)
(set! (-> this alive-list prev) s4-0)
(set! (-> s4-0 process)
(relocate (-> s4-0 process) (&- (gap-location this a1-3) (the-as uint (&-> s4-0 process type))))
)
)
)
)
)
0
(none)
)
;; definition for function method-state
;; WARN: Return type mismatch function vs state.
(defun method-state ((typ type) (state-name symbol))
"Get a virtual state from this type by name."
(dotimes (v1-0 (the-as int (-> typ allocated-length)))
(let ((a2-2 (the-as basic (-> typ method-table v1-0))))
(if (and (nonzero? (the-as function a2-2))
(= (-> (the-as function a2-2) type) state)
(= (-> (the-as state a2-2) name) state-name)
)
(return (the-as state a2-2))
)
)
)
(the-as state #f)
)
;; definition for symbol *global-search-name*, type basic
(define *global-search-name* (the-as basic #f))
;; definition for symbol *global-search-count*, type int
(define *global-search-count* 0)
;; definition for function process-by-name
(defun process-by-name ((process-name string) (tree process-tree))
"Find the first process with the given name in the process-tree."
(set! *global-search-name* process-name)
(search-process-tree
tree
(lambda ((arg0 process)) (string= (-> arg0 name) (the-as string *global-search-name*)))
)
)
;; definition for function process-not-name
(defun process-not-name ((name string) (tree process-tree))
"Find the first process without the given name in the process-tree."
(set! *global-search-name* name)
(search-process-tree
tree
(lambda ((arg0 process)) (not (string= (-> arg0 name) (the-as string *global-search-name*))))
)
)
;; definition for function process-count
(defun process-count ((tree process-tree))
"Count the number of processes in the given process-tree."
(set! *global-search-count* 0)
(iterate-process-tree
tree
(lambda ((arg0 process)) (set! *global-search-count* (+ *global-search-count* 1)) #t)
*null-kernel-context*
)
*global-search-count*
)
;; definition for function kill-by-name
(defun kill-by-name ((name string) (tree process-tree))
"Kill all processes with the given name."
(local-vars (a0-1 process))
(while (begin (set! a0-1 (process-by-name name tree)) a0-1)
(deactivate a0-1)
)
#f
)
;; definition for function kill-by-type
(defun kill-by-type ((typ type) (tree process-tree))
"Kill all processes with the given type."
(local-vars (a0-1 process))
(set! *global-search-name* typ)
(while (begin
(set! a0-1 (search-process-tree tree (lambda ((arg0 process)) (= (-> arg0 type) *global-search-name*))))
a0-1
)
(deactivate a0-1)
)
#f
)
;; definition for function kill-not-name
(defun kill-not-name ((name string) (tree process-tree))
"Kill all processes, except ones with the given name."
(local-vars (a0-1 process))
(while (begin (set! a0-1 (process-not-name name tree)) a0-1)
(deactivate a0-1)
)
#f
)
;; definition for function kill-not-type
(defun kill-not-type ((typ type) (tree process-tree))
"Kill all processes, except ones with the exact type."
(local-vars (a0-1 process))
(set! *global-search-name* typ)
(while (begin
(set! a0-1 (search-process-tree tree (lambda ((arg0 process)) (!= (-> arg0 type) *global-search-name*))))
a0-1
)
(deactivate a0-1)
)
#f
)
;; definition for function kill-by-type-inherited
(defun kill-by-type-inherited ((typ type) (tree process-tree))
"Kill all processes, except ones that inherit from the given type."
(local-vars (a0-1 process))
(set! *global-search-name* typ)
(while (begin
(set! a0-1
(search-process-tree tree (lambda ((arg0 process)) (type? arg0 (the-as type *global-search-name*))))
)
a0-1
)
(deactivate a0-1)
)
#f
)
;; definition for method 12 of type process-tree
(defmethod run-logic? ((this process-tree))
"Should this process be run? Checked by execute-process-tree."
#f
)
;; definition for method 12 of type process
(defmethod run-logic? ((this process))
"Should this process be run? Checked by execute-process-tree."
#t
)
;; definition for function iterate-process-tree
(defun iterate-process-tree ((tree process-tree) (callback (function object object)) (context kernel-context))
"Call a function on each not-dead process in the tree."
(let ((s4-0 (or (logtest? (-> tree mask) (process-mask process-tree)) (callback tree))))
(cond
((= s4-0 'dead)
)
(else
(let ((v1-4 (-> tree child)))
(while v1-4
(let ((s3-1 (-> v1-4 0 brother)))
(iterate-process-tree (-> v1-4 0) callback context)
(set! v1-4 s3-1)
)
)
)
)
)
s4-0
)
)
;; definition for function execute-process-tree
(defun execute-process-tree ((tree process-tree) (callback (function object object)) (context kernel-context))
"Iterate over all process, calling the run callback on each, if they should run."
(logclear! (-> tree mask) (process-mask kernel-run))
(let ((s3-0 (or (logtest? (-> tree mask) (process-mask process-tree))
(not (and (not (logtest? (-> context prevent-from-run) (-> tree mask))) (run-logic? tree)))
(begin (logior! (-> tree mask) (process-mask kernel-run)) (callback tree))
)
)
)
(cond
((= s3-0 'dead)
)
(else
(let ((v1-12 (-> tree child)))
(while v1-12
(let ((s4-1 (-> v1-12 0 brother)))
(execute-process-tree (-> v1-12 0) callback context)
(set! v1-12 s4-1)
)
)
)
)
)
s3-0
)
)
;; definition for function search-process-tree
;; WARN: Return type mismatch process-tree vs process.
(defun search-process-tree ((tree process-tree) (callback (function process-tree object)))
"Return the first function in the process-tree which the callback returns #t on."
(when (not (logtest? (-> tree mask) (process-mask process-tree)))
(if (callback tree)
(return (the-as process tree))
)
)
(let ((v1-5 (-> tree child)))
(while v1-5
(let ((s5-1 (-> v1-5 0 brother)))
(let ((v1-6 (search-process-tree (-> v1-5 0) callback)))
(if v1-6
(return v1-6)
)
)
(set! v1-5 s5-1)
)
)
)
(the-as process #f)
)
;; definition for function kernel-dispatcher
(defun kernel-dispatcher ()
"Run the GOAL kernel! Runs the function from the listener (if there is one), then all processes"
(when *listener-function*
(set! *enable-method-set* (+ *enable-method-set* 1))
(let ((t1-0 (reset-and-call (-> *listener-process* main-thread) *listener-function*)))
(format #t "~D #x~X ~F ~A~%" t1-0 t1-0 t1-0 t1-0)
)
(set! *listener-function* #f)
(set! *enable-method-set* (+ *enable-method-set* -1))
0
)
(execute-process-tree
*active-pool*
(lambda ((arg0 process))
(let ((s5-0 *kernel-context*))
(case (-> arg0 status)
(('waiting-to-run 'suspended)
(set! (-> s5-0 current-process) arg0)
(cond
((logtest? (-> arg0 mask) (process-mask pause))
(set! *stdcon* *stdcon1*)
(set! *debug-draw-pauseable* #t)
)
(else
(set! *stdcon* *stdcon0*)
(set! *debug-draw-pauseable* #f)
)
)
(when (-> arg0 trans-hook)
(let ((s4-0 (new 'process 'cpu-thread arg0 'trans 256 (-> arg0 main-thread stack-top))))
(reset-and-call s4-0 (-> arg0 trans-hook))
(delete s4-0)
)
(when (= (-> arg0 status) 'dead)
(set! (-> s5-0 current-process) #f)
(return 'dead)
)
)
(if (logtest? (-> arg0 mask) (process-mask sleep-code))
(set! (-> arg0 status) 'suspended)
((-> arg0 main-thread resume-hook) (-> arg0 main-thread))
)
(cond
((= (-> arg0 status) 'dead)
(set! (-> s5-0 current-process) #f)
'dead
)
(else
(when (-> arg0 post-hook)
(let ((s4-1 (new 'process 'cpu-thread arg0 'post 256 (&-> *dram-stack* 14336))))
(reset-and-call s4-1 (-> arg0 post-hook))
(delete s4-1)
)
(when (= (-> arg0 status) 'dead)
(set! (-> s5-0 current-process) #f)
(return 'dead)
)
(set! (-> arg0 status) 'suspended)
)
(set! (-> s5-0 current-process) #f)
#f
)
)
)
(('dead)
'dead
)
)
)
)
*kernel-context*
)
)
;; definition for function sync-dispatcher
;; WARN: Return type mismatch symbol vs object.
(defun sync-dispatcher ()
"Run the REPL function."
(let ((t9-0 *listener-function*))
(when t9-0
(set! *listener-function* #f)
(t9-0)
#f
)
)
)
;; definition for function inspect-process-tree
(defun inspect-process-tree ((tree process-tree) (depth int) (mask int) (detail symbol))
"Display a tree-view of a process-tree."
(print-tree-bitmask mask depth)
(cond
(detail
(format #t "__________________~%")
(format
#t
"~S~A~%"
(if (zero? depth)
""
"+---"
)
tree
)
(let ((s2-0 *print-column*))
(set! *print-column* (the-as binteger (* (* depth 4) 8)))
(inspect tree)
(set! *print-column* s2-0)
)
)
(else
(format
#t
"~S~A~%"
(if (zero? depth)
""
"+---"
)
tree
)
)
)
(let ((s2-1 (-> tree child)))
(while s2-1
(inspect-process-tree
(-> s2-1 0)
(+ depth 1)
(if (not (-> s2-1 0 brother))
mask
(logior mask (ash 1 (+ depth 1)))
)
detail
)
(set! s2-1 (-> s2-1 0 brother))
)
)
tree
)
;; definition for method 0 of type catch-frame
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for function throw-dispatch
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for function throw
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for method 0 of type protect-frame
;; WARN: Return type mismatch int vs protect-frame.
(defmethod new protect-frame ((stack-addr symbol) (type-to-make type) (exit-func (function object)))
"Allocate and set up a protect-frame. This _must_ be used on the stack."
(with-pp
(let ((v0-0 (the-as object (+ (the-as int stack-addr) 4))))
(set! (-> (the-as protect-frame v0-0) type) type-to-make)
(set! (-> (the-as protect-frame v0-0) name) 'protect-frame)
(set! (-> (the-as protect-frame v0-0) exit) exit-func)
(set! (-> (the-as protect-frame v0-0) next) (-> pp stack-frame-top))
(set! (-> pp stack-frame-top) (the-as protect-frame v0-0))
(the-as protect-frame v0-0)
)
)
)
;; definition for function previous-brother
;; WARN: Return type mismatch (pointer process-tree) vs object.
(defun previous-brother ((tree process-tree))
"Get the process before this one, at this level."
(let ((v1-0 (-> tree parent)))
(when v1-0
(let ((v1-2 (-> v1-0 0 child)))
(if (= v1-2 tree)
(return (the-as object #f))
)
(while v1-2
(if (= (-> v1-2 0 brother) tree)
(return (the-as object v1-2))
)
(set! v1-2 (-> v1-2 0 brother))
)
)
(the-as (pointer process-tree) #f)
)
)
)
;; definition for function change-parent
(defun change-parent ((proc-to-change process-tree) (new-parent process-tree))
"Reparent a process."
(let ((a2-0 (-> proc-to-change parent)))
(when a2-0
(let ((v1-2 (-> a2-0 0 child)))
(cond
((= (ppointer->process v1-2) proc-to-change)
(set! (-> a2-0 0 child) (-> proc-to-change brother))
)
(else
(while (!= (ppointer->process (-> v1-2 0 brother)) proc-to-change)
(nop!)
(nop!)
(nop!)
(set! v1-2 (-> v1-2 0 brother))
)
(set! (-> v1-2 0 brother) (-> proc-to-change brother))
)
)
)
)
)
(set! (-> proc-to-change parent) (-> new-parent ppointer))
(set! (-> proc-to-change brother) (-> new-parent child))
(set! (-> new-parent child) (-> proc-to-change ppointer))
proc-to-change
)
;; definition for function change-brother
(defun change-brother ((arg0 process-tree) (arg1 process-tree))
"Unused, and wrong."
(when (and arg0 (!= (-> arg0 brother) arg1) (!= arg0 arg1))
(let ((a2-1 (-> arg0 parent)))
(when a2-1
(let ((t0-0 (-> a2-1 0 child))
(a3-1 (the-as (pointer process-tree) #f))
(v1-4 (the-as (pointer process-tree) #f))
)
(if (= (ppointer->process t0-0) arg0)
(set! a3-1 a2-1)
)
(if (= (ppointer->process t0-0) arg1)
(set! v1-4 a2-1)
)
(while (and (-> t0-0 0 brother) (or (not a3-1) (not v1-4)))
(if (= (-> (ppointer->process t0-0) brother) arg1)
(set! v1-4 t0-0)
)
(if (= (-> (ppointer->process t0-0) brother) arg0)
(set! a3-1 t0-0)
)
(set! t0-0 (-> t0-0 0 brother))
)
(cond
((or (not a3-1) (not v1-4))
(return 0)
)
((= a3-1 a2-1)
(set! (-> a3-1 5) (the-as process-tree (-> arg0 brother)))
)
(else
(set! (-> a3-1 4) (the-as process-tree (-> arg0 brother)))
)
)
(cond
((= v1-4 a2-1)
(set! (-> arg0 brother) (the-as (pointer process-tree) (-> v1-4 5)))
(set! (-> v1-4 5) (the-as process-tree (-> arg0 ppointer)))
)
(else
(set! (-> arg0 brother) (the-as (pointer process-tree) (-> v1-4 4)))
(set! (-> v1-4 4) (the-as process-tree (-> arg0 ppointer)))
)
)
)
)
)
)
arg0
)
;; definition for function change-to-last-brother
(defun change-to-last-brother ((proc process-tree))
"Move this process to the end of its brother list."
(when (and (-> proc brother) (-> proc parent))
(let* ((a1-0 (-> proc parent))
(v1-4 (-> a1-0 0 child))
)
(cond
((= (-> v1-4 0) proc)
(set! (-> a1-0 0 child) (-> proc brother))
)
(else
(while (!= (-> v1-4 0 brother 0) proc)
(nop!)
(nop!)
(nop!)
(nop!)
(set! v1-4 (-> v1-4 0 brother))
)
(set! (-> v1-4 0 brother) (-> proc brother))
)
)
(while (-> v1-4 0 brother)
(nop!)
(nop!)
(nop!)
(nop!)
(set! v1-4 (-> v1-4 0 brother))
)
(set! (-> v1-4 0 brother) (-> proc ppointer))
)
(set! (-> proc brother) (the-as (pointer process-tree) #f))
)
proc
)
;; definition for method 9 of type process
(defmethod activate ((this process) (active-tree process-tree) (name string) (stack-pointer pointer))
"Move a process from dead to active, moving it to the given tree."
(set! (-> this mask)
(logclear (-> active-tree mask) (process-mask sleep sleep-code process-tree heap-shrunk))
)
(+! (-> this clock ref-count) -1)
(+! (-> active-tree clock ref-count) 1)
(set! (-> this clock) (-> active-tree clock))
(set! (-> this status) 'ready)
(let ((v1-11 (-> *kernel-context* next-pid)))
(set! (-> this pid) v1-11)
(set! (-> *kernel-context* next-pid) (+ v1-11 1))
)
(set! (-> this top-thread) #f)
(set! (-> this main-thread) #f)
(set! (-> this name) name)
(let ((v1-16 (&-> this stack (-> this type heap-base))))
(set! (-> this heap-cur) v1-16)
(set! (-> this heap-base) v1-16)
)
(set! (-> this stack-frame-top) #f)
(mem-set32! (-> this stack) (the-as int (shr (-> this type heap-base) 2)) 0)
(set! (-> this trans-hook) #f)
(set! (-> this post-hook) #f)
(set! (-> this event-hook) #f)
(set! (-> this state) #f)
(set! (-> this next-state) #f)
(set! (-> this prev-state) #f)
(set! (-> this state-stack) #f)
(cond
((logtest? (-> active-tree mask) (process-mask process-tree))
(set! (-> this entity) #f)
(set! (-> this level) *default-level*)
)
(else
(set! (-> this entity) (-> (the-as process active-tree) entity))
(set! (-> this level) (-> (the-as process active-tree) level))
)
)
(set! (-> this connection-list next1) #f)
(set! (-> this connection-list prev1) #f)
(set! (-> this main-thread) (new 'process 'cpu-thread this 'code 256 stack-pointer))
(change-parent this active-tree)
)
;; definition for function run-function-in-process
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for function set-to-run-bootstrap
;; ERROR: function was not converted to expressions. Cannot decompile.
;; definition for function set-to-run
(defun set-to-run ((arg0 cpu-thread)
(arg1 function)
(arg2 object)
(arg3 object)
(arg4 object)
(arg5 object)
(arg6 object)
(arg7 object)
)
"Set up a process to run a given function, with the given arguments when it executes next."
(let ((v1-0 (-> arg0 process)))
(set! (-> v1-0 status) 'waiting-to-run)
)
(set! (-> arg0 rreg 0) (the-as uint arg2))
(set! (-> arg0 rreg 1) (the-as uint arg3))
(set! (-> arg0 rreg 2) (the-as uint arg4))
(set! (-> arg0 rreg 3) (the-as uint arg5))
(set! (-> arg0 rreg 4) (the-as uint arg6))
(set! (-> arg0 rreg 5) (the-as uint arg7))
(set! (-> arg0 rreg 6) (the-as uint arg1))
(set! (-> arg0 pc) (the-as pointer set-to-run-bootstrap))
(let ((v0-0 (-> arg0 stack-top)))
(set! (-> arg0 sp) v0-0)
v0-0
)
)
;; definition for method 10 of type process-tree
;; WARN: Return type mismatch int vs none.
(defmethod deactivate ((this process-tree))
"Make a process dead, clean it up, remove it from the active pool, and return to dead pool."
0
(none)
)
;; failed to figure out what this is:
(defstate dead-state (process)
:code nothing
)
;; definition for symbol entity-deactivate-handler, type (function process entity-actor none)
(define entity-deactivate-handler (the-as (function process entity-actor none) nothing))
;; definition for method 10 of type process
;; WARN: Return type mismatch int vs none.
;; ERROR: Unsupported inline assembly instruction kind - [lw ra, return-from-thread(s7)]
;; ERROR: Unsupported inline assembly instruction kind - [jr ra]
(defmethod deactivate ((this process))
"Make a process dead, clean it up, remove it from the active pool, and return to dead pool."
(local-vars (s7-0 none) (ra-0 int))
(with-pp
(when (!= (-> this status) 'dead)
(set! (-> this next-state) dead-state)
(if (-> this entity)
(entity-deactivate-handler this (-> this entity))
)
(let ((s5-0 pp))
(set! pp this)
(let ((s4-0 (-> pp stack-frame-top)))
(while (the-as protect-frame s4-0)
(case (-> s4-0 type)
((protect-frame state)
((-> (the-as protect-frame s4-0) exit))
)
)
(set! s4-0 (-> (the-as protect-frame s4-0) next))
)
)
(set! pp s5-0)
)
(process-disconnect this)
(let ((v1-12 (-> this child)))
(while v1-12
(let ((s5-1 (-> v1-12 0 brother)))
(deactivate (-> v1-12 0))
(set! v1-12 s5-1)
)
)
)
(return-process (-> this pool) this)
(+! (-> this clock ref-count) -1)
(set! (-> this state) #f)
(set! (-> this next-state) #f)
(set! (-> this prev-state) #f)
(set! (-> this state-stack) #f)
(set! (-> this entity) #f)
(set! (-> this pid) 0)
(cond
((= (-> *kernel-context* current-process) this)
(set! (-> this status) 'dead)
(.lw ra-0 return-from-thread s7-0)
(.jr ra-0)
(nop!)
0
)
((= (-> this status) 'initialize)
(set! (-> this status) 'dead)
(throw 'initialize #f)
)
)
(set! (-> this status) 'dead)
)
0
(none)
)
)
;; failed to figure out what this is:
(kmemopen global "process-buffers")
;; definition for symbol *kernel-clock*, type clock
(define *kernel-clock* (new 'static 'clock))
;; definition for symbol *vis-boot*, type symbol
(define *vis-boot* #f)
;; definition for symbol *null-process*, type process
(define *null-process* (new 'global 'process "null" 16))
;; failed to figure out what this is:
(let ((v0-45 (new 'global 'process "listener" 2048)))
(set! *listener-process* v0-45)
(let ((gp-0 v0-45))
(set! (-> gp-0 status) 'ready)
(set! (-> gp-0 pid) 1)
(set! (-> gp-0 main-thread) (new 'process 'cpu-thread gp-0 'main 256 (&-> *dram-stack* 14336)))
)
)
;; definition for symbol *16k-dead-pool*, type dead-pool
(define *16k-dead-pool* (new
'global
'dead-pool
(if *debug-segment*
1
0
)
#x4000
"*16k-dead-pool*"
)
)
;; definition for symbol *8k-dead-pool*, type dead-pool
(define *8k-dead-pool* (new 'global 'dead-pool 4 #x2800 "*8k-dead-pool*"))
;; definition for symbol *4k-dead-pool*, type dead-pool
(define *4k-dead-pool* (new 'global 'dead-pool 4 4096 "*4k-dead-pool*"))
;; definition for symbol *target-dead-pool*, type dead-pool
(define *target-dead-pool* (new 'global 'dead-pool 1 #x16800 "*target-dead-pool*"))
;; definition for symbol *camera-dead-pool*, type dead-pool
(define *camera-dead-pool* (new 'global 'dead-pool 7 4096 "*camera-dead-pool*"))
;; definition for symbol *camera-master-dead-pool*, type dead-pool
(define *camera-master-dead-pool* (new 'global 'dead-pool 1 8192 "*camera-master-dead-pool*"))
;; this part is debug only
(when *debug-segment*
;; definition for symbol *debug-dead-pool*, type dead-pool-heap
(define *debug-dead-pool* (new 'debug 'dead-pool-heap "*debug-dead-pool*" 768 #x100000))
)
;; definition for symbol *nk-dead-pool*, type dead-pool-heap
(define *nk-dead-pool* (new 'global 'dead-pool-heap "*nk-dead-pool*" 768 #x136000))
;; definition for symbol *default-dead-pool*, type dead-pool
(define *default-dead-pool* (the-as dead-pool *nk-dead-pool*))
;; definition for symbol *pickup-dead-pool*, type dead-pool
(define *pickup-dead-pool* (the-as dead-pool *nk-dead-pool*))
;; definition for symbol *dead-pool-list*, type pair
(define *dead-pool-list* '(*4k-dead-pool*
*8k-dead-pool*
*16k-dead-pool*
*nk-dead-pool*
*target-dead-pool*
*camera-dead-pool*
*camera-master-dead-pool*
)
)
;; definition for symbol *active-pool*, type process-tree
(define *active-pool* (new 'global 'process-tree "active-pool"))
;; failed to figure out what this is:
(let ((gp-1 change-parent)
(v0-56 (new 'global 'process-tree "display-pool"))
)
(set! *display-pool* v0-56)
(gp-1 v0-56 *active-pool*)
)
;; failed to figure out what this is:
(let ((gp-2 change-parent)
(a0-61 (new 'global 'process-tree "camera-pool"))
)
(set! (-> a0-61 mask) (process-mask freeze pause menu progress process-tree camera))
(set! *camera-pool* a0-61)
(gp-2 a0-61 *active-pool*)
)
;; failed to figure out what this is:
(let ((gp-3 change-parent)
(a0-63 (new 'global 'process-tree "target-pool"))
)
(set! (-> a0-63 mask) (process-mask freeze pause menu progress process-tree))
(set! *target-pool* a0-63)
(gp-3 a0-63 *active-pool*)
)
;; failed to figure out what this is:
(let ((gp-4 change-parent)
(a0-65 (new 'global 'process-tree "entity-pool"))
)
(set! (-> a0-65 mask) (process-mask freeze pause menu progress process-tree entity))
(set! *entity-pool* a0-65)
(gp-4 a0-65 *active-pool*)
)
;; failed to figure out what this is:
(let ((gp-5 change-parent)
(v0-64 (new 'global 'process-tree "mid-pool"))
)
(set! *mid-pool* v0-64)
(gp-5 v0-64 *active-pool*)
)
;; failed to figure out what this is:
(let ((gp-6 change-parent)
(a0-69 (new 'global 'process-tree "pusher-pool"))
)
(set! (-> a0-69 mask) (process-mask freeze pause menu progress process-tree entity))
(set! *pusher-pool* a0-69)
(gp-6 a0-69 *active-pool*)
)
;; failed to figure out what this is:
(let ((gp-7 change-parent)
(a0-71 (new 'global 'process-tree "bg-pool"))
)
(set! (-> a0-71 mask) (process-mask freeze pause menu progress process-tree))
(set! *bg-pool* a0-71)
(gp-7 a0-71 *active-pool*)
)
;; failed to figure out what this is:
(let ((gp-8 change-parent)
(a0-73 (new 'global 'process-tree "default-pool"))
)
(set! (-> a0-73 mask) (process-mask freeze pause menu progress process-tree))
(set! *default-pool* a0-73)
(gp-8 a0-73 *active-pool*)
)
;; failed to figure out what this is:
(kmemclose)