Filters








16,680 Hits in 5.1 sec

Using differential execution analysis to identify thread interference

Mohamed Said Mosli Bouksiaa, Francois Trahay, Alexis Lescouet, Gauthier Voron, Remi Dulong, Amina Guermouche, Elisabeth Brunet, Gael Thomas
<span title="">2019</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ll6bfs5o6bahfinh3u5z2cnyoy" style="color: black;">IEEE Transactions on Parallel and Distributed Systems</a> </i> &nbsp;
Understanding the performance of a multi-threaded application is difficult. The threads interfere when they access the same shared resource, which slows down their execution.  ...  Our metric uses performance variation as a universal indicator of interference problems.  ...  In this paper, we propose the SCI score that use differential execution to automatically identify thread interference.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpds.2019.2927481">doi:10.1109/tpds.2019.2927481</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iik5lktlh5gtpoh5b5siknrq6m">fatcat:iik5lktlh5gtpoh5b5siknrq6m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200311121947/https://hal.archives-ouvertes.fr/hal-02179717/file/tpds_final.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/bb/4e/bb4e9905a7a411cfed46e3a18da1e73fdd8fa2b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpds.2019.2927481"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools

Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk
<span title="">2012</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ttq32n6ujhkxfb7h22ytvohp4" style="color: black;">Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012</a> </i> &nbsp;
To address this problem we propose a new benchmark of concurrent Java programs that is constructed using combinatorial test design.  ...  of the kinds of concurrency programs that are used in practice.  ...  Static Analysis Static analysis bug detection tools identify potential bugs without executing the program.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2338967.2336812">doi:10.1145/2338967.2336812</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/issta/BradburySFJK12.html">dblp:conf/issta/BradburySFJK12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tjqomxlxirherljprnknlp2raa">fatcat:tjqomxlxirherljprnknlp2raa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130108012254/http://faculty.uoit.ca/bradbury/sqrlab/papers/PADTAD2012/PADTAD2012.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/d2/9a/d29a70a30496fe6f6398e78bd45d05ccadd1741b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2338967.2336812"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Flow-sensitive composition of thread-modular abstract interpretation

Markus Kusano, Chao Wang
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016</a> </i> &nbsp;
These interference constraints are lightweight since they only refer to the execution order of program statements as opposed to their numerical properties: they can be decided efficiently using an off-the-shelf  ...  We propose a constraint-based flow-sensitive static analysis for concurrent programs by iteratively composing thread-modular abstract interpreters via the use of a system of lightweight constraints.  ...  During this per-thread analysis, the transfer function of a load uses only ic to determine the environment to use.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2950290.2950291">doi:10.1145/2950290.2950291</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/Kusano016.html">dblp:conf/sigsoft/Kusano016</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/fhcnmxhehnhubbncevvmiks22i">fatcat:fhcnmxhehnhubbncevvmiks22i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170627112607/http://www-bcf.usc.edu/~wang626/pubDOC/KusanoW16.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/e3/bb/e3bb0414a12f15ed48a468b5ed49203a8e0d9197.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2950290.2950291"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Flow-Sensitive Composition of Thread-Modular Abstract Interpretation [article]

Markus Kusano, Chao Wang
<span title="2017-09-28">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
These interference constraints are lightweight since they only refer to the execution order of program statements as opposed to their numerical properties: they can be decided efficiently using an off-the-shelf  ...  We propose a constraint-based flow-sensitive static analysis for concurrent programs by iteratively composing thread-modular abstract interpreters via the use of a system of lightweight constraints.  ...  During this per-thread analysis, the transfer function of a load uses only ic to determine the environment to use.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1709.10116v1">arXiv:1709.10116v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pqpu7mcx7veg5gl5sgkar6os2i">fatcat:pqpu7mcx7veg5gl5sgkar6os2i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200905063916/https://arxiv.org/pdf/1709.10116v1.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/0b/7a/0b7aa206c8964db547c64bb30119723e5c637240.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1709.10116v1" 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>

smt-SPRINTS: Software Precomputation with Intelligent Streaming for Resource-Constrained SMTs [chapter]

