-
公开(公告)号：CN103019877B
公开(公告)日：2016-01-20
申请号：CN201210591385.4
申请日：2012-12-31
Applicant: 清华大学
IPC: G06F11/07
Abstract: 本发明提出一种基于内核的双重错误调试方法及系统。其中，方法包括以下步骤：对用户的任务进行处理；检测到对用户任务进行处理的过程中发生双重错误；通过任务门从用户任务中切换到异常处理任务中并对双重错误进行处理获得出现双重错误时的运行状态；根据运行状态对内核进行调试。根据本发明实施例的方法，通过异常处理任务获得出现双重错误时的运行状态，并对双重任务的内核进行调试处理，提高了系统的可靠性。
-
公开(公告)号：CN103176890A
公开(公告)日：2013-06-26
申请号：CN201310075209.X
申请日：2013-03-08
Applicant: 清华大学
IPC: G06F11/34
Abstract: 本发明提出一种用于记录与重放系统行为的方法及系统，其中，方法包括以下步骤：S1：获取系统行为的开始时刻和结束时刻；S2：记录开始时刻和结束时刻之间的系统行为信息，并将系统行为信息存入自定义的记录缓冲区中；以及S3：重放记录缓冲区中的信息。根据本发明实施例的方法，通过自动进行系统行为的记录及重放，由此保证每次测试行为的一致性，同时全程无需人工参与可节省不必要的人力成本。
-
Patent Agency Ranking
公开(公告)号：CN102541668A
公开(公告)日：2012-07-04
申请号：CN201110398912.5
申请日：2011-12-05
Applicant: 清华大学
IPC: G06F11/00
Abstract: 本发明公开了一种闪存文件系统可靠性分析方法，涉及计算机及电子信息技术领域，包括以下步骤：S1：选择工作负载和错误类型；S2：运行所述工作负载，将读写请求发送到闪存文件系统，并按所述错误类型在闪存文件系统和操作系统的MTD驱动模块之间进行错误植入；S3：植入错误后，将模拟错误的运行结果返回给闪存文件系统，若闪存文件系统未检测出模拟的错误或检测出后未修复，则认为闪存文件系统不可靠。本发明能够对闪存文件系统的读、写和擦除功能进行详细的测试，实现了对闪存文件系统的可靠性分析。
-
公开(公告)号：CN103019877A
公开(公告)日：2013-04-03
申请号：CN201210591385.4
申请日：2012-12-31
Applicant: 清华大学
IPC: G06F11/07
Abstract: 本发明提出一种基于内核的双重错误调试方法及系统。其中，方法包括以下步骤：对用户的任务进行处理；检测到对用户任务进行处理的过程中发生双重错误；通过任务门从用户任务中切换到异常处理任务中并对双重错误进行处理获得出现双重错误时的运行状态；根据运行状态对内核进行调试。根据本发明实施例的方法，通过异常处理任务获得出现双重错误时的运行状态，并对双重任务的内核进行调试处理，提高了系统的可靠性。
-
公开(公告)号：CN103176890B
公开(公告)日：2016-06-01
申请号：CN201310075209.X
申请日：2013-03-08
Applicant: 清华大学
IPC: G06F11/34
Abstract: 本发明提出一种用于记录与重放系统行为的方法及系统，其中，方法包括以下步骤：S1：获取系统行为的开始时刻和结束时刻；S2：记录开始时刻和结束时刻之间的系统行为信息，并将系统行为信息存入自定义的记录缓冲区中；以及S3：重放记录缓冲区中的信息。根据本发明实施例的方法，通过自动进行系统行为的记录及重放，由此保证每次测试行为的一致性，同时全程无需人工参与可节省不必要的人力成本。
-
公开(公告)号：CN102141932A
公开(公告)日：2011-08-03
申请号：CN201010602558.9
申请日：2010-12-14
Applicant: 清华大学
IPC: G06F9/46
Abstract: 本发明公开了一种大临界区保护方法，包括步骤：S1：将要申请占用临界区的申请进程放入全局锁队列的队尾，全局锁队列的每个锁节点包括两个元素：申请进程的进程号和指向下一个申请进程的指针；S2：当占用临界区的当前进程释放锁时，若当前进程的后续锁节点不为空，则唤醒后续的锁节点代表的进程占用临界区，否则，修改全局锁队列的尾指针L。本发明实现了对大临界区的高效地保护，并且具有总线资源占用少、保证公平性、时间和空间开销小等优点。
-
公开(公告)号：CN102141932B
公开(公告)日：2012-11-14
申请号：CN201010602558.9
申请日：2010-12-14
Applicant: 清华大学
IPC: G06F9/46
Abstract: 本发明公开了一种大临界区保护方法，包括步骤：S1：将要申请占用临界区的申请进程放入全局锁队列的队尾，全局锁队列的每个锁节点包括两个元素：申请进程的进程号和指向下一个申请进程的指针；S2：当占用临界区的当前进程释放锁时，若当前进程的后续锁节点不为空，则唤醒后续的锁节点代表的进程占用临界区，否则，修改全局锁队列的尾指针L。本发明实现了对大临界区的高效地保护，并且具有总线资源占用少、保证公平性、时间和空间开销小等优点。
-
-
-
-
-
-
Search Results
7
records
(took 0.017 seconds)
