{"id":"https://openalex.org/W2148308674","doi":"https://doi.org/10.1145/1808266.1808278","title":"An effective method to control interrupt handler for data race detection","display_name":"An effective method to control interrupt handler for data race detection","publication_year":2010,"publication_date":"2010-05-03","ids":{"openalex":"https://openalex.org/W2148308674","doi":"https://doi.org/10.1145/1808266.1808278","mag":"2148308674"},"language":"en","primary_location":{"id":"doi:10.1145/1808266.1808278","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1808266.1808278","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Automation of Software Test","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110468056","display_name":"Makoto Higashi","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Makoto Higashi","raw_affiliation_strings":["Osaka University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100911923","display_name":"Tetsuo Yamamoto","orcid":null},"institutions":[{"id":"https://openalex.org/I135768898","display_name":"Ritsumeikan University","ror":"https://ror.org/0197nmd03","country_code":"JP","type":"education","lineage":["https://openalex.org/I135768898","https://openalex.org/I4390039241"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tetsuo Yamamoto","raw_affiliation_strings":["Ritsumeikan University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ritsumeikan University","institution_ids":["https://openalex.org/I135768898"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057206951","display_name":"Yasuhiro Hayase","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yasuhiro Hayase","raw_affiliation_strings":["Osaka University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031518343","display_name":"Takashi Ishio","orcid":"https://orcid.org/0000-0003-4106-699X"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Takashi Ishio","raw_affiliation_strings":["Osaka University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031083059","display_name":"Katsuro Inoue","orcid":"https://orcid.org/0000-0001-5424-0614"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Katsuro Inoue","raw_affiliation_strings":["Osaka University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"79","last_page":"86"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interrupt","display_name":"Interrupt","score":0.9905242919921875},{"id":"https://openalex.org/keywords/interrupt-handler","display_name":"Interrupt handler","score":0.8502146005630493},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7745970487594604},{"id":"https://openalex.org/keywords/timer","display_name":"Timer","score":0.6842279434204102},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5583698153495789},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.47748491168022156},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3352537155151367}],"concepts":[{"id":"https://openalex.org/C41661131","wikidata":"https://www.wikidata.org/wiki/Q220764","display_name":"Interrupt","level":3,"score":0.9905242919921875},{"id":"https://openalex.org/C28533478","wikidata":"https://www.wikidata.org/wiki/Q1541162","display_name":"Interrupt handler","level":4,"score":0.8502146005630493},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7745970487594604},{"id":"https://openalex.org/C2776633867","wikidata":"https://www.wikidata.org/wiki/Q186612","display_name":"Timer","level":3,"score":0.6842279434204102},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5583698153495789},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.47748491168022156},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3352537155151367},{"id":"https://openalex.org/C173018170","wikidata":"https://www.wikidata.org/wiki/Q165678","display_name":"Microcontroller","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1808266.1808278","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1808266.1808278","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th Workshop on Automation of Software Test","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G6007272287","display_name":null,"funder_award_id":"21700031","funder_id":"https://openalex.org/F4320320912","funder_display_name":"Ministry of Education, Culture, Sports, Science and Technology"},{"id":"https://openalex.org/G759725737","display_name":"Establishing Calculation Software Engineering for Big Data of Software Engineering","funder_award_id":"21240002","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320320912","display_name":"Ministry of Education, Culture, Sports, Science and Technology","ror":"https://ror.org/048rj2z13"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1568105243","https://openalex.org/W2034256728","https://openalex.org/W2098151336","https://openalex.org/W2100505193","https://openalex.org/W2119494620","https://openalex.org/W2120926795","https://openalex.org/W2131195907","https://openalex.org/W2135254996","https://openalex.org/W2148602057","https://openalex.org/W2149984854","https://openalex.org/W2150602145","https://openalex.org/W2154569078","https://openalex.org/W2167744164","https://openalex.org/W4240621788"],"related_works":["https://openalex.org/W2392941422","https://openalex.org/W939935077","https://openalex.org/W2151230378","https://openalex.org/W2372840261","https://openalex.org/W3104729113","https://openalex.org/W4200574660","https://openalex.org/W4387565097","https://openalex.org/W2505144121","https://openalex.org/W1513365697","https://openalex.org/W2313212711"],"abstract_inverted_index":{"Embedded":[0],"software":[1],"frequently":[2],"uses":[3],"interrupts":[4,164],"for":[5,108,147],"timer":[6],"or":[7,103],"I/O":[8],"processing.":[9],"If":[10],"a":[11,53,59,148],"memory":[12,107,117,183],"area":[13],"is":[14,69,83,96,133,177],"used":[15],"by":[16,135],"both":[17],"an":[18],"interrupt":[19,56,70,92,95,120,173],"handler":[20,121],"and":[21,122,167],"other":[22,82,123],"routines":[23],"at":[24,72,165],"the":[25,28,32,41,45,73,81,100,109,119,130,161],"same":[26],"time,":[27],"embedded":[29],"system":[30],"has":[31,159],"potential":[33],"to":[34,90,145,179,184],"fail":[35],"because":[36],"of":[37,48,55,65,111,115,126,151,155],"unexpected":[38],"data":[39,105],"in":[40,182],"memory.":[42],"To":[43],"detect":[44,185],"race":[46,79,149,157,186],"conditions":[47,158],"memory,":[49],"this":[50],"paper":[51],"proposes":[52],"method":[54,63,144],"testing":[57,146],"on":[58,106],"CPU":[60],"emulator.":[61],"The":[62,153],"consists":[64],"two":[66],"features:":[67],"one":[68],"generation":[71],"instruction":[74],"points":[75],"that":[76],"possibly":[77],"causes":[78,163],"conditions;":[80],"replacing":[84],"input":[85,127],"value":[86,128],"from":[87,129],"external":[88,131],"device":[89,132],"control":[91],"handlers.":[93],"An":[94],"generated":[97],"just":[98],"after":[99],"program":[101,138],"reads":[102],"writes":[104],"purpose":[110],"covering":[112],"all":[113],"possibility":[114],"sharing":[116],"between":[118],"routines.":[124],"Sequence":[125],"prepared":[134],"hand":[136],"before":[137],"execution.":[139],"We":[140],"have":[141],"applied":[142],"our":[143],"condition":[150],"uClinux.":[152],"experience":[154],"detecting":[156],"shown":[160],"mechanism":[162],"necessary":[166],"sufficient":[168],"timing":[169],"compared":[170],"with":[171],"random":[172],"testing.":[174],"Also,":[175],"it":[176],"easy":[178],"substitute":[180],"values":[181],"conditions.":[187]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}