Очень большой файл имеет около 50 ГБ.
Это действительный xml-файл, но я сомневаюсь, что любой xml-парсер будет быстрее, чем использовать strpos, strrpos и substr длясделай это. Поскольку это будет повторяющаяся задача, я ищу быстрый, но разумный способ сделать это. (Попытка RegExp была не быстрой.)
Три поля, которые нужно удалить, заканчиваются на " и начинаются со строк:
$start = [' time="',' version="',' location="']; // (The strings all start with a withespace.)
Пример: version="bl1.i"
Я использую почти новейший php на Win10 64 бит и 4 Гбайт Ram.