### 抜粋

The study of concurrent processes with conflicts aecting concurrent execution has been long related to various geometric objects. In the special case of two processes and non-overlapping conflicts (definitions below) an instance of a problem is encoded by a permutation describing the conflict sets for the interacting processes. Further, it turns out that the set of increasing subsequences of the permutation describes the homotopy classes of the execution plans for the concurrent processes, an abstraction encoding one particular serialization of the executions of two processes. This motivates the study of random increasing subsequences of random permutations. Here, we give a large deviation principle which implies that such a subsequence never deviates too far from the identity permutation: a random serialization of two concurrent processes will not delay either process's access to shared resources too much at any given time. We then give an efficient exact algorithm for uniform random sampling of an increasing subsequence from a given permutation. Finally, we indicate how our results generalize to larger numbers of processes, wherein conflict sets may take on more interesting geometries.

元の言語 | 英語 |
---|---|

ページ（範囲） | 84-89 |

ページ数 | 6 |

ジャーナル | Performance Evaluation Review |

巻 | 45 |

発行部数 | 3 |

DOI | |

出版物ステータス | 出版済み - 3 20 2018 |

外部発表 | Yes |

イベント | 35th IFIP International Symposium on Computer Performance, Modeling, Measurements and Evaluation, IFIP WG 7.3 Performance 2017 - New York, 米国 継続期間: 11 13 2017 → 11 17 2017 |

### All Science Journal Classification (ASJC) codes

- Software
- Hardware and Architecture
- Computer Networks and Communications

## フィンガープリント Large deviations for increasing subsequences of permutations and a concurrency application' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

## これを引用

*Performance Evaluation Review*,

*45*(3), 84-89. https://doi.org/10.1145/3199524.3199538