Tanping Wang, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos
<span title="">2005</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;
SPRINTS extracts patterns from the streams, which are in turn used to generate source-level, highly optimized precomputation code.  ...  We present SPRINTS, a source-level speculative precomputation framework for scientific applications running on SMTs with two execution contexts.  ...  Another reason for using this approach is that precomputation threads interfere with their sibling computation threads, sharing execution units and other resources in the processor.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11549468_78">doi:10.1007/11549468_78</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hacju36bovabbfwtzdxx2bxeku">fatcat:hacju36bovabbfwtzdxx2bxeku</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060905151736/http://www.cs.wm.edu/%7Ecda/europar05.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/f3/be/f3be5f0b21d33e2407571bf3d05d4d28ee47c70f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11549468_78"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Response-Time Analysis for Task Chains in Communicating Threads

Johannes Schlatow, Rolf Ernst
<span title="">2016</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bb6eqaqalrhaffew6gpk6h6wue" style="color: black;">2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)</a> </i> &nbsp;
When mapped to software components, functional chains often result in communicating threads.  ...  We evaluated the extended busy-window analysis in a compositional performance analysis using synthetic test cases and a realistic automotive use case showing far tighter response-time bounds than current  ...  Different markers are used in order to differentiate the experiments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtas.2016.7461359">doi:10.1109/rtas.2016.7461359</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtas/SchlatowE16.html">dblp:conf/rtas/SchlatowE16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xyblvsdnlbhpvmghjnmocf2ndm">fatcat:xyblvsdnlbhpvmghjnmocf2ndm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190428164031/https://publikationsserver.tu-braunschweig.de/servlets/MCRFileNodeServlet/dbbs_derivate_00044419/ResponseTime2016.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/6e/d0/6ed07649c4b9526f7f260d843768b06db3540464.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/rtas.2016.7461359"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Pointer analysis for structured parallel programs

Radu Rugina, Martin C. Rinard
<span title="2003-01-01">2003</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4hplau6wtnhnfnqt2t7vbri6vm" style="color: black;">ACM Transactions on Programming Languages and Systems</a> </i> &nbsp;
We have implemented the algorithm in the SUIF compiler system and used the implementation to analyze a set of multithreaded programs written in the Cilk programming language.  ...  The algorithm is designed to handle programs with structured parallel constructs, including fork-join constructs, parallel loops, and conditionally spawned threads.  ...  This set will be used to compute the interference graph for the analysis of other threads that may execute in parallel with the current thread. Definition 3.2.1.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/596980.596982">doi:10.1145/596980.596982</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vrjx4lncvrdcphrb7unkkfhvee">fatcat:vrjx4lncvrdcphrb7unkkfhvee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20060915163241/http://cag-www.lcs.mit.edu/~rinard/paper/toplas03PointerAnalysis.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/39/86/39867c7d684e77377f03d4f83e5dadf4acd8d61b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/596980.596982"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Static Detection of Atomicity Violations in Object-Oriented Programs

Christoph von Praun, Thomas R. Gross
<span title="">2004</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
We have developed a static analysis that infers atomicity constraints and identifies potential violations. The analysis is based on an abstract model of threads and data.  ...  A symbolic execution tracks object locking and access and provides information that is finally used to determine potential violations of atomicity.  ...  Acknowledgments We thank Cyrille Artho for helpful discussions and Matteo Corti and Florian Schneider for their contributions to the compiler system.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2004.3.6.a5">doi:10.5381/jot.2004.3.6.a5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4rilbjmg3fd3deret5oc7qsani">fatcat:4rilbjmg3fd3deret5oc7qsani</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809112744/http://www.lst.ethz.ch/research/publications/FTFJP_2003/FTFJP_2003.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/35/d5/35d567972ffe9684034eb4d0ba888eabfe7b0f80.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2004.3.6.a5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Production-guided concurrency debugging

