{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:10:56Z","timestamp":1649182256802},"reference-count":67,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2020,7,1]]},"DOI":"10.1587\/transinf.2019edp7255","type":"journal-article","created":{"date-parts":[[2020,6,30]],"date-time":"2020-06-30T22:13:39Z","timestamp":1593555219000},"page":"1633-1646","source":"Crossref","is-referenced-by-count":0,"title":["Logging Inter-Thread Data Dependencies in Linux Kernel"],"prefix":"10.1587","volume":"E103.D","author":[{"given":"Takafumi","family":"KUBOTA","sequence":"first","affiliation":[{"name":"Department of Information and Computer Science, Keio University"}]},{"given":"Naohiro","family":"AOTA","sequence":"additional","affiliation":[{"name":"Department of Information and Computer Science, Keio University"}]},{"given":"Kenji","family":"KONO","sequence":"additional","affiliation":[{"name":"Department of Information and Computer Science, Keio University"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy, \u201cSherLog: Error Diagnosis by Connecting Clues from Run-time Logs,\u201d Proc. 15th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '10), New York, NY, USA, pp.143-154, 2010. 10.1145\/1735970.1736038","DOI":"10.1145\/1735970.1736038"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] W. Xu, L. Huang, A. Fox, D. Patterson, and M. Jordan, \u201cDetecting Large-Scale System Problems by Mining Console Logs,\u201d Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP '09), Big Sky, MT, 2009. 10.1145\/1629575.1629587","DOI":"10.1145\/1629575.1629587"},{"key":"3","unstructured":"[3] X. Zhao, Y. Zhang, D. Lion, M.F. Ullah, Y. Luo, D. Yuan, and M. Stumm, \u201clprof: A non-intrusive request flow profiler for distributed systems,\u201d Proc. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), Broomfield, CO, pp.629-644, 2014. 10.13140\/2.1.1520.0009"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Q. Fu, J.G. Lou, Y. Wang, and J. Li, \u201cExecution Anomaly Detection in Distributed Systems through Unstructured Log Analysis,\u201d Proc. 2009 Ninth IEEE Int. Conf. Data Mining (ICDM '09), 2009. 10.1109\/ICDM.2009.60","DOI":"10.1109\/ICDM.2009.60"},{"key":"5","unstructured":"[5] J.G. Lou, Q. Fu, S. Yang, Y. Xu, and J. Li, \u201cMining invariants from console logs for system problem detection,\u201d Proc. USENIX Annual Technical Conference (ATC '10), 2010."},{"key":"6","unstructured":"[6] M. Chow, D. Meisner, J. Flinn, D. Peek, and T.F. Wenisch, \u201cThe mystery machine: end-to-end performance analysis of large-scale internet services,\u201d Proc. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), Broomfield, CO, pp.217-231, 2014."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] J. Mace, R. Roelke, and R. Fonseca, \u201cPivot tracing: Dynamic causal monitoring for distributed systems,\u201d Proc. 25th ACM Symposium on Operating Systems Principles (SOSP '15), Monterey, California, USA, 2015. 10.1145\/2815400.2815415","DOI":"10.1145\/2815400.2815415"},{"key":"8","unstructured":"[8] X. Yu, P. Joshi, J. Xu, G. Jin, H. Zhang, and G. Jiang, \u201cCloudseer: Workflow monitoring of cloud infrastructures via interleaved logs,\u201d Proc. 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '16). 10.1145\/2872362.2872407"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy, \u201cImproving software diagnosability via log enhancement,\u201d ACM Trans. Comput. Syst., 2012.","DOI":"10.1145\/2248487.1950369"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Q. Fu, J. Zhu, W. Hu, J.G. Lou, R. Ding, Q. Lin, D. Zhang, and T. Xie, \u201cWhere Do Developers Log? An Empirical Study on Logging Practices in Industry,\u201d Proc. 36th Int. Conf. Software Engineering (ICSE '14), Hyderabad, India, 2014. 10.1145\/2591062.2591175","DOI":"10.1145\/2591062.2591175"},{"key":"11","unstructured":"[11] D. Yuan, S. Park, P. Huang, Y. Liu, M.M. Lee, X. Tang, Y. Zhou, and S. Savage, \u201cBe conservative: enhancing failure diagnosis with proactive logging,\u201d Proc. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12), Hollywood, CA, pp.293-306, 2012."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] J. Zhu, P. He, Q. Fu, H. Zhang, M.R. Lyu, and D. Zhang, \u201cLearning to Log: Helping Developers Make Informed Logging Decisions,\u201d Proc. 37th Int. Conf. Software Engineering (ICSE '15), Florence Italy, 2015. 10.1109\/ICSE.2015.60","DOI":"10.1109\/ICSE.2015.60"},{"key":"13","unstructured":"[13] \u201cBtrfs: add another missing end_page_writeback on submit_extent_ page failure,\u201d 2 2017. https:\/\/github.com\/torvalds\/linux\/commit\/fe01aa65."},{"key":"14","unstructured":"[14] L. Bo, \u201cBtrfs: fix crash of btrfs_release_extent_buffer_page,\u201d 9 2014. https:\/\/github.com\/torvalds\/linux\/commit\/814650."},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] S. Yang, T. Harter, N. Agrawal, S.S. Kowsalya, A. Krishnamurthy, S. Al-Kiswany, R.T. Kaushik, A.C. Arpaci-Dusseau, and R.H. Arpaci-Dusseau, \u201cSplit-Level I\/O Scheduling,\u201d Proc. 26th ACM Symposium on Operating Systems Principles (SOSP '15), Monterey, California, USA, 2015. 10.1145\/2815400.2815421","DOI":"10.1145\/2815400.2815421"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] W. Landi, \u201cUndecidability of static analysis,\u201d ACM Lett. Program. Lang. Syst, vol.1, no.4, pp.323-337, 1992. 10.1145\/161494.161501","DOI":"10.1145\/161494.161501"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] G. Ramalingam, \u201cThe undecidability of aliasing,\u201d ACM Trans. Program. Lang. Syst., vol.16, no.5, pp.1467-1471, 1994. 10.1145\/186025.186041","DOI":"10.1145\/186025.186041"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Y. Sui, P. Di, and J. Xue, \u201cSparse flow-sensitive pointer analysis for multithreaded programs,\u201d Proc. 2016 International Symposium on Code Generation and Optimization (CGO '16), 2016. 10.1145\/2854038.2854043","DOI":"10.1145\/2854038.2854043"},{"key":"19","unstructured":"[19] C. Lattner and V. Adve, \u201cLLVM: A Compilation Framework for Lifelong Program Analysis & Transformation,\u201d Proc. 2004 International Symposium on Code Generation and Optimization (CGO '04), Palo Alto, California, 2004. 10.1109\/CGO.2004.1281665"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] A.J. Mashtizadeh, T. Garfinkel, D.T.D. Mazieres, and M. Rosenblum, \u201cTowards Practical Default-On Multi-Core Record\/ Replay,\u201d Proc. Twenty-Second Int. Conf. Architectural Support for Programming Languages and Operating Systems (ASPLOS '17), 2017. 10.1145\/3037697.3037751","DOI":"10.1145\/3037697.3037751"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] X. Wang, N. Zeldovich, M.F. Kaashoek, and A. Solar-Lezama, \u201cTowards optimization-safe systems: Analyzing the impact of undefined behavior,\u201d Proc. 24th ACM Symposium on Operating Systems Principles (SOSP '13), New York, NY, USA, pp.260-275, 2013. 10.1145\/2517349.2522728","DOI":"10.1145\/2517349.2522728"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] B. Kasikci, C. Zamfir, and G. Candea, \u201cRacemob: Crowdsourced data race detection,\u201d Proc. 24th ACM Symposium on Operating Systems Principles (SOSP '13), New York, NY, USA, pp.406-422, 2013. 10.1145\/2517349.2522736","DOI":"10.1145\/2517349.2522736"},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] B. Hardekopf and C. Lin, \u201cSemi-Sparse Flow-Sensitive Pointer Analysis,\u201d Proc. 36th ACM Symposium on Principles of Programming Languages(POPL '09), Savannah, Georgia, USA, 2009. 10.1145\/1594834.1480911","DOI":"10.1145\/1594834.1480911"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] T. Zhang, D. Lee, and C. Jung, \u201cTxrace: Efficient data race detection using commodity hardware transactional memory,\u201d Proc. 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '16)th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '16), 2016. 10.1145\/2872362.2872384","DOI":"10.1145\/2872362.2872384"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] J. Mao, Y. Chen, Q. Xiao, and Y. Shi, \u201cRid: Finding reference count bugs with inconsistent path pair checking,\u201d Proc. 21th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '16), 2016. 10.1145\/2872362.2872389","DOI":"10.1145\/2872362.2872389"},{"key":"26","unstructured":"[26] X. Wang, H. Chen, Z. Jia, N. Zeldovich, and M.F. Kaashoek, \u201cImproving integer security for systems with kint,\u201d Proc. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12), Hollywood, CA, pp.163-177, 2012."},{"key":"27","doi-asserted-by":"crossref","unstructured":"[27] B. Kasikci, B. Schubert, C. Pereira, G. Pokam, and G. Candea, \u201cFailure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures,\u201d Proc. 26th ACM Symposium on Operating Systems Principles (SOSP '15), Monterey, California, USA, 2015. 10.1145\/2815400.2815412","DOI":"10.1145\/2815400.2815412"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] J. Huang, M. Allen-Bond, and X. Zhang, \u201cPallas: Semantic-aware checking for finding deep bugs in fast path,\u201d Proc. 22nd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '16)th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '17), 2017. 10.1145\/3037697.3037743","DOI":"10.1145\/3037697.3037743"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] R. Bod\u00edk and S. Anik, \u201cPath-sensitive value-flow analysis,\u201d Proc. 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL '98), 1998. 10.1145\/268946.268966","DOI":"10.1145\/268946.268966"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] G. Ammons and J.R. Larust, \u201cImproving data-flow analysis with path profile,\u201d Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '98), 1998. 10.1145\/277650.277665","DOI":"10.1145\/277650.277665"},{"key":"31","unstructured":"[31] T. Tuttle, \u201cworkqueue: lock cwq access in drain_workqueue,\u201d 9 2011. https:\/\/github.com\/torvalds\/linux\/commit\/fa2563e."},{"key":"32","unstructured":"[32] \u201cFilebench.\u201d http:\/\/filebench.sourceforge.net."},{"key":"33","unstructured":"[33] \u201cTPC-C.\u201d http:\/\/www.tpc.org\/tpcc\/."},{"key":"34","unstructured":"[34] \u201cMysql.\u201d https:\/\/www.mysql.com\/."},{"key":"35","unstructured":"[35] \u201cMongodb.\u201d http:\/\/www.mongodb.org\/."},{"key":"36","unstructured":"[36] \u201cYahoo! Cloud Serving Benchmark (YCSB).\u201d https:\/\/github.com\/brianfrankcooper\/YCSB\/wiki."},{"key":"37","unstructured":"[37] \u201cApache HTTP Server Project.\u201d https:\/\/httpd.apache.org\/."},{"key":"38","unstructured":"[38] \u201cSquid: Optimising web delivery.\u201d http:\/\/www.squid-cache.org\/."},{"key":"39","unstructured":"[39] \u201cab-apache http server benchmarking tool.\u201d https:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html."},{"key":"40","doi-asserted-by":"crossref","unstructured":"[40] D. Yuan, S. Park, and Y. Zhou, \u201cCharacterizing Logging Practices in Open-Source Software,\u201d Proc. 34th Int. Conf. Software Engineering (ICSE '12), Zurich Switzerland, 2012. 10.1109\/ICSE.2012.6227202","DOI":"10.1109\/ICSE.2012.6227202"},{"key":"41","doi-asserted-by":"crossref","unstructured":"[41] P. He, Z. Chen, and S.H.M.R. Lyu, \u201cCharacterizing the Natural Language Descriptions in Software Logging Statements,\u201d Proc. IEEE\/ACM Int. Conf. Automated Software Engineering (ASE '18), 2018. 10.1145\/3238147.3238193","DOI":"10.1145\/3238147.3238193"},{"key":"42","doi-asserted-by":"crossref","unstructured":"[42] S. Li, X. Niu, Z. Jia, J. Wang, H. He, and T. Wang, \u201cLogTracker: Learning Log Revision Behaviors Proactively from Software Evolution History,\u201d Proc. 40th Int. Conf. Software Engineering (ICSE '18), 2018. 10.1145\/3196321.3196328","DOI":"10.1145\/3196321.3196328"},{"key":"43","doi-asserted-by":"publisher","unstructured":"[43] H. Li, W. Shang, Y. Zou, and A.E. Hassan, \u201cTowards Just-in-time Suggestions for Log Changes,\u201d Empirical Software Engineering, pp.1831-1865, 2017. 10.1007\/s10664-016-9467-z","DOI":"10.1007\/s10664-016-9467-z"},{"key":"44","doi-asserted-by":"crossref","unstructured":"[44] X. Zhao, K. Rodrigues, Y. Luo, M. Stumm, D. Yuan, and Y. Zhou, \u201cLog20: Fully automated optimal placement of log printing statements under specified overhead threshold,\u201d Proc. 26th ACM Symposium on Operating Systems Principles (SOSP '17), 2017. 10.1145\/3132747.3132778","DOI":"10.1145\/3132747.3132778"},{"key":"45","unstructured":"[45] S. Yang, S.J. Park, and J. Ousterhout, \u201cNanoLog: a nanosecond scale logging system,\u201d Proc. USENIX Annual Technical Conference (ATC '18), 2018."},{"key":"46","unstructured":"[46] I. Park and R. Buch, \u201cEvent tracing: improve debugging and performance tuning with ETW,\u201d MSDN Magazine, 2007."},{"key":"47","unstructured":"[47] \u201cApache log4j 2.\u201d https:\/\/logging.apache.org\/log4j\/log4j-2.3\/manual\/async.html."},{"key":"48","unstructured":"[48] \u201cspdlog: A super fast c++ logging library.\u201d https:\/\/github.com\/gabime\/spdlog."},{"key":"49","unstructured":"[49] \u201cC++ implementation of the Google logging module.\u201d https:\/\/github.com\/google\/glog."},{"key":"50","unstructured":"[50] B.H. Sigelman, L.A. Barroso, M. Burrows, P. Stephenson, M. Plakal, D. Beaver, S. Jaspan, and C. Shanbhag, \u201cDapper, a large-scale distributed systems tracing infrastructure,\u201d Tech. Rep., Google, 2010."},{"key":"51","doi-asserted-by":"crossref","unstructured":"[51] \u00da. Erlingsson, M. Peinado, S. Peter, and M. Budiu, \u201cFay: Extensible Distributed Tracing from Kernels to Clusters,\u201d ACM Trans. Comput. Syst. (TOCS), 2012. 10.1145\/2043556.2043585","DOI":"10.1145\/2043556.2043585"},{"key":"52","unstructured":"[52] B.M. Cantrill, M.W. Shapiro, and A.H. Leventhal, \u201cDynamic instrumentation of production systems,\u201d Proc. USENIX Annual Technical Conference (ATC '04), 2004."},{"key":"53","unstructured":"[53] P. Reynolds, C. Killian, J.L. Wiener, J.C. Mogul, M.A. Shah, and A. Vahdat, \u201cPip : Detecting the unexpected in distributed systems,\u201d Proc. 3rd Symposium on Networked Systems Design and Implementation (NSDI '06), 2006."},{"key":"54","unstructured":"[54] \u201cSystemtap.\u201d https:\/\/sourceware.org\/systemtap\/."},{"key":"55","unstructured":"[55] R. Fonseca, G. Porter, R.H. Katz, S. Shenker, and I. Stoica, \u201cX-trace: a pervasive network tracing framework,\u201d Proc. 4th USENIX Conference on Networked Systems Design and Implementation (NSDI '07), 2007."},{"key":"56","unstructured":"[56] P. Barham, A. Donnelly, R. Isaacs, and R. Mortier, \u201cUsing magpie for request extraction and workload modelling,\u201d Proc. 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI '04), 2004."},{"key":"57","unstructured":"[57] C. Fetzer and Z. Xiao, \u201cHEALERS: A Toolkit for Enhancing the Robustness and Security of Existing Applications,\u201d Proc. Int. Conf. Dependable Systems and Networks (DSN '03), 2003. 10.1109\/DSN.2003.1209942"},{"key":"58","doi-asserted-by":"crossref","unstructured":"[58] T.F. Bissyand\u00e9, L. R\u00e9veill\u00e8re, J.L. Lawall, and G. Muller, \u201cDiagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel,\u201d Proc. IEEE\/ACM Int. Conf. Automated Software Engineering (ASE '12), 2012. 10.1145\/2351676.2351686","DOI":"10.1145\/2351676.2351686"},{"key":"59","doi-asserted-by":"crossref","unstructured":"[59] W. Zhang, J. Lim, R. Olichandran, J. Scherpelz, G. Jin, S. Lu, and T. Reps, \u201cConseq: Detecting concurrency bugs through sequential errors,\u201d Proc. 16th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '11), 2011. 10.1145\/1950365.1950395","DOI":"10.1145\/1950365.1950395"},{"key":"60","doi-asserted-by":"publisher","unstructured":"[60] W. Zhang, C. Sun, and S. Lu, \u201cConMem : Detecting Severe Concurrency Bugs through an Effect-Oriented Approach,\u201d Proc. 15th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '10), 2010. 10.1145\/1735971.1736041","DOI":"10.1145\/1735971.1736041"},{"key":"61","unstructured":"[61] INTEL. Intel 64 and IA-32 Architectures Software Developer's Manual, vol.2. 2015."},{"key":"62","doi-asserted-by":"crossref","unstructured":"[62] G.W. Dunlap, D.G. Lucchetti, M.A. Fetterman, and P.M. Chen, \u201cExecution replay of multiprocessor virtual machines,\u201d Proc. fourth ACM SIGPLAN\/SIGOPS Int. Conf. Virtual execution environments (VEE '08), 2008. 10.1145\/1346256.1346273","DOI":"10.1145\/1346256.1346273"},{"key":"63","doi-asserted-by":"publisher","unstructured":"[63] M. Ronsse and K.D. Bosschere, \u201cRecPlay: a fully integrated practical record\/replay system,\u201d ACM Trans. Comput. Syst., 1999. 10.1145\/312203.312214","DOI":"10.1145\/312203.312214"},{"key":"64","doi-asserted-by":"publisher","unstructured":"[64] D. Lee, B. Westerand, K. Veeraraghavan, S. Narayanasamy, P.M. Chen, and J. Flinn, \u201cRespec: efficient online multiprocessor replayvia speculation and external determinism,\u201d Proc. 15th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '10), 2010. 10.1145\/1735970.1736031","DOI":"10.1145\/1735970.1736031"},{"key":"65","unstructured":"[65] S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H.Lee, and S. Lu, \u201cPres : Probabilistic replay with execution sketching on multiprocessors,\u201d Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP '09), 2009. 10.1145\/1629575.1629593"},{"key":"66","doi-asserted-by":"crossref","unstructured":"[66] G. Altekar and I. Stoica, \u201cOdr: Output-deterministic replay for multicore debugging,\u201d Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP '09), 2009. 10.1145\/1629575.1629594","DOI":"10.1145\/1629575.1629594"},{"key":"67","doi-asserted-by":"crossref","unstructured":"[67] K. Veeraraghavan, D. Lee, B. Wester, J. Ouyang, P.M. Chen, J. Flinn, and S. Narayanasamy, \u201cDoubleplay: Parallelizing sequential logging and replay,\u201d Proc. 16th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '11), 2011. 10.1145\/1950365.1950370","DOI":"10.1145\/1950365.1950370"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/7\/E103.D_2019EDP7255\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,4]],"date-time":"2020-07-04T03:24:07Z","timestamp":1593833047000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/7\/E103.D_2019EDP7255\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,1]]},"references-count":67,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2020]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2019edp7255","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7,1]]}}}