LINUX.ORG.RU

Dimmunix - Deadlock Immunity UNIX

 , , ,


0

0

Ученые из EPFL (политехнической школы Лозанны) изобрели бесплатный аналог ClearView, программу Dimmunix.

Принцип действия утилиты таков: сначала обнаруженная проблема фиксируется в ее памяти, потом Dimmunix находит, способы исправления этой ошибки, а после всей несложной процедуры такой проблемы больше не возникнет.

Dimmunix учится на ошибках компьютера без участия кого-либо со стороны. Например, если вы открываете файл, а в этот момент на web-страничке запускается Flash-ролик, то браузер просто напросто может зависнуть. В следующий раз утилита Dimmunix вмешается, устранит эту проблему, и приложение не зависнет.

Теория защиты от deadlock'ов

>>> Сайт проекта Dimmunix

★★★★★

Проверено: Shaman007 ()

А как относится открытие файла к флеш-ролику??

svu ★★★★★ ()

Теперь версия для Ъ

http://dslab.epfl.ch/pubs/dimmunix

Deadlock immunity is a property by which programs, once afflicted by a given deadlock, develop resistance against future occurrences of that and similar deadlocks. We describe a technique that enables programs to automatically gain such immunity without assistance from programmers or users. We implemented the technique for both Java and POSIX threads and evaluated it with several real systems, including MySQL, JBoss, SQLite, Apache ActiveMQ, Limewire, and Java JDK. The results demonstrate effectiveness against real deadlock bugs, while incurring modest performance overhead and scaling to 1024 threads. We therefore conclude that deadlock immunity offers programmers and users an attractive tool for coping with elusive deadlocks.

http://dslab.epfl.ch/proj/dimmunix

Deadlock immunity is a property by which programs, once afflicted by a deadlock pattern, develop the ability to avoid future occurrences of that deadlock pattern. Over time, programs with such an «immune system» progressively increase their resistance to deadlocks.

Dimmunix is a tool for giving software systems such an immune system against deadlocks, without any assistance from programmers or users. Dimmunix is well suited for general purpose software (desktop and enterprise applications, server software, etc.) and a recent extension allows application communities to collaborate in achieving enhanced immunity.

Dimmunix is available for both Java and C/C++ from http://code.google.com/p/dimmunix/.

We have used Dimmunix for the avoidance of real hangs in real systems: end-user applications (Limewire), databases (MySQL and SQLite), middleware (JBoss, ActiveMQ, MySQL JDBC), as well as runtime libraries (Java JDK). Dimmunix proved effective in avoiding reported deadlock bugs, while introducing only modest performance overhead (negligible for a few tens of threads, and up to 4.5% on a lock-intensive microbenchmark with 1,024 threads).

Manhunt ★★★★★ ()

Скайнет уже на подходе.

В следующий раз утилита Dimmunix вмешается, устранит пользователя, и приложение не зависнет.

thesis ★★★★★ ()

о_0 до чего техника дошла!

pevzi ★★★★★ ()

«Например, если вы открываете файл, а в этот момент на web-страничке запускается Flash-ролик, то браузер просто напросто может зависнуть.»

открытый софт такой открытый софт. В подобных случаях надо менять браузер, а не ставить костыли.

anonymous ()

Я ничего не понял, но уже хочу это.

Demon37 ★★★★ ()
Ответ на: комментарий от anonymous

> В подобных случаях надо удалить быдлоFlash, без конца валящий браузер
obvious fix

PayableOnDeath ()
Ответ на: комментарий от PayableOnDeath

Да нет же! Флеш - это реклама, а реклама - это деньги. Устранять надо возможность открывания файла.

anonymous ()

И вот еще интересно, если она сама однажды глюканет, то больше никогда не запустится? Удалит ли она себя с винчестера, оставив в логах запись «простите меня, я не смогла»?

thesis ★★★★★ ()

> бесплатный аналог ClearView

А где скачать можно этот бесплатный аналог?

Werehuman ★★ ()

Дамблдор проводит набор в Хогвартс. Поступающим - волшебные стилусы.

anonymous ()

Принцип действия утилиты таков: сначала обнаруженная проблема фиксируется в ее памяти, потом Dimmunix удаляет программу, вызвавшую проблему

another fix

WARNING ★★★★ ()

Пересказ новости ужасен

gizzka ★★ ()

при попытке из дуалбута загрузиться в неправильную ось автоматически запускается format c: Терминатор атакуэ

