Deadlock Analysis of Wait-Notify Coordination

Laneve Cosimo; Luca Padovani

通信Dans Un Congrès Anneée:2019年

等待通知协调的死锁分析

(1),

拉尼夫·科西莫

功能：奥特尔
人员ID:962063

博洛尼亚大学计算机科学与工程系

卢卡·帕多瓦尼

功能：奥特尔

Résumé

众所周知，对包含协调原语（wait、notify和notifyAll）的并发程序进行死锁分析非常困难。这些原语不仅影响进程的调度，而且与相应等待不匹配的通知也会自动丢失。我们为核心微积分设计了一个行为类型系统，该系统具有共享对象和类似Java的协调原语。类型系统基于一种简单的对象协议语言，称为usages，用于确定对象的使用是否可靠，从而保证无死锁。

与葡萄园

信息[cs] 信息后勤语言编程[cs.PL]

费歇尔校长

DAoWNC.pdf（704.51 Ko）

起源：菲奇尔斯制片人par l’（les）auteur（s）

拉尼夫·科西莫以下为：Connectez-vous浇注接触器le contributer

https://hal.science/hal-02430351

Soumis le:mardi 7 janvier 2020-11:43:16

Dernière修改le:jeudi 14 décembre 2023-13:56:06

日期和版本

哈尔-02430351，版本1 (07-01-2020)

身份证明人

HAL Id： hal-02430351，版本1

Citer公司

拉尼夫·科西莫（Laneve Cosimo）、卢卡·帕多瓦尼（Luca Padovani）。等待通知协调的死锁分析。计算系统建模的艺术：从逻辑和并发到安全和隐私的旅程——Catuscia Palamidessi 60岁生日之际的随笔2019年11月，法国巴黎。⟨哈尔-02430351⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

10 磋商

76 Télé收费