| タイトル | Detection of global state predicates |
| 本文（外部サイト） | http://hdl.handle.net/2060/19920007426 |
| 著者（英） | Marzullo, Keith; Neiger, Gil |
| 著者所属（英） | Cornell Univ. |
| 発行日 | 1991-11-01 |
| 言語 | eng |
| 内容記述 | The problem addressed here arises in the context of Meta: how can a set of processes monitor the state of a distributed application in a consistent manner? For example, consider the simple distributed application as shown here. Each of the three processes in the application has a light, and the control processes would each like to take an action when some specified subset of the lights are on. The application processes are instrumented with stubs that determine when the process turns its lights on or off. This information is disseminated to the control processes, each of which then determines when its condition of interest is met. Meta is built on top of the ISIS toolkit, and so we first built the sensor dissemination mechanism using atomic broadcast. Atomic broadcast guarantees that all recipients receive the messages in the same order and that this order is consistent with causality. Unfortunately, the control processes are somewhat limited in what they can deduce when they find that their condition of interest holds. |
| NASA分類 | COMPUTER SYSTEMS |
| レポートNO | 92N16644
NAS 1.26:189499
TR-91-1221
AD-A243444
NASA-CR-189499 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/128912 |