Lennox ★★★★★ ()

О! А можно забить urandom'ом какой-нибудь файл, сделать его исполняемым, запустить, и Димукс сделает из него программу для порабощения мира! Или, на худой конец, фотошоп. Или бету матрицы.

Gukl ★★ ()

> Принцип действия утилиты таков: сначала обнаруженная проблема фиксируется в ее памяти, потом Dimmunix находит, способы исправления этой ошибки, а после всей несложной процедуры такой проблемы больше не возникнет.

А правда, что она при первом запуске удаляет KDE и ставит Gnome?

Byron ()
Ответ на: толсто! от opensuse

Re: толсто!

> наоборот, удаляет Gnome, и ставит KDE.

И таким образом уходит в бесконечный цикл.

Byron ()
Ответ на: Re: толсто! от Byron

С логикой туго? какой бесконечный цикл, КДЕ уже удалён. Пытается поставить КДЕ, но т.к. его уже нет - валится, обнаруживает ошибку в себе, и удаляет себя.

queen3 ★★★★★ ()
Ответ на: комментарий от queen3

Чуть тоньше

> С логикой туго? какой бесконечный цикл, КДЕ уже удалён. Пытается поставить КДЕ, но т.к. его уже нет - валится, обнаруживает ошибку в себе, и удаляет себя. === Никакой ошибки в себе! Находит в логах строку с «KDE4», делает инкремент и генерирует KDE5. Загрузка.

nimus ()
Ответ на: комментарий от Gukl

Неа. Для этого нужно иметь уже существующую программу для захвата мира/фотошоп, а у нас такой нет :(

d1337r ()
Ответ на: комментарий от Byron

Нет, обнаружив KDE или Gnome на машине выдаёт сообщение «мышевозила детектед», удаляет его и оставляет юзера с прекрасным чистым шелом :P

WatchCat ★★★★★ ()
Ответ на: комментарий от WatchCat

а так же удаляет богомерзкий zsh и прочие, оставляя лишь православный bash.

opensuse ()

> Например, если вы открываете файл, а в этот момент на web-страничке запускается Flash-ролик, то браузер просто напросто может зависнуть. В следующий раз утилита Dimmunix вмешается, устранит эту проблему, и приложение не зависнет.

Я не понял, что конкретно в этом случае сделает утилита Dimmunix? На ум приходят варианты:

1) Скажет браузеру не запускать Flash-ролик когда юзер открывает такой-то файл. Если браузер не отвечает на вежливую просьбу, варианты: а) киляет браузер; б) ищет обновления и обновляет его; в) скачивает правильный браузер и заменяет его. Если не помогает, то заменят ОС, а если и это не помогло, то предлагает юзеру больше никогда не садиться за комп, ибо его кривые руки способны задэдлочить любую софтину...

2) Скажет юзеру не открывать такой-то файл, когда браузер запускает Flash-ролик. Если юзер не слушается, то а) удаляет этот файл; б) киляет юзера высоковольтным разрядом...

annonymous ★★ ()

Кто нибудь этим пользуется? А то попадаются сайты после открытия которых ФФ падает.

Guest_now ()

Программы, которые умнее пользователя, уже написаны. Внимание, теперь новинка - написана программа, которая умнее других программ (которые, разумеется, умнее пользователя). Наконец-то, ура!

dm1024 ★★★ ()

> Dimmunix учится на ошибках компьютера без участия кого-либо со стороны. Например, если вы открываете файл, а в этот момент на web-страничке запускается Flash-ролик, то браузер просто напросто может зависнуть. В следующий раз утилита Dimmunix вмешается, устранит эту проблему, и приложение не зависнет.

У меня этот абзац вызывает ошибку деления на Оооо...
Как открытие файла зависит от флэша в браузере?
Как этот адский Dimmunix Borgirux будет устранять проблему?

afunix ()
Ответ на: комментарий от opensuse

>оставляя лишь православный bash

dash. Что б жизнь сказкой не казалось. А то иж вам, удобства, понимаете ли.

Deleted ()

То есть софтина специально для KDE-шников?

prorok2k ()

первое февраля же, не апреля.

boo32 ()
Ответ на: комментарий от Guest_now

Нашел в svn


Наверняка в каталоге «Skynet. Top secret» :) Не?

Karapuz ★★★★★ ()

Урря, деббагер для скайнета допилили!

darkshvein ☆☆ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.