• 기호학연구
• /
• 제57호
• /
• pp.121-153
• /
• 2018

<오! 수정>은 내용의 관점에서 보면 남성중심주의의 이데올로기를 확대 재생산하는 영화이다. 남성중심주의는 의미의 초점이 전제내용, 즉 /재훈은 부자이고 수정은 순종적이며 처녀이다/에 맞추어질 때 발생한다. 언어의 다성주의적 관점에서 보면, 전제 내용은 집단의 목소리이다. 때문에 집단적 가치를 대변하고 강요하는 모든 문화는 이 전제내용에 의미의 초점이 맞추어져 있다. 그러나 내용의 측면이 아니라 디에제스를 제시하는 방식의 관점에서 <오! 수정>을 보면, 이 영화는 오히려 남성중심주의를 조롱하고 비판하고 전복시키고 있다. 이 말은 이 영화가 바로 이 전제내용을 아이러니화 하고 있음을 의미한다. 전제내용의 아이러니화는 언술 자체가 무효화될 때 발생하는데, 마찬가지로 <오! 수정>의 아이러니화도 디에제스 자체, 즉 /재훈과 수정이 연인관계가 되었다/가 무효화될 때 발생한다. 아이러니는 언술에 아무런 의미론적 표시가 없기 때문에 순수 화용론적 방법으로 해석된다. 따라서 <오! 수정>의 아이러니도 내부의 목소리에 의해서가 아니라 외부의 목소리에 의해서 해석된다. 외부의 목소리란 디에제스가 구축되는 방식, 즉 초점화와 시각화와 청각화의 문제들이거나, 디에제스가 제시되는 방식, 즉 순서와 반복 또는 플롯의 문제들을 말한다. <오! 수정>은 재훈의 기억과 수정의 기억이 순차적으로 재생되는 반복의 구조를 갖고 있는데, 이 반복은 동일한 반복이 아니라 차이를 동반한 반복이다. 차이는 관객으로 하여금 영화의 디에제스에 대하여 나름대로의 지식 체계를 구축하게 한다. 하지만 곧 재훈과 수정 사이에 누구의 기억이 옳은지 판단할 수 없는 혼란에 빠지게 하고, 결과적으로 자신의 지식을 의심하게 한다. 반복은 동일자를 부정하는 무한반복에 의하여 디에제스 자체를 무효화시키고 관객의 지식도 무효화시킨다. <오! 수정>은, 디에제스를 통해 구축된 관객의 지식이 반복과 차이의 구조에 의한 무효화되면서, 의미의 아이러니화가 일어나는 영화이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권8호
• /
• pp.974-987
• /
• 1999

이동 컴퓨팅 환경에서 자주 접근하는 데이터에 대한 캐싱은 무선 채널의 좁은 대역폭에서 경쟁을 줄일 수 있는 유용한 기술이다. 그러나, 트랜잭션 캐시 일관성을 지원하는 전통적인 클라이언트/서버 전략은 클라이언트와 서버간에 많은 양의 통신을 필요로 하기 때문에 이동 클라이언트/서버 컴퓨팅 환경에서는 적절하지 않다. 본 논문에서는 브로드캐스트-기반 캐시 무효화 정책을 사용하면서 트랜잭션 캐시 일관성을 지원하는 OCC-UTS (Optimistic Concurrency Control with Update TimeStamp) 프로토콜을 제안한다. 접근한 데이터에 대한 일관성 검사 및 완료 프로토콜은 캐시 무효화 과정의 내부 과정으로 완전 분산 형태로 효율적으로 구현되며, 일관성 체크의 대부분이 이동 클라이언트에서 수행된다. 또한, 분석 모델에 기반한 성능 비교를 통해, 본 논문에서 제안하는 OCC-UTS 프로토콜이 다른 경쟁 프로토콜보다 높은 트랜잭션 처리율을 얻으며, 데이터 항목을 자주 접근하면 할수록 지역 캐시를 사용하는 OCC-UTS 프로토콜이 더 효율적임을 보인다. 이동 클라이언트의 접속 단절에 대해서는 무효화 브로드캐스트 윈도우를 크게 하여 접속 단절에 적절히 대처할 수 있다.Abstract In a mobile computing environment, caching of frequently accessed data has been shown to be a useful technique for reducing contention on the narrow bandwidth of the wireless channels. However, the traditional client/server strategies for supporting transactional cache consistency that require extensive communications between a client and a server are not appropriate in a mobile client/server computing environment. In this paper, we propose a new protocol, called OCC-UTS (Optimisitic Concurrency Control with Update TimeStamp), to support transactional cache consistency in a mobile client/server computing environment by utilizing the broadcast-based solutions for the problem of invalidating caches. The consistency check on accessed data and the commitment protocol are implemented in a truly distributed fashion as an integral part of cache invalidation process, with most burden of consistency check being downloaded to mobile clients. Also, our experiments based on an analytical model substantiate the basic idea and study the performance characteristics. Experimental results show that OCC-UTS protocol without local cache outperforms other competitor protocol, and the more frequent a mobile client accesses data items the more efficient OCC-UTS protocol with local cache is. With respect to disconnection, the tolerance to disconnection is improved if the invalidation broadcast window size is extended.

