f51eea4b32
this patch changes the way pagefaults are delivered to VM. It adopts the same model as the out-of-quantum messages sent by kernel to a scheduler. - everytime a userspace pagefault occurs, kernel creates a message which is sent to VM on behalf of the faulting process - the process is blocked on delivery to VM in the standard IPC code instead of waiting in a spacial in-kernel queue (stack) and is not runnable until VM tell kernel that the pagefault is resolved and is free to clear the RTS_PAGEFAULT flag. - VM does not need call kernel and poll the pagefault information which saves many (1/2?) calls and kernel calls that return "no more data" - VM notification by kernel does not need to use signals - each entry in proc table is by 12 bytes smaller (~3k save)
45 lines
1.3 KiB
C
45 lines
1.3 KiB
C
|
|
#ifndef _I386_TYPES_H
|
|
#define _I386_TYPES_H
|
|
|
|
#include <minix/sys_config.h>
|
|
#include <machine/stackframe.h>
|
|
#include <machine/fpu.h>
|
|
|
|
struct segdesc_s { /* segment descriptor for protected mode */
|
|
u16_t limit_low;
|
|
u16_t base_low;
|
|
u8_t base_middle;
|
|
u8_t access; /* |P|DL|1|X|E|R|A| */
|
|
u8_t granularity; /* |G|X|0|A|LIMT| */
|
|
u8_t base_high;
|
|
};
|
|
|
|
#define LDT_SIZE (2 + NR_REMOTE_SEGS) /* CS, DS and remote segments */
|
|
|
|
/* Fixed local descriptors. */
|
|
#define CS_LDT_INDEX 0 /* process CS */
|
|
#define DS_LDT_INDEX 1 /* process DS=ES=FS=GS=SS */
|
|
#define EXTRA_LDT_INDEX 2 /* first of the extra LDT entries */
|
|
|
|
typedef struct segframe {
|
|
reg_t p_ldt_sel; /* selector in gdt with ldt base and limit */
|
|
reg_t p_cr3; /* page table root */
|
|
struct segdesc_s p_ldt[LDT_SIZE]; /* CS, DS and remote */
|
|
} segframe_t;
|
|
|
|
/* fpu_state_s is used in kernel proc table.
|
|
* Any changes in this structure requires changes in sconst.h,
|
|
* since this structure is used in proc structure. */
|
|
struct fpu_state_s {
|
|
union fpu_state_u *fpu_save_area_p; /* 16-aligned fpu_save_area */
|
|
/* fpu_image includes 512 bytes of image itself and
|
|
* additional 15 bytes required for manual 16-byte alignment. */
|
|
char fpu_image[527];
|
|
};
|
|
|
|
#define INMEMORY(p) (!p->p_seg.p_cr3 || ptproc == p)
|
|
|
|
#endif /* #ifndef _I386_TYPES_H */
|
|
|