В самом деле, почему бы тогда не разделить всю вертолетную группу на две части. Одна для близкой охраны бомбардировщика, вторая выше основного массива Аллилуйи для предотвращения атак сверху?
Вышеописанное различие я считаю ключевым в сравнении систем. Из своего опыта работы с Видовсами, Линуксами, OS/2 в том числе, я могу утверждать, что ничего подобного ни в одной другой системе, включая мейнфреймовские, я не видел.
Т.е. паники в unixе или bug-checks (синие экраны) в винде вы не увидели.
В Unix-вариантах существенно ограничен набор квалификаторов процессов и целей. Характер целей тоже совсем иной. Это в случае Unix будет в основном количество CPU, памяти, предоставляемыми тем или иным процессам.
Просто потому что одинаковый термин означает разные вещи. Процесс в MVT скорее похож на cgroup в Linux, или на job в windows.
zOS невероятно старая и дремучая. У меня есть теория, почему IBM гадит Hercules (это sw эмулятор железа, умеет запускать старые версии OS/370). Я считаю, что они таким образом прячут это безобразие от публики, пытаясь поддерживать репутацию чего-то большого и недосягаемого. А так, если иметь с ним опыт, и сравнить с любой современной системой - гуано.
Можете набросать линков на oculink-карты? Вообще было бы идеально что-то наподобие корпуса расширения со слотами PCIe, втыкаемого в oculink или tb. Это звучит как корпус для внешней видеокарты, и в принципе им и является. Но вот приличных устройств на али я не находил (нужно не для видео).
Можете объяснить, как "разбить шину на несколько корневых контроллеров"? И что такое корневой контроллер? Если вы имеете ввиду pci(e) host bridge/root port, то как вы собираетесь добавлять кусочки в io hub на процессоре?
Практический вопрос, где вы берете карты расширения с oculink? Те как из мини-pc с oculink сделать расширяемую машину. Такой же вопрос про tb 3/4.
Использование текста без указания первоисточника называется плагиатом.
Я ни слова не говорил о "расписывании каждой функции", только обратил внимание на то, что вы копировали нерабочий код.
Если вдруг предположить, что кто-то купится на ваше предложение "обучения", замечания о плагиате и самом качестве материала должны быть достаточными аргументами для того, чтобы избежать потерь времени.
Конечно не является. Вы понадергали кусков, даже не проверив их. Уже первый пример кода не будет компилироваться, потому что нет определения getHeapSize() (оно не сложно, но в самом деле, зачем?).
Кстати, если добавить отсутствующие части, то результат работы будет несколько неожиданным, распечатывать 1000kb нулей такое себе.
Stacked borrow - про корректность модели исполнения, а не конкретную реализацию. Для того, чтобы аргументировать корректность, даже неформально, сначала нужно определить предмет аргументации.
Aliasing - это основной отличительный момент семантики Rust, и поскольку утверждение про 'safety' сводится к тому, что правила владения искореняют некоторые типы ошибок, то собственно aliasing/borrowing и становится предметом (полу)формального определения и исследования.
Я сомневаюсь в том, что кто-то будет вручную доказывать правильность кода rustc. Хотя вот 'доказанный' компилятор C существует, и для rustc есть ferrocene.
Вы 'stacked borrow' находили? И весь rust-belt https://plv.mpi-sws.org/rustbelt/ смотрели? Я упоминаний в статье не нашел, что для подобных утверждений слишком помпезно.
Исполнятся те инструкции, коды которых записались в память.
Неициализированной памяти на уровне ISA (у обычных машин) не бывает, каждый байт содержит значение, которое является числом от 0 до 255.
Можно придумать теговую архитектуру, в которой у каждой ячейки будет дополнительный атрибут 'инициализировано', и которая будет трапаться при доступе к не инициализированной памяти (сигнальному значению). Но поведение все равно останется вполне определенным - сигнал о доступе к неинициализированной памяти.
Но дельта-сигма цапы не занимаются поиском того заветного и единственного решения, существующего по теореме Котельникова-Найквиста. Они что-то там аппроксимируют, что разработчикам на душу положит какое-нибудь чувство прекрасного звучания. Потом результат нужно пропускать через LFF, что прямо выходит за рамки формулировки теоремы (потому что ошибки ЦАП дают высокочастотный мусор, инвалидирующий условие), на которую ссылаются нелюбители hi-res.
Сравнивать надо в аналоговом домене, вычитая сигналы после оцифровки и фильтра нижних частот.
В самом деле, почему бы тогда не разделить всю вертолетную группу на две части. Одна для близкой охраны бомбардировщика, вторая выше основного массива Аллилуйи для предотвращения атак сверху?
Т.е. паники в unixе или bug-checks (синие экраны) в винде вы не увидели.
Просто потому что одинаковый термин означает разные вещи. Процесс в MVT скорее похож на cgroup в Linux, или на job в windows.
zOS невероятно старая и дремучая. У меня есть теория, почему IBM гадит Hercules (это sw эмулятор железа, умеет запускать старые версии OS/370). Я считаю, что они таким образом прячут это безобразие от публики, пытаясь поддерживать репутацию чего-то большого и недосягаемого. А так, если иметь с ним опыт, и сравнить с любой современной системой - гуано.
Под линками я имел ввиду ссылки на позиции товаров.
Я и хочу готовый внешний корпус с ретаймерами, со свитчем (для нескольких слотов), с блоком питания, и с oculink для апстрима.
Thunderbolt 3 и 4, он туннелирует pcie.
Можете набросать линков на oculink-карты? Вообще было бы идеально что-то наподобие корпуса расширения со слотами PCIe, втыкаемого в oculink или tb. Это звучит как корпус для внешней видеокарты, и в принципе им и является. Но вот приличных устройств на али я не находил (нужно не для видео).
Можете объяснить, как "разбить шину на несколько корневых контроллеров"? И что такое корневой контроллер? Если вы имеете ввиду pci(e) host bridge/root port, то как вы собираетесь добавлять кусочки в io hub на процессоре?
Практический вопрос, где вы берете карты расширения с oculink? Те как из мини-pc с oculink сделать расширяемую машину. Такой же вопрос про tb 3/4.
musl библиотека, а не компилятор
Rust
И в C11 появилась модель памяти. Atomics/fences были следствием ее определения.
Основным нововведением в C89, по сравнению с K&R, были прототипы функций.
Использование текста без указания первоисточника называется плагиатом.
Я ни слова не говорил о "расписывании каждой функции", только обратил внимание на то, что вы копировали нерабочий код.
Если вдруг предположить, что кто-то купится на ваше предложение "обучения", замечания о плагиате и самом качестве материала должны быть достаточными аргументами для того, чтобы избежать потерь времени.
Вывод: вы понятия не имеете о репутации.
Конечно не является. Вы понадергали кусков, даже не проверив их. Уже первый пример кода не будет компилироваться, потому что нет определения getHeapSize() (оно не сложно, но в самом деле, зачем?).
Кстати, если добавить отсутствующие части, то результат работы будет несколько неожиданным, распечатывать 1000kb нулей такое себе.
Stacked borrow - про корректность модели исполнения, а не конкретную реализацию. Для того, чтобы аргументировать корректность, даже неформально, сначала нужно определить предмет аргументации.
Aliasing - это основной отличительный момент семантики Rust, и поскольку утверждение про 'safety' сводится к тому, что правила владения искореняют некоторые типы ошибок, то собственно aliasing/borrowing и становится предметом (полу)формального определения и исследования.
Я сомневаюсь в том, что кто-то будет вручную доказывать правильность кода rustc. Хотя вот 'доказанный' компилятор C существует, и для rustc есть ferrocene.
Вы 'stacked borrow' находили? И весь rust-belt https://plv.mpi-sws.org/rustbelt/ смотрели? Я упоминаний в статье не нашел, что для подобных утверждений слишком помпезно.
Статья 5ти летней давности. Вот что-то не такое старое https://members.loria.fr/PZimmermann/papers/accuracy.pdf
nyan cat очевидно emacsовый mode.
Даже не упомянуть ksh.
Исполнятся те инструкции, коды которых записались в память.
Неициализированной памяти на уровне ISA (у обычных машин) не бывает, каждый байт содержит значение, которое является числом от 0 до 255.
Можно придумать теговую архитектуру, в которой у каждой ячейки будет дополнительный атрибут 'инициализировано', и которая будет трапаться при доступе к не инициализированной памяти (сигнальному значению). Но поведение все равно останется вполне определенным - сигнал о доступе к неинициализированной памяти.
В ассемблере как раз UB нет. ISA для машины полностью определяет допустимые результаты исполнения.
Это стон по отсутствию (и принципиальной невозможности в текущей реализации runtime Rust) call/cc?
Но дельта-сигма цапы не занимаются поиском того заветного и единственного решения, существующего по теореме Котельникова-Найквиста. Они что-то там аппроксимируют, что разработчикам на душу положит какое-нибудь чувство прекрасного звучания. Потом результат нужно пропускать через LFF, что прямо выходит за рамки формулировки теоремы (потому что ошибки ЦАП дают высокочастотный мусор, инвалидирующий условие), на которую ссылаются нелюбители hi-res.
Сравнивать надо в аналоговом домене, вычитая сигналы после оцифровки и фильтра нижних частот.