• 한국정보과학회논문지:시스템및이론
• /
• 제33권5호
• /
• pp.282-296
• /
• 2006

무선 클라이언트-서버 환경에서 데이타 브로드캐스팅은 효율적인 데이타 보급방식이다. 서버가 데이타를 방송하면 그 중 일부를 클라이언트가 캐시에 보관하여, 낮은 통신 대역폭과 한정된 자원을 극복하고 데이타 접근 시간 등을 절약할 수 있다. 서버는 또한 무효화보고서를 방송하여 서버 데이타와 클라이언트가 캐싱한 데이타간의 일관성을 유지할 수 있도록 한다. 기존의 캐시 일관성 문제를 해결하기 위한 대부분의 연구는, 접속 단절 시간이 너무 길어서 수신하지 못한 무효화 보고서의 수가 일정 한도(윈도우 크기)를 넘으면 단순히 캐시 전체를 삭제하는 방법을 사용한다. 이 논문은 이러한 긴 접속 단절 시간의 경우에도 이동 클라이언트의 캐시 재사용율을 높일 수 있는 기법을 제시한다. 캐시의 일관성 여부에 관계없이 무조건 전체 캐시 내용을 지우는 대신, 클라이언트는 모든 데이타를 지우는 비용과 선택적으로 지우는 비용을 추측한다. 만일 모든 데이타를 지우는 비용이 높아지는 경우에는 클라이언트는 캐시를 유지하고 검증 요청을 위해 업링크를 사용하여 유효하지 않은 데이타만을 선택적으로 지운다. 이 방법은 캐시 유지비용을 추측할 때 캐시된 데이타의 갱신 비율과 방송 빈도들을 함께 고려하므로, 효율적으로 캐시 재사용율을 높일 수 있다는 것을 모의 실험 결과를 통해 증명한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권9호
• /
• pp.1073-1084
• /
• 1999

