Jinx Provides New Tools for Identifying Concurrency Errors and Gaining Better Insight - Thursday, September 08, 2011
Jinx Provides New Tools for Identifying Concurrency Errors and Gaining Better Insight Into Parallel Software
Jinx 1.5 now includes Reports, the world’s first and only user- and kernel-mode data race detector.
SEATTLE, WA (PRWEB) - Today, Corensic announced availability of Jinx 1.5, a software quality tool for Linux and Windows that will help developers, testers, and IT organizations improve the reliability of their mission-critical software. Jinx greatly simplifies the task of finding concurrency errors in parallel applications, which ordinarily requires numerous manual steps and a great deal of luck. With this release, Jinx now offers Reports, the fastest and most reliable way to find data races and other concurrency errors in code. In addition, Jinx includes the world’s first and only data race reporting tool for kernel-mode software, providing software development organizations building custom operating system kernels, device drivers, and other lower-level applications with the means to build fast and reliable software.
Jinx Reports tracks and provides deep insight into code in applications, pinpointing definitive bugs as well as areas of concern that warrant further investigation and testing. This insight helps QA organizations to improve test coverage while enabling better communication with developers who reproduce and fix bugs. Jinx is a dynamic analysis tool that proactively simulates multi-threaded applications as they are running, in an effort to uncover concurrency bugs. When Jinx positively identifies a bug, it uses its SmartStop feature to stop the application and reposition the state of the application so that the developer can understand the bug’s cause. Through this process, Jinx accumulates a large amount of information on how the application is executed, which it subsequently presents in a Report. This information includes assertion failures, null pointer dereferences, general protection faults, and data races, all of which have varying degrees of likelihood of being actual bugs. Traditional race report tools are slow, difficult to use, and rife with false positives. Jinx is fast, easy to use, and reliable, enabling organizations to deploy significantly higher quality software in a fraction of the time and resources required otherwise. Finally, for the first time ever, data race reports can be created for kernel-mode software, enabling organizations building lower-level applications to exploit the performance of multi-core systems safely.
“With Reports, we’re now able to provide development organizations with deep insight into building multi-threaded and shared memory software. Our customers have seen immediate benefit in being able to build high quality parallel applications,” said Peter Godman, Founder and CEO of Corensic. “At Corensic, we understand how difficult it is to test multi-threaded applications. Jinx unlocks the performance of multi-core for developers, while helping them avoid the infuriating and unproductive debugging sessions that often come with it.”
“BlueView Technologies delivers state of the art, compact acoustic imaging and measurement. Our software uses highly parallelized systems to achieve its performance standards for fast, accurate acoustic data processing and user-friendly presentation,” said Cat Zimmermann, Lead Software Architect at BlueView Technologies. “Prior to using Jinx, BlueView Technologies employed many tried and true techniques for debugging multi-threaded code, but concurrency errors still crept into our software. With Jinx, our developers will be able to confidently explore the limits of processing power and deliver even more effective visuals and data of underwater structures, areas, targets, and objects.”
Leading experts point to the lack of robust developer and test tools as the greatest barrier to development of multithreaded software applications that are able to fully exploit multicore systems. With the release of Jinx 1.5, developers and testers have the ability to release better software sooner, with reduced costs.
When naming Corensic one of its Cool Vendors for 2011, the leading industry analyst firm Gartner remarked: “Identifying concurrency errors is increasingly important, because systems may run happily in testing or under many other conditions and then suddenly fail. This usually leaves little useful information for organizations to use to track down the problem or reproduce the defect. What is key about Corensic is that it discovers why the bug occurs, which is critical in this type of operation. Jinx is a good fit for agile organizations practicing continuous integration, while building Web services.”
Jinx is available for both Windows and Linux and a 14-day trial edition is available for immediate download at www.corensic.com.
Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to deliver tools that enable software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Amazon, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com.
IT Research Leader Gartner Names Corensic as “Cool Vendor” in Application Development - Monday, April 25, 2011
Corensic selected for its innovative, impactful, and intriguing software quality tools for identifying, providing insight into, and communicating information about software defects.
SEATTLE (April 25, 2011)– Today, Corensic was selected as one of three "Cool Vendors" by industry research firm Gartner in the annual report, "Cool Vendors in Application Development, 2011" (by Thomas Murphy et al). Gartner, Inc. is the world's leading information technology research and advisory company with 4,400 associates, including 1,200 research analysts and consultants, and clients in 85 countries. Corensic was chosen by researchers as "Cool" due to positive feedback from clients and for providing innovative solutions for identifying and fixing concurrency errors in modern, multi-threaded applications.
“Corensic helps organizations deliver and deploy higher quality software faster. Our products enable every stakeholder in the software lifecycle, including development, test, IT, and support, to catch and reproduce bugs and communicate about them effectively,” said Peter Godman, Founder and CEO of Corensic. “With this announcement, Gartner reinforces the sentiments of our many customers: that we’re delivering an innovative solution to help development organizations build, test, and deploy higher quality software.”
“Identifying concurrency errors is increasingly important, because systems may run happily in testing or under many other conditions and then suddenly fail. This usually leaves little useful information for organizations to use to track down the problem or reproduce the defect. What is key about Corensic is that it discovers why the bug occurs, which is critical in this type of operation. Jinx is a good fit well for agile organizations practicing continuous integration, while building Web services,” wrote Thomas Murphy, Research Director at Gartner.
Managed code developers generally don't worry about memory, thread management or concurrency issues, and these defects can lie "dormant" in the code for long periods of time. This adds to the complexity of finding and fixing these errors. Concurrency issues also create potential security issues.
When enabled, Jinx uses advanced heuristics to simulate numerous “alternate realities” of application execution in search of a particular “reality” that will cause a concurrency bug. When Jinx finds a concurrency error, it makes it happen on the developer’s desktop, during continuous integration, or during stress testing, and pinpoints the cause of the bug. In so doing, Jinx makes code “unlucky” and forces hidden bugs to occur during the development process so that they don’t occur in a production environment. Concurrency errors found in production software have contributed to numerous high-profile disasters, including the 2003 Northeastern United States Power Blackout and the deaths of patients using the Therac-25 radiation therapy device. Businesses that use Jinx see increased developer and QA organization productivity, reduced testing costs, and higher quality software.
Jinx is available for both Windows and Linux and a 30-day trial edition is available for immediate download at www.corensic.com.
Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to deliver tools that enable software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Amazon, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com.
Jinx Now Offers Support for Intel AVX - Wednesday, March 30, 2011
Jinx Now Offers Support for Building High-Quality, High-Performance Software Using Intel’s New 2nd Generation Core Processor Family
Jinx 1.2 R2 provides better help for IT organizations to identify concurrency errors in the world’s most advanced financial services, multimedia, and scientific computing applications.
Seattle, WA (PRWEB) March 30, 2011 - Today, Corensic announced availability of Jinx 1.2 R2, a software quality tool for Linux and Windows that will help developers, testers, and IT organizations improve the reliability of their mission-critical software. Jinx finds concurrency errors in parallel applications, a task that ordinarily requires numerous manual steps and a great deal of luck. With this release, Jinx now offers improved support for Intel’s 2nd generation Core processors, which will enable Jinx to find concurrency errors in advanced financial services, scientific computing, and multimedia applications that take advantage of Intel AVX-provided parallelism and throughput in floating point calculations.
“Corensic helps organizations deliver and deploy higher quality software faster. Our products enable every stakeholder in the software lifecycle, including development, test, IT, and support, to catch and reproduce bugs and communicate about them effectively,” said Peter Godman, Founder and CEO of Corensic. “With Jinx 1.2 R2 and support for Intel AVX, we are able to support development organizations building the world’s most advanced, compute intensive applications on Intel’s Sandy Bridge processors.”
“Corensic support of parallel programming through both multicore parallelism and Intel AVX is welcome news for software developers. By extending Jinx error detection to support development that makes use of Intel AVX, Corensic is helping developers as they use Intel AVX to increase application performance,” said James Reinders with Intel Software Products. “Intel AVX offers tremendous data parallel performance to help deliver improved performance, rich functionality and the ability to better manage, rearrange and sort data. This new 256-bit instruction set accelerates floating point intensive applications such as digital photo editing and content creation, financial analytics, 3D modeling, and enables the next generation of rich, interactive multimedia solutions.”
When enabled, Jinx uses advanced heuristics to simulate numerous “alternate realities” of application execution in search of a particular “reality” that will cause a concurrency bug. When Jinx finds a concurrency error, it makes it happen on the developer’s desktop, during continuous integration, or during stress testing, and pinpoints the cause of the bug. In so doing, Jinx makes code “unlucky” and forces hidden bugs to occur during the development process so that they don’t occur in a production environment. Concurrency errors found in production software have contributed to numerous high-profile disasters, including the 2003 Northeastern United States Power Blackout and the deaths of patients using the Therac-25 radiation therapy device. Businesses that use Jinx see increased developer and QA organization productivity, reduced testing costs, and higher quality software.
Jinx is available for both Windows and Linux and a 30-day trial edition is available for immediate download at www.corensic.com.
Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to deliver tools that enable software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Amazon, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com.
Follow us on Twitter: @Corensic
Friend us on Facebook: /facebook
Visit us on the Web: www.corensic.com
Corensic Joins the STAC Benchmark Council to Help Financial Services Firms Build Reliable Software - Wednesday, March 02, 2011
Software quality tools from Corensic help financial services firms build high-performance software confidently by identifying concurrency errors. Membership in the STAC Benchmark Council enables Corensic to extend its leadership in delivering quality tools of crucial importance to the financial services industry.
SEATTLE, March 2, 2011 (PRWEB) – Corensic, the leading provider of software quality tools for parallel applications, today announced that it has joined the Securities Technology Analysis Center (STAC®). STAC is focused on helping end-user financial firms understand the performance of their existing systems and of new technologies they wish to adopt. Corensic will participate in the STAC Benchmark Council, a group of trading firms and vendors focusing on measuring the performance and reliability of algorithmic trading systems.
“In order to achieve and sustain competitive advantage in their trading strategies, securities firms must be able to leverage the latest technologies to improve performance and lower latency. This frequently involves the use of specialized hardware and applications. If these technologies are not thread safe, the consequences can be measured in millions of dollars per bug. By using Jinx to identify and resolve intermittent concurrency defects in multithreaded software, securities firms can develop more effective applications and deploy them with confidence,” says Peter Godman, Corensic Founder and CEO.
“We’re excited to welcome Corensic to the STAC Benchmark Council. STAC is committed to helping firms understand, quantify, and improve the performance of existing and new technologies used in their trading systems,” says Jack Gidding, Associate Director of STAC. “In our experience, developing efficient and reliable multi-threaded trading applications is a key concern for Council members. Corensic’s experience in this area will be an asset to the Council.”
When enabled, Jinx uses advanced heuristics to simulate numerous “alternate realities” of application execution in search of a particular “reality” that will cause a concurrency bug. When Jinx finds a concurrency error, it makes it happen on the developer’s desktop, during continuous integration, or during stress testing, and pinpoints the cause of the bug. In so doing, Jinx makes code “unlucky” and forces hidden bugs to occur during the development process so that they don’t occur in a production environment. Businesses that use Jinx see increased developer and QA organization productivity, reduced testing costs, and higher quality software.
Jinx works the way developers and QA professionals do, and can be easily integrated into Visual Studio or Windows and Linux command line development and test processes. Jinx requires no changes to code and is operating system, application platform, and programming language agnostic. Jinx can be easily incorporated into automated testing and continuous integration processes so that developers and QA professionals can be assured that their code is always properly tested for concurrency errors, especially during source code check-ins, nightly builds, and stress tests. Jinx can also be used to validate entire system stacks for errors arising out of conflicts between components, including operating systems, device drivers, and applications. With Jinx there are no false positives: when Jinx finds a bug, it’s definitely a bug, giving business greater confidence in their solutions.
Jinx is available for Windows and Linux and a 30-day trial version is available for download at www.corensic.com.
Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to deliver tools that enable software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Amazon, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Website: www.corensic.com
Follow us on Twitter: @Corensic
Find us on Facebook: www.facebook.com/corensic
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com.
Announcing Jinx 1.2 - Support for Windows XP, Windows Server 2003, and Intel Sandy Bridge - Monday, February 14, 2011
Jinx Enhances Quality Throughout the Software Lifecycle
Software quality tools from Corensic help developers and quality assurance (QA) organizations identify and fix concurrency errors, increasing reliability of mission-critical applications and reducing overall test costs.
SEATTLE, February 14, 2011 – Today, Corensic announced availability of Jinx 1.2, a software quality tool for Linux and Windows that will help developers, testers, and IT organizations improve the reliability of their mission-critical software. Jinx finds concurrency errors in parallel applications, a task that ordinarily requires numerous manual steps and a great deal of luck. With this release, Jinx now offers support for 32-bit Windows XP and Windows Server 2003, Intel Sandy Bridge processors, Microsoft .NET Framework 4 applications, and improved bug finding performance and reliability. These improvements enable Jinx to be used with nearly all Windows and Linux development projects, applications running on the world’s most advanced processors, and more readily incorporated into an enterprise developer’s existing workflow and tools.
“Corensic helps organizations deliver and deploy higher quality software faster. Our products enable every stakeholder in the software lifecycle, including development, test, IT, and support, to catch and reproduce bugs and communicate about them effectively,” said Peter Godman, Founder and CEO of Corensic. “With Jinx 1.2, we can test every component of a mission critical platform, including kernel, device drivers, and third party applications, so that we can help IT organizations to identify and fix concurrency errors before they appear in production environments.”
When enabled, Jinx uses advanced heuristics to simulate numerous “alternate realities” of application execution in search of a particular “reality” that will cause a concurrency bug. When Jinx finds a concurrency error, it makes it happen on the developer’s desktop, during continuous integration, or during stress testing, and pinpoints the cause of the bug. In so doing, Jinx makes code “unlucky” and forces hidden bugs to occur during the development process so that they don’t occur in a production environment. Concurrency errors found in production software have contributed to numerous high-profile disasters, including the 2003 Northeastern United States Power Blackout and the deaths of patients using the Therac-25 radiation therapy device. Businesses that use Jinx see increased developer and QA organization productivity, reduced testing costs, and higher quality software.
Jinx works the way developers and QA professionals do, and can be easily integrated into Visual Studio or Windows and Linux command line development and test processes. Jinx requires no changes to code and is operating system, application platform, and programming language agnostic. Jinx can be easily incorporated into automated testing and continuous integration processes so that developers and QA professionals can be assured that their code is always properly tested for concurrency errors, especially during source code check-ins, nightly builds, and stress tests. And, with Jinx there are no false positives: when Jinx finds a bug, it’s definitely a bug.
Jinx is available for both Windows and Linux and a 30-day trial edition is available for immediate download at www.corensic.com.
Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to deliver tools that enable software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Amazon, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Website: www.corensic.com
Follow us on Twitter: @Corensic
Find us on Facebook: www.facebook.com/corensic
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com.
Announcing Jinx 1.1 With Support for 32-bit Platforms - Wednesday, November 10, 2010
Jinx Finds Concurrency Bugs and Improves Software Quality
Software quality tools from Corensic help developers and quality assurance (QA) organizations accelerate their development and testing processes, increasing reliability of mission-critical applications and reducing overall test costs.
SEATTLE, November 10, 2010 – Today, Corensic announced availability of Jinx 1.1, a software quality tool for Linux and Windows that will help developers, testers, and IT organizations improve the reliability of their mission-critical software. Jinx finds concurrency errors in parallel applications, a task that ordinarily requires numerous manual steps and a great deal of luck. Concurrency errors found in production software have contributed to numerous high-profile disasters, including the 2003 Northeastern United States Power Blackout and the deaths of patients using the Therac-25 radiation therapy device. Businesses that use Jinx see increased developer and QA organization productivity, reduced testing costs, and higher quality software.
When enabled, Jinx uses advanced heuristics to simulate numerous “alternate realities” of application execution in search of a particular “reality” that will cause a concurrency bug. When Jinx finds a concurrency error, it makes it happen on the developer’s desktop, during continuous integration, or during stress testing, and pinpoints the cause of the bug. In so doing, Jinx makes code “unlucky” and forces hidden bugs to occur during the development process so that they don’t occur in a production environment.
Jinx 1.1 now offers support for 32-bit Windows Vista and Windows 7, 32-bit Linux, automated stress test harnesses, continuous integration, and improved bug finding performance and reliability. With these improvements, Jinx can now be used with nearly all Windows and Linux development projects, deployed more effectively within a test lab, and more readily incorporated into a developer’s existing workflow and tools.
Jinx works the way developers and QA professionals do, and can be easily integrated into Visual Studio or Windows and Linux command line development and test processes. Jinx requires no changes to code and is operating system, application platform, and programming language agnostic. Jinx can be easily incorporated into automated testing and continuous integration processes so that developers and QA professionals can be assured that their code is always properly tested for concurrency errors, especially during source code check-ins, nightly builds, and stress tests. And, with Jinx there are no false positives: when Jinx finds a bug, it’s definitely a bug.
“Jinx should be an integral component of every software developer and QA professional’s development and testing process. The testing methodologies and tools of the past don’t do a very effective job of finding complex concurrency errors in modern software. Jinx helps developers and QA professionals quickly identify hard-to-find concurrency bugs and their cause, and verify that potential fixes work. With Jinx, developers and QA professionals can be more productive in finding and fixing bugs, and organizations can gain greater confidence in their software development processes,” said Peter Godman, Corensic Founder and VP of Engineering.
“Pixetell builds advanced on-demand screen recording software that helps increase the effectiveness and clarity of business communications. Our software is highly parallelized and searching for concurrency bugs has always been a tedious manual process. Now, we simply enable Jinx on our developers’ desktops and find bugs earlier in the development process. It was very easy for us to begin using Jinx and integrate it with our existing development methodology and tools. We are looking forward to using the new 32-bit version to deploy Jinx even more widely within our team,” said Sebastian Rapport, CEO of Pixetell.
Jinx is available for both Windows and Linux. Contact Us for pricing terms. A 30-day trial of Jinx 1.1 is available for immediate download at www.corensic.com.
Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to deliver tools that enable software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Amazon, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Website: www.corensic.com
Follow us on Twitter: @Corensic
Find us on Facebook: www.facebook.com/corensic
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com
Announcing Jinx 1.0: Uncover Hard-to-Find Concurrency Bugs in Windows and Linux Applications - Monday, August 23, 2010
Jinx Uncovers Hard-to-Find Concurrency Bugs in Windows and Linux Applications
Software quality tools from Corensic enable businesses to gain greater confidence in the reliability of their mission-critical applications. Thanks to tools like Jinx, concurrency bugs like atomicity violations, race conditions, and deadlocks are easier to find during software development and testing.
SEATTLE, August 23, 2010 (PRWEB) – Today, Corensic announced general availability of Jinx 1.0, a software quality tool for Linux and Windows that will help developers, testers, and IT organizations improve the reliability of their applications when they are running in a multi-core environment. Multi-core processors enjoy significant usage in enterprise desktops and datacenters, and many software developers are only just beginning to realize the full potential of these powerful processors. But developers still find it challenging to build high quality multi-core applications and avoid concurrency bugs. Such bugs are enormously difficult to prevent, and once introduced, even more difficult to find, sometimes taking large development projects weeks and months to discover and resolve. Jinx makes applications “unlucky” by forcing hard-to-find concurrency bugs to occur more frequently and then pointing out the location of the bugs to software developers. With Jinx, organizations can ship software faster and at significantly less cost.
Jinx 1.0 improves on previous beta releases by offering support for Java-based applications and Microsoft .NET-based applications. Jinx identifies concurrency bugs in managed code and forces them to manifest more quickly. In addition, Jinx 1.0 includes improved bug-finding capabilities for Linux and Microsoft Windows-based native code applications, enabling developers building gaming, media rendering, financial services, health care, and other high-performance applications to more safely exploit the full power of multi-core processors.
“Even as the industry makes multi-core processors more prevalent and parallel software easier to build, the number and severity of concurrency bugs continues to rise. With Jinx, developers and QA professionals have an excellent safety net to ensure that they can ship reliable software,“ said Tom Phillips, CEO of Corensic.
In independent testing, Jinx was able to find concurrency bugs in the popular open source MySQL database server approximately 20-30 times faster than with conventional testing. Bugs that used to take an hour or more to manifest themselves in a production environment can now be caught in mere minutes during the development process. When using Jinx, development organizations can find bugs before they deploy software to their customers, thus reducing support costs and minimizing the reputational impact of buggy applications. Testing organizations can find more bugs with fewer resources, increasing overall software quality and testing efficiency. With the reliability and cost benefits of using Jinx, organizations will find that it should be an indispensible component of their quality assurance efforts.
“MDT Infotech is a systems integration provider for leading companies such as Microsoft, Alibaba, and PetroChina. Quality is a hallmark of the work that we do at MDT. By using Jinx, we have been able to find and fix concurrency errors typically 20 times more quickly than with manual testing,” said Henry Wang, CEO of MDT Infotech Ltd.
“With Jinx, Corensic is addressing a key challenge in the embedded market. Multi-threaded, parallelized applications are proliferating in the next generation of connected consumer devices, and the industry is faced with the difficult task of debugging those applications. As MIPS Technologies’ multi-threaded, multi-core processors gain increasing traction in new generations of mobile phones, set-top boxes, and other devices, we are committed to supporting our customers’ development and debug requirements. We are pleased that Corensic is stepping in to address this critical requirement,” said Art Swift, Vice President of Marketing and Business Development, MIPS Technologies, Inc.
Corensic, Inc. is a software quality tools company based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to fuel the multi-core revolution by enabling software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Website: www.corensic.com
Follow us on Twitter: @Corensic
Find us on Facebook: www.facebook.com/corensic
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com
Jinx Beta 2 Now Available - Thursday, July 01, 2010
Jinx Helps Software Development Organizations Build Higher Quality Applications
Corensic, a Seattle-based Startup, Delivers Software Quality Tools That Detect and Rescue Windows and Linux Applications From Catastrophic Concurrency Bugs.
Seattle, WA (PRWEB) July 1, 2010 -- Today, Corensic (www.corensic.com) launched Windows and Linux versions of Jinx, a software quality tool that will help developers, testers, and IT organizations improve the reliability of their applications when they are running in a multi-core environment. Multi-core processors enjoy significant usage in enterprise desktops and datacenters, and many software developers are only just beginning to realize the full potential of these powerful processors. But despite all the power present in these processors, developers still find it challenging to build high quality multi-core applications and avoid concurrency bugs. Such bugs are enormously difficult to find, sometimes taking large development projects weeks and months to discover and resolve.
Jinx makes applications “unlucky” by forcing hard-to-find concurrency bugs to occur more frequently and then pointing out the location of the bugs to software developers. Some customers report that software testing that previously took days or weeks to surface a software defect can now be done in a few minutes. Jinx can be integrated into developers’ existing build and test environments and is designed to improve the debugging experience and increase test coverage for multithreaded software projects. For test organizations, Jinx allows systematic testing to identify the types of software defects that otherwise would slip past testing and be experienced as crashes by customers. Overall, Jinx significantly improves the software development and test process by reducing the amount of time spent hunting for elusive errors in multithreaded applications, enabling organizations to spend more time to focus on building new software functionality that meets customers needs.
Jinx makes your code "unlucky" by finding and pointing out elusive concurrency bugs, such as the one behind the severity of the 2003 Northeastern United States power blackout. Jinx offers several benefits, including:
You can count on Jinx. Developers and testers will gain greater confidence in the quality of their software by positively identifying concurrency bugs in their code. There are no false positives with Jinx. When Jinx finds a bug, developers can be assured that it's a bug.
Jinx works the way you do. Developers can continue to use their existing software development and testing methodologies and tools, including Microsoft Visual Studio 2010. Jinx does not require developers to make changes to their code or re-compile their applications. It operates in a manner that is transparent to existing development processes.
Jinx is easy to use and easy to get started. Developers and testers can get started in minutes by downloading the product, installing it, and finding bugs in their code.
“In over 18 years of running large software development projects at Microsoft, the bugs that either caused projects to slip or created enormous customer problems occurred in multi-threaded software. At Corensic, we’re committed to dramatically reducing the amount of time, money, and effort that developers spend on finding and fixing these software quality issues,” said Tom Phillips, CEO of Corensic.
"Jinx is a permanent part of my programming now; it catches even the most unlikely case of threading bug which previously would have slipped through even rigorous testing," said Kelly Brock of Bioware (Electronic Arts).
Jinx is a revolutionary new tool for analyzing software and detecting bugs. Ordinarily, it lies dormant below the operating system. However, when applications register with the debugger to be tested, Jinx takes control of the system and proceeds in two phases: a simulation phase and a replay phase. In the simulation phase, Jinx examines code execution and intelligently selects slices of time to probe deeper for bugs. Within each time slice, Jinx evaluates numerous possibilities for the timing of how various threads within an application interact with one another, and chooses a particular schedule of thread execution that is most likely to cause a bug.
In the replay phase, Jinx then executes the simulation that causes the bug and makes it happen on the actual operating system environment. For native code, Jinx also pinpoints the location where the concurrency bug occurs. Jinx then notifies the developer, either through the IDE or the command line interface. As a result, Jinx makes code “unlucky” by proactively searching for scenarios that will cause it to crash.
“With Jinx, we’re able to intelligently and quickly run hundreds of simulations of multi-threaded applications running on multi-core hardware. We then analyze these simulations and determine which one has the highest probability of causing a bug. From there, we execute the chosen simulation and force the bug to occur and manifest itself in the developer’s environment,” said Mark Oskin, CTO and Founder of Corensic.
Corensic, Inc. is a new software quality tools startup based in Seattle, WA and funded by Madrona Ventures and WRF Capital. Corensic’s mission is to fuel the multi-core revolution by enabling software developers and software development organizations to build higher quality software. With top scientists, executives, and advisors whose background includes work at Google, Microsoft, Citrix, Isilon, nVidia, and the University of Washington, Corensic combines decades of expertise in designing and testing enterprise-grade software and tools with deep knowledge of multi-core hardware and software.
Website: www.corensic.com
Follow us on Twitter: www.twitter.com/corensic
Find us on Facebook: www.facebook.com/corensic
Press Inquiries: Prashant Sridharan, prashantNOSPAM@corensic.com