uu.seUppsala universitets publikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Context-Bounded Analysis of TSO Systems
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datorteknik.
LIAFA, CNRS and University of Paris Diderot. (Modeling and Verification)
University of Southampton.
2014 (engelsk)Inngår i: From Programs to Systems: The Systems perspective in Computing / [ed] Bensalem, S; Lakhneck, Y; Legay, A, Springer, 2014, s. 21-38Konferansepaper, Publicerat paper (Annet vitenskapelig)
Abstract [en]

We address the state reachability problem in concurrent programs running over the TSO weak memory model. This problem has been shown to be decidable with non-primitive recursive complexity in the case of finite-state threads. For recursive threads this problem is undecidable. The aim of this paper is to provide under-approximate analyses for TSO systems that are decidable and have better (elementary) complexity. We propose three bounding concepts for TSO behaviors that are inspired from the concept of bounding the number of context switches introduced by Qadeer and Rehof for the sequentially consistent (SC) model. We investigate the decidability and the complexity of the state reachability problems under these three bounding concepts for TSO, and provide reduction of these problems to known reachability problems of concurrent systems under the SC semantics.

sted, utgiver, år, opplag, sider
Springer, 2014. s. 21-38
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8415
Emneord [en]
weak memory models, under-approximation techniques
HSV kategori
Forskningsprogram
Datavetenskap
Identifikatorer
URN: urn:nbn:se:uu:diva-238133DOI: 10.1007/978-3-642-54848-2ISI: 000348370400002ISBN: 978-3-642-54847-5 (tryckt)ISBN: 978-3-642-54848-2 (tryckt)OAI: oai:DiVA.org:uu-238133DiVA, id: diva2:770097
Konferanse
Workshop on From Programs to Systems - The Systems Perspective in Computing (FPS) held in Honor of Joseph Sifakis, April 6, 2014, Grenoble, France
Prosjekter
UPMARCWeak Memory ModelsTilgjengelig fra: 2014-12-09 Laget: 2014-12-09 Sist oppdatert: 2015-03-11bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Atig, Mohamed Faouzi

Søk i DiVA

Av forfatter/redaktør
Atig, Mohamed Faouzi
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 586 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf