fix worker_id assignment in threads
This commit is contained in:
parent
a1db3dba0b
commit
e648d197a8
1
C/exec.c
1
C/exec.c
@ -1770,6 +1770,7 @@ Yap_InitYaamRegs( int myworker_id )
|
|||||||
#ifdef THREADS
|
#ifdef THREADS
|
||||||
LOCAL = REMOTE(myworker_id);
|
LOCAL = REMOTE(myworker_id);
|
||||||
#endif /* THREADS */
|
#endif /* THREADS */
|
||||||
|
worker_id = myworker_id;
|
||||||
#if COROUTINING
|
#if COROUTINING
|
||||||
REMOTE_WokenGoals(myworker_id) = Yap_NewTimedVar(TermNil);
|
REMOTE_WokenGoals(myworker_id) = Yap_NewTimedVar(TermNil);
|
||||||
REMOTE_AttsMutableList(myworker_id) = Yap_NewTimedVar(h0var);
|
REMOTE_AttsMutableList(myworker_id) = Yap_NewTimedVar(h0var);
|
||||||
|
Reference in New Issue
Block a user