Nuno Machado, Brandon Lucia, Luís Rodrigues
<span title="">2016</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/a3hx753rrfdorizx3a3ovuee4y" style="color: black;">Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP &#39;16</a> </i> &nbsp;
Production-guided search helps cope with the large execution search space by targeting failing executions that are similar to observed non-failing executions.  ...  Evaluation on popular benchmarks shows that Cortex is able to expose failing schedules with only a few perturbations to non-failing executions, and takes a practical amount of time.  ...  Acknowledgements We would like to thank our shepherd Murali Ramanathan and the anonymous reviewers for their invaluable feedback.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2851141.2851149">doi:10.1145/2851141.2851149</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ppopp/MachadoLR16.html">dblp:conf/ppopp/MachadoLR16</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2ko5kv2jcvcaxkmxbf4dlar2lq">fatcat:2ko5kv2jcvcaxkmxbf4dlar2lq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190501172240/https://repositorio.inesctec.pt/bitstream/123456789/4377/1/P-00K-CVD.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/6c/d86cd245f5ea6d49ad878894469cbdba7d1021e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2851141.2851149"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Demystifying the Real-Time Linux Scheduling Latency

Daniel Bristot de Oliveira, Daniel Casini, Rômulo Silva de Oliveira, Tommaso Cucinotta, Marcus Völp
<span title="2020-06-30">2020</span> <i title="Schloss Dagstuhl - Leibniz-Zentrum für Informatik"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2zm4ggc525ejnjqnwf3k4zbp74" style="color: black;">Euromicro Conference on Real-Time Systems</a> </i> &nbsp;
This paper also presents a tracing method, efficient in time and memory overheads, to observe the kernel events needed to define the variables used in the analysis.  ...  This results in an easy-to-use tool for deriving reliable scheduling latency bounds that can be used in practice.  ...  In the model, these events are used to identify the begin and the return of an IRQ execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecrts.2020.9">doi:10.4230/lipics.ecrts.2020.9</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecrts/OliveiraCOC20.html">dblp:conf/ecrts/OliveiraCOC20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vpq7ajmnerhpnbipabyyut7pbu">fatcat:vpq7ajmnerhpnbipabyyut7pbu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201211091036/https://drops.dagstuhl.de/opus/volltexte/2020/12372/pdf/LIPIcs-ECRTS-2020-9.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/95/bd/95bd048728fadaccd58b33768f780ee41bc5fa37.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.ecrts.2020.9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

CLUE: System trace analytics for cloud service performance diagnosis

Hui Zhang, Junghwan Rhee, Nipun Arora, Sahan Gamage, Guofei Jiang, Kenji Yoshihira, Dongyan Xu
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cy5l7lbhpvcppakk5vhwjykq2u" style="color: black;">2014 IEEE Network Operations and Management Symposium (NOMS)</a> </i> &nbsp;
CLUE further offers a set of analytic tools for summarizing and analyzing event sketches by integrating data mining and statistical analysis. Server 2008) .  ...  If threads interfere each other due to a synchronization problem, event sequences corresponding to such symptoms can have high idle time with a varying degree due to interference each other.  ...  The identified behavior is illustrated in Figure 10 . The arrows visualize fork activity and each row represents the execution of a thread.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/noms.2014.6838348">doi:10.1109/noms.2014.6838348</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/noms/ZhangRAGJYX14.html">dblp:conf/noms/ZhangRAGJYX14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yhir44tcy5fjbkmvyzb3pe2afq">fatcat:yhir44tcy5fjbkmvyzb3pe2afq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200320182812/https://www.cs.purdue.edu/homes/dxu/pubs/NOMS14.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/b1/51/b15171c1e117d4f9209b1ad63d25bbfbc4f1362b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/noms.2014.6838348"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Reliable performance analysis of a multicore multithreaded system-on-chip

Simon Schliecker, Mircea Negrean, Gabriela Nicolescu, Pierre Paulin, Rolf Ernst
<span title="">2008</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4zelo33ojdfzbwajaf5qlthey" style="color: black;">Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis - CODES/ISSS &#39;08</a> </i> &nbsp;
We conduct performance analysis using the new analysis options and specifically benchmark the quality of the available approach.  ...  Formal performance analysis is now regularly applied in the design of distributed embedded systems such as automotive electronics, where it greatly contributes to an improved predictability and platform  ...  Please refer to [18] for more detailed modeling, i.e. differentiating τi'r requests from the interference by other tasks and options for request prioritization.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1450135.1450172">doi:10.1145/1450135.1450172</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/codes/SchlieckerNNPE08.html">dblp:conf/codes/SchlieckerNNPE08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yv5hezxobvh5dmrypgnztjj75i">fatcat:yv5hezxobvh5dmrypgnztjj75i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809022702/http://digisrv-1.biblio.etc.tu-bs.de:8080/docportal/servlets/MCRFileNodeServlet/DocPortal_derivate_00005032/Schliecker_Multicore-Multithreaded-System-on-Chip.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/e5/31/e531743a09694a14acb1dc94971f42ec0175150a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1450135.1450172"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An Interference Matrix Based Approach to Bounding Worst-Case Inter-Thread Cache Interferences and WCET for Multi-Core Processors

