СЛ
И ЭЭ вырабатывать самому?
Size: a a a
2020 May 04
МБ
но компилятор - это обычная программа, почему вы не применяете к нему те же критерии, что к разработке?
Почему не применяю? Та программа, которую проще переписать на ассемблере явно проще, чем та, которую переписать сложнее. Ну, при том условии, что они решают одну и ту же задачу.
МБ
И ЭЭ вырабатывать самому?
ЭЭ и так вырабатывается на борту своими силами :) Да, требование к наличию резервного источника ЭЭ всегда ставится.
AT
Кроме того, в современном мире это уже даже не смешно. Не считая почти повсеместных Meltdown и Spectre, во всевозможнейших firmware и microcode с удручающей регулярностью обнаруживаются дыры или прямо целенаправленные закладки.
СЛ
Кроме того, в современном мире это уже даже не смешно. Не считая почти повсеместных Meltdown и Spectre, во всевозможнейших firmware и microcode с удручающей регулярностью обнаруживаются дыры или прямо целенаправленные закладки.
Ты ведь понимаешь, что дыр будет больше, если у каждого будет свой "крутой проц"?
Вы знакомы с теорией шифрования и почему obscurity != security?
Вы знакомы с теорией шифрования и почему obscurity != security?
AT
Ты ведь понимаешь, что дыр будет больше, если у каждого будет свой "крутой проц"?
Вы знакомы с теорией шифрования и почему obscurity != security?
Вы знакомы с теорией шифрования и почему obscurity != security?
Знаком, и не вижу при чём тут obscurity. Поэтому нет, не понимаю почему будет больше дыр.
IB
GNU Common Lisp точно так бутстрапится. Скорее всего, если SBCL из исходников собирать, то тоже забутстрапится.
SBCL требует для компиляции из исходников полноценную реализацию Common Lisp, и то не все, кажется, подходят.
МБ
Ты ведь понимаешь, что дыр будет больше, если у каждого будет свой "крутой проц"?
Вы знакомы с теорией шифрования и почему obscurity != security?
Вы знакомы с теорией шифрования и почему obscurity != security?
А при чём тут obscurity? Задача же не в том, чтобы сделать уникальный процессор или уникальный компилятор. Наоборот, народ выкладывает всё в открытый доступ, чтобы это могли верифицировать и тестировать. Leon какой-нибудь, если о процессорах говорить.
СЛ
Знаком, и не вижу при чём тут obscurity. Поэтому нет, не понимаю почему будет больше дыр.
Из обычной теории вероятностей. Найти что-то плохое в 1 000 000 случаев гораздо легче, чем в 1 000
AT
А при чём тут obscurity? Задача же не в том, чтобы сделать уникальный процессор или уникальный компилятор. Наоборот, народ выкладывает всё в открытый доступ, чтобы это могли верифицировать и тестировать. Leon какой-нибудь, если о процессорах говорить.
RISC-V чтобы далеко не ходить.
СЛ
А при чём тут obscurity? Задача же не в том, чтобы сделать уникальный процессор или уникальный компилятор. Наоборот, народ выкладывает всё в открытый доступ, чтобы это могли верифицировать и тестировать. Leon какой-нибудь, если о процессорах говорить.
GCC доступен в исходных кодах. Сиди и читай.
МБ
RISC-V чтобы далеко не ходить.
Ну. Leon - это то, что ESA запуливает в космос. RISC-V, вроде, ещё такой чести не удостоился.
AT
Из обычной теории вероятностей. Найти что-то плохое в 1 000 000 случаев гораздо легче, чем в 1 000
Если Вы так себе представляете теорию вероятностей, то спорить дальше не о чем. 😊
МБ
GCC доступен в исходных кодах. Сиди и читай.
Эмс... Не очень понимаю, как чему Вы клоните. Да, люди сидят и читают. Какие проблемы?
СЛ
Если Вы так себе представляете теорию вероятностей, то спорить дальше не о чем. 😊
Хорошо, перефразирую. 1 000 000 человек с большими шансами найдут что-то, чем 1 000 за одно и то же время.
СЛ
А если ваше уникальное поделие вообще в одном экземпляре. То дыр будет немеренно.
СЛ
И найти эти дыры физически будет невозможно в сколько нибудь разумное время
VM
Ну. Leon - это то, что ESA запуливает в космос. RISC-V, вроде, ещё такой чести не удостоился.
На Хабре написали, что Leon - это варант без защиты от радиации.
За деньги - уже с защитой.
За деньги - уже с защитой.
AT
Хорошо, перефразирую. 1 000 000 человек с большими шансами найдут что-то, чем 1 000 за одно и то же время.
Теория вероятности — как и остальные математические теории — про доказательства, а не про сравнение больших и маленьких чисел. 🤷♀️
МБ
А если ваше уникальное поделие вообще в одном экземпляре. То дыр будет немеренно.
Эмс... У поделия вполне определённые задачи. Там просто всё лишнее выкидывают, обычно. И оставляют маленькое необходимое ядро. Поэтому 1000 человек придётся физически делать многократно меньше работы, чем 1 000 000. Да и 1 000 000, собственно, нет в распоряжении.