Исследователи из Корнеелльского университета представили (http://www.drdobbs.com/java/227900404) первый выпуск проекта Fabric (http://www.cs.cornell.edu/projects/fabric/index.html), в рамках которого создана платформа безопасного программирования, предназначенная для создания изначально безопасных систем для работы в среде распределенных вычислений. В качестве языка программирования используется язык программирования Fabric, базирующийся на языке Jif (http://www.cs.cornell.edu/jif/), расширяющем Java поддержкой контроля потоков информации и содержащим встроенные средства контроля доступа, работающие как на этапе компиляции, так и в процессе выполнения программы.Программы на языке Fabric предназначены для работы в распределенной сети, состоящей из множества связанных между собой узлов, при этом в сети могут присутствовать неподконтрольные машины, не заслуживающие доверия. Цель Fabric - обеспечение безопасной и надежной обработки информации в изначально небезопасном окружении. Вс...
URL: http://www.drdobbs.com/java/227900404
Новость: http://www.opennet.ru/opennews/art.shtml?num=28430
безопастный код безопастному рознь.
А безопасный безопасТному - и подавно
безПастный код копиПастному рознь
Интересная новость (я серьезно).Комментарии выше прелестны. Очень по делу. Так держать, коллеги. Теперь я знаю, что именно на ваших плечах лежит забота о будущем распределенных вычислений.
А когда кому-то приспичит доказать что не такое уж оно и безопасное - как раз и появится skynet? :)
До skynet, имхо, здесь как до Луны. Очередная попытка ограничить разработчиков под видом заботы о... Если человек не умеет писать программы, то его это не спасет, а если умеет, то (о чудо!) даже на, многими незаслуженно обгаживаемом, "чистом" С никаких проблем не возникает!
> компилятор не позволяет разработчику создать кодОчередной компилятор, который что-то не позволяет разработчику? Ну-ну...
Программная отрасль давно напоминает конкурс "кто придумает более громоздкое, заутанное и сложное к пониманию".
Схема старая криминальная. Придумывается новый программный кокс. Пиарится. На него подсаживаются первые любопытные клиенты-компании. А когда поняли что подсели - уже поздно.
Глядя на них в первой фазе, когда они еще не почувствовали зависимость, а только испытывают эйфорирю, подсаживаются другие компании. Например конкуренты с мыслью не отстать. Или мелкие компании с мыслью - хочу стать большой как эта фирма(буду тоже курить, как взрослый). Ну а кроме вас, создателей технологии, в этой сложной мутотени мало кто разберется. Типично для капитализма.
Ах да. Все это еще на базе жавы. Т.е. чтобы крутить проги на подобной технологии, уже не хватает даже многоядерных процов, понадобились силы кластеров :)
erlang придумали заново только на яве. Вау!
Все это очередные костыли для быдлокодеров. Результат на выходе не может быть надежнее и лучше самого слабого звена в процессе достижения этого самого результата. Так что сколько не плоди костылей, быдлокодер всегда напортачит. Может следует программистов получше учить, чтобы вместо внешних ограничений подкорка работала?