diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix locking issues with dynamic predicates and threads (obs from Paulo Moura).

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-03-03 22:11:50 +00:00
parent fb6c4f966c
commit 3070e4ce9d
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
C/absmi.c
View File

@ -8143,7 +8143,6 @@ Yap_absmi(int inp)
PREG = pt0->CodeOfPred; PREG = pt0->CodeOfPred;
/* for profiler */ /* for profiler */
#ifdef THREADS #ifdef THREADS
pthread_mutex_lock(&(ThreadHandle[worker_id].tlock));
UNLOCK(ThreadHandlesLock); UNLOCK(ThreadHandlesLock);
#endif #endif
save_pc(); save_pc();

6
C/exec.c
View File

@ -792,6 +792,12 @@ p_execute_nonstop(void)
if (ActiveSignals & YAP_CREEP_SIGNAL && !Yap_InterruptsDisabled) { if (ActiveSignals & YAP_CREEP_SIGNAL && !Yap_InterruptsDisabled) {
Yap_signal(YAP_CREEP_SIGNAL); Yap_signal(YAP_CREEP_SIGNAL);
} }
#if defined(YAPOR) || defined(THREADS)
if (RepPredProp(pe)->PredFlags & LogUpdatePredFlag) {
PP = RepPredProp(pe);
LOCK(PP->PELock);
}
#endif
return CallPredicate(RepPredProp(pe), B, RepPredProp(pe)->cs.p_code.TrueCodeOfPred); return CallPredicate(RepPredProp(pe), B, RepPredProp(pe)->cs.p_code.TrueCodeOfPred);
} else { if (ActiveSignals & YAP_CREEP_SIGNAL && } else { if (ActiveSignals & YAP_CREEP_SIGNAL &&
!Yap_InterruptsDisabled && !Yap_InterruptsDisabled &&