Filters








110 Hits in 6.1 sec

Anonymous Obstruction-free (n,k)-Set Agreement with n-k+1 Atomic Read/Write Registers [article]

Zohir Bouzid, Pierre Sutra
<span title="2015-07-02">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
As it is optimal in the number of atomic read/write registers, this algorithm closes the gap on previously established lower/upper bounds for both the anonymous and non-anonymous versions of the repeated  ...  Considering a system of n anonymous asynchronous processes, which communicate through atomic read/write registers only, and where any number of processes may crash, this paper addresses and solves the  ...  Hence, solving repeated (n, k)-set agreement in an anonymous system does not require more atomic read/write registers than the base non-repeated version.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.00474v1">arXiv:1507.00474v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zzlmwj3oi5h23i4ll6qv5gef7a">fatcat:zzlmwj3oi5h23i4ll6qv5gef7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200901175202/https://arxiv.org/pdf/1507.00474v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c4/6d/c46de4350ff8229a3ce6c0935261800203c7eaf8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.00474v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Anonymous Obstruction-Free (n,k)-Set Agreement with n-k+1 Atomic Read/Write Registers

Zohir Bouzid, Michel Raynal, Pierre Sutra, Marc Herbstritt
<span title="2016-08-29">2016</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cism4u4i3jhmlkqr5j6mc3jemi" style="color: black;">International Conference on Principles of Distributed Systems</a> </i> &nbsp;
As it is optimal in the number of atomic read/write registers, this algorithm closes the gap on previously established lower/upper bounds for both the anonymous and non-anonymous versions of the repeated  ...  Considering a system of n anonymous asynchronous processes, which communicate through atomic read/write registers only, and where any number of processes may crash, this paper addresses and solves the  ...  Hence, solving repeated (n, k)-set agreement in an anonymous system does not require more atomic read/write registers than the base non-repeated version.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.opodis.2015.18">doi:10.4230/lipics.opodis.2015.18</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/opodis/BouzidRS15.html">dblp:conf/opodis/BouzidRS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nvvnyrpwdjfolbog3dioqohf3e">fatcat:nvvnyrpwdjfolbog3dioqohf3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200322063229/https://hal.inria.fr/hal-01169693/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/24/ad24c5535d26acc7b7bfb225da90575fa8304319.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.opodis.2015.18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Formal verification of concurrent programs with read-write locks

Ming Fu, Yu Zhang, Yong Li
<span title="2010-01-25">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lejplxv3urh7tijuaocipilkde" style="color: black;">Frontiers of Computer Science in China</a> </i> &nbsp;
Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks.  ...  Following CSL's local-reasoning idea, we develop a novel program logic to enforces weak separations of heap between different threads and support verification of concurrent programs with read-write locks  ...  Zhong Shao (Yale University) and anonymous referees for their suggestions and comments on an earlier version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11704-009-0067-6">doi:10.1007/s11704-009-0067-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/z3ss2gmzbbc4bdhzowigiokz3m">fatcat:z3ss2gmzbbc4bdhzowigiokz3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810143011/http://staff.ustc.edu.cn/~yuzhang/papers/fcs0910.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c9/c1/c9c100dedb8a3856db8929f2b61fc831f9856415.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11704-009-0067-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Atomic RMI 2: Highly Parallel Pessimistic Distributed Transactional Memory [article]

Konrad Siek, Paweł T. Wojciechowski
<span title="2016-06-13">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Distributed Transactional Memory (DTM) is an emerging approach to distributed synchronization based on the application of the transaction abstraction to distributed computation.  ...  We implement it as Atomic RMI 2, in effect producing a CF DTM system that, as our evaluation shows, can outperform a state-of-the-art non-CF DTM such as HyFlow2.  ...  Specifically, we use distributed mutual exclusion locks (marked Mutex) and read-write locks (R/W Locks), both custom-tailored and implemented on top of Java RMI.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1606.03928v1">arXiv:1606.03928v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gb72te65ufhkpopcfn2xurwhhy">fatcat:gb72te65ufhkpopcfn2xurwhhy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191019211846/https://arxiv.org/pdf/1606.03928v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/f6/9e/f69e223109b5018d0fdb29b1ce0bb71df76a9f4d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1606.03928v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

