[Kos-cvs] [kos] Modification CVS par d2

[KOS CVS]

Module :	kos
Modifié par :	d2	23/02/02 23:01:05

Fichiers modifiés :
	.              : TODO 
	doc            : mem_map.eps mem_map.fig 
	loader/mm      : mm.h 
	modules/kos    : system.h 
	modules/task   : task.h 
	modules/x86    : internals.h 
	modules/x86/mm : _team_mm_context.c _vmap.c mm.h 

Détails :
system.h, task.h : les defs MAX_THREAD/MAX_TEAM,... sont deplacees
dans system.h . Nouvelle macro USER_SPACE_START (2G)

arch/mm.h, mem_map.fig -- Revu les index de PD speciaux : 509 pour le
mapping des PT du team courant, 510 pour les PD des autres teams,
511 pour les PT d'un autre team (FOREIGN_PT_AREA). Macros pour
acceder a la zone FOREIGN.

arch/mm.h _team_mm_context.c : Vaut mieux que mm_context->pd soit bien
un paddr comme c'etait au debut plutot qu'un page_entry_t* comme je
l'avais ecrit tout a l'heure, car il s'agit d'une adresse physique
et non virtuelle (comme page_entry_t* l'indiquait).

internals.h : plein de #if pour verifier que les piles CPL0 sont dans
le noyau, verifier que les PD speciaux sont bien dans le noyau
aussi, et verifier que USER_SPACE_START est apres le noyau. On ne
definit pas USER_SPACE_START a partir de KERNEL_MEM_END parce que
KERNEL_MEM_END est dans internals.h, et que le system.h ou est
defini USER_SPACE_START n'inclut (ne DOIT inclure ???) aucun header

_vmap.c : inline _setup_mm_ctxt pour determiner le team_index, le
dest_mm_context et savoir si on devra mapper un FOREIGN_AREA. inline
_map_foreign_pd pour mapper les PT d'un autre team. Update du
map/unmap/_get_vpage_status. OUBLI: invlpg qd on doit mapper le
nouveau PT.

MAJ mem_map.fig
MAJ TODO (indique qu'il faut tester le coup des PD[511])