SlideShare ist ein Scribd-Unternehmen logo

isca-preso

•
•
H
hangal
Technologie
1 von 26
Downloaden Sie, um offline zu lesen
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡, Joseph Lu‡ and Sridhar Narayanan‡ tsotool@sun.com ISCA-2004 † Sun Microsystems India Pvt. Ltd., Bangalore (India) ‡ Sun Microsystems, Sunnyvale, CA (USA) P1
Goal: Find the hard memory-related bugs in Sun's multiprocessor systems P2
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso
isca-preso

Empfohlen

Cic Conference 28 June 2008
Cic Conference 28 June 2008Cic Conference 28 June 2008
Cic Conference 28 June 2008tompaper
 
PresentacióN1
PresentacióN1PresentacióN1
PresentacióN1still.renato
 
Calendário-2008
Calendário-2008Calendário-2008
Calendário-2008jussara cavalcanti
 
Animales 3
Animales 3Animales 3
Animales 3Juan Carlos Fernandez
 
Soy Maestra
Soy MaestraSoy Maestra
Soy Maestraficalmo
 
International Business
International BusinessInternational Business
International BusinessAllen Johnston
 
Dsc 0106
Dsc 0106Dsc 0106
Dsc 0106guest704f9b
 
Por que NewsGames?
Por que NewsGames?Por que NewsGames?
Por que NewsGames?Geraldo Seabhra
 

Empfohlen

Cic Conference 28 June 2008
Cic Conference 28 June 2008Cic Conference 28 June 2008
Cic Conference 28 June 2008tompaper
 
PresentacióN1
PresentacióN1PresentacióN1
PresentacióN1still.renato
 
Calendário-2008
Calendário-2008Calendário-2008
Calendário-2008jussara cavalcanti
 
Animales 3
Animales 3Animales 3
Animales 3Juan Carlos Fernandez
 
Soy Maestra
Soy MaestraSoy Maestra
Soy Maestraficalmo
 
International Business
International BusinessInternational Business
International BusinessAllen Johnston
 
Dsc 0106
Dsc 0106Dsc 0106
Dsc 0106guest704f9b
 
Por que NewsGames?
Por que NewsGames?Por que NewsGames?
Por que NewsGames?Geraldo Seabhra
 
El príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoEl príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoekaina
 
Hacemos la historia cada día...
Hacemos la historia cada día...Hacemos la historia cada día...
Hacemos la historia cada día...guestfbffea
 
As Ferramentas Web2
As Ferramentas Web2As Ferramentas Web2
As Ferramentas Web2ticegrupo1
 
Proyecto De Colonias Avemarianas
Proyecto De Colonias AvemarianasProyecto De Colonias Avemarianas
Proyecto De Colonias Avemarianasguest339489
 
SeñAles
SeñAlesSeñAles
SeñAlesMartintin
 
Espero
EsperoEspero
EsperoMartintin
 
Tutorial Para Crear Un Blog
Tutorial Para Crear Un BlogTutorial Para Crear Un Blog
Tutorial Para Crear Un Blogkinder2008
 
Qué Es La InformacióN
Qué Es La InformacióNQué Es La InformacióN
Qué Es La InformacióNBAILACHIDO
 
Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2guestad8342
 
As Amigas Curam
As Amigas CuramAs Amigas Curam
As Amigas CuramMensagens e Poemas
 
Libguide
LibguideLibguide
Libguidegray_massey
 
Ecoblancosinlinea
EcoblancosinlineaEcoblancosinlinea
EcoblancosinlineaCristian Castro
 
St Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewSt Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewPasha Kagan
 
As Dores Da Alma
As Dores Da AlmaAs Dores Da Alma
As Dores Da AlmaBeatris Lopes
 
vida sana
vida sanavida sana
vida sanastill.renato
 
Laabuelita
LaabuelitaLaabuelita
LaabuelitaTop
 
Tsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N OirTsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N Oirguest704f9b
 
1149644596
11496445961149644596
1149644596guest704f9b
 
Ancient Egypt
Ancient EgyptAncient Egypt
Ancient Egyptyapsmail
 
Machine Learning
Machine LearningMachine Learning
Machine Learningbutest
 
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Edward L S Safford III
 
Securing online password guessing attack
Securing online password guessing attackSecuring online password guessing attack
Securing online password guessing attackSaurav Sinha
 

Weitere ähnliche Inhalte

Andere mochten auch

El príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoEl príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoekaina
 
Hacemos la historia cada día...
Hacemos la historia cada día...Hacemos la historia cada día...
Hacemos la historia cada día...guestfbffea
 
