/* Runtime data structures */

enum
{
	Ptab		= 0x7fffe000,	/* Private stack */
	Execstk		= 0x7fc01000,	/* Exec stack linkage area */
};

/*
 * Passed from the loader to extend stack root by max become
 * frame size
 */
extern byte ALEFbecome[];
#define	MAXBECOME	(uint)ALEFbecome

/*
 * Stack alignment is unnecessary on this architecture
 */
#define ALIGN(s, n)	(s)
#define ALIGN_UP(s, n)	(s)

#define	SP_DELTA	0		/* fixup to SP in task startup */
#define	PC_DELTA	0		/* fixup to PC in task startup */
#define	ARGV_DELTA	0		/* fixup of SP in init */

typedef aggr Tdb;
typedef aggr Task;

void	*ALEF_getrp(void);
void	ALEF_linktask(void);
void	*ALEF_switch(Task*, Task*, void*);
void	ALEF_linksp(int*, byte*, void(*)(void));
void	ALEF_sched(Task*);
void*	ALEFalloc(uint, int);

/*
 * sizeof(Rendez) is known to the compiler
 */
adt Rendez
{
	Lock;
extern	Task	*t;

	void	Sleep(*Rendez, void**, int);
	void	Wakeup(*Rendez);
};

aggr Msgbuf
{
	Msgbuf	*next;
	uint	signature;
	union {
		byte	data[1];
		int	i;
		sint	s;
		float	f;
	};
};

aggr Chan
{
	Lock;

	int	async;
	uint	signature;

	Msgbuf	*free;
	Msgbuf	*qh;
	Msgbuf	*qt;
	Rendez	br;

	Chan	*sellink;
	Task	*selt;
	int	selp;
	int	seltst;

	Rendez	sndr;
	void	*sva;
	QLock	snd;

	Rendez	rcvr;
	void	*rva;
	QLock	rcv;
};

aggr Task
{
	uint	sp;	/* pc, sp - Known by alefasm.s: ALEF_switch() */
	uint	pc;
	Tdb	*tdb;
	Task	*link;
	Task	*qlink;
	Chan	*slist;
	Chan	*stail;
	Rendez;
	byte	*stack;
};

aggr Tdb
{
	Lock;
	int	ntask;		/* Number of task in this proc */
	Task	*ctask;		/* Current task */
	Task	*runhd;		/* Head of tasks ready to run */
	Task	*runtl;		/* Tail of tasks ready */
	int	sleeper;	/* true if sched() needs to rendezvous with a sleeper */
};

aggr Proc
{
	Tdb	*tdb;
};
#define	PROC		(*((Proc*)Ptab))