Нет, округление не является стратегией для устранения мелких ошибок или гарантии согласия с расчетами, выполненными с ошибками.
Для любого разбиения числовой линии на диапазоны вы успешно устраните самые незначительные отклонения (поместив их в одно и то же ведро и зафиксировав одно и то же значение), но вы значительно увеличите отклонение, если исходная пара значений находится между граница.
В вашем конкретном случае жесткого кодирования младшего значащего байта самые близкие значения
0x1.mmmmmmm100
и
0x1.mmmmmmm0ff
имеют отклонение только одного ULP ... но после вашего округляя, они отличаются на 256 ULP. Oops!
Вы не сказали, какой доступ к сети Вы имеете к удаленному серверу.
Принятие Вас имеет доступ SSH к удаленному серверу, Вы могли передать результаты по каналу удаленного mysqldump к команде mysql. Я просто протестировал это, и это хорошо работает:
ssh remote.com "mysqldump remotedb" | mysql localdb
Я поместил материал как пользователь, пароль, хост в .my.cnf
таким образом, я постоянно не ввожу их - раздражающий и плохой для безопасности в многопользовательских системах, Вы помещаете пароли в открытый текст в Ваш bash_history! Но можно легко добавить -u -p -h
материал въезжает задним ходом на обоих концах при необходимости в нем:
ssh remote.com "mysqldump -u remoteuser -p'remotepass' remotedb" | mysql -u localuser -p'localpass' localdb
Наконец, можно передать по каналу через gzip
сжимать данные по сети:
ssh remote.com "mysqldump remotedb | gzip" | gzip -d | mysql localdb
Я использовал бы wget, чтобы или загрузить его на файл или передать его по каналу в.