JP2012515995A5 - - Google Patents

Download PDF

Info

Publication number
JP2012515995A5
JP2012515995A5 JP2011548227A JP2011548227A JP2012515995A5 JP 2012515995 A5 JP2012515995 A5 JP 2012515995A5 JP 2011548227 A JP2011548227 A JP 2011548227A JP 2011548227 A JP2011548227 A JP 2011548227A JP 2012515995 A5 JP2012515995 A5 JP 2012515995A5
Authority
JP
Japan
Prior art keywords
interrupt
guest
message
controller
identifier
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2011548227A
Other languages
English (en)
Japanese (ja)
Other versions
JP2012515995A (ja
JP5680554B2 (ja
Filing date
Publication date
Priority claimed from US12/611,622 external-priority patent/US8234432B2/en
Application filed filed Critical
Publication of JP2012515995A publication Critical patent/JP2012515995A/ja
Publication of JP2012515995A5 publication Critical patent/JP2012515995A5/ja
Application granted granted Critical
Publication of JP5680554B2 publication Critical patent/JP5680554B2/ja
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

JP2011548227A 2009-01-26 2010-01-26 各プロセッサに対して割り込み仮想化を支援するためのゲスト割り込み制御器 Active JP5680554B2 (ja)

Applications Claiming Priority (9)

Application Number Priority Date Filing Date Title
US14726909P 2009-01-26 2009-01-26
US61/147,269 2009-01-26
US12/611,607 2009-11-03
US12/611,622 US8234432B2 (en) 2009-01-26 2009-11-03 Memory structure to store interrupt state for inactive guests
US12/611,595 US8055827B2 (en) 2009-01-26 2009-11-03 Guest interrupt controllers for each processor to aid interrupt virtualization
US12/611,607 US8180944B2 (en) 2009-01-26 2009-11-03 Guest interrupt manager that records interrupts for guests and delivers interrupts to executing guests
US12/611,622 2009-11-03
US12/611,595 2009-11-03
PCT/US2010/022111 WO2010085804A1 (en) 2009-01-26 2010-01-26 Guest interrupt controllers for each processor to aid interrupt virtualization

Publications (3)

Publication Number Publication Date
JP2012515995A JP2012515995A (ja) 2012-07-12
JP2012515995A5 true JP2012515995A5 (https=) 2013-03-14
JP5680554B2 JP5680554B2 (ja) 2015-03-04

Family

ID=42355063

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2011548227A Active JP5680554B2 (ja) 2009-01-26 2010-01-26 各プロセッサに対して割り込み仮想化を支援するためのゲスト割り込み制御器

Country Status (6)

Country Link
US (4) US8234432B2 (https=)
EP (1) EP2389628A1 (https=)
JP (1) JP5680554B2 (https=)
KR (1) KR101610838B1 (https=)
CN (2) CN103761145B (https=)
WO (1) WO2010085804A1 (https=)

Families Citing this family (102)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
EP2271992B1 (en) * 2008-04-28 2013-04-03 Hewlett-Packard Development Company, L. P. Method and system for generating and delivering inter-processor interrupts in a multi-core processor and in certain shared-memory multi-processor systems
US8234432B2 (en) * 2009-01-26 2012-07-31 Advanced Micro Devices, Inc. Memory structure to store interrupt state for inactive guests
JP5320140B2 (ja) * 2009-04-14 2013-10-23 株式会社日立製作所 計算機システム、割込み中継回路及び割込み中継方法
US9535849B2 (en) * 2009-07-24 2017-01-03 Advanced Micro Devices, Inc. IOMMU using two-level address translation for I/O and computation offload devices on a peripheral interconnect
US8386745B2 (en) * 2009-07-24 2013-02-26 Advanced Micro Devices, Inc. I/O memory management unit including multilevel address translation for I/O and computation offload
US8934446B2 (en) 2009-10-02 2015-01-13 Lg Electronics Inc. Transmission method and device for a downlink reference signal
EP2513792B1 (en) * 2009-12-17 2016-08-17 Intel Corporation Cooperated interrupt moderation for a virtualization environment
US8566492B2 (en) * 2009-12-31 2013-10-22 Intel Corporation Posting interrupts to virtual processors
US8380908B2 (en) * 2009-12-31 2013-02-19 Intel Corporation Emulation of an input/output advanced programmable interrupt controller
US8533382B2 (en) * 2010-01-06 2013-09-10 Vmware, Inc. Method and system for frequent checkpointing
US8661213B2 (en) * 2010-01-06 2014-02-25 Vmware, Inc. Method and system for frequent checkpointing
US8549241B2 (en) * 2010-01-06 2013-10-01 Vmware, Inc. Method and system for frequent checkpointing
US8868987B2 (en) * 2010-02-05 2014-10-21 Tripwire, Inc. Systems and methods for visual correlation of log events, configuration changes and conditions producing alerts in a virtual infrastructure
US8566823B2 (en) * 2010-02-05 2013-10-22 Tripwire, Inc. Systems and methods for triggering scripts based upon an alert within a virtual infrastructure
US8875129B2 (en) * 2010-02-05 2014-10-28 Tripwire, Inc. Systems and methods for monitoring and alerting events that virtual machine software produces in a virtual infrastructure
US8489789B2 (en) * 2010-02-05 2013-07-16 Advanced Micro Devices, Inc. Interrupt virtualization
US8244978B2 (en) * 2010-02-17 2012-08-14 Advanced Micro Devices, Inc. IOMMU architected TLB support
KR101603287B1 (ko) * 2010-05-17 2016-03-14 삼성전자주식회사 시스템 온 칩 및 그것의 동작 방법
US8799422B1 (en) * 2010-08-16 2014-08-05 Juniper Networks, Inc. In-service configuration upgrade using virtual machine instances
TWI430615B (zh) 2010-09-09 2014-03-11 Realtek Semiconductor Corp 具有網路連線功能之電子裝置及應用於該電子裝置之方法
US8954959B2 (en) * 2010-09-16 2015-02-10 Red Hat Israel, Ltd. Memory overcommit by using an emulated IOMMU in a computer system without a host IOMMU
US8930401B2 (en) 2010-10-25 2015-01-06 International Business Machines Corporation Accessing and providing access to computer files over a computer network
US8458698B2 (en) * 2010-11-18 2013-06-04 International Business Machines Corporation Improving performance in a nested virtualized environment
US8612659B1 (en) * 2010-12-14 2013-12-17 Vmware, Inc. Hardware interrupt arbitration in virtualized computer systems
KR20120070326A (ko) * 2010-12-21 2012-06-29 한국전자통신연구원 메모리 가상화 장치 및 방법
US20120179847A1 (en) * 2011-01-12 2012-07-12 Standard Microsystems Corporation Method and System for Implementing Bus Operations with Precise Timing
US8578080B2 (en) * 2011-07-01 2013-11-05 Intel Corporation Secure handling of interrupted events utilizing a virtual interrupt definition table
US8949498B2 (en) * 2011-08-11 2015-02-03 Mellanox Technologies Ltd. Interrupt handling in a virtual machine environment
US8886862B2 (en) 2011-08-11 2014-11-11 Mellanox Technologies Ltd. Virtualization of interrupts
US8631181B2 (en) * 2011-09-26 2014-01-14 Oracle International Corporation Validating message-signaled interrupts by tracking interrupt vectors assigned to devices
WO2013099414A1 (ja) * 2011-12-26 2013-07-04 インターナショナル・ビジネス・マシーンズ・コーポレーション レジスタ・マッピング方法
WO2013101191A1 (en) * 2011-12-30 2013-07-04 Intel Corporation Virtual machine control structure shadowing
US8892802B2 (en) 2012-01-01 2014-11-18 International Business Machines Corporation Enhancing interrupt handling in a virtual environment
US9081507B2 (en) * 2012-03-14 2015-07-14 Symantec Corporation Shared storage access management systems and methods
US8806104B2 (en) 2012-09-25 2014-08-12 Intel Corporation Enabling virtualization of a processor resource
US9152588B2 (en) * 2012-10-16 2015-10-06 Apple Inc. Race-free level-sensitive interrupt delivery using fabric delivered interrupts
FR2996935B1 (fr) * 2012-10-16 2016-01-15 Bull Sas Procede et dispositif de traitement d'interruptions dans un systeme multiprocesseur
US9009368B2 (en) 2012-10-23 2015-04-14 Advanced Micro Devices, Inc. Interrupt latency performance counters
US10572665B2 (en) 2012-12-28 2020-02-25 Fireeye, Inc. System and method to create a number of breakpoints in a virtual machine via virtual machine trapping events
US9235538B2 (en) * 2013-02-07 2016-01-12 Red Hat Israel, Ltd. Injecting interrupts in virtualized computer systems
US10331589B2 (en) * 2013-02-13 2019-06-25 Red Hat Israel, Ltd. Storing interrupt location for fast interrupt register access in hypervisors
US9069741B2 (en) * 2013-02-25 2015-06-30 Red Hat, Inc. Emulating level triggered interrupts of physical devices assigned to virtual machine
US9378162B2 (en) * 2013-05-21 2016-06-28 Arm Limited Handling and routing interrupts to virtual processors
CN103699428A (zh) * 2013-12-20 2014-04-02 华为技术有限公司 一种虚拟网卡中断亲和性绑定的方法和计算机设备
US9959224B1 (en) 2013-12-23 2018-05-01 Google Llc Device generated interrupts compatible with limited interrupt virtualization hardware
US10042790B2 (en) * 2014-03-07 2018-08-07 Hitachi, Ltd. Computer and method with interrupt vector management
US10380047B2 (en) 2014-04-07 2019-08-13 Mellanox Technologies, Ltd. Traffic-dependent adaptive interrupt moderation
WO2015159359A1 (ja) * 2014-04-15 2015-10-22 株式会社日立製作所 物理計算機
KR101847518B1 (ko) 2014-06-20 2018-05-28 후아웨이 테크놀러지 컴퍼니 리미티드 가상화 플랫폼에 의한 중단을 처리하는 및 관련 장치
US9665509B2 (en) * 2014-08-20 2017-05-30 Xilinx, Inc. Mechanism for inter-processor interrupts in a heterogeneous multiprocessor system
US9697154B2 (en) 2014-08-20 2017-07-04 Red Hat Israel, Ltd. Managing message signaled interrupts in virtualized computer systems
US9910699B2 (en) 2014-10-28 2018-03-06 Intel Corporation Virtual processor direct interrupt delivery mechanism
US9477509B2 (en) 2015-01-23 2016-10-25 Red Hat Israel, Ltd. Protection against interrupts in virtual machine functions
US9875128B2 (en) * 2015-01-23 2018-01-23 Red Hat Israel, Ltd. Using hypervisor trapping for protection against interrupts in virtual machine functions
US9772870B2 (en) * 2015-01-29 2017-09-26 Red Hat Israel, Ltd. Delivering interrupts to virtual machines executing privileged virtual machine functions
US10726127B1 (en) 2015-06-30 2020-07-28 Fireeye, Inc. System and method for protecting a software component running in a virtual machine through virtual interrupts by the virtualization layer
US10642753B1 (en) 2015-06-30 2020-05-05 Fireeye, Inc. System and method for protecting a software component running in virtual machine using a virtualization layer
US10216927B1 (en) 2015-06-30 2019-02-26 Fireeye, Inc. System and method for protecting memory pages associated with a process using a virtualization layer
US10395029B1 (en) 2015-06-30 2019-08-27 Fireeye, Inc. Virtual system and method with threat protection
US11113086B1 (en) 2015-06-30 2021-09-07 Fireeye, Inc. Virtual system and method for securing external network connectivity
US10033759B1 (en) 2015-09-28 2018-07-24 Fireeye, Inc. System and method of threat detection under hypervisor control
WO2017094132A1 (ja) * 2015-12-02 2017-06-08 株式会社日立製作所 計算機および計算機の制御方法
US12248560B2 (en) * 2016-03-07 2025-03-11 Crowdstrike, Inc. Hypervisor-based redirection of system calls and interrupt-based task offloading
US12339979B2 (en) 2016-03-07 2025-06-24 Crowdstrike, Inc. Hypervisor-based interception of memory and register accesses
US10467161B2 (en) 2016-05-25 2019-11-05 Mellanox Technologies, Ltd. Dynamically-tuned interrupt moderation
WO2018176360A1 (en) * 2017-03-31 2018-10-04 Intel Corporation Scalable interrupt virtualization for input/output devices
CN109144679B (zh) * 2017-06-27 2022-03-29 华为技术有限公司 中断请求的处理方法、装置及虚拟化设备
US10248595B2 (en) * 2017-08-10 2019-04-02 Infineon Technologies Ag Virtual machine monitor interrupt support for computer processing unit (CPU)
US10346328B2 (en) 2017-09-11 2019-07-09 Apple Inc. Method and apparatus for indicating interrupts
US10387325B2 (en) * 2017-11-28 2019-08-20 International Business Machines Corporation Dynamic address translation for a virtual machine
US10747298B2 (en) 2017-11-29 2020-08-18 Advanced Micro Devices, Inc. Dynamic interrupt rate control in computing system
JP6974254B2 (ja) * 2018-05-18 2021-12-01 ルネサスエレクトロニクス株式会社 データ処理装置
US11080088B2 (en) * 2018-12-19 2021-08-03 Intel Corporation Posted interrupt processing in virtual machine monitor
TWI727607B (zh) 2019-02-14 2021-05-11 美商萬國商業機器公司 用於具有中斷表之經引導中斷虛擬化之方法、電腦系統及電腦程式產品
JP7482882B2 (ja) 2019-02-14 2024-05-14 インターナショナル・ビジネス・マシーンズ・コーポレーション マルチレベルの仮想化のための有向割り込み方法、システム、プログラム
CN113454591B (zh) * 2019-02-14 2025-06-06 国际商业机器公司 具有阻止指示符的定向中断虚拟化
WO2020164935A1 (en) 2019-02-14 2020-08-20 International Business Machines Corporation Directed interrupt virtualization with running indicator
TWI759677B (zh) 2019-02-14 2022-04-01 美商萬國商業機器公司 用於具有回退之經引導中斷虛擬化之方法、電腦系統及電腦程式產品
JP7459119B2 (ja) 2019-02-14 2024-04-01 インターナショナル・ビジネス・マシーンズ・コーポレーション 割り込みテーブルを使用したマルチレベルの仮想化のための有向割り込み方法、システム、プログラム
US11494211B2 (en) * 2019-04-22 2022-11-08 Advanced Micro Devices, Inc. Domain identifier and device identifier translation by an input-output memory management unit
US12260120B2 (en) * 2019-06-10 2025-03-25 Advanced Micro Devices, Inc. Guest operating system buffer and log accesses by an input-output memory management unit
US10853263B1 (en) 2019-07-23 2020-12-01 Ati Technologies Ulc Unified kernel virtual address space for heterogeneous computing
US11106595B2 (en) 2019-08-22 2021-08-31 Micron Technology, Inc. Hierarchical memory systems
US11042495B2 (en) * 2019-09-20 2021-06-22 Advanced Micro Devices, Inc. Providing interrupts from an input-output memory management unit to guest operating systems
US10922253B1 (en) * 2019-10-22 2021-02-16 Vmware, Inc. Implementing interrupt remapping via input/output memory management unit faults
US11281607B2 (en) 2020-01-30 2022-03-22 Red Hat, Inc. Paravirtualized cluster mode for legacy APICs
GB2593716B (en) * 2020-03-31 2022-08-10 Advanced Risc Mach Ltd Controlling memory access in a data processing systems with multiple subsystems
CN111722916B (zh) * 2020-06-29 2023-11-14 长沙新弘软件有限公司 一种通过映射表处理msi-x中断的方法
US12218860B2 (en) 2020-07-19 2025-02-04 Mellanox Technologies, Ltd Coalescing packets based on hints generated by network adapter
US11755355B2 (en) * 2020-11-25 2023-09-12 Nxp Usa, Inc. Systems and methods for assigning domain identifiers to remote peripheral devices using a hypervisor
US11595472B2 (en) 2021-01-19 2023-02-28 Mellanox Technologies, Ltd. Controlling packet delivery based on application level information
US12248800B2 (en) * 2021-05-17 2025-03-11 Intel Corporation Virtualization of interprocessor interrupts
DE112021006947T5 (de) * 2021-06-25 2023-12-28 Intel Corporation Exit-lose gast-an-host-benachrichtigung
US11989144B2 (en) 2021-07-30 2024-05-21 Advanced Micro Devices, Inc. Centralized interrupt handling for chiplet processing units
US11550745B1 (en) 2021-09-21 2023-01-10 Apple Inc. Remapping techniques for message signaled interrupts
CN114329439B (zh) * 2021-11-18 2026-04-10 杭州中天微系统有限公司 片上系统和中断隔离方法及计算机设备
US11792139B2 (en) 2022-01-24 2023-10-17 Mellanox Technologies, Ltd. Efficient packet reordering using hints
US12039363B2 (en) * 2022-06-29 2024-07-16 Red Hat, Inc. Synchronizing concurrent tasks using interrupt deferral instructions
US12132665B2 (en) 2022-11-21 2024-10-29 Mellanox Technologies, Ltd. Handling of out-of-order transport-layer packets using reorder buffer
WO2025048001A1 (ko) * 2023-08-30 2025-03-06 엘지전자 주식회사 전기 기기
CN117407059B (zh) * 2023-10-25 2024-05-07 合芯科技有限公司 中断控制方法、设备、存储介质及程序产品
CN117130668B (zh) * 2023-10-27 2023-12-29 南京沁恒微电子股份有限公司 一种处理器取指重定向时序优化电路

Family Cites Families (36)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS6136850A (ja) * 1984-07-30 1986-02-21 Nec Corp 入出力割込通知方式
JPH02208740A (ja) * 1989-02-09 1990-08-20 Fujitsu Ltd 仮想計算機制御方式
JP3093293B2 (ja) * 1991-02-08 2000-10-03 日本電気株式会社 情報処理装置の割り込み方式
US5222215A (en) 1991-08-29 1993-06-22 International Business Machines Corporation Cpu expansive gradation of i/o interruption subclass recognition
JP2870254B2 (ja) * 1991-10-02 1999-03-17 日本電気株式会社 仮想計算機の入出力割り込み処理方式
US5689713A (en) 1995-03-31 1997-11-18 Sun Microsystems, Inc. Method and apparatus for interrupt communication in a packet-switched computer system
US5892970A (en) * 1996-07-01 1999-04-06 Sun Microsystems, Inc. Multiprocessing system configured to perform efficient block copy operations
US6977908B2 (en) * 2000-08-25 2005-12-20 Hewlett-Packard Development Company, L.P. Method and apparatus for discovering computer systems in a distributed multi-system cluster
US6622193B1 (en) 2000-11-16 2003-09-16 Sun Microsystems, Inc. Method and apparatus for synchronizing interrupts in a message passing queue oriented bus system
US7054975B2 (en) * 2001-08-10 2006-05-30 Koninklijke Philips Electronics N.V. Interrupt generation in a bus system
US20040117532A1 (en) 2002-12-11 2004-06-17 Bennett Steven M. Mechanism for controlling external interrupts in a virtual machine system
US7000051B2 (en) 2003-03-31 2006-02-14 International Business Machines Corporation Apparatus and method for virtualizing interrupts in a logically partitioned computer system
US7281075B2 (en) 2003-04-24 2007-10-09 International Business Machines Corporation Virtualization of a global interrupt queue
US7130949B2 (en) * 2003-05-12 2006-10-31 International Business Machines Corporation Managing input/output interruptions in non-dedicated interruption hardware environments
US7222203B2 (en) 2003-12-08 2007-05-22 Intel Corporation Interrupt redirection for virtual partitioning
US20050228921A1 (en) 2004-03-31 2005-10-13 Prashant Sethi Sharing of interrupts between operating entities
US7209994B1 (en) 2004-05-11 2007-04-24 Advanced Micro Devices, Inc. Processor that maintains virtual interrupt state and injects virtual interrupts into virtual machine guests
US7962909B1 (en) * 2004-05-11 2011-06-14 Globalfoundries Inc. Limiting guest execution
US7444493B2 (en) 2004-09-30 2008-10-28 Intel Corporation Address translation for input/output devices using hierarchical translation tables
US20060112212A1 (en) * 2004-11-23 2006-05-25 Hob Gmbh & Co. Kg Virtual machine computer system for running guest operating system on a central processing means virtualized by a host system using region ID virtual memory option
US7689747B2 (en) 2005-03-28 2010-03-30 Microsoft Corporation Systems and methods for an augmented interrupt controller and synthetic interrupt sources
US7383374B2 (en) * 2005-03-31 2008-06-03 Intel Corporation Method and apparatus for managing virtual addresses
US7552236B2 (en) * 2005-07-14 2009-06-23 International Business Machines Corporation Routing interrupts in a multi-node system
US8286162B2 (en) 2005-12-30 2012-10-09 Intel Corporation Delivering interrupts directly to a virtual processor
US7613898B2 (en) * 2006-01-17 2009-11-03 Globalfoundries Inc. Virtualizing an IOMMU
US7945905B2 (en) 2006-06-02 2011-05-17 Accenture Global Services Limited Quality inspector tool
US7873770B2 (en) 2006-11-13 2011-01-18 Globalfoundries Inc. Filtering and remapping interrupts
US7730250B2 (en) * 2006-12-27 2010-06-01 Seiko Epson Corporation Interrupt control circuit, circuit board, electro-optic device, and electronic apparatus
US20080162762A1 (en) * 2006-12-29 2008-07-03 Gilbert Neiger Interrupt remapping based on requestor identification
US8453143B2 (en) * 2007-09-19 2013-05-28 Vmware, Inc. Reducing the latency of virtual interrupt delivery in virtual machines
US7809875B2 (en) * 2008-06-30 2010-10-05 Wind River Systems, Inc. Method and system for secure communication between processor partitions
GB2462258B (en) * 2008-07-28 2012-02-08 Advanced Risc Mach Ltd Interrupt control for virtual processing apparatus
US7849247B2 (en) * 2008-10-14 2010-12-07 Freescale Semiconductor, Inc. Interrupt controller for accelerated interrupt handling in a data processing system and method thereof
US8234432B2 (en) 2009-01-26 2012-07-31 Advanced Micro Devices, Inc. Memory structure to store interrupt state for inactive guests
US20110107328A1 (en) * 2009-11-02 2011-05-05 Advanced Micro Devices, Inc. Virtual machine device and methods thereof
JP5508903B2 (ja) * 2010-03-05 2014-06-04 ルネサスエレクトロニクス株式会社 情報処理装置、半導体集積回路装置および異常検出方法

Similar Documents

Publication Publication Date Title
JP2012515995A5 (https=)
CN101661381B (zh) 一种基于Xen的数据共享与访问控制方法
JP2018173949A5 (https=)
TWI613548B (zh) 遠端平台管理之計算裝置實施方法、保存用於遠端平台管理的電腦可執行指令之非暫時性媒體、以及遠端管理式計算裝置
US20130067125A1 (en) Methods and structure for improved processing of i/o requests in fast path circuits of a storage controller in a clustered storage system
US10509664B1 (en) Distributed virtual machine disk image deployment
JP2009260966A5 (https=)
US9544179B2 (en) Accelerating USB redirection over a network
US20130047157A1 (en) Information processing apparatus and interrupt control method
CN105940375B (zh) 针对多操作系统设备的动态再分配
US9807177B2 (en) Session aware USB redirection for multi-server published applications
US20150193251A1 (en) Method and system for gracefully shutdown virtual system
RU2012130056A (ru) Технологические приемы выгрузки объекта назначения виртуального хранилища
JP2011526035A5 (https=)
WO2011097589A3 (en) Processor configured to virtualize guest local interrupt controller
CN106255955A (zh) 多操作系统装置的访问隔离
US9952992B2 (en) Transaction request optimization for redirected USB devices over a network
CN107534839A (zh) 自定位计算设备、系统和方法
CN106021149B (zh) 蓝牙低功耗设备的多个连接管理
US20180205730A1 (en) Hostless mDNS-SD Responder with Authenticated Host Wake Service
CN1964262A (zh) 信息处理系统以及信息处理装置的分配方法
US20170068627A1 (en) System and method to support usb devices in an unsupported operating system in vdi environments
JP6094575B2 (ja) I/oデバイス共有システムおよびi/oデバイス共有方法
JP2006285810A5 (https=)
US9760524B2 (en) System and method to redirect UASP mass storage devices to an unsupported operating system in a VDI environment