Searched refs:gpTaskFarm (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dgc.h47 extern GCTaskFarm *gpTaskFarm;
H A Dgc_update_phase.cpp265 gpTaskFarm->AddWorkOrRunNow(&updateLocalArea, &processUpdate, space);
272 gpTaskFarm->AddWorkOrRunNow(&updateNonLocalMutableArea, &processUpdate, space);
277 gpTaskFarm->AddWorkOrRunNow(&updateNonLocalMutableArea, &processUpdate, space);
283 gpTaskFarm->AddWorkOrRunNow(&updateGCProcAddresses, &processUpdate, 0);
285 gpTaskFarm->WaitForCompletion();
H A Dgc_copy_phase.cpp360 if (gpTaskFarm->ThreadCount() == 0)
368 for (unsigned j = 0; j < gpTaskFarm->ThreadCount(); j++)
369 gpTaskFarm->AddWorkOrRunNow(&copyAllData, 0, 0);
372 gpTaskFarm->WaitForCompletion();
H A Dgc_share_phase.cpp457 gpTaskFarm->AddWorkOrRunNow(sharingTask, this, oentry);
496 gpTaskFarm->AddWorkOrRunNow(SortVector::hashAndSortAllTask, &(s->byteVectors[i]), 0);
507 gpTaskFarm->AddWorkOrRunNow(SortVector::wordDataTask, &(s->wordVectors[i]), 0);
518 gpTaskFarm->AddWorkOrRunNow(SortVector::hashAndSortAllTask, &(s->wordVectors[i]), 0);
527 gpTaskFarm->AddWorkOrRunNow(shareByteData, this, 0);
528 gpTaskFarm->WaitForCompletion();
546 gpTaskFarm->AddWorkOrRunNow(shareWordData, this, 0);
547 gpTaskFarm->WaitForCompletion();
582 gpTaskFarm->AddWorkOrRunNow(shareRemainingWordData, this, 0);
583 gpTaskFarm
[all...]
H A Dgc_mark_phase.cpp245 bool test = gpTaskFarm->AddWork(&MTGCProcessMarkPointers::MarkPointersTask, marker, obj);
793 gpTaskFarm->WaitForCompletion();
799 gpTaskFarm->WaitForCompletion();
806 gpTaskFarm->AddWorkOrRunNow(&CreateBitmapsTask, *i, 0);
810 gpTaskFarm->AddWorkOrRunNow(&CheckMarksOnCodeTask, *i, 0);
812 gpTaskFarm->WaitForCompletion(); // Wait for completion of the bitmaps
836 unsigned threads = gpTaskFarm->ThreadCount();
H A Dquick_gc.cpp452 if (gpTaskFarm->Draining() && gpTaskFarm->ThreadCount() > 1)
468 if (gpTaskFarm->AddWork(scanArea, space->partialGCScan, p))
613 gpTaskFarm->AddWorkOrRunNow(scanArea, space->partialGCRootBase, space->partialGCRootTop);
615 gpTaskFarm->AddWorkOrRunNow(scanArea, space->partialGCTop, space->top);
619 gpTaskFarm->WaitForCompletion();
H A Dgc.cpp60 GCTaskFarm *gpTaskFarm = &gTaskFarm; variable
H A Dsharedata.cpp458 gpTaskFarm->WaitForCompletion();
541 gpTaskFarm->AddWorkOrRunNow(sortTask, first, l);
547 gpTaskFarm->AddWorkOrRunNow(sortTask, f, last);

Completed in 48 milliseconds