Method and apparatus to verify type safety of an application...

Details Method and apparatus to verify type safety of an application... Method and apparatus to verify type safety of an application...

2006-01-31

2006-01-31

Banankhah, Majid (Department: 2195)

Electrical computers and digital processing systems: virtual mac

Task management or control

C709S202000, C717S124000, C717S126000

Reexamination Certificate

active

06993761

ABSTRACT:
One embodiment of the present invention provides a system for verifying type safety of an application snapshot. This application snapshot includes a state of an executing program that is moved from a first computing device to a second computing device across a network in order to continue execution on the second computing device. The system operates by receiving the application snapshot from the first computing device on the second computing device, wherein the application snapshot includes a subprogram, an operand stack, and a point of execution. The system then examines the application snapshot to identify one or more subprograms and the point of execution within the subprograms. Next, the system examines the subprogram to determine an expected structure of the operand stack at the point of execution. After the expected structure of the operand stack has been determined, the system verifies that the state of the application snapshot on the second computing device does not violate type safety in the sense of a platform-independent programming language. Execution of the application snapshot is resumed on the second computing device if the verification does not fail.

REFERENCES:
patent: 5668999 (1997-09-01), Gosling
patent: 5748964 (1998-05-01), Gosling
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6052732 (2000-04-01), Gosling
patent: 6075940 (2000-06-01), Gosling
patent: 6247171 (2001-06-01), Yellin et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 6496871 (2002-12-01), Jagannathan et al.
patent: 6704923 (2004-03-01), Gosling

Affiliated with

Also associated with

Rating

Method and apparatus to verify type safety of an application... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus to verify type safety of an application..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus to verify type safety of an application... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3538266