PHP - случайная строка из большого файла (500мб)

[Ower]

Использовать для файла в 500мб и 15кк строками функции file() и file_get_contents() - верх извращения.

Нужно какое то другое решение. Уже естественно нагуглил несколько, но у меня во всех случаях выдается пустая строка. В общем вот сорц

PHP код:

$h = fopen("text.txt",'r');
$counter = 0;

while (!feof($h)) {
    fgets($h);
    $counter++;
}
rewind($h);

$line = rand(0, $counter);

$counter = 0;
while (!feof($h)) {
    if ($counter == $line) {echo fgets($h);}
    $counter++;
}
fclose($h); 


Сперва формируется кол-во строк, далее делаем случайные выборки. Суть в том, что у меня переменная $counter не считается, ну т.е. не увеличивается. Почему - я так и не понял. Попробовал заменить в файле \n на \r\n, не помогло. Попробовал еще несколько аналогичных вариантов, все равно не работает. Хелп

[baadf00d]

с точки зрения перформенса, круто один раз рандомно отсортировать, а потом последовательно читать, если конечно задача такой финт позволяет

[dveredel]

Сообщение от Drg

fseek реально помогает, но все равно тормоза, да и винт жалко, постоянно насилуется.

Винт как раз нифига не насилуется, ибо чтение всего файла до нужной позиции не происходит, а происходит смещение указателя в нужный сектор (файловая таблица диска в системе обычно в памяти закеширована и поиск по ней очень быстрый).

Для файлов (значений fseek) размером больше PHP_INT_MAX решение есть тут http://www.php.net/manual/ru/function.fseek.php#100129