公开(公告)号：KR100327113B1

公开(公告)日：2002-03-06

申请号：KR1019990061901

申请日：1999-12-24

Applicant: 한국전자통신연구원

Inventor： 이은정 ,  윤기송 ,  김명준

IPC: G06F15/16

Abstract: 본발명은, 분산시스템에서의공유자원에대한상호배제적인사용오류검사방법에관한것으로, 용이하게분산시스템에서의공유자원에대한상호배제적인사용오류를검사하고자한다. 그리고, 본발명은, 통신메시지에논리적인시간을나타내는벡터시간과최종사용이벤트정보를포함시켜전송하는단계; 발생된이벤트가자신의프로세스에의해발생된이벤트인경우, 발생된이벤트의벡터시간을계산하고, 최종사용이벤트와발생된이벤트가공유자원을동시에접근하는지검사하는단계; 발생된이벤트가타 프로세스로부터의메시지전송에의해발생된이벤트인경우에는발생된이벤트의벡터시간을계산하고, 최종사용이벤트와발생된이벤트가공유자원을동시에접근하는지혹은타 프로세스로부터수신된메시지에포함된최종사용이벤트와현재발생된이벤트가공유자원을동시에접근하는지검사하는단계; 및모든발생된이벤트에대해검사가완료되면, 마지막프로세스로나머지프로세스들이최종상태정보를전송하여, 이벤트들간에공유자원을동시에접근하는경우가발생하는지검사하는단계를포함하며, 분산시스템에서공유자원에대해동시에접근하는오류가발생하는지검사하는데이용됨.

公开(公告)号：KR1020000037793A

公开(公告)日：2000-07-05

申请号：KR1019980052557

申请日：1998-12-02

Applicant: 한국전자통신연구원

Inventor： 이은정 ,  박창순 ,  이단형

IPC: G06F9/38

Abstract: PURPOSE: A method of ordering events for re-executing a distribution system is provided to reduce a data capacity requested for re-execution, and to minimize a delay time, by obtaining a minimum events order set which should be ordered. CONSTITUTION: A method of ordering events for re-executing a distribution system comprises the steps of: generating an event diagram displayed a relation of the events, which is generated from a performing procedure of the system, by recording the performance by use of a monitoring server and a center monitor; extracting an event order for ensuring proper re-execution, by analysing the generated diagram; and repeating a same re-execution, while controlling keeping the event order.

Abstract translation: 目的：提供一种排序重新执行分发系统的事件的方法，以通过获得应排序的最小事件顺序集来减少重新执行所需的数据容量并最小化延迟时间。 构成：对重新执行分发系统的事件进行排序的方法包括以下步骤：通过使用监视来记录表现，生成显示由系统的执行过程产生的事件的关系的事件图 服务器和中央监视器; 通过分析生成的图来提取确保正确重新执行的事件顺序; 并重复相同的重新执行，同时控制保持事件顺序。

公开(公告)号：KR100249797B1

公开(公告)日：2000-03-15

申请号：KR1019970067117

申请日：1997-12-09

Applicant: 한국전자통신연구원

Inventor： 성명제 ,  이은정 ,  조영욱

IPC: G06F15/00

CPC classification number: G06F11/3636 ,  G06F11/3466 ,  G06F2201/86

Abstract: 본 발명은 분산 프로세스간의 RPC통신 사실을 실시간으로 추적하고 통신내용을 파악하여 분산프로그램의 디버깅을 할 수 있도록 하는 RPC기반 분산처리 프로그램의 통신 이벤트/메시지 추적 방법에 관한 것이다.
이와같은 본 발명은 프로그램간의 통신 상황을 모니터링할 수 있음으로써 첫째, 특정 통신이벤트가 발생한 시점에서 프로그램을 정지시키기, 둘째, 통신이벤트 수신측 프로그램을 수신시점에서 세우고 디버깅하기, 세째, 통신메시지나 RPC의 경우 매개변수의 값을 확인하기, 넷째, 통신이벤트들의 순서와 상호관계를 검사하기 등의 통신프로그램을 디버깅하는 대표적인 행위를 실행하여 통신과 관련한 프로그램 논리를 효율적으로 조사할 수 있는 효과가 있다.

