X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2Fparallel%2FFetchMe.hc;h=799f12672cb27d079bae6da5a79669ab44de2637;hb=06e14415fa8aef5be7d01314d08fcd87873cd0da;hp=97b61d163eec8167c547556a60191a3567a7cbf9;hpb=dd4c28a9c706cce09ecc2c6f532969efa925532f;p=ghc-hetmet.git diff --git a/ghc/rts/parallel/FetchMe.hc b/ghc/rts/parallel/FetchMe.hc index 97b61d1..799f126 100644 --- a/ghc/rts/parallel/FetchMe.hc +++ b/ghc/rts/parallel/FetchMe.hc @@ -1,6 +1,6 @@ /* ---------------------------------------------------------------------------- - Time-stamp: - $Id: FetchMe.hc,v 1.5 2000/03/31 03:09:37 hwloidl Exp $ + Time-stamp: + $Id: FetchMe.hc,v 1.7 2001/03/23 16:36:21 simonmar Exp $ Entry code for a FETCH_ME closure @@ -21,6 +21,7 @@ //@node Includes, Info tables //@subsection Includes +#include "Stg.h" #include "Rts.h" #include "RtsFlags.h" #include "RtsUtils.h" @@ -48,64 +49,41 @@ checkClosure() (using the same fcts for determining the size of the closures would be a good idea; at least it would be a nice step towards making this code bug free). - - About the difference between std and PAR in returning to the RTS: - in PAR we call RTS functions from within the entry code (see also - BLACKHOLE_entry and friends in StgMiscClosures.hc); therefore, we - have to save the thread state before calling these functions --- - this is done via SAVE_THREAD_STATE; we then just load the return - code into R1 before jumping into the RTS --- this is done via - THREAD_RETURN; so, in short we have something like - SAVE_THREAD_STATE + THREAD_RETURN = BLOCK_NP - ------------------------------------------------------------------------ */ //@node Info tables, Index, Includes //@subsection Info tables //@cindex FETCH_ME_info -INFO_TABLE(FETCH_ME_info, FETCH_ME_entry, 0,2, FETCH_ME, const, EF_,0,0); +INFO_TABLE(stg_FETCH_ME_info, stg_FETCH_ME_entry, 0,2, FETCH_ME,, EF_,"FETCH_ME","FETCH_ME"); //@cindex FETCH_ME_entry -STGFUN(FETCH_ME_entry) +STGFUN(stg_FETCH_ME_entry) { - /* - Not needed any more since we call blockThread in the scheduler - (via BLOCK_NP(1) which returns with BlockedOnGA - - extern globalAddr *rga_GLOBAL; - extern globalAddr *lga_GLOBAL; - extern globalAddr fmbqga_GLOBAL; - extern StgClosure *p_GLOBAL; - globalAddr *rga; - globalAddr *lga; - globalAddr fmbqga; - StgClosure *p; - */ - FB_ - /* - rga_GLOBAL = ((StgFetchMe *)R1.p)->ga; - ASSERT(rga->payload.gc.gtid != mytid); - */ + TICK_ENT_BH(); + ASSERT(((StgFetchMe *)R1.p)->ga->payload.gc.gtid != mytid); /* Turn the FETCH_ME into a FETCH_ME_BQ, and place the current thread * on the blocking queue. */ - // R1.cl->header.info = FETCH_ME_BQ_info; - SET_INFO((StgClosure *)R1.cl, &FETCH_ME_BQ_info); + // ((StgFetchMeBlockingQueue *)R1.cl)->header.info = &FETCH_ME_BQ_info; // does the same as SET_INFO + SET_INFO((StgClosure *)R1.cl, &stg_FETCH_ME_BQ_info); + /* Remember GA as a global var (used in blockThread); NB: not thread safe! */ + ASSERT(theGlobalFromGA.payload.gc.gtid == (GlobalTaskId)0); + theGlobalFromGA = *((StgFetchMe *)R1.p)->ga; + /* Put ourselves on the blocking queue for this black hole */ - // This is really, really BAD; tmp HACK to remember ga (checked in blockThread) ASSERT(looks_like_ga(((StgFetchMe *)R1.p)->ga)); - CurrentTSO->link = (StgBlockingQueueElement *)((StgFetchMe *)R1.p)->ga; // END_BQ_QUEUE; + CurrentTSO->link = END_BQ_QUEUE; ((StgFetchMeBlockingQueue *)R1.cl)->blocking_queue = (StgBlockingQueueElement *)CurrentTSO; /* jot down why and on what closure we are blocked */ CurrentTSO->why_blocked = BlockedOnGA; CurrentTSO->block_info.closure = R1.cl; + /* closure is mutable since something has just been added to its BQ */ //recordMutable((StgMutClosure *)R1.cl); - //p_GLOBAL = R1.cl; /* sendFetch etc is now done in blockThread, which is called from the scheduler -- HWL */ @@ -123,19 +101,19 @@ STGFUN(FETCH_ME_entry) When the data arrives from the remote PE, all waiting threads are woken up and the FETCH_ME_BQ is overwritten with the fetched data. - FETCH_ME_BQ_entry is a copy of BLACKHOLE_BQ_entry -- HWL + FETCH_ME_BQ_entry is almost identical to BLACKHOLE_BQ_entry -- HWL ------------------------------------------------------------------------ */ -INFO_TABLE(FETCH_ME_BQ_info, FETCH_ME_BQ_entry,0,2,FETCH_ME_BQ,const,EF_,0,0); +INFO_TABLE(stg_FETCH_ME_BQ_info, stg_FETCH_ME_BQ_entry,0,2,FETCH_ME_BQ,,EF_,"FETCH_ME_BQ","FETCH_ME_BQ"); //@cindex FETCH_ME_BQ_info -STGFUN(FETCH_ME_BQ_entry) +STGFUN(stg_FETCH_ME_BQ_entry) { FB_ TICK_ENT_BH(); /* Put ourselves on the blocking queue for this node */ - CurrentTSO->link = ((StgBlockingQueue *)R1.p)->blocking_queue; - ((StgBlockingQueue *)R1.p)->blocking_queue = CurrentTSO; + CurrentTSO->link = (StgTSO*)((StgBlockingQueue *)R1.p)->blocking_queue; + ((StgBlockingQueue *)R1.p)->blocking_queue = (StgBlockingQueueElement *)CurrentTSO; /* jot down why and on what closure we are blocked */ CurrentTSO->why_blocked = BlockedOnGA_NoSend; @@ -155,12 +133,12 @@ STGFUN(FETCH_ME_BQ_entry) computation. Thus, when updating the closure, the result has to be sent to that PE. The relevant routines handling that are awakenBlockedQueue and blockFetch (for putting BLOCKED_FETCH closure into a BQ). -*/ + ------------------------------------------------------------------------ */ //@cindex BLOCKED_FETCH_info -INFO_TABLE(BLOCKED_FETCH_info, BLOCKED_FETCH_entry,0,2,BLOCKED_FETCH,const,EF_,0,0); +INFO_TABLE(stg_BLOCKED_FETCH_info, stg_BLOCKED_FETCH_entry,0,2,BLOCKED_FETCH,,EF_,"BLOCKED_FETCH","BLOCKED_FETCH"); //@cindex BLOCKED_FETCH_entry -STGFUN(BLOCKED_FETCH_entry) +STGFUN(stg_BLOCKED_FETCH_entry) { FB_ /* see NON_ENTERABLE_ENTRY_CODE in StgMiscClosures.hc */ @@ -169,6 +147,26 @@ STGFUN(BLOCKED_FETCH_entry) FE_ } + +/* --------------------------------------------------------------------------- + REMOTE_REF + + A REMOTE_REF closure is generated whenever we wish to refer to a sticky + object on another PE. + ------------------------------------------------------------------------ */ + +//@cindex REMOTE_REF_info +INFO_TABLE(stg_REMOTE_REF_info, stg_REMOTE_REF_entry,0,2,REMOTE_REF,,EF_,"REMOTE_REF","REMOTE_REF"); +//@cindex REMOTE_REF_entry +STGFUN(stg_REMOTE_REF_entry) +{ + FB_ + /* see NON_ENTERABLE_ENTRY_CODE in StgMiscClosures.hc */ + STGCALL2(fprintf,stderr,"REMOTE REF object entered!\n"); + STGCALL1(shutdownHaskellAndExit, EXIT_FAILURE); + FE_ +} + #endif /* PAR */ //@node Index, , Info tables