И еще про arm64
Oct. 3rd, 2018 10:41 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
коллеги, а кто посоветует дешевую машинку на 64-битном arm,
А то у меня сейчас единственным arm64 в билдферме работает Raspberry PI 3 с Debian buster.
Так вчера ей пришлось таймаута на выполнение всего задания увеличить с 6 часов до 8.
Поскольку за 6 часов не укладывается.
В то же время при обсуждении проблем переносимости в pgsql-hackers народ тут же начинает реагировать "а у меня на arm64 это не воспроизводится". На телефонах они что ли компилируют?
(хотя у меня на телефоне 26.0 BogoMIPS, а на Raspberry Pi 3 - 38.4)
А может что-нибудь с SATA есть, чтобы туда вместо тормозных microsd еще и ноутбучный винт поставить?
А то у меня сейчас единственным arm64 в билдферме работает Raspberry PI 3 с Debian buster.
Так вчера ей пришлось таймаута на выполнение всего задания увеличить с 6 часов до 8.
Поскольку за 6 часов не укладывается.
В то же время при обсуждении проблем переносимости в pgsql-hackers народ тут же начинает реагировать "а у меня на arm64 это не воспроизводится". На телефонах они что ли компилируют?
(хотя у меня на телефоне 26.0 BogoMIPS, а на Raspberry Pi 3 - 38.4)
А может что-нибудь с SATA есть, чтобы туда вместо тормозных microsd еще и ноутбучный винт поставить?
no subject
Date: 2018-10-03 11:01 am (UTC)такой под рукой нет, есть pine64, но от нее только положительные впечатления, так что контору я весьма одобряю.
Ну и, судя по спецификации, быстрее Rock64 за эти деньги не найдется.
no subject
Date: 2018-10-03 11:47 am (UTC)no subject
Date: 2018-10-03 01:55 pm (UTC)Но я весьма часто покупаю в организацию всякий добряк на aliexpress и ebay.
no subject
Date: 2018-10-03 07:57 pm (UTC)Я, конечно, могу поспрашивать у наших бухгалтеров, но почему-то у нас не рекомендуют этой процедурой пользоваться. Считается лучше переплатить, но купить по безналу.