On the Cost of Concurrency in Transactional Memory [article]

Srivatsan Ravi
<span title="2015-11-05">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The Transactional Memory (TM) abstraction is proposed as such a mechanism: it intends to combine an easy-to-use programming interface with an efficient utilization of the concurrent-computing abilities  ...  Traditional techniques for synchronization are based on locking that provides threads with exclusive access to shared data.  ...  We say that a concurrent implementation of a given sequential data type is locally serializable if it ensures that the local execution of each operation is equivalent to some execution of its sequential  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.01779v1">arXiv:1511.01779v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ahlaq4z7dffklp7fiytspfmbti">fatcat:ahlaq4z7dffklp7fiytspfmbti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200923150800/https://arxiv.org/pdf/1511.01779v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/34/1134fa0f7e8f5a6341175d5d3cf53d23eee8476b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.01779v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

On the Cost of Concurrency in Transactional Memory [chapter]

Petr Kuznetsov, Srivatsan Ravi
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Eidesstattliche Erklärung Ich versichere an Eides statt, dass ich diese Dissertation selbständig verfasst und nur die angegebenen Quellen und Hilfsmittel verwendet habe.  ...  A TM implementation M is read-write disjoint-access parallel (RW DAP) if, for all executions E of M , transactions T i and T j contend on the same base object in E only if T i and T j are not read-write  ...  Read-write (RW) disjoint-access parallelism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-25873-2_9">doi:10.1007/978-3-642-25873-2_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7ehtxssf45abzc2bnigccm6evq">fatcat:7ehtxssf45abzc2bnigccm6evq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427163219/https://depositonce.tu-berlin.de/bitstream/11303/4857/1/ravi_srivatsan.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/44/50444a19b79cfbfe6f6d27ce24d2999cb50a4d67.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-25873-2_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Memory-Efficient Object-Oriented Programming on GPUs [article]

Matthias Springer
<span title="2019-08-16">2019</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Finally, we show how to further optimize the memory access of SMMO applications with memory defragmentation.  ...  We first develop an embedded C++ Structure of Arrays (SOA) data layout DSL for SMMO applications. We then design a lock-free, dynamic memory allocator that stores allocations in SOA layout.  ...  On GPUs, this is implemented in hardware: The memory controller coalesces memory reads/writes at run-time.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1908.05845v1">arXiv:1908.05845v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5o5fn5jcbbfjhl4ikg65tml7by">fatcat:5o5fn5jcbbfjhl4ikg65tml7by</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200909023806/https://arxiv.org/pdf/1908.05845v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ab/8d/ab8d01bfa4e51df8fbc44d974cba754a6e1d827d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1908.05845v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

In-Memory Big Data Management and Processing: A Survey

Hao Zhang, Gang Chen, Beng Chin Ooi, Kian-Lee Tan, Meihui Zhang
<span title="2015-07-01">2015</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ht3yl6qfebhwrg7vrxkz4gxv3q" style="color: black;">IEEE Transactions on Knowledge and Data Engineering</a> </i> &nbsp;
However, in-memory systems are much more sensitive to other sources of overhead that do not matter in traditional I/O-bounded disk-based systems.  ...  We are witnessing a revolution in the design of database systems that exploits main memory as its data storage layer.  ...  We would like to thank the anonymous reviewers, and also Bingsheng He, Eric Lo and Bogdan Marius Tudor, for their insightful comments and suggestions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tkde.2015.2427795">doi:10.1109/tkde.2015.2427795</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u7r3rtvhxbainfeazfduxcdwrm">fatcat:u7r3rtvhxbainfeazfduxcdwrm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150528065344/http://people.sutd.edu.sg:80/~meihui_zhang/papers/mem-survey.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/db/56/db56b874e8cc8f9283a3ac5eecf0f45049385763.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tkde.2015.2427795"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

