SciFi (03.03.2015 15:50, просмотров: 68) ответил Evgeny_CD на Полностью кастомизированные решения: синтез с оптимизацией по выбранным параметрам ядра процессора, тулчейна и исходного кода -> Интересно, так кто-то делает или нет?ส็็็็็็็็็็็็็็็็็็็็็็็็็༼ ຈل͜ຈ༽ส้้้้้้้้้้้้้้้้้้้้้้้
-
- Ну как бы подразумевается, что исходник более низкого уровня синтезируется из "верхнего уровня" гарантированно безошибочно. Вроде как теория такое позволяет. - Evgeny_CD(03.03.2015 15:57)
- Ага, это если "верхний уровень" безглючный. Что сомнительно. - SciFi(03.03.2015 16:02)
- А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости. - Evgeny_CD(03.03.2015 16:05)
- Я про исходники процессора и компилятора с over9000 параметрами. Никакой петрик не сможет это проверить. - SciFi(03.03.2015 16:07)
- А мы набор параметров тоже будем из описания Самого Высокого Уровня компилировать :) - Evgeny_CD(03.03.2015 16:10)
- Я про исходники процессора и компилятора с over9000 параметрами. Никакой петрик не сможет это проверить. - SciFi(03.03.2015 16:07)
- А пусть верхний уровень - это сети Петри или еще что, что позволяет проводить формальную верификацию непротиворечивости. - Evgeny_CD(03.03.2015 16:05)
- Ага, это если "верхний уровень" безглючный. Что сомнительно. - SciFi(03.03.2015 16:02)
- Ну как бы подразумевается, что исходник более низкого уровня синтезируется из "верхнего уровня" гарантированно безошибочно. Вроде как теория такое позволяет. - Evgeny_CD(03.03.2015 15:57)