公开(公告)号：KR1020010063807A

公开(公告)日：2001-07-09

申请号：KR1019990061901

申请日：1999-12-24

Applicant: 한국전자통신연구원

Inventor： 이은정 ,  윤기송 ,  김명준

IPC: G06F15/16

Abstract: PURPOSE: A method for checking an interactively exclusive using error with respect to a sharing resource in a distribution system is provided to check an interactive exclusion error of a sharing resource in a distribution system by adding and transmitting status information of a process to a communication message transmitting/receiving between processes and confirming a generation or not of an interactive exclusion error in the process received through the status information. CONSTITUTION: A transmission message used at a communication between processes including a vector time showing a logical time and the final using event information is transmitted. If the current generated event is generated by one's process without a message transmission from other processor, a vector time of the generated event in current is calculated, and it is checked whether the final used event included in the transmission message and the generated event in current access to a sharing resource simultaneously using the calculated vector time. If the generated event in current is generated by a message transmission of other process, a vector time of the generated event in current is calculated. In addition, it is checked whether the final used event being known by the current process and the generated event in current access to a sharing resource simultaneously or whether the final used event included in a message received from other processor and the generated event in current access to a sharing resource simultaneously using the calculated vector time. If any simultaneous accessing is not generated and a check of generated all events is completed, the remaining processes transmit the final status information to the final process. Thus, it is checked whether a case that events access to a sharing resource simultaneously is generated or not.

Abstract translation: 目的：提供一种用于检查相对于分发系统中的共享资源的交互式排除使用错误的方法，用于通过向进行通信消息添加和发送处理的状态信息来检查分发系统中的共享资源的交互排除错误 在处理之间进行发送/接收，并确认在通过状态信息接收到的过程中产生或不产生交互排除错误。 构成：发送在包括显示逻辑时间的向量时间和最终使用事件信息的处理之间的通信中使用的传输消息。 如果当前生成的事件是由一个进程生成的，而没有来自其他处理器的消息传输，则计算当前生成的事件的向量时间，并且检查包括在传输消息中的最终使用事件和当前生成的事件 使用计算的向量时间同时访问共享资源。 如果通过其他进程的消息传输产生当前生成的事件，则计算当前生成事件的向量时间。 此外，检查当前进程已知的最终使用事件和当前对共享资源的同时访问中生成的事件，或者是否包括在从其他处理器接收的消息中的最终使用事件以及当前访问中生成的事件 使用计算的向量时间同时使用共享资源。 如果不产生任何并发访问并且完成所生成的所有事件的检查，则剩余的进程将最终状态信息发送到最终进程。 因此，检查是否生成事件对共享资源的访问的情况。

公开(公告)号：KR1020000038097A

公开(公告)日：2000-07-05

申请号：KR1019980052959

申请日：1998-12-03

Applicant: 한국전자통신연구원

Inventor： 이은정 ,  박창순 ,  이단형

IPC: H04L29/10

Abstract: PURPOSE: A method for a capacity specification and an agreement in a client/server system is provided to simplify a capacity specification and an agreement procedure. CONSTITUTION: A method for a capacity specification and an agreement in a client/server system comprises the following steps. A server is connected to a client when a client/server system is operated. The server provides a supporting capacity dictionary of capacity sets to the client. The server transmits individual objects of the server and status lists of the objects to the client. The server transmits the individual objects and the capacity specifications according to the capacity dictionary to the client. The client activates or inactivates a corresponding capacity through a user interface according to the capacity dictionary and the capacity specification.

