technology stocks Advances in Validation of Concurrent Software

Presenter(s): Paul McKenney
URL: https://lca2014.linux.org.au/schedule...

Validation of concurrent software that runs on a billion devices is challenging. In this case, "one in a million" bugs will occur a thousand times. Some projects have worked hard to meet this challenge. The Linux kernel has added -next testing for pre-merge-window patches, automated randconfig build/boot/test of maintainer-tree commits, and the Trinity syscall-malice tool. In addition, validation tools such as Coccinelle, lockdep, sparse, and valgrind have also helped squash a great many nasty bugs. However, improvements reliability are inevitably consumed by increasingly aggressive usage, which of course exposes more problems, requiring fixes -- and more validation. This talk will look at some ways that this validation might be carried out, ranging from even more aggressive testing to bleeding-edge verification techniques.

http://lca2014.linux.org.au - http://www.linux.org.au
CC BY-SA - http://creativecommons.org/licenses/b...

technology stocks Advances in Validation of Concurrent Software
2 Likes	2 Dislikes
111 views views	1.1K followers
People & Blogs Creative Commons Attribution licence (reuse allowed)	Upload TimePublished on 17 Jan 2014

Related keywords

open source music,open source games,open source intelligence,linux download,linux commands,open source definition,technology news,technology stack,linux mint download,technology jobs,linux distros,open source crm,linux on chromebook,linux remove directory,open source projects,linux academy,linux find,open source pdf editor,open source cad,linux kernel,open source licenses,technology insurance company,technology meme,open source photoshop,linux ubuntu,linux laptop,linux find command,linux add user to group,technology high school,open source video editor,linux mint,open source project management,technology credit union,open source database,linux rename file,technology etf,open source icons,linux os,linux find file,technology student association,technology quotes,open source word processor,technology readiness level,open source software,technology background,linux list users,open source images,technology addiction,linux distributions,technology definition,technology synonym,technology companies,open source password manager,open source vpn,linux change password,technology stores near me,technology in the classroom,technology in education,open source video editing,