As Ferramentas Web2
As Ferramentas Web2As Ferramentas Web2
As Ferramentas Web2ticegrupo1
 
Proyecto De Colonias Avemarianas
Proyecto De Colonias AvemarianasProyecto De Colonias Avemarianas
Proyecto De Colonias Avemarianasguest339489
 
Tutorial Para Crear Un Blog
Tutorial Para Crear Un BlogTutorial Para Crear Un Blog
Tutorial Para Crear Un Blogkinder2008
 
Qué Es La InformacióN
Qué Es La InformacióNQué Es La InformacióN
Qué Es La InformacióNBAILACHIDO
 
Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2guestad8342
 
St Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewSt Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewPasha Kagan
 
Laabuelita
LaabuelitaLaabuelita
LaabuelitaTop
 
Tsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N OirTsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N Oirguest704f9b
 
Ancient Egypt
Ancient EgyptAncient Egypt
Ancient Egyptyapsmail
 

Andere mochten auch (19)

El príncipe de un mundo pequeñito
El príncipe de un mundo pequeñitoEl príncipe de un mundo pequeñito
El príncipe de un mundo pequeñito
 
Hacemos la historia cada día...
Hacemos la historia cada día...Hacemos la historia cada día...
Hacemos la historia cada día...
 
As Ferramentas Web2
As Ferramentas Web2As Ferramentas Web2
As Ferramentas Web2
 
Proyecto De Colonias Avemarianas
Proyecto De Colonias AvemarianasProyecto De Colonias Avemarianas
Proyecto De Colonias Avemarianas
 
SeñAles
SeñAlesSeñAles
SeñAles
 
Espero
EsperoEspero
Espero
 
Tutorial Para Crear Un Blog
Tutorial Para Crear Un BlogTutorial Para Crear Un Blog
Tutorial Para Crear Un Blog
 
Qué Es La InformacióN
Qué Es La InformacióNQué Es La InformacióN
Qué Es La InformacióN
 
Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2Esoterische Programmiersprachen nummer 2
Esoterische Programmiersprachen nummer 2
 
As Amigas Curam
As Amigas CuramAs Amigas Curam
As Amigas Curam
 
Libguide
LibguideLibguide
Libguide
 
Ecoblancosinlinea
EcoblancosinlineaEcoblancosinlinea
Ecoblancosinlinea
 
St Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 HebrewSt Ldp 7224d Issue1 Hebrew
St Ldp 7224d Issue1 Hebrew
 
As Dores Da Alma
As Dores Da AlmaAs Dores Da Alma
As Dores Da Alma
 
vida sana
vida sanavida sana
vida sana
 
Laabuelita
LaabuelitaLaabuelita
Laabuelita
 
Tsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N OirTsmc B Lanc Logo N Oir
Tsmc B Lanc Logo N Oir
 
1149644596
11496445961149644596
1149644596
 
Ancient Egypt
Ancient EgyptAncient Egypt
Ancient Egypt
 

Ähnlich wie isca-preso

Machine Learning
Machine LearningMachine Learning
Machine Learningbutest
 
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Edward L S Safford III
 
Securing online password guessing attack
Securing online password guessing attackSecuring online password guessing attack
Securing online password guessing attackSaurav Sinha
 
Cyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of SystemsCyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of SystemsJoachim Schlosser
 
Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...AbhilashPasupula
 
Human/User-Centric Security
Human/User-Centric SecurityHuman/User-Centric Security
Human/User-Centric SecurityShujun Li
 
Sun Microsystems Puppet Case Study
Sun Microsystems Puppet Case StudySun Microsystems Puppet Case Study
Sun Microsystems Puppet Case StudyPuppet
 
Machine learning_ Replicating Human Brain
Machine learning_ Replicating Human BrainMachine learning_ Replicating Human Brain
Machine learning_ Replicating Human BrainNishant Jain
 
10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data Journey10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data JourneyCarlos Bort
 
Important keyword to remember
Important keyword to rememberImportant keyword to remember
Important keyword to rememberIszamli Jailani
 

Ähnlich wie isca-preso (13)

Machine Learning
Machine LearningMachine Learning
Machine Learning
 
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
Ed Safford III MetroCon 2015 Verification, Validation, and Deployment of Hybr...
 
Securing online password guessing attack
Securing online password guessing attackSecuring online password guessing attack
Securing online password guessing attack
 
Cyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of SystemsCyber Physical Systems – Collaborating Systems of Systems
Cyber Physical Systems – Collaborating Systems of Systems
 
Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...Defenses against large scale online password guessing attacks by using persu...
Defenses against large scale online password guessing attacks by using persu...
 