Abstract translation: 目的：提供客户/服务器系统中容量规范和协议的方法，以简化容量规范和协商过程。 构成：客户/服务器系统中的容量规范和协议的方法包括以下步骤。 当客户端/服务器系统运行时，服务器连接到客户端。 服务器向客户端提供容量集的支持容量字典。 服务器将服务器的各个对象和对象的状态列表发送给客户端。 服务器根据容量字典向客户端发送各个对象和容量规格。 根据容量字典和容量规范，客户端通过用户界面激活或取消相应的容量。

公开(公告)号：KR1019990051819A

公开(公告)日：1999-07-05

申请号：KR1019970071218

申请日：1997-12-20

Applicant: 한국전자통신연구원

Inventor： 성명제 ,  이은정 ,  조영욱 ,  박창순

IPC: G06F15/16

Abstract: 본 발명의 목적은 디버깅클라이언트가 다중프로세스 수행제어요구를 해당 프로세스들이 존재하는 디버깅서버에게 전달하면, 각 디버깅서버는 후단부디버거에게 프로세스 수행제어 명령을 전달하는 방식으로 일시에 여러개의 프로세스를 수행제어하도록 하는 다중 프로세서 제어방법을 제공함에 있다.
이와같은 본 발명의 목적을 달성하기 위한 수단은 사용자가 응용제어 윈도우상에 디스플레이되어 있는 프로그램 선택 및 수행제어 메뉴등을 선택하면, 디버킹 클라이언트에 의해 그 선택된 프로스램 및 수행제어 메뉴에 따라 수행제어를 요구하는 제1 단계와, 상기 제1 단계에서 요구된 수행제어를 디버깅서버에 의해 수행제어 명령어로 변환하는 제2 단계와; 상기 제2 단계에서 변환된 수행제어 명령어에 따라 응용프로그램의 수행을 제어하고, 그 제어결과를 보고하는 제3 단계와; 상기 제3 단계에서 보고되는 제어결과를 다시 디버깅클라이언트에 보고하는 제4 단계와; 상기 제4 단계에서 보고된 제어결과를 사용자가 볼수있도록 모니터상에 디스플레이하는 제5 단계로 이루어진다.

公开(公告)号：KR1019990051818A

公开(公告)日：1999-07-05

申请号：KR1019970071217

申请日：1997-12-20

Applicant: 한국전자통신연구원

Inventor： 성명제 ,  이은정 ,  이공선 ,  조영욱

IPC: G06F11/28

Abstract: 본 발명의 목적은 이기종 분산환경 하에서, 분산 프로그램을 한 곳에서 제어하고 분산 프로그램에 대한 디버깅정보를 한 곳에 집합시켜서 사용자에게 제공함과 아울러 분산 프로세스에 대한 상태정보와 프로세스간의 통신상황을 중앙에서 모니터링하도록 하는 분산시스템의 분산처리 진단/교정 장치를 제공함에 있다.
이와같은 본발명의 목적을 달성하기 위한 수단은 사용자에게 프로그램 디버깅에 관한 그래픽 사용자 인터페이스를 제공하는 디버깅 클라이언트와, 분산시스템을 구성하는 다수의 호스트 컴퓨터에 각각 하나씩 구성되며, 상기 디버깅 클라이언트로부터의 디버깅 요청을 디버거 명령어로 변환하는 디버깅서버와, 분산 시스템을 구성하는 다수의 호스트 컴퓨터에 하나 이상씩 구성되며, 다수의 호스트 컴퓨터의 응용 프로그램을 디버깅하는 후단부 디버거를 포함하여 구성된다.

公开(公告)号：KR100315399B1

公开(公告)日：2002-02-19

申请号：KR1019980052557

申请日：1998-12-02

Applicant: 한국전자통신연구원

Inventor： 이은정 ,  박창순 ,  이단형

IPC: G06F9/38

