| rdfs:comment
| - L'algorithme du banquier est un algorithme qui a été mis au point par Edsger Dijkstra en 1965 pour éviter les problèmes d'interblocage et gérer l'allocation des ressources. Cet algorithme est nommé ainsi car il reproduit le modèle du prêt à des clients par un banquier. (fr)
- 銀行家のアルゴリズム（英: Banker's algorithm）とは、計算機科学における資源の割り当ておよびデッドロック回避のアルゴリズムで、エドガー・ダイクストラによって開発された。銀行家のアルゴリズムでは、あらかじめ決定された最大量の計算資源の割り当てをシミュレートすることで安全性をテストし、資源の割り当て継続するかどうかを決定する前に、遅延されたデッドロックが発生する条件に対する「安全状態」のチェックを行う。 このアルゴリズムは、THE オペレーティングシステムを設計する過程で考案された。もともとは(オランダ語で) EWD108 に記述されていたもので、この名前は銀行家が流動性の制約を説明する方法から取られている。 (ja)
- L'algoritmo del banchiere è un algoritmo utilizzato per evitare deadlock nell'allocazione delle risorse. In particolare questo algoritmo può indicare se un sistema - in particolare un sistema operativo - si ritroverebbe in uno o meno nel caso assegnasse una risorsa ad uno dei processi richiedenti. La complessità computazionale di questo algoritmo è , dove è il numero di processi e il numero di tipi di risorse (per ogni tipo possono essere disponibili più risorse - per esempio, due stampanti equivalenti, porte di comunicazione, ecc.). (it)
- 银行家算法（Banker's Algorithm）是一个避免死锁（Deadlock）的著名算法，是由艾兹赫尔·戴克斯特拉在1965年为T.H.E作業系統设计的一种避免死結產生的演算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。 (zh)
- L' Algorisme del banquer, dins l'entorn de sistemes operatius és una forma d'evitar l'interbloqueig, proposada per primera vegada per Edsger Dijkstra. És un apropament teòric per evitar els interbloquejos en la planificació de recursos. Requereix conèixer amb anticipació els recursos que seran utilitzats per tots els processos. Això últim generalment no es pot satisfer en la pràctica. Així, l'ús d'aquest tipus d'algorisme permet impedir l'interbloquejos, però suposa una sèrie de restriccions: (ca)
- Banker's algorithm, sometimes referred to as the detection algorithm, is a resource allocation and deadlock avoidance algorithm developed by Edsger Dijkstra that tests for safety by simulating the allocation of predetermined maximum possible amounts of all resources, and then makes an "s-state" check to test for possible deadlock conditions for all other pending activities, before deciding whether allocation should be allowed to continue. (en)
- El Algoritmo del banquero, en sistemas operativos es una forma de evitar el interbloqueo, propuesta por primera vez por Edsger Dijkstra. Es un acercamiento teórico para evitar los interbloqueos en la planificación de recursos. Requiere conocer con anticipación los recursos que serán utilizados por todos los procesos. Esto último generalmente no puede ser satisfecho en la práctica. Así, el uso de este tipo de algoritmo permite impedir el interbloqueo, pero supone una serie de restricciones: (es)
- Der Bankieralgorithmus (englisch Banker's algorithm) geht auf Edsger W. Dijkstra (1965) zurück und wird zur Vermeidung von Verklemmungen (deadlock) genutzt. Dazu werden die verfügbaren Ressourcen und die Prozesse aufgelistet. Die Ressourcen gliedern sich in gesamte Ressourcen und verfügbare Ressourcen. Die Prozesse erhalten ebenfalls zwei Eigenschaften: Zum einen die Ressourcen, die bereits besetzt werden, zum anderen die noch benötigten Ressourcen. (de)
- Algorytm bankiera – algorytm służący do alokacji zasobów w taki sposób, aby uniknąć zakleszczeń. Jego autorem jest Edsger Dijkstra. Algorytm ten był po raz pierwszy wykorzystany w systemie operacyjnym zwanym , a opisany został w języku niderlandzkim w książce pt. Een algorithme ter vooikoming van de dodelijke omarming. Algorytm bankiera stosowany jest przez system operacyjny kiedy jakikolwiek proces zażąda zasobu. Zapobiega on wystąpieniu zakleszczeń przez odmówienie lub zawieszenie dostępu do zasobu w przypadku, gdyby dostęp do tego zasobu mógł spowodować wejście systemu w stan niebezpieczny. (pl)
- O Algoritmo do banqueiro é um algoritmo de alocação de recursos com prevenção de impasses desenvolvido por Edsger Dijkstra que testa a segurança pela simulação da alocação do máximo pré-determinado possível de montantes de todos os recursos computacionais, e em seguida faz uma verificação de estados-seguros para testar a possibilidade de condições de impasse para todas as outras atividades pendentes, antes de decidir se a alocação deve prosseguir. (pt)
- Алгоритм банкіра — алгоритм, винайдений Едсгером Дейкстрою, який призначений для уникнення взаємних блокувань під час розподілу ресурсів. Він досліджує можливий розвиток подій шляхом відтворення розподілу заздалегідь визначеної кількості ресурсів, і тоді робить перевірку на безпечність стану з метою дослідження на можливі умови взаємних блокувань для всіх інших очікуючих активностей, перед прийняттям рішення чи можна дозволити подальший розподіл. (uk)
|
| has abstract
| - L' Algorisme del banquer, dins l'entorn de sistemes operatius és una forma d'evitar l'interbloqueig, proposada per primera vegada per Edsger Dijkstra. És un apropament teòric per evitar els interbloquejos en la planificació de recursos. Requereix conèixer amb anticipació els recursos que seran utilitzats per tots els processos. Això últim generalment no es pot satisfer en la pràctica. Aquest algorisme usualment és explicat usant l'analogia amb el funcionament d'un banc. Els clients representen els processos, que tenen un crèdit límit, i els diners representa els recursos. El banquer és el sistema operatiu. El banc confia que no haurà de permetre a tots els seus clients la utilització de tot el seu crèdit a la vegada. El banc també assumeix que si un client maximitza el seu crèdit serà capaç d'acabar els seus negocis i tornar els diners a l'entitat, permetent servir altres clients. L'algorisme manté el sistema en un estat segur . Un sistema es troba en un estat segur si hi ha un ordre en que poden concedir les peticions de recursos a tots els processos, prevenint l'interbloqueig. L'algorisme del banquer funciona trobant estats d'aquest tipus. Els processos demanen recursos, i són complaguts sempre que el sistema es mantingui en un estat segur després de la concessió. En cas contrari, el procés és suspès fins que un altre procés alliberi recursos suficients. En termes més formals, un sistema es troba en un estat segur si hi ha una seqüència segura. Una seqüència segura és una successió de processos, ,..., , on per un procés , la comanda de recursos pot ser satisfet amb els recursos disponibles sumats els recursos que estan sent utilitzats per , on j , ha d'esperar fins que algun procés acabi la seva execució i alliberi els seus recursos. Tot just llavors podrà prendre els recursos necessaris, utilitzar-los i acabar la seva execució. En succeir això, el procés i+1 pot prendre els recursos que necessiti, i així successivament. Si una seqüència d'aquest tipus no existeix, el sistema es diu que està en un estat insegur , encara que això no implica que estigui bloquejat. Així, l'ús d'aquest tipus d'algorisme permet impedir l'interbloquejos, però suposa una sèrie de restriccions:
* S'ha de conèixer la màxima demanda de recursos per anticipat.
* Els processos han de ser independents, és a dir que puguin ser executats en qualsevol ordre. Per tant la seva execució no ha d'estar forçada per condicions de sincronització.
* Hi ha d'haver un nombre fix de recursos a utilitzar i un nombre fix de processos.
* Els processos no poden finalitzar mentre retinguin recursos. (ca)
- Der Bankieralgorithmus (englisch Banker's algorithm) geht auf Edsger W. Dijkstra (1965) zurück und wird zur Vermeidung von Verklemmungen (deadlock) genutzt. Dazu werden die verfügbaren Ressourcen und die Prozesse aufgelistet. Die Ressourcen gliedern sich in gesamte Ressourcen und verfügbare Ressourcen. Die Prozesse erhalten ebenfalls zwei Eigenschaften: Zum einen die Ressourcen, die bereits besetzt werden, zum anderen die noch benötigten Ressourcen. Dann werden alle Prozesse – sofern die Ausführung möglich ist – nacheinander abgearbeitet und die belegten den verfügbaren Ressourcen zugeführt. Nach Ausführung des Algorithmus steht fest, ob eine Verklemmung vermeidbar ist oder nicht. Kommt der Bankieralgorithmus zu einem erfolgreichen Ende, kann unter Umständen durch unbedachte Ausführungsreihenfolge der Prozesse trotzdem eine Verklemmung entstehen. (de)
- Banker's algorithm, sometimes referred to as the detection algorithm, is a resource allocation and deadlock avoidance algorithm developed by Edsger Dijkstra that tests for safety by simulating the allocation of predetermined maximum possible amounts of all resources, and then makes an "s-state" check to test for possible deadlock conditions for all other pending activities, before deciding whether allocation should be allowed to continue. The algorithm was developed in the design process for the THE operating system and originally described (in Dutch) in EWD108. When a new process enters a system, it must declare the maximum number of instances of each resource type that it may ever claim; clearly, that number may not exceed the total number of resources in the system. Also, when a process gets all its requested resources it must return them in a finite amount of time. (en)
- El Algoritmo del banquero, en sistemas operativos es una forma de evitar el interbloqueo, propuesta por primera vez por Edsger Dijkstra. Es un acercamiento teórico para evitar los interbloqueos en la planificación de recursos. Requiere conocer con anticipación los recursos que serán utilizados por todos los procesos. Esto último generalmente no puede ser satisfecho en la práctica. Este algoritmo usualmente es explicado usando la analogía con el funcionamiento de un banco. Los clientes representan a los procesos, que tienen un crédito límite, y el dinero representa a los recursos. El banquero es el sistema operativo. El banco confía en que no tendrá que permitir a todos sus clientes la utilización de todo su crédito a la vez. El banco también asume que si un cliente maximiza su crédito será capaz de terminar sus negocios y devolver el dinero a la entidad, permitiendo servir a otros clientes. El algoritmo mantiene al sistema en un estado seguro. Un sistema se encuentra en un estado seguro si existe un orden en que pueden concederse las peticiones de recursos a todos los procesos, previniendo el interbloqueo. El algoritmo del banquero funciona encontrando estados de este tipo. Los procesos piden recursos, y son complacidos siempre y cuando el sistema se mantenga en un estado seguro después de la concesión. De lo contrario, el proceso es suspendido hasta que otro proceso libere recursos suficientes. En términos más formales, un sistema se encuentra en un estado seguro si existe una secuencia segura. Una secuencia segura es una sucesión de procesos, ,..., , donde para un proceso , el pedido de recursos puede ser satisfecho con los recursos disponibles sumados los recursos que están siendo utilizados por , donde j < i. Si no hay suficientes recursos para el proceso , debe esperar hasta que algún proceso termine su ejecución y libere sus recursos. Entonces podrá tomar los recursos necesarios, utilizarlos y terminar su ejecución. Al suceder esto, el proceso i+1 puede tomar los recursos que necesite, y así sucesivamente. Si una secuencia de este tipo no existe, el sistema se dice que está en un estado inseguro, aunque esto no implica que esté bloqueado. Así, el uso de este tipo de algoritmo permite impedir el interbloqueo, pero supone una serie de restricciones:
* Se debe conocer la máxima demanda de recursos por anticipado.
* Los procesos deben ser independientes, es decir que puedan ser ejecutados en cualquier orden. Por lo tanto su ejecución no debe estar forzada por condiciones de sincronización.
* Debe haber un número fijo de recursos a utilizar y un número fijo de procesos.
* Los procesos no pueden finalizar mientras retengan recursos. (es)
- L'algorithme du banquier est un algorithme qui a été mis au point par Edsger Dijkstra en 1965 pour éviter les problèmes d'interblocage et gérer l'allocation des ressources. Cet algorithme est nommé ainsi car il reproduit le modèle du prêt à des clients par un banquier. (fr)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)