Human/User-Centric Security
Human/User-Centric SecurityHuman/User-Centric Security
Human/User-Centric Security
 
Sun Microsystems Puppet Case Study
Sun Microsystems Puppet Case StudySun Microsystems Puppet Case Study
Sun Microsystems Puppet Case Study
 
Isys20261 lecture 14
Isys20261 lecture 14Isys20261 lecture 14
Isys20261 lecture 14
 
Machine learning_ Replicating Human Brain
Machine learning_ Replicating Human BrainMachine learning_ Replicating Human Brain
Machine learning_ Replicating Human Brain
 
10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data Journey10 tips I wish I had known before I started a Data Journey
10 tips I wish I had known before I started a Data Journey
 
01intro
01intro01intro
01intro
 
Important keyword to remember
Important keyword to rememberImportant keyword to remember
Important keyword to remember
 
ML.pdf
ML.pdfML.pdf
ML.pdf
 

Mehr von hangal

Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptxhangal
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptxhangal
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptxhangal
 
Unifi
Unifi Unifi
Unifi hangal
 
Dunbar
DunbarDunbar
Dunbarhangal
 
DIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentationDIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentationhangal
 
IODINE - DAC presentation
IODINE - DAC presentationIODINE - DAC presentation
IODINE - DAC presentationhangal
 
TSOtool - ISCA presentation
TSOtool - ISCA presentationTSOtool - ISCA presentation
TSOtool - ISCA presentationhangal
 

Mehr von hangal (8)

Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptx
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptx
 
Maclean.pptx
Maclean.pptxMaclean.pptx
Maclean.pptx
 
Unifi
Unifi Unifi
Unifi
 
Dunbar
DunbarDunbar
Dunbar
 
DIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentationDIDUCE: ICSE-2002 presentation
DIDUCE: ICSE-2002 presentation
 
IODINE - DAC presentation
IODINE - DAC presentationIODINE - DAC presentation
IODINE - DAC presentation
 
TSOtool - ISCA presentation
TSOtool - ISCA presentationTSOtool - ISCA presentation
TSOtool - ISCA presentation
 

Kürzlich hochgeladen

Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationSafe Software
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsMaria Levchenko
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsEnterprise Knowledge
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024Scott Keck-Warren
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slidespraypatel2
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationRidwan Fadjar
 
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure serviceWhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure servicePooja Nehwal
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptxHampshireHUG
 
Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101Paola De la Torre
 
How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?XfilesPro
 
Key Features Of Token Development (1).pptx
Key Features Of Token Development (1).pptxKey Features Of Token Development (1).pptx
Key Features Of Token Development (1).pptxLBM Solutions
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountPuma Security, LLC
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsMark Billinghurst
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesSinan KOZAK
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 

Kürzlich hochgeladen (20)

Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry InnovationBeyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
Beyond Boundaries: Leveraging No-Code Solutions for Industry Innovation
 
Handwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed textsHandwritten Text Recognition for manuscripts and early printed texts
Handwritten Text Recognition for manuscripts and early printed texts
 
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI SolutionsIAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
My Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 PresentationMy Hashitalk Indonesia April 2024 Presentation
My Hashitalk Indonesia April 2024 Presentation
 
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure serviceWhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
WhatsApp 9892124323 ✓Call Girls In Kalyan ( Mumbai ) secure service
 
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
04-2024-HHUG-Sales-and-Marketing-Alignment.pptx
 
Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101Salesforce Community Group Quito, Salesforce 101
Salesforce Community Group Quito, Salesforce 101
 
How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?How to Remove Document Management Hurdles with X-Docs?
How to Remove Document Management Hurdles with X-Docs?
 
Key Features Of Token Development (1).pptx
Key Features Of Token Development (1).pptxKey Features Of Token Development (1).pptx
Key Features Of Token Development (1).pptx
 
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path MountBreaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
 
Human Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR SystemsHuman Factors of XR: Using Human Factors to Design XR Systems
Human Factors of XR: Using Human Factors to Design XR Systems
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen Frames
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 

isca-preso

  • 1. TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model Sudheendra Hangal†, Durgam Vahia‡, Chaiyasit Manovit‡, Joseph Lu‡ and Sridhar Narayanan‡ tsotool@sun.com ISCA-2004 † Sun Microsystems India Pvt. Ltd., Bangalore (India) ‡ Sun Microsystems, Sunnyvale, CA (USA) P1
  • 2. Goal: Find the hard memory-related bugs in Sun's multiprocessor systems P2