Skip to content

Commit 0077d3f

Browse files
committed
separate worktodo filtering vs combined
1 parent 0072583 commit 0077d3f

File tree

1 file changed

+8
-7
lines changed

1 file changed

+8
-7
lines changed

driver.pl

+8-7
Original file line numberDiff line numberDiff line change
@@ -419,7 +419,6 @@ sub pre_filter {
419419
progress("Filtered down to " . scalar @work_not_done . " numbers");
420420

421421
@work_not_done = sort { $a <=> $b } @work_not_done;
422-
write_number_file('worktodo.txt', @work_not_done);
423422
return @work_not_done;
424423
}
425424

@@ -525,15 +524,17 @@ sub pre_filter {
525524
} else {
526525
my @workfiles = glob 'worktodo/*.txt';
527526
for my $f (@workfiles) {
528-
push @work_todo, read_number_file($f);
527+
my @work_numbers = read_number_file($f);
528+
# remove completed numbers for more accurate work-remaining estimate
529+
if ($prefilter) {
530+
progress("Pre-filtering $f");
531+
@work_numbers = pre_filter(\@factor_base, @work_numbers);
532+
write_number_file($f, @work_numbers);
533+
}
534+
push @work_todo, @work_numbers;
529535
}
530536
}
531537

532-
# remove completed numbers for more accurate work-remaining estimate
533-
if ($prefilter) {
534-
@work_todo = pre_filter(\@factor_base, @work_todo);
535-
}
536-
537538
# optional random ordering so we get middle factors after chugging on large ones
538539
if ($shuffle) {
539540
@work_todo = shuffle @work_todo;

0 commit comments

Comments
 (0)