| Attributes | Values |
|---|
| rdfs:label
| - Vivacité (informatique) (fr)
- Liveness (en)
- 라이브니스 (ko)
- ライブネス (ja)
- Liveness (pt)
|
| rdfs:comment
| - ライブネスとは、並行システムの特性の1つで、同時実行されるコンポーネント（プロセス）がクリティカルセクション（複数のプロセスが同時に実行できないプログラムの部分）で「交代」しなければならないにもかかわらず、システムが進行することを意味する。ライブネスの保証は、オペレーティングシステムや分散システムにおいて重要な特性である。 より一般的には「何か良いことが最終的に起こる」ことを示すのがライブネス特性であり、「何か悪いことが起こらない」ことを示すのが安全性特性である。安全特性に違反した場合、その違反（「悪い」イベントの発生）を示す有限実行が必ず存在するが、ライブネス特性は、分散システムの有限実行では、「良い」イベントが後になっても発生する可能性があるため、違反できない。最終的な一貫性はライブネス特性の一例である。すべての線形時間特性は、安全性特性とライブネス特性の交点として表すことができる。与えられた安全性特性の違反が有限の目撃者を認めるのに対し、ライブネス特性の違反は、証明として使用できる有限の目撃者がいないため、立証が困難な場合がある。 (ja)
- 동시성 컴퓨팅에서 라이브니스란, 시스템에서 동시에 실행되는 구성 요소("프로세스")가 임계 영역(여러 프로세스에 의해 동시에 실행될 수 없는 프로그램의 일부분)으로 "교대로 전환"해야 한다는 사실에도 불구하고 시스템이 진행되도록 하는 동시성 시스템 속성의 한 집합을 나타낸다. 라이브니스 보장은 운영 체제와 분산 시스템에 있어 중요한 속성이다. 라이브니스 속성은 실행 종료 이후 어떤 시점에 "좋은" 이벤트가 이론 상 일어날 수 있기 때문에 분산 시스템의 유한 실행 내에서 위반될 수 없다. 결과의 무결성은 라이브니스 프로퍼티의 한 예이다. 모든 속성들은 안전성과 라이브니스 속성의 교차점으로 표현될 수 있다. (ko)
- Em programação concorrente, o Liveness se refere a um conjunto de propriedades de sistemas concorrentes, que requerem que um sistema progrida, apesar do fato de que seus componentes em execução simultânea (chamados "processos") podem ter que "revezar" em seções críticas, ou partes do programa que não pode ser executado simultaneamente por vários outros processos. A garantias do Liveness são propriedades importantes em sistemas operacionais e em sistemas distribuídos. (pt)
- En programmation concurrente, la vivacité est le fait pour un système de garantir qu'une propriété sera vraie dans un système à partir d'une certaine étape de l'exécution. Par exemple, dans un algorithme d'exclusion mutuelle, une propriété de vivacité est : inéluctablement, tout processus qui le demande entre en section critique. L'équivalent en algorithmique séquentielle (c'est-à-dire non concurrente) est la terminaison. L'autre grand type de propriété de programmes est la sûreté. (fr)
|
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Wikipage redirect
| |
| sameAs
| |
| has abstract
| - En programmation concurrente, la vivacité est le fait pour un système de garantir qu'une propriété sera vraie dans un système à partir d'une certaine étape de l'exécution. Par exemple, dans un algorithme d'exclusion mutuelle, une propriété de vivacité est : inéluctablement, tout processus qui le demande entre en section critique. L'équivalent en algorithmique séquentielle (c'est-à-dire non concurrente) est la terminaison. Souvent, ce type de propriété est vérifié sous une condition d'équité : par exemple, on va garantir la terminaison d'un programme parallèle sous la condition que l'ordonnanceur soit équitable. L'autre grand type de propriété de programmes est la sûreté. (fr)
- ライブネスとは、並行システムの特性の1つで、同時実行されるコンポーネント（プロセス）がクリティカルセクション（複数のプロセスが同時に実行できないプログラムの部分）で「交代」しなければならないにもかかわらず、システムが進行することを意味する。ライブネスの保証は、オペレーティングシステムや分散システムにおいて重要な特性である。 より一般的には「何か良いことが最終的に起こる」ことを示すのがライブネス特性であり、「何か悪いことが起こらない」ことを示すのが安全性特性である。安全特性に違反した場合、その違反（「悪い」イベントの発生）を示す有限実行が必ず存在するが、ライブネス特性は、分散システムの有限実行では、「良い」イベントが後になっても発生する可能性があるため、違反できない。最終的な一貫性はライブネス特性の一例である。すべての線形時間特性は、安全性特性とライブネス特性の交点として表すことができる。与えられた安全性特性の違反が有限の目撃者を認めるのに対し、ライブネス特性の違反は、証明として使用できる有限の目撃者がいないため、立証が困難な場合がある。 (ja)
- 동시성 컴퓨팅에서 라이브니스란, 시스템에서 동시에 실행되는 구성 요소("프로세스")가 임계 영역(여러 프로세스에 의해 동시에 실행될 수 없는 프로그램의 일부분)으로 "교대로 전환"해야 한다는 사실에도 불구하고 시스템이 진행되도록 하는 동시성 시스템 속성의 한 집합을 나타낸다. 라이브니스 보장은 운영 체제와 분산 시스템에 있어 중요한 속성이다. 라이브니스 속성은 실행 종료 이후 어떤 시점에 "좋은" 이벤트가 이론 상 일어날 수 있기 때문에 분산 시스템의 유한 실행 내에서 위반될 수 없다. 결과의 무결성은 라이브니스 프로퍼티의 한 예이다. 모든 속성들은 안전성과 라이브니스 속성의 교차점으로 표현될 수 있다. (ko)
- Em programação concorrente, o Liveness se refere a um conjunto de propriedades de sistemas concorrentes, que requerem que um sistema progrida, apesar do fato de que seus componentes em execução simultânea (chamados "processos") podem ter que "revezar" em seções críticas, ou partes do programa que não pode ser executado simultaneamente por vários outros processos. A garantias do Liveness são propriedades importantes em sistemas operacionais e em sistemas distribuídos. (pt)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is foaf:primaryTopic
of | |
![[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)