이동 컴퓨팅 환경에서 이동 호스트는 제한된 대역폭을 효율적으로 사용하고 이동 트랜잭션의 응답 시간을 향상시키기 위하여 캐쉬를 이용한다. 그리고 이동 호스트에 캐슁된 데이타가 이동 지구국에서 갱신되면 이동 호스트의 캐쉬 일관성을 유지하기 위하여 이동 지구국은 무효화 메시지를 방송한다. 그러나 이동 지구국에서 주기적으로 무효화 메시지를 방송하는 방법은 이동 트랜잭션의 빠른 처리를 위하여 이동 지구국으로부터 데이타를 즉시 캐슁하는 경우에 이동 트랜잭션의 직렬가능한 수행을 보장할 수 없는 경우가 발생한다. 본 연구에서는 캐슁된 데이타를 이용하여 이동 트랜잭션을 수행하는 경우에 록을 이용하여 이동 트랜잭션의 직렬가능한 수행을 보장하는 UCL-MT 방법과 록 관리 방법을 제안한다. 제안하는 UCL-MT 방법은 이동 트랜잭션을 완료하기 이전에 이동 트랜잭션이 접근한 데이타 정보를 이용하여 지구국에서 사이클을 탐지함으로써 이동 트랜잭션의 직렬가능한 수행을 보장한다. 또한 제안하는 록 관리 방법은 이용할 수 있는 대역폭의 크기에 따른 무효화 메시지 내용의 변화에 유연하게 적용될 수 있다. Abstract In mobile computing environments, a mobile host caches the data to use the narrow bandwidth efficiently and improve the response time of a mobile transaction. If the cached data in mobile host is updated at a mobile support station, the mobile support station broadcasts an invalidation message for maintaining the cache consistency of a mobile host. But when a mobile transaction accesses the data which is not in cache, if a mobile host caches the data immediately from a mobile support station for processing a mobile transaction rapidly, the method that a mobile support station broadcasts an invalidation message periodically, happens to the case that can not guarantee the serializable execution of a mobile transaction. In this paper, we propose the UCL-MT method and lock management method, as a mobile transaction is executed using cached data. Since, using the data a mobile transaction accessed, the UCL-MT method detects a cycle in a mobile support station before the completion of the mobile transaction, it guarantees the serializable execution of the mobile transaction. Also, proposing lock management method can be adapted flexibly at the change of invalidation message content, according to the available bandwidth.

• 한국정보과학회논문지:데이타베이스
• /
• 제32권3호
• /
• pp.276-284
• /
• 2005

접근 빈도가 높은 데이타를 클라이언트의 캐시에 저장하여 사용하는 것은 한정된 무선 대역폭을 사용하는 이동 컴퓨팅 환경에서 매우 중요한 이슈이다. 그러나 클라이언트의 접속 단절이 빈번하게 발생하는 무선환경에서 캐시 데이타의 일관성을 보장해주기 위해서는 적지 않은 노력이 필요하다. 최근에는 캐시 데이타의 일관성 검사를 위하여 서버의 주기적인 무효화보고(Invalidation Report, IR) 기법을 이용한 연구가 활발하게 진행되고 있다. 하지만 클라이언트가 오랜 접속 단절이 발생할 경우 모든 캐시 데이타를 버려야 하므로, 성능에 큰 장점을 얻을 수 없게 된다 이에 본 논문에서는 이동 컴퓨팅 환경에서 빈번한 접속 단절로 인하여 오랫동안 무효화 보고를 받지 못하더라도 유효한 캐시 데이타를 최대한 유지시킬 수 있는 기법들을 제안한다. 먼저 클라이언트가 접속 단절 후 첫 재접속이 되었을 경우. 자신의 접속 단절 시간을 전송하도록 하여 서버가 동적으로 IR에 포함될 이전 일정 주기를 결정하도록 하였다. 이에 반하여 두 번째 기법에서는 서버가 특정 기간 동안의 IR 정보를 저장하도록 하여, 오랜 접속 단절 후에도 클라이언트가 직접 캐시 데이타의 일관성 검사를 요청할 수 있도록 하였다. 제안한 기법에 의해 현저히 줄어드는 클라이언트의 캐시 손실률과 그에 따른 업링크 수의 감소, 그리고 질의에 대한 응답시간의 감소로 인한 시스템 성능 향상은 시뮬레이션을 통해 확인된다.

• 발명특허
• /
• 제37권1호
• /
• pp.36-39
• /
• 2012

'소녀시대' 상표를 의류 식품 미용 통신판매업 등의 9개 분야에 대해 A씨가 2007년 출원하여 현재 상표권을 보유한 상태로 알려졌다. A씨는 자신의 상표권을 기초로 하여 무단으로 온라인 쇼핑몰에 '소녀시대' 상표권 침해 금지 경고장을 보냈으며, 이 사실이 SM측에 알려지면서 '소녀시대' 상표권을 둘러싼 문제가 야기되었다. 소녀시대가 데뷔할 즈음에 '소녀시대'를 출원한 A씨의 상표권은 그대로 유효할까? 아니면 무효화시킬 수 있을까? 끊임없이 문제가 되고 있는 타인의 상표 선점 문제를 어떻게 해결할 것인지에 대해 다시 한번 살펴보고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.116-118
• /
• 2000

