
Message-Id: <8802102232.AA06491@mcvax.cwi.nl>
Date: Wed, 10 Feb 88 15:02:18+1200
From: "R.E.M. Cooper" <dick@cantuar.uucp>
To: mg@ukc.ac.uk
Subject: Re:  Orion occam

Martin,

I have started to look at the problem. The first thing that I found was
that the changes that I put in when I came to visit July 86, are not
(repaet NOT!!) in the copy of the code you sent me. This may explain
the problem, but I am not 100% confident.

Anyway, the probelm area is in Q handling, and should be as follows:

queue:
	CJP	NLC,qfull DZ D=CSH OR RAMF B=Oreg
	/* The following dummy instrution is essential!!
	If it is not there, the Tail pointer is adjusted before the element
is added to the end of the queue. A page fault can occur in doing
	this (and, by murphy, it will!) leaving the process queuein an indefinite 
	state. Only change the process queue after the element has
	been added.
	*/
	CONT
	CRTN	ZA A=R3 OR CWR INCCA
	CONT	ZA A=R3 OR CWR

Please try that first.
If the problem still occurs, delete the change I suggested last time
(back to old m_start), and put some code into "procs.c" to see if
the routine "mach_start" is being called. This should then go off
and call "start_next_process", which should test to see if the
KB flag has been set.

Will keep in touch regularly.

First Cricket Test NZ v England starts Friday. you'll be able to
see beautiful Christchurch on yr TV screen. I'll wave!!

Cheers,
Dick


Received: from kestrel by raven.Ukc.AC.UK   Over Ring with SMTP  id aa19518;
          18 Mar 88 19:21 GMT
Received: from buck.ac.uk by kestrel.Ukc.AC.UK   with UUCP  id aa02577;
          18 Mar 88 19:20 GMT
From: John Galletly <john@buck.ac.uk>
Date: Fri, 18 Mar 88 17:24:20 GMT
Message-Id: <10396.8803181724@buck.ac.uk>
To: mg@ukc.ac.uk
Subject: Login


Your extension was engaged every time I tried to phone you !

Userid guest is O.K. to use.

Have loaded Lisp, and occam on top.

Cheers

John Galletly


Received: from kestrel by raven.Ukc.AC.UK   Over Ring with SMTP  id aa13436;
          11 Apr 88 16:26 BST
Received: from buck.ac.uk by kestrel.Ukc.AC.UK   with UUCP  id aa08211;
          11 Apr 88 16:26 BST
From: John Galletly <john@buck.ac.uk>
Date: Mon, 11 Apr 88 15:46:07 BST
Message-Id: <3448.8804111446@buck.ac.uk>
To: mg@ukc.ac.uk
Subject: Buckingham address


Sorry ! My fault ! Many apologies !
Forgot the sub-address.

Address is

23427340020800

Cheers,

John Galletly