rewrite application stuff in the kernel to support multitasking

9 files changed, 84 insertions, 24 deletions

diff --git a/documentation/compositor.txt b/documentation/compositor.txt
index 8946eff..7442d51 100644
--- a/documentation/compositor.txt
+++ b/documentation/compositor.txt
@@ -1,14 +1,25 @@
 compositors listen on the socket id "hilbert.compositor".
 
+when a window is opened by an application, that window can only be referred to
+on that stream. the opaque value given in the "window opened" message refers to
+that window in future messages on that stream. it is guaranteed to be distinct
+for different windows on the same stream, and in no way guaranteed to be
+distinct for different windows on different streams. the window is bound
+just to the stream, not to the application. if the stream where a window
+was created is gifted to a new process, the new process has complete control
+over the window, and the compositor does not need to be informed.
+
 data types:
 
-  color24:
-    byte: red
-    byte: green
-    byte: blue
+  color:
+    opaque dword (result of encode color system call).
+    from c++, use __euler_encode_color in euler/syscall.hpp.
+
+  color rectangle:
+    multiple hilbert colors, top to bottom by row, left to right within row
 
-  color24 rectangle:
-    multiple color24's, top to bottom by row, left to right within row
+  window:
+    opaque word (given in "window opened" message after "open window" message)
 
 messages from applications to compositor:
 
@@ -19,8 +30,15 @@ messages from applications to compositor:
 
   update window region:
     byte: 0x01
+    window: the window
     dword: start x
     dword: start y
     dword: width
     dword: height
-    color24 rectangle: the data
+    color rectangle: the data
+
+messages from compositor to application:
+
+  window opened:
+    byte: 0x00
+    window: the window
diff --git a/documentation/kernel-interfaces/app-entry.txt b/documentation/kernel-interfaces/app-entry.txt
new file mode 100644
index 0000000..1a09d22
--- /dev/null
+++ b/documentation/kernel-interfaces/app-entry.txt
@@ -0,0 +1,3 @@
+on entry, the stack is set up, and all registers other than rsp are set to 0.
+the ARGC environment variable holds the number of arguments to main.
+the ARGV0, ARGV1, ARGV2, etc environment variables hold those arguments.
diff --git a/documentation/kernel-interface/keys.txt b/documentation/kernel-interfaces/keys.txt
index 1b92afa..1b92afa 100644
--- a/documentation/kernel-interface/keys.txt
+++ b/documentation/kernel-interfaces/keys.txt
diff --git a/documentation/kernel-interface/sockets.txt b/documentation/kernel-interfaces/sockets.txt
index 73dade6..73dade6 100644
--- a/documentation/kernel-interface/sockets.txt
+++ b/documentation/kernel-interfaces/sockets.txt
diff --git a/documentation/kernel-interface/syscalls.txt b/documentation/kernel-interfaces/syscalls.txt
index 792c300..ca93b56 100644
--- a/documentation/kernel-interface/syscalls.txt
+++ b/documentation/kernel-interfaces/syscalls.txt
@@ -1,15 +1,6 @@
-on application entry:
-  there is a 1MiB - 8KiB area mapped writable and not
-  executable with guard pages on either side, and rsp is
-  set to the top of that. all other registers are set to 0.
-
-the ARGC environment variable holds the number of arguments to main.
-the ARGV0, ARGV1, ARGV2, etc environment variables hold those arguments.
-
-for all system calls:
-  rax, rdi, rsi, rdx are in/out paramters.
-  rbx, rbp, rsp, r12-r15 are preserved.
-  rcx, rflags, r8-r11 are clobbered.
+rax, rdi, rsi, rdx are in/out paramters.
+rbx, rbp, rsp, r12-r15 are preserved.
+rcx, rflags, r8-r11 are clobbered.
 
 interrupts (including the timer!) are disabled during system calls.
 
@@ -105,8 +96,6 @@ connect to socket:
   rsi in: id string length
   rax out: stream result
   rdi out: stream handle (if rax = 0)
-  if the listener is closed while this syscall is blocked, rax is
-  set to "socket id not in use" and not "socket listener closed"
 
 close stream:
   rax in: 11
@@ -165,6 +154,7 @@ start process:
     qword: stream handle here
     qword: new stream handle in child
       new handle must be < 65536
+  any gifted streams must not have threads waiting to read from our end
 
 end this process:
   rax in: 17
@@ -176,3 +166,10 @@ set stream length:
   rdi in: stream handle
   rsi in: new length
   rax out: stream result
+
+get other end process handle:
+  returns "other end closed" for files
+  rax in: 19
+  rdi in: stream handle
+  rax out: stream result
+  rdi out: process handle (if rax = success)
diff --git a/documentation/kernel/applications.txt b/documentation/kernel/applications.txt
new file mode 100644
index 0000000..6890c96
--- /dev/null
+++ b/documentation/kernel/applications.txt
@@ -0,0 +1,41 @@
+globally there are:
+  an id-list of processes
+  an id-list of threads
+  a queue of paused threads
+  a single running thread
+
+a paused thread is a thread that can run, but isn't.
+a thread that is not running and is not paused is in a blocking syscall.
+
+each process has:
+  a process id
+  a list of threads
+  a list of open file streams
+  a list of open socket stream ends
+  a list of running socket listeners
+  a list of environment variables (pairs of strings)
+
+a thread has:
+  an owning process
+  optionally:
+    a stream end it is waiting to read from
+    a socket listener it is waiting to accept a connection from
+    a socket listener it is waiting to connect to
+  if not running:
+    saved cpu state
+
+a socket has:
+  two queues
+
+an open socket stream end has:
+  a list of threads waiting to read from it
+  the socket
+  its input queue
+  its output queue
+  if the other side is open:
+    the other process
+    the other stream end
+
+a running socket listener has:
+  a list of threads waiting to accept a connection from it
+  a list of threads waiting to connect to it
diff --git a/documentation/memory.txt b/documentation/kernel/memory.txt
index c000fa7..3c0e4f4 100644
--- a/documentation/memory.txt
+++ b/documentation/kernel/memory.txt
@@ -2,9 +2,10 @@ only the first 32GiB of physical memory are considered. this can be changed
 with pram_pages in paging.cpp. vram layout is as follows:
 
 0x0000.0000.0000 - 0x0000.0000.0fff: always unmapped
-0x0000.0000.1000 - 0x0000.001f.efff: user stack
-0x0000.001f.f000 - 0x0000.001f.ffff: always unmapped
-0x0000.0020.0000 - 0x007f.ffff.ffff: available to user process
+0x0000.0000.1000 - 0x003f.ffff.ffff: available to user process
+0x0040.0000.0000 - 0x007f.ffff.ffff: each 16MB:
+       0x00.0000 -        0x00.0fff: always unmapped
+       0x00.1000 -        0xff.ffff: available for user thread stack
 0x0080.0000.0000 - 0xffff.bfff.ffff: always unmapped
 0xffff.c000.0000 - 0xffff.ffdf.ffff: available to kernel
 0xffff.ffe0.0000 - 0xffff.ffe0.0fff: always unmapped
diff --git a/documentation/panics.txt b/documentation/kernel/panics.txt
index e1b6ec1..e1b6ec1 100644
--- a/documentation/panics.txt
+++ b/documentation/kernel/panics.txt
diff --git a/documentation/storage.txt b/documentation/kernel/storage.txt
index 4fe8ea3..4fe8ea3 100644
--- a/documentation/storage.txt
+++ b/documentation/kernel/storage.txt