분산 공유 메모리(Distributed Shared Memory)시스템은 사용자에게 간단한 공유메모리 개념을 제공하기 때문에 사용자는 노드 사이의 데이터 이동에 관여할 필요가 없다. DSM에서 일치서 유지를 위한 프로토콜을 선택하는 것은 통신부하를 줄이는데 중요한 역할을 한다. 본 논문은 DSM 프로토콜을 효과적으로 선택하기 위한 새로운 성능평가 모델을 제시한다. 본 연구에서 제안하는 성능평가 모델을 사용함으로써 무효화방식(invalidate protocol), 갱신 방식(update protocol) 그리고 이주방식(migratory protocol)의 성능예측이 가능하다. 본 성능평가모델은 노드들 사이의 데이터 일치성(consistency)유지를 위한 부담을 최소화하는 최적의 DSM 프로토콜을 결정하는데 사용된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.322-324
• /
• 2001

분산 환경에서 여러 호스트들간의 자료를 공유하는 것은 네트워크에 부하를 줄이고 가용도를 높일 수 있지만 복제된 공유 자료들의 일치성을 유지하는 것이 필요하다. 전통적으로 분산된 공유자료의 일치성을 위해서 무효화방식(invalidate protocol), 갱신방식(update protocol) 그리고 이주방식(migratory protocol)등이 사용되었다. 분산 환경뿐만 아니라 이동컴퓨팅 환경에서도 분산된 호스트들간에 공유자료의 일치성을 유지하기 위해서 적절한 프로토콜을 선택하는 것은 중요하다. 본 논문에서는 이동 컴퓨팅 환경에 효과적으로 적용 할 수 있는 공유자료의 일치성 유지하기 위한 프로토콜을 제안하고 성능 분석을 하였다.

• 논리연구
• /
• 제5권1호
• /
• pp.63-79
• /
• 2001

반 멕기는 전건 긍정 규칙(modus ponens)에 대한 이른바 반례들을 제시하고, 이런 예는 전건 긍정 규칙이 '엄밀히 타당한'것은 아님을 보여준다고 주장하였다. 그런데 최근 들어 카츠는 이런 반 멕기의 주장을 논박하고 있다. 이 논문은 카츠의 이런 논박이 어느 정도 성공적인지를 검토하고 있다. 이를 위해 우선 반 멕기의 반례가 제시되고, 그 다음 카츠의 반박이 자세히 분석되고 정식화된다. 이런 정식화에 바탕을 두고 카츠의 논증이 평가되며, 그 결과 카츠의 논증이 흠이 있음이 드러난다. 이런 이유로 논자는 카츠의 논박이 반 멕기가 내세운 전건 긍정 규칙의 반례를 무효화하지 못했으며, 따라서 반례는 여전히 유효하다고 주장한다.

• 한국정보처리학회논문지
• /
• 제5권11호
• /
• pp.2763-2775
• /
• 1998

이동 컴퓨팅 환경에서 이동 사용자는 무선 통신망의 협소한 대역폭을 효율적으로 사용하기 위하여 자주 데이타를 자신의 캐쉬에 저장하여 사용한다. 그러나, 이동호스트의 이동과 서버와의 통신 단절로 인하여 서버에 있는 데이타와 일관성이 위배되어 캐쉬된 데이타의 유용성이 상실될 수 있다. 기존 연구에서는 이동호스트의 캐쉬 일관성을 유지하기 위한 정책에 중점을 두었으며, 모든 이동 기지국에서 무효화 메시지를 방송하는 시점이 동일하다고 가정하였다. 본 논문에서는 이동호스트의 이동으로 인하여 발생될 수 있는 캐쉬 일관성 위배의 문제를 해결하는 캐쉬 일관성을 제안한다. 제안하는 정책은 각 이동 기지국이 무효화 메시지에 방송하는 메시지의 방송하는 시점을 다르게 함으로서 기존 정책에서 방송 시점을 일치시키기 위한 오버헤드를 줄일 수 있고, 이동 기지국이 이동호스트에게로 전송하는 메시지의 양을 줄일 수 있기 때문에 통신비용이 절감되고 무선 통신의 협소한 대역폭이 보다 효율적으로 사용될 수 있다.