MetaTM/TxLinux: Transactional Memory for an Operating System

H.E. Ramadan, C.J. Rossbach, D.E. Porter, O.S. Hofmann, A. Bhandari, E. Witchel
<span title="">2008</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/gvjkwgwwvnakpbfssxpqjozbqm" style="color: black;">IEEE Micro</a> </i> &nbsp;
MetaTM contains features that enable efficient and correct interrupt handling for an x86-like architecture.  ...  TxLinux is a Linux kernel modified to use transactions in place of locking primitives in several key subsystems. We run TxLinux on MetaTM, which is a new hardware transaction memory (HTM) model.  ...  MetaTM uses eager version management (new values are stored in place) and eager conflict detection: the first detection of a conflicting read/write to the same address will cause transactions to restart  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mm.2008.10">doi:10.1109/mm.2008.10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zgc6mit5dzchznc2pevpjgpic4">fatcat:zgc6mit5dzchznc2pevpjgpic4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170830050333/http://www.win.tue.nl/~tozceleb/2IN05/essay_collection/11%20MetaTM%20TxLinux%20Transactional%20Memory%20For%20An%20Operating.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5c/64/5c6489cf0aced4e0016875488d9fa2b98ef1344e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mm.2008.10"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Transmuter

Subhankar Pal, Siying Feng, Dong-hyeon Park, Sung Kim, Aporva Amarnath, Chi-Sheng Yang, Xin He, Jonathan Beaumont, Kyle May, Yan Xiong, Kuba Kaszyk, John Magnus Morton (+8 others)
<span title="2020-09-30">2020</span> <i title="ACM"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i2tihayjsjhmhmrqaqe2apcipy" style="color: black;">Proceedings of the ACM International Conference on Parallel Architectures and Compilation Techniques</a> </i> &nbsp;
Transmuter adapts to changing kernel characteristics, such as data reuse and control divergence, through the ability to reconfigure the on-chip memory type, resource sharing and dataflow at run-time within  ...  This is facilitated by a fabric of light-weight cores connected to a network of reconfigurable caches and crossbars.  ...  ACKNOWLEDGMENTS We thank the anonymous reviewers for their helpful feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3410463.3414627">doi:10.1145/3410463.3414627</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEpact/PalFPKAYHBMXKMS20.html">dblp:conf/IEEEpact/PalFPKAYHBMXKMS20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kwsaun2g65b6jl6mdqrhgiv7yq">fatcat:kwsaun2g65b6jl6mdqrhgiv7yq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428204811/https://www.pure.ed.ac.uk/ws/files/164483167/Transmuter_PAL_DOA24072020_AFV.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8f/b1/8fb1672ff15945ad9e64c834fa4647ed54b65a3c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3410463.3414627"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Hardware RTOS: Custom Scheduler Implementation Based on Multiple Pipeline Registers and MIPS32 Architecture

Ionel Zagan, Vasile Găitan
<span title="2019-02-14">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ikdpfme5h5egvnwtvvtjrnntyy" style="color: black;">Electronics</a> </i> &nbsp;
This paper presents an original implementation of a dedicated processor, based on multiple pipeline registers, and a hardware support for a dynamic scheduler with the following characteristics: performs  ...  Through dedicated instructions, the integrated hardware scheduler implements tasks synchronization with multiple prioritized events, thus ensuring an efficient functioning of the processor in the context  ...  Acknowledgments: The authors would like to thank the editor and the anonymous reviewers for their valuable comments and suggestions that improved the quality of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics8020211">doi:10.3390/electronics8020211</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qeb357rxqfdg5e7qynib2nknxu">fatcat:qeb357rxqfdg5e7qynib2nknxu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503120343/https://res.mdpi.com/electronics/electronics-08-00211/article_deploy/electronics-08-00211.pdf?filename=&amp;attachment=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dd/a7/dda741638b0859c650ac05766d23209fbd71fc69.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/electronics8020211"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

An Overview of the nMPRA and nHSE Microarchitectures for Real-Time Applications

