公开(公告)号：WO2021191710A1

公开(公告)日：2021-09-30

申请号：PCT/IB2021/051759

申请日：2021-03-03

Applicant: NAGPAL, Rahul

Inventor： AKSHAY, . ,  MUKESHBHAI, Darji Bhavarth ,  SUDHIR, Sanandan ,  GULATI, Amit Krishn ,  ANAND, Ajay ,  SINGH, Ankit

IPC: B65D83/00

Abstract: The present disclosure provides an apparatus for dispensing a liquid. The dispenser includes a container adapted to hold a liquid. A hollow cylinder is provided in the container, which allows a piston to reciprocate within it. The piston is actuated to inject compressed gaseous fluid into the container, thereby pressurising the container. The piston injects the compressed gaseous fluid during both strokes, thereby enabling quicker pressurisation of the container. Weighted valves are provided at two ends of the container to ensure that only the liquid can enter them, allowing the apparatus to be operated at any orientation. Through any one of the weighted valves, the liquid is introduced into an ante-chamber. A trigger is provided, which operates a stopper separating the ante-chamber to enable a stream of liquid to be dispensed from the nozzle.

公开(公告)号：WO2012124995A2

公开(公告)日：2012-09-20

申请号：PCT/KR2012/001880

申请日：2012-03-15

Applicant: SAMSUNG ELECTRONICS CO., LTD. ,  KOLIPAKA, Parikshit ,  NAGPAL, Rahul

Inventor： KOLIPAKA, Parikshit ,  NAGPAL, Rahul

IPC: G06F9/06 ,  G06F9/44 ,  G06F15/76

CPC classification number: G06F9/52

Abstract: Method and system for maintaining vector clocks during synchronization for data race detection. Embodiments herein disclose methods to reduce overheads of maintaining and updating vector clock during synchronization in vector based dynamic data race detection systems. Embodiments herein enable improvement of vector based dynamic data race detection systems orthogonally without compromising with precision of the system by using opportunistic methods to reduce overheads during synchronization of threads.

Abstract translation: 用于在同步期间保持向量时钟的数据竞争检测的方法和系统。 本文的实施例公开了在基于矢量的动态数据竞赛检测系统中减少在同步期间维持和更新矢量时钟的开销的方法。 本文的实施例能够通过使用机会主义方法在线程同步期间减少开销来正交地改进基于向量的动态数据竞赛检测系统，而不会牺牲系统的精度。

公开(公告)号：WO2012124995A3

公开(公告)日：2012-12-27

申请号：PCT/KR2012001880

申请日：2012-03-15

Applicant: SAMSUNG ELECTRONICS CO LTD ,  KOLIPAKA PARIKSHIT ,  NAGPAL RAHUL

Inventor： KOLIPAKA PARIKSHIT ,  NAGPAL RAHUL

IPC: G06F9/06 ,  G06F9/44 ,  G06F15/76

CPC classification number: G06F9/52

Abstract: Method and system for maintaining vector clocks during synchronization for data race detection. Embodiments herein disclose methods to reduce overheads of maintaining and updating vector clock during synchronization in vector based dynamic data race detection systems. Embodiments herein enable improvement of vector based dynamic data race detection systems orthogonally without compromising with precision of the system by using opportunistic methods to reduce overheads during synchronization of threads.

Abstract translation: 方法和系统，用于在数据争用检测的同步期间维持向量时钟。 本文的实施例公开了用于减少基于矢量的动态数据竞争检测系统中的同步期间维持和更新矢量时钟的开销的方法。 本文中的实施例使得能够正交地改进基于矢量的动态数据竞争检测系统，而不会通过使用机会方法来降低线程同步期间的开销而降低系统精度。