Abstract: 본 발명은 분산 시스템에서 비결정적인 수행을 제어하여 동일한 재시행을 하게 보장하는 이벤트 순서화 방법을 제공하는 데 그 목적이 있다.
본 발명에 따르면, 비결정적인 수행을 하는 분산 시스템의 이벤트 순서화 방법에 있어서, 분산 시스템의 수행을 모니터링 서버 및 중앙 모니터를 이용하여 기록함으로써, 분산 시스템의 수행 과정에서 발생한 이벤트들의 관계를 나타내는 이벤트 다이어그램을 생성하는 제 1 단계와; 상기 제 1 단계에서 생성된 이벤트 다이어그램을 분석하여, 분산 시스템의 수행 과정의 올바른 재시행을 보장하기 위한 이벤트 순서를 추출하는 제 2 단계; 및 상기 제 2 단계에서 순서가 정하여진 이벤트의 순서를 지키도록 제어하면서, 동일한 재시행을 반복하는 제 3 단계를 포함하여 이루어진 것을 특징으로 하는 분산 시스템의 이벤트 순서화 방법이 제공된다.

公开(公告)号：KR100281687B1

公开(公告)日：2001-02-15

申请号：KR1019980052959

申请日：1998-12-03

Applicant: 한국전자통신연구원

Inventor： 이은정 ,  박창순 ,  이단형

IPC: H04L29/10

Abstract: 본 발명은 클라이언트/서버 시스템에 관한 것으로서, 특히 서버가 미리 정해진 성능 집합에 대한 성능 사전을 클라이언트에게 보낸 후 개별 객체에 대해 성능 명세를 지정하여 클라이언트가 서버의 각 개별 객체에 대한 성능 인정을 처리할 수 있도록 하는 클라이언트/서버 시스템에서 성능 명세 및 협상 방법에 관한 것이다.
이러한 본 발명의 클라이언트/서버 시스템에서 성능 명세 및 협상 방법은, 클라이언트/서버 시스템이 동작 개시하면서 클라이언트와 서버가 연결되고 초기화되는 제1단계와, 상기 서버가 성능 집합 중 지원 가능한 성능 사전을 클라이언트에게 제공하는 제2단계, 상기 서버의 개별 객체와 각 객체들의 상태 리스트를 클라이언트에게 전송하는 제3단계, 상기 서버가 성능 사전에 따라 각 개별 객체 및 상태에 따른 성능 명세를 클라이언트에게 전송하는 제4단계, 및 상기 클라이언트가 서버로부터 전송된 성능 사전과 성능 명세에 따라 사용자 인터페이스를 통해 해당 성능을 활성화 또는 비활성화하는 제5단계를 포함한 것을 특징으로 한다.

公开(公告)号：KR1020000037794A

公开(公告)日：2000-07-05

申请号：KR1019980052558

申请日：1998-12-02

Applicant: 한국전자통신연구원

Inventor： 이은정 ,  박창순 ,  이단형

IPC: G06F15/16

Abstract: PURPOSE: A method of recognizing common object in client server system is provided to manage object ID of various type as unified type through one base class by giving peculiar ID to all the types of objects and providing basic mechanism which client and server use for object recognition. CONSTITUTION: A method of recognizing common object in client server system includes several steps. A first step is to give a peculiar ID to a generated object after a server generates the object. A second step is that a client generates a copy object by transferring generation contents of the objects to which was given the peculiar ID to the client. A third step is that the client transmits operation name and corresponding object ID to the server in order to request operation for the generated object in the first step. A fourth step is to find object corresponding to the transmitted operation name and object ID and to execute the operation. A fifth step is to transmit the result of the operation to the client.

Abstract translation: 目的：提供客户端服务器系统中识别通用对象的方法，通过对所有类型的对象提供特殊的ID，通过一个基类来管理各种类型的对象ID，并提供客户端和服务器用于对象识别的基本机制 。 构成：在客户端服务器系统中识别通用对象的方法包括几个步骤。 第一步是在服务器生成对象后给生成的对象提供特殊的ID。 第二步是客户机通过向客户端传送给予特殊ID的对象的生成内容来生成复制对象。 第三步是客户端向服务器发送操作名称和对应的对象ID，以便在第一步中请求生成的对象的操作。 第四步是找到与发送的操作名称和对象ID相对应的对象，并执行该操作。 第五步是将操作结果传送给客户端。