Vasile Gheorghiță Găitan, Ionel Zagan
<span title="2021-06-30">2021</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
of the use of processor hardware, and the improvement of architectures and real-time operating systems (RTOSs).  ...  In the context of real-time control systems, it has become possible to obtain temporal resolutions of microseconds due to the development of embedded systems and the Internet of Things (IoT), the optimization  ...  Acknowledgments: The authors would like to thank the editor and the anonymous reviewers for reviewing our manuscript. Conflicts of Interest: The authors declare no conflict of interest.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s21134500">doi:10.3390/s21134500</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/34209323">pmid:34209323</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3xv73t4ujzgq7beod7l2pzbywq">fatcat:3xv73t4ujzgq7beod7l2pzbywq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210714223039/https://res.mdpi.com/d_attachment/sensors/sensors-21-04500/article_deploy/sensors-21-04500-v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/9e/c0/9ec069148b09922529c24e04c5e8965bf3f386ca.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s21134500"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification [article]

Liangze Yin, Wei Dong, Wanwei Liu, Ji Wang
<span title="2018-04-03">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
In addition, to obtain an effective refinement, we have devised two graph-based algorithms over event order graph for counterexample validation and refinement generation, which can always obtain a small  ...  encoding of BMC.  ...  A counterexample π is an execution of the abstraction that falsi es the property. It de nes a trace for each thread and the read-write relationship among the "reads" and "writes" occurring in π .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1708.08323v2">arXiv:1708.08323v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jl4d2mkbpfaupifkctk6yb72de">fatcat:jl4d2mkbpfaupifkctk6yb72de</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191020134752/https://arxiv.org/pdf/1708.08323v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/72/d0/72d0cb4b8845964bf56a5c66466de38bb5c3ce26.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1708.08323v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Deadlock and starvation free reentrant readers–writers: A case study combining model checking with theorem proving

Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko van Eekelen
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hq6x4whtd5hhlhsxzculyeamey" style="color: black;">Science of Computer Programming</a> </i> &nbsp;
We considered an existing widely used industrial implementation of the reentrant readers-writers problem.  ...  To achieve a correctness result for an arbitrary number of processes the model was converted to a specification that was proven with a theorem prover. Furthermore, we studied starvation.  ...  Acknowledgements We want to thank the reviewers of this paper for their helpful advice and their constructive comments and corrections. They helped us to considerably improve our paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2010.03.004">doi:10.1016/j.scico.2010.03.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/b55ofhzrbvddfgfg5iorbq5omq">fatcat:b55ofhzrbvddfgfg5iorbq5omq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190415133542/https://core.ac.uk/download/pdf/82467563.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/5a/d85aff5d3061f2decfce64d9a39d331e0f7cb515.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.scico.2010.03.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Aerie

Haris Volos, Sanketh Nalli, Sankarlingam Panneerselvam, Venkatanathan Varadarajan, Prashant Saxena, Michael M. Swift
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m52bwee6j5hgxdqcfnxtfxy5we" style="color: black;">Proceedings of the Ninth European Conference on Computer Systems - EuroSys &#39;14</a> </i> &nbsp;
We find that the existing kernel-based stack of components, well suited for disks, unnecessarily limits the design and implementation of file systems for this new technology.  ...  Storage-class memory technologies such as phase-change memory and memristors present a radically different interface to storage than existing block devices.  ...  We thank Andrea Arpaci-Dusseau, Kim Keeton, Harumi Kuno, and Brad Morrey for their feedback on earlier drafts of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2592798.2592810">doi:10.1145/2592798.2592810</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/eurosys/VolosNPVSS14.html">dblp:conf/eurosys/VolosNPVSS14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/okmbuwwi3ngmxp2r54zconjtw4">fatcat:okmbuwwi3ngmxp2r54zconjtw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180128142834/http://pages.cs.wisc.edu:80/~swift/papers/eurosys14-aerie.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d0/a8/d0a800a274e12a65c70c1e4dc0b30d537ab6e3a5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2592798.2592810"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 110 results