| dbo:abstract
|
- En informàtica, inanició (starvation en anglès) és un problema relacionat amb els sistemes multitasca, on a un procés o a un fil d'execució se li denega sempre l'accés a un recurs compartit. Sense aquest recurs, la tasca a executar no pot ser mai finalitzada. La inanició és una situació similar a l'interbloqueig, però les causes són diferents. En l'interbloqueig, dos processos o dos fils d'execució arriben a un punt mort quan cadascun d'ells necessita un recurs que és ocupat per l'altre. En canvi, en aquest cas, un o més processos estan esperant recursos ocupats per altres processos que no es troben necessàriament en cap punt mort. Un cas d'inanició l'il·lustra perfectament la paradoxa coneguda com el sopar de filòsofs d'Edsger Dijkstra quan es dona el cas que tots els filòsofs agafen la forquilla al mateix temps. La utilització de prioritats en molts sistemes operatius multitasca podria causar que processos d'alta prioritat s'estiguessin executant sempre i no permetessin l'execució de processos de baixa prioritat, causant inanició en aquests. És més, si un procés d'alta prioritat està pendent del resultat d'un procés de baixa prioritat que no s'executa mai, llavors aquest procés d'alta prioritat també experimenta inanició (aquesta situació es coneix com a inversió de prioritat). Per evitar aquestes situacions els planificadors moderns incorporen algorismes per assegurar que tots els processos reben un mínim de temps de CPU per executar-se. (ca)
- Als Verhungern (englisch Starvation) bezeichnet man in der Informatik den Fall, wenn ein Prozess oder Thread keine CPU-Zeit zugeteilt bekommt, obwohl er zur Ausführung bereit wäre. Der Scheduler im Betriebssystemkern sollte idealerweise dafür sorgen, dass dies nicht geschieht und die CPU-Zeit „fair“ zugeteilt wird. Es gibt im Allgemeinen keine ideale Lösung, um Verhungern zu vermeiden, weil ein ideales prioritätengesteuertes Scheduling gerade nicht fair ist. Wenn Verhungern in einem gleichzeitigen Algorithmus unmöglich ist, wird der Algorithmus als hungerfrei, aussperrungsfrei oder als endlicher Bypass bezeichnet. Diese Eigenschaft ist eine Instanz der Lebendigkeit und ist eine der beiden Voraussetzungen für jeden Algorithmus zum gegenseitigen Ausschluss; das andere ist die Richtigkeit. Der Name „endliche Umgehung“ bedeutet, dass jeder Prozess (gleichzeitiger Teil) des Algorithmus höchstens eine endliche Anzahl von Malen umgangen wird, bevor Zugriff auf die gemeinsam genutzte Ressource gewährt wird. (de)
- En informática, inanición (starvation en inglés) es un problema relacionado con los sistemas multitarea, donde a un proceso o un hilo de ejecución se le deniega siempre el acceso a un recurso compartido. Sin este recurso, la tarea a ejecutar no puede ser nunca finalizada. La inanición no es sinónimo de interbloqueo, aunque el interbloqueo produce la inanición de los procesos involucrados. La inanición puede (aunque no tiene por qué) acabar, mientras que un interbloqueo no puede finalizar sin una acción del exterior. Un caso de inanición lo ilustra perfectamente la paradoja conocida como la cena de los filósofos de Edsger Dijkstra cuando se da el caso de que todos los filósofos cogen el tenedor a la vez. La utilización de prioridades en muchos sistemas operativos multitarea podría causar que procesos de alta prioridad estuvieran ejecutándose siempre y no permitieran la ejecución de procesos de baja prioridad, causando inanición en estos. Es más, si un proceso de alta prioridad está pendiente del resultado de un proceso de baja prioridad que no se ejecuta nunca, entonces este proceso de alta prioridad también experimenta inanición (esta situación se conoce como inversión de prioridades). Para evitar estas situaciones los planificadores modernos incorporan algoritmos para asegurar que todos los procesos reciben un mínimo de tiempo de CPU para ejecutarse. (es)
- La famine est un problème que peut avoir un algorithme d'exclusion mutuelle, lorsqu'un processus est perpétuellement privé des ressources nécessaires afin de terminer son exécution. Il se produit lorsqu'un algorithme n'est pas équitable, c'est-à-dire qu'il ne garantit pas à tous les threads souhaitant accéder à une section critique une probabilité non nulle d'y parvenir en un temps fini. Il est difficile de concevoir des systèmes à l'abri de famines. Pour le cas de l'exclusion mutuelle par exemple, il existe deux algorithmes garantissant qu'il ne se produira pas de famine, l'algorithme de Dekker et l'algorithme de Peterson, mais dans les deux cas, cette garantie est obtenue au prix d'une coûteuse attente active. (fr)
- In computer science, resource starvation is a problem encountered in concurrent computing where a process is perpetually denied necessary resources to process its work. Starvation may be caused by errors in a scheduling or mutual exclusion algorithm, but can also be caused by resource leaks, and can be intentionally caused via a denial-of-service attack such as a fork bomb. When starvation is impossible in a concurrent algorithm, the algorithm is called starvation-free, lockout-freed or said to have finite bypass. This property is an instance of liveness, and is one of the two requirements for any mutual exclusion algorithm; the other being correctness. The name "finite bypass" means that any process (concurrent part) of the algorithm is bypassed at most a finite number times before being allowed access to the shared resource. (en)
- リソーススタベーションまたはリソーススターベーション（英: resource starvation; 資源飢餓）とは、マルチタスクに関連した問題であり、プロセスが必要なリソースをほぼ永久的に獲得できない状況を言う。プログラムは、そのようなリソースが無ければ処理を完了できない。 リソーススタベーションはデッドロックによっても発生する。デッドロックは互いに相手が必要なリソースを獲得しあったふたつ以上のプロセスが存在して、どちらも自身の獲得したリソースを諦めない状態である。 スタベーションは、スケジューリングや相互排除アルゴリズムのエラーによって引き起こされることがあるが、リソースのリークによっても引き起こされるし、フォークボムなどのサービス妨害攻撃によって意図的に引き起こされることもある。 並列アルゴリズムでスタベーションが発生しない場合、そのアルゴリズムはスタベーションフリー、ロックアウトフリー、または有限バイパスと呼ばれる。この特性はライブネスの一例であり、相互排除アルゴリズムの2つの要件のうちの1つで、もう1つは正当性である。有限バイパスという名前は、アルゴリズムの任意のプロセス（コンカレント・パート）が、共有リソースへのアクセスを許可される前に、最大で有限回バイパスされることを意味する。 リソーススタベーションの例として、エドガー・ダイクストラの食事する哲学者の問題がある。 問題の根本はスケジューリング方式にある。スケジューリングはカーネルの機能の一部だが、一般にリソースを平等に割り当てることを目指している。つまり、スケジューリングアルゴリズムは、どのプロセスも永久的に必要なリソースを得られないような状況にならないようリソースの配分を行わなければならない。 (ja)
- In informatica, per starvation (termine inglese che tradotto letteralmente significa inedia) si intende l'impossibilità perpetua, da parte di un processo pronto all'esecuzione, di ottenere le risorse sia hardware sia software di cui necessita per essere eseguito. (it)
- 기아 상태(starvation 스타베이션[*])는 컴퓨터 과학 용어의 하나로, 프로세스가 끊임없이 필요한 컴퓨터 자원을 가져오지 못하는 상황으로, 이러한 자원 없이는 처리를 끝낼 수 없는 병행 컴퓨팅에서 마주치는 문제이다. 기아 상태는 스케줄링이나 상호 배제 알고리즘의 오류에 기인하지만 자원 누수에 의해 일어날 수도 있으며 포크 폭탄과 같은 서비스 거부 공격을 통해 고의적으로 발생할 수도 있다. 병행 알고리즘의 기아 상태의 불능을 무기아 상태(starvation-freedom), 락아웃 프리덤(lockout-freedom), 유한한 우회 상태(finite bypass)라고 한다. 여기서 "유한한 우회"란 공유 자원으로의 접근이 허가되기 전에 이 알고리즘의 어떠한 프로세스라도 유한한 횟수만큼 우회된다는 것을 뜻한다. (ko)
- Zagłodzenie procesu (ang. process starvation) – sytuacja w środowisku wielozadaniowym, w której dany proces nie jest w stanie zakończyć działania, ponieważ nie ma dostępu do procesora lub innego współdzielonego zasobu. Występuje najczęściej na skutek niewłaściwej pracy algorytmu szeregowania, którego zadaniem jest sprawiedliwy przydział zasobów, lub nadmiernego obciążenia systemu. Dla zilustrowania wagi problemu zagłodzenia wykorzystywany jest przykład systemu IBM 7094 używanego na MIT – gdy w 1974 roku był wycofywany z użycia, wykryto zadanie wsadowe o niskim priorytecie, które przedłożono do wykonania w 1967 roku i nigdy nie zostało aktywowane. (pl)
- Resurssvält är inom datavetenskap ett problem som uppstår i samtidig programmering (concurrent programming) när en process oavbrutet nekas nödvändiga resurser för att kunna utföra sitt arbete. Svält kan orsakas av ett schemaläggningsfel eller resursläckor, men kan även avsiktligt orsakas med en DOS-attack. När svält inte kan uppnås in en samtidig algoritm, kallas den starvation-free (svältfri), lockout-freed (baklåsbefriad) eller sägs ha finite bypass (begränsad förbikoppling). Namnet "finite bypass" innebär att en process i algoritmen förbikopplas högst ett begränsat antal gånger innan den får tillgång till den delade resursen. (sv)
- Em programação concorrente, ocorre inanição quando um processo nunca é executado ("morre de fome"), pois processos de prioridade maior sempre o impedem de ser executado. Em um ambiente computacional multitarefa, a execução de diversos processos simultâneos deve seguir uma regra de escalonamento destes para uso do processador. Isso se deve ao fato de que, durante a pelo processador, é feita a escolha do próximo processo a ser executado a partir da prioridade deste. Quando o escalonamento não é feito adequadamente, pode haver inanição. Uma solução para esta situação é a delegação de um tempo máximo de espera. A ocorrência da inanição se dá quando os programas rodam indefinidamente (razão pela qual também se dá o nome de preterição indefinida a esta situação) e não fazem nenhum progresso em seu processamento, ao contrário do deadlock, que ocorre quando os processos permanecem bloqueados, dependendo da liberação dos recursos por eles alocados. Em um sistema dinâmico, as requisições de recursos ocorrem durante todo o tempo. Algumas políticas são necessárias para subsidiar a decisão de quem vai ficar com qual recurso e em que momento. Essas políticas, apesar de parecerem extremamente razoáveis, podem fazer com que alguns processos nunca sejam servidos, apesar de não estarem em deadlock. Um algoritmo possível para implementar a alocação da impressora é o que escolhe o processo com o menor arquivo a ser impresso (assumindo que esta informação está disponível). Este algoritmo maximiza o número de usuários satisfeitos com o sistema, e parece ser um algoritmo justo. Consideremos, no entanto, o que acontece num sistema muito carregado, quando determinado processo tem um arquivo imenso a ser impresso. Cada vez que a impressora estiver disponível, o sistema vai escolher, para usar a impressora, o processo com o menor arquivo a ser impresso. Se houver um fluxo constante de processos no sistema com arquivos pequenos, aquele ou aqueles com arquivos grandes jamais poderão usar a impressora. Eles apenas “morrerão de fome” (como o próprio sentido da palavra inanição estabelece), ou seja, serão preteridos indefinidamente em favor de outros, como se estivessem bloqueados. A preterição por tempo indeterminado pode ser evitada usando-se uma política de alocação baseada na regra do primeiro-a-chegar é o primeiro-a-ser-servido. Com esta abordagem, o processo que espera há mais tempo é o primeiro a receber serviço por parte do recurso liberado. Fica claro que qualquer dos processos será o mais antigo com o passar do tempo, recebendo, assim, o direito ao uso do recurso pelo qual estiver esperando. Outra solução é fazer com que o processo em inanição aumente sua prioridade de acordo com o seu tempo de espera, o que também pode resolver o problema. (pt)
- 在计算机科学中，饥饿（starvation）是指在并发计算中，进程一直无法获得运行所需的必要资源而发生的问题。排程、互斥锁算法、等都可能导致饥饿，或者在被DoS攻击（如fork炸弹）时主动产生饥饿。 在并发计算中，如果饥饿不可能发生，这个算法就被称为是“starvation-free”（无饥饿）、“lockout-freed”（无闭锁）的，或者称其拥有「有限旁路」（finite bypass）。这一属性是的例子，也是互斥锁算法的两个条件之一（另一个是正确性）。 (zh)
- Ресурсний голод — проблема в інформатиці, що унеможливлює виконання процесом задачі, спричинена постійною відмовою в необхідних ресурсах. Причиною відмови в ресурсах може бути:
* помилка в алгоритмі розподілу ресурсів;
* ;
* DoS-атака. Часто причиною відмови в ресурсах може бути занадто простий алгоритм розподілу ресурсів. Наприклад, якщо планувальник завжди надає ресурс потоку з найвищим пріоритетом, то при достатньому навантаженні, потоки з низьким пріоритетом не отримають ресурс ніколи.І якщо потік з вищим пріоритетом залежить від результату роботи потоку з нижчим пріоритетом, то він незважаючи на свій пріоритет не зможе завершити задачу. Це називається перестановка пріоритетів. Ресурсний голод подібний на взаємне блокування в тому, що виконання задачі призупиняється. Але при взаємному блокуванні кожен з потоків заблокував ресурс необхідний іншому; а при ресурсному голоді потік просто не отримує ресурс, що надається іншому потоку. (uk)
|
| rdfs:comment
|
- In informatica, per starvation (termine inglese che tradotto letteralmente significa inedia) si intende l'impossibilità perpetua, da parte di un processo pronto all'esecuzione, di ottenere le risorse sia hardware sia software di cui necessita per essere eseguito. (it)
- 기아 상태(starvation 스타베이션[*])는 컴퓨터 과학 용어의 하나로, 프로세스가 끊임없이 필요한 컴퓨터 자원을 가져오지 못하는 상황으로, 이러한 자원 없이는 처리를 끝낼 수 없는 병행 컴퓨팅에서 마주치는 문제이다. 기아 상태는 스케줄링이나 상호 배제 알고리즘의 오류에 기인하지만 자원 누수에 의해 일어날 수도 있으며 포크 폭탄과 같은 서비스 거부 공격을 통해 고의적으로 발생할 수도 있다. 병행 알고리즘의 기아 상태의 불능을 무기아 상태(starvation-freedom), 락아웃 프리덤(lockout-freedom), 유한한 우회 상태(finite bypass)라고 한다. 여기서 "유한한 우회"란 공유 자원으로의 접근이 허가되기 전에 이 알고리즘의 어떠한 프로세스라도 유한한 횟수만큼 우회된다는 것을 뜻한다. (ko)
- 在计算机科学中，饥饿（starvation）是指在并发计算中，进程一直无法获得运行所需的必要资源而发生的问题。排程、互斥锁算法、等都可能导致饥饿，或者在被DoS攻击（如fork炸弹）时主动产生饥饿。 在并发计算中，如果饥饿不可能发生，这个算法就被称为是“starvation-free”（无饥饿）、“lockout-freed”（无闭锁）的，或者称其拥有「有限旁路」（finite bypass）。这一属性是的例子，也是互斥锁算法的两个条件之一（另一个是正确性）。 (zh)
- En informàtica, inanició (starvation en anglès) és un problema relacionat amb els sistemes multitasca, on a un procés o a un fil d'execució se li denega sempre l'accés a un recurs compartit. Sense aquest recurs, la tasca a executar no pot ser mai finalitzada. Un cas d'inanició l'il·lustra perfectament la paradoxa coneguda com el sopar de filòsofs d'Edsger Dijkstra quan es dona el cas que tots els filòsofs agafen la forquilla al mateix temps. (ca)
- Als Verhungern (englisch Starvation) bezeichnet man in der Informatik den Fall, wenn ein Prozess oder Thread keine CPU-Zeit zugeteilt bekommt, obwohl er zur Ausführung bereit wäre. Der Scheduler im Betriebssystemkern sollte idealerweise dafür sorgen, dass dies nicht geschieht und die CPU-Zeit „fair“ zugeteilt wird. Es gibt im Allgemeinen keine ideale Lösung, um Verhungern zu vermeiden, weil ein ideales prioritätengesteuertes Scheduling gerade nicht fair ist. (de)
- En informática, inanición (starvation en inglés) es un problema relacionado con los sistemas multitarea, donde a un proceso o un hilo de ejecución se le deniega siempre el acceso a un recurso compartido. Sin este recurso, la tarea a ejecutar no puede ser nunca finalizada. La inanición no es sinónimo de interbloqueo, aunque el interbloqueo produce la inanición de los procesos involucrados. La inanición puede (aunque no tiene por qué) acabar, mientras que un interbloqueo no puede finalizar sin una acción del exterior. (es)
- In computer science, resource starvation is a problem encountered in concurrent computing where a process is perpetually denied necessary resources to process its work. Starvation may be caused by errors in a scheduling or mutual exclusion algorithm, but can also be caused by resource leaks, and can be intentionally caused via a denial-of-service attack such as a fork bomb. (en)
- La famine est un problème que peut avoir un algorithme d'exclusion mutuelle, lorsqu'un processus est perpétuellement privé des ressources nécessaires afin de terminer son exécution. Il se produit lorsqu'un algorithme n'est pas équitable, c'est-à-dire qu'il ne garantit pas à tous les threads souhaitant accéder à une section critique une probabilité non nulle d'y parvenir en un temps fini. (fr)
- リソーススタベーションまたはリソーススターベーション（英: resource starvation; 資源飢餓）とは、マルチタスクに関連した問題であり、プロセスが必要なリソースをほぼ永久的に獲得できない状況を言う。プログラムは、そのようなリソースが無ければ処理を完了できない。 リソーススタベーションはデッドロックによっても発生する。デッドロックは互いに相手が必要なリソースを獲得しあったふたつ以上のプロセスが存在して、どちらも自身の獲得したリソースを諦めない状態である。 スタベーションは、スケジューリングや相互排除アルゴリズムのエラーによって引き起こされることがあるが、リソースのリークによっても引き起こされるし、フォークボムなどのサービス妨害攻撃によって意図的に引き起こされることもある。 並列アルゴリズムでスタベーションが発生しない場合、そのアルゴリズムはスタベーションフリー、ロックアウトフリー、または有限バイパスと呼ばれる。この特性はライブネスの一例であり、相互排除アルゴリズムの2つの要件のうちの1つで、もう1つは正当性である。有限バイパスという名前は、アルゴリズムの任意のプロセス（コンカレント・パート）が、共有リソースへのアクセスを許可される前に、最大で有限回バイパスされることを意味する。 リソーススタベーションの例として、エドガー・ダイクストラの食事する哲学者の問題がある。 (ja)
- Zagłodzenie procesu (ang. process starvation) – sytuacja w środowisku wielozadaniowym, w której dany proces nie jest w stanie zakończyć działania, ponieważ nie ma dostępu do procesora lub innego współdzielonego zasobu. Występuje najczęściej na skutek niewłaściwej pracy algorytmu szeregowania, którego zadaniem jest sprawiedliwy przydział zasobów, lub nadmiernego obciążenia systemu. (pl)
- Em programação concorrente, ocorre inanição quando um processo nunca é executado ("morre de fome"), pois processos de prioridade maior sempre o impedem de ser executado. Em um ambiente computacional multitarefa, a execução de diversos processos simultâneos deve seguir uma regra de escalonamento destes para uso do processador. Isso se deve ao fato de que, durante a pelo processador, é feita a escolha do próximo processo a ser executado a partir da prioridade deste. Quando o escalonamento não é feito adequadamente, pode haver inanição. Uma solução para esta situação é a delegação de um tempo máximo de espera. (pt)
- Resurssvält är inom datavetenskap ett problem som uppstår i samtidig programmering (concurrent programming) när en process oavbrutet nekas nödvändiga resurser för att kunna utföra sitt arbete. Svält kan orsakas av ett schemaläggningsfel eller resursläckor, men kan även avsiktligt orsakas med en DOS-attack. (sv)
- Ресурсний голод — проблема в інформатиці, що унеможливлює виконання процесом задачі, спричинена постійною відмовою в необхідних ресурсах. Причиною відмови в ресурсах може бути:
* помилка в алгоритмі розподілу ресурсів;
* ;
* DoS-атака. Ресурсний голод подібний на взаємне блокування в тому, що виконання задачі призупиняється. Але при взаємному блокуванні кожен з потоків заблокував ресурс необхідний іншому; а при ресурсному голоді потік просто не отримує ресурс, що надається іншому потоку. (uk)
|