Jun Yan, Wei Zhang
<span title="2011-06-30">2011</span> <i title="Korean Institute of Information Scientists and Engineers"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xvozmuuqprbr3mvk4th3ep6pea" style="color: black;">Journal of Computing Science and Engineering</a> </i> &nbsp;
We propose to use an interference matrix to model inter-thread interference, on which basis we can calculate the worst-case inter-thread cache interference.  ...  Therefore, the multi-core worst-case execution time (WCET) an alyzer must be able to safely and accurately estimate the worst-case inter-thread cache interference.  ...  Another approach to obtaining WCET is to use static WCET analysis (simply termed WCET analysis).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5626/jcse.2011.5.2.131">doi:10.5626/jcse.2011.5.2.131</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bsem5dpcxjdt5atkz73bgt4o5e">fatcat:bsem5dpcxjdt5atkz73bgt4o5e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818063104/http://ocean.kisti.re.kr/downfile/volume/kiss/E1EIKI/2011/v5n2/E1EIKI_2011_v5n2_131.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/f7/51/f751cdccbc4efa4f993e9facacbcc265d482a0c8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5626/jcse.2011.5.2.131"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Using Aggressor Thread Information to Improve Shared Cache Management for CMPs

Wanli Liu, D. Yeung
<span title="">2009</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/i2tihayjsjhmhmrqaqe2apcipy" style="color: black;">2009 18th International Conference on Parallel Architectures and Compilation Techniques</a> </i> &nbsp;
But under high cache interference, LRU performs poorly because some memory-intensive threads, or aggressor threads, allocate cache that could be more gainfully used by other (less memory-intensive) threads  ...  We also modify AGGRESSOR-VT to permit adjusting the probability for victimizing aggressor threads, and use our sampling algorithm to learn the per-thread victimization probabilities that optimize system  ...  ACKNOWLEDGMENTS The authors would like to thank the anonymous reviewers for their helpful comments, and Aamer Jaleel, Bruce Jacob, Meng-Ju Wu, and Rajeev Barua for insightful discussion.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/pact.2009.13">doi:10.1109/pact.2009.13</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/IEEEpact/LiuY09.html">dblp:conf/IEEEpact/LiuY09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ke4rbiln4zafvm52zvquvctv4q">fatcat:ke4rbiln4zafvm52zvquvctv4q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100626013812/http://maggini.eng.umd.edu/pub/liu-pact09.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/b4/78/b47838f5d3f6fe88c2050b9981dac45d698f8f24.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/pact.2009.13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Diagnosing Performance Variations by Comparing Multi-Level Execution Traces

Francois Doray, Michel Dagenais
<span title="">2016</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ll6bfs5o6bahfinh3u5z2cnyoy" style="color: black;">IEEE Transactions on Parallel and Distributed Systems</a> </i> &nbsp;
Our comparison algorithm takes into account all threads that affect the completion time of analyzed executions.  ...  Differences are correlated with application code to facilitate the correction of identified problems.  ...  ACKNOWLEDGMENT This work was made possible thanks to the financial support of Ericsson and the Natural Sciences and Engineering Council of Canada (NSERC).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpds.2016.2567390">doi:10.1109/tpds.2016.2567390</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ewqjy3zytnaolcirywmayvk2t4">fatcat:ewqjy3zytnaolcirywmayvk2t4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721002453/https://publications.polymtl.ca/2961/1/2016_Doray_Diagnosing_performance_variations_comparing_multi-level.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/01/36/0136a44b0141ded52ad03dde6f12daf7a4966153.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tpds.2016.2567390"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 16,680 results