En un archivo PHP, cuando necesito redireccionar a un usuario y ya se envían los encabezados, no puedo usar la función de encabezado de php, en este caso, ¿cuál es el mejor método para redirigir a un usuario?

¿El método más rápido y confiable, independientemente de la marca del navegador del usuario?

echo '<script type="text/javascript">window.top.location="http://localhost/";</script>';

// OR

echo '<meta http-equiv="refresh" content="0;url=' .$location. '">';

ACTUALIZAR

Aquí está mi código de resultado final que estoy usando ahora, si ya se han enviado encabezados donde no puedo redirigir a la página de inicio, solo traigo la página de inicio, así que en lugar de incluir la página del cuerpo, incluirá mi página de inicio y el pie de página

function validlogin($url) {
    if (!isset($_SESSION['auto_id']) || ($_SESSION['auto_id']=='')) {
        $_SESSION['sess_login_msg'] = 'Please login';
        $_SESSION['backurl'] = $url;
        $temp = '';
        if (headers_sent() === false){
            header("Location: /");
            exit();
        }else{
            //header is already sent so we will just bring the homepage to us instead of going to it!!!
            include 'mainbody.inc.php';
            include 'footer.inc.php';
            exit();
        }
    }
}