Message ID | 20190627115405.255259-5-minchan@kernel.org (mailing list archive) |
---|---|
State | New, archived |
Headers | show |
Series | Introduce MADV_COLD and MADV_PAGEOUT | expand |
On Thu 27-06-19 20:54:04, Minchan Kim wrote: > When a process expects no accesses to a certain memory range > for a long time, it could hint kernel that the pages can be > reclaimed instantly but data should be preserved for future use. > This could reduce workingset eviction so it ends up increasing > performance. > > This patch introduces the new MADV_PAGEOUT hint to madvise(2) > syscall. MADV_PAGEOUT can be used by a process to mark a memory > range as not expected to be used for a long time so that kernel > reclaims *any LRU* pages instantly. The hint can help kernel in > deciding which pages to evict proactively. > > - man-page material > > MADV_PAGEOUT (since Linux x.x) > > Do not expect access in the near future so pages in the specified > regions could be reclaimed instantly regardless of memory pressure. > Thus, access in the range after successful operation could cause > major page fault but never lose the up-to-date contents unlike > MADV_DONTNEED. > It works for only private anonymous mappings and > non-anonymous mappings that belong to files that the calling process > could successfully open for writing; otherwise, it could be used for > sidechannel attack. I would rephrase this way: " Pages belonging to a shared mapping are only processed if a write access is allowed for the calling process. " I wouldn't really mention side channel attacks for a man page. You can mention can_do_mincore check and the side channel prevention in the changelog that is not aimed for the man page. > MADV_PAGEOUT cannot be applied to locked pages, Huge TLB pages, or > VM_PFNMAP pages. > > * v2 > * add comment about SWAP_CLUSTER_MAX - mhocko > * add permission check to prevent sidechannel attack - mhocko > * add man page stuff - dave > > * v1 > * change pte to old and rely on the other's reference - hannes > * remove page_mapcount to check shared page - mhocko > > * RFC v2 > * make reclaim_pages simple via factoring out isolate logic - hannes > > * RFCv1 > * rename from MADV_COLD to MADV_PAGEOUT - hannes > * bail out if process is being killed - Hillf > * fix reclaim_pages bugs - Hillf > > Signed-off-by: Minchan Kim <minchan@kernel.org> > --- I am still not convinced about the SWAP_CLUSTER_MAX batching and the udnerlying OOM argument. Is one pmd worth of pages really an OOM risk? Sure you can have many invocations in parallel and that would add on but the same might happen with SWAP_CLUSTER_MAX. So I would just remove the batching for now and think of it only if we really see this being a problem for real. Unless you feel really strong about this, of course. Anyway the patch looks ok to me otherwise. Acked-by: Michal Hocko <mhocko@suse.co>
On Tue, Jul 09, 2019 at 11:55:19AM +0200, Michal Hocko wrote: > On Thu 27-06-19 20:54:04, Minchan Kim wrote: > > When a process expects no accesses to a certain memory range > > for a long time, it could hint kernel that the pages can be > > reclaimed instantly but data should be preserved for future use. > > This could reduce workingset eviction so it ends up increasing > > performance. > > > > This patch introduces the new MADV_PAGEOUT hint to madvise(2) > > syscall. MADV_PAGEOUT can be used by a process to mark a memory > > range as not expected to be used for a long time so that kernel > > reclaims *any LRU* pages instantly. The hint can help kernel in > > deciding which pages to evict proactively. > > > > - man-page material > > > > MADV_PAGEOUT (since Linux x.x) > > > > Do not expect access in the near future so pages in the specified > > regions could be reclaimed instantly regardless of memory pressure. > > Thus, access in the range after successful operation could cause > > major page fault but never lose the up-to-date contents unlike > > MADV_DONTNEED. > > > It works for only private anonymous mappings and > > non-anonymous mappings that belong to files that the calling process > > could successfully open for writing; otherwise, it could be used for > > sidechannel attack. > > I would rephrase this way: > " > Pages belonging to a shared mapping are only processed if a write access > is allowed for the calling process. > " > > I wouldn't really mention side channel attacks for a man page. You can > mention can_do_mincore check and the side channel prevention in the > changelog that is not aimed for the man page. Agree. I will rephrase with one you suggested. Thanks for the suggestion. > > > MADV_PAGEOUT cannot be applied to locked pages, Huge TLB pages, or > > VM_PFNMAP pages. > > > > * v2 > > * add comment about SWAP_CLUSTER_MAX - mhocko > > * add permission check to prevent sidechannel attack - mhocko > > * add man page stuff - dave > > > > * v1 > > * change pte to old and rely on the other's reference - hannes > > * remove page_mapcount to check shared page - mhocko > > > > * RFC v2 > > * make reclaim_pages simple via factoring out isolate logic - hannes > > > > * RFCv1 > > * rename from MADV_COLD to MADV_PAGEOUT - hannes > > * bail out if process is being killed - Hillf > > * fix reclaim_pages bugs - Hillf > > > > Signed-off-by: Minchan Kim <minchan@kernel.org> > > --- > > > I am still not convinced about the SWAP_CLUSTER_MAX batching and the > udnerlying OOM argument. Is one pmd worth of pages really an OOM risk? > Sure you can have many invocations in parallel and that would add on > but the same might happen with SWAP_CLUSTER_MAX. So I would just remove > the batching for now and think of it only if we really see this being a > problem for real. Unless you feel really strong about this, of course. I don't have the number to support SWAP_CLUSTER_MAX batching for hinting operations. However, I wanted to be consistent with other LRU batching logic so that it could affect altogether if someone try to increase SWAP_CLUSTER_MAX which is more efficienty for batching operation, later. (AFAIK, someone tried it a few years ago but rollback soon, I couldn't rebemeber what was the reason at that time, anyway). > > Anyway the patch looks ok to me otherwise. > > Acked-by: Michal Hocko <mhocko@suse.co> Thanks!
On Wed 10-07-19 19:48:09, Minchan Kim wrote: > On Tue, Jul 09, 2019 at 11:55:19AM +0200, Michal Hocko wrote: [...] > > I am still not convinced about the SWAP_CLUSTER_MAX batching and the > > udnerlying OOM argument. Is one pmd worth of pages really an OOM risk? > > Sure you can have many invocations in parallel and that would add on > > but the same might happen with SWAP_CLUSTER_MAX. So I would just remove > > the batching for now and think of it only if we really see this being a > > problem for real. Unless you feel really strong about this, of course. > > I don't have the number to support SWAP_CLUSTER_MAX batching for hinting > operations. However, I wanted to be consistent with other LRU batching > logic so that it could affect altogether if someone try to increase > SWAP_CLUSTER_MAX which is more efficienty for batching operation, later. > (AFAIK, someone tried it a few years ago but rollback soon, I couldn't > rebemeber what was the reason at that time, anyway). Then please drop this part. It makes the code more complex while any benefit is not demonstrated. > > Anyway the patch looks ok to me otherwise. > > > > Acked-by: Michal Hocko <mhocko@suse.co> > > Thanks!
On Wed, Jul 10, 2019 at 01:16:22PM +0200, Michal Hocko wrote: > On Wed 10-07-19 19:48:09, Minchan Kim wrote: > > On Tue, Jul 09, 2019 at 11:55:19AM +0200, Michal Hocko wrote: > [...] > > > I am still not convinced about the SWAP_CLUSTER_MAX batching and the > > > udnerlying OOM argument. Is one pmd worth of pages really an OOM risk? > > > Sure you can have many invocations in parallel and that would add on > > > but the same might happen with SWAP_CLUSTER_MAX. So I would just remove > > > the batching for now and think of it only if we really see this being a > > > problem for real. Unless you feel really strong about this, of course. > > > > I don't have the number to support SWAP_CLUSTER_MAX batching for hinting > > operations. However, I wanted to be consistent with other LRU batching > > logic so that it could affect altogether if someone try to increase > > SWAP_CLUSTER_MAX which is more efficienty for batching operation, later. > > (AFAIK, someone tried it a few years ago but rollback soon, I couldn't > > rebemeber what was the reason at that time, anyway). > > Then please drop this part. It makes the code more complex while any > benefit is not demonstrated. The history says the benefit. https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/patch/?id=d37dd5dcb955dd8c2cdd4eaef1f15d1b7ecbc379 With the history, rather than proving it's worth for upcoming new code, need to try to prove no harmful any longer if we want to remove(or not consistent with other reclaim path). It's not the goal of this patch.
On Wed 10-07-19 20:53:56, Minchan Kim wrote: > On Wed, Jul 10, 2019 at 01:16:22PM +0200, Michal Hocko wrote: > > On Wed 10-07-19 19:48:09, Minchan Kim wrote: > > > On Tue, Jul 09, 2019 at 11:55:19AM +0200, Michal Hocko wrote: > > [...] > > > > I am still not convinced about the SWAP_CLUSTER_MAX batching and the > > > > udnerlying OOM argument. Is one pmd worth of pages really an OOM risk? > > > > Sure you can have many invocations in parallel and that would add on > > > > but the same might happen with SWAP_CLUSTER_MAX. So I would just remove > > > > the batching for now and think of it only if we really see this being a > > > > problem for real. Unless you feel really strong about this, of course. > > > > > > I don't have the number to support SWAP_CLUSTER_MAX batching for hinting > > > operations. However, I wanted to be consistent with other LRU batching > > > logic so that it could affect altogether if someone try to increase > > > SWAP_CLUSTER_MAX which is more efficienty for batching operation, later. > > > (AFAIK, someone tried it a few years ago but rollback soon, I couldn't > > > rebemeber what was the reason at that time, anyway). > > > > Then please drop this part. It makes the code more complex while any > > benefit is not demonstrated. > > The history says the benefit. > https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/patch/?id=d37dd5dcb955dd8c2cdd4eaef1f15d1b7ecbc379 Limiting the number of isolated pages is fine. All I am saying is that SWAP_CLUSTER_MAX is an arbitrary number same as 512 pages for one PMD as a unit of work. Both can lead to the same effect if there are too many parallel tasks doing the same thing. I do not want you to change that in the reclaim path. All I am asking for is to add a bathing without any actual data to back that because that makes the code more complex without any gains.
On Wed, Jul 10, 2019 at 09:47:19PM +0200, Michal Hocko wrote: > On Wed 10-07-19 20:53:56, Minchan Kim wrote: > > On Wed, Jul 10, 2019 at 01:16:22PM +0200, Michal Hocko wrote: > > > On Wed 10-07-19 19:48:09, Minchan Kim wrote: > > > > On Tue, Jul 09, 2019 at 11:55:19AM +0200, Michal Hocko wrote: > > > [...] > > > > > I am still not convinced about the SWAP_CLUSTER_MAX batching and the > > > > > udnerlying OOM argument. Is one pmd worth of pages really an OOM risk? > > > > > Sure you can have many invocations in parallel and that would add on > > > > > but the same might happen with SWAP_CLUSTER_MAX. So I would just remove > > > > > the batching for now and think of it only if we really see this being a > > > > > problem for real. Unless you feel really strong about this, of course. > > > > > > > > I don't have the number to support SWAP_CLUSTER_MAX batching for hinting > > > > operations. However, I wanted to be consistent with other LRU batching > > > > logic so that it could affect altogether if someone try to increase > > > > SWAP_CLUSTER_MAX which is more efficienty for batching operation, later. > > > > (AFAIK, someone tried it a few years ago but rollback soon, I couldn't > > > > rebemeber what was the reason at that time, anyway). > > > > > > Then please drop this part. It makes the code more complex while any > > > benefit is not demonstrated. > > > > The history says the benefit. > > https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/patch/?id=d37dd5dcb955dd8c2cdd4eaef1f15d1b7ecbc379 > > Limiting the number of isolated pages is fine. All I am saying is that > SWAP_CLUSTER_MAX is an arbitrary number same as 512 pages for one PMD as > a unit of work. Both can lead to the same effect if there are too many > parallel tasks doing the same thing. > > I do not want you to change that in the reclaim path. All I am asking > for is to add a bathing without any actual data to back that because > that makes the code more complex without any gains. I understand what you meant and I'm really one to make code simple. However, my concern was that we have isolated by SWAP_CLUSTER_MAX(32 pages) for other path(reclaim/compaction) so I want to be consistent with others. If you think that the consistency(IOW, others are 32 limit but here 256 limit) is no helpful this case, I don't have any strong opinion. Let's drop the part. I will add it into description, then. Thanks. > -- > Michal Hocko > SUSE Labs
diff --git a/include/linux/swap.h b/include/linux/swap.h index 0ce997edb8bb..063c0c1e112b 100644 --- a/include/linux/swap.h +++ b/include/linux/swap.h @@ -365,6 +365,7 @@ extern int vm_swappiness; extern int remove_mapping(struct address_space *mapping, struct page *page); extern unsigned long vm_total_pages; +extern unsigned long reclaim_pages(struct list_head *page_list); #ifdef CONFIG_NUMA extern int node_reclaim_mode; extern int sysctl_min_unmapped_ratio; diff --git a/include/uapi/asm-generic/mman-common.h b/include/uapi/asm-generic/mman-common.h index d7b4231eea63..f545e159b472 100644 --- a/include/uapi/asm-generic/mman-common.h +++ b/include/uapi/asm-generic/mman-common.h @@ -48,6 +48,7 @@ #define MADV_WILLNEED 3 /* will need these pages */ #define MADV_DONTNEED 4 /* don't need these pages */ #define MADV_COLD 5 /* deactivatie these pages */ +#define MADV_PAGEOUT 6 /* reclaim these pages */ /* common parameters: try to keep these consistent across architectures */ #define MADV_FREE 8 /* free pages only if memory pressure */ diff --git a/mm/madvise.c b/mm/madvise.c index 7abb8e54bc7a..ee210473f639 100644 --- a/mm/madvise.c +++ b/mm/madvise.c @@ -11,6 +11,7 @@ #include <linux/syscalls.h> #include <linux/mempolicy.h> #include <linux/page-isolation.h> +#include <linux/page_idle.h> #include <linux/userfaultfd_k.h> #include <linux/hugetlb.h> #include <linux/falloc.h> @@ -41,6 +42,7 @@ static int madvise_need_mmap_write(int behavior) case MADV_WILLNEED: case MADV_DONTNEED: case MADV_COLD: + case MADV_PAGEOUT: case MADV_FREE: return 0; default: @@ -480,6 +482,213 @@ static long madvise_cold(struct vm_area_struct *vma, return 0; } +static int madvise_pageout_pte_range(pmd_t *pmd, unsigned long addr, + unsigned long end, struct mm_walk *walk) +{ + struct mmu_gather *tlb = walk->private; + struct mm_struct *mm = tlb->mm; + struct vm_area_struct *vma = walk->vma; + pte_t *orig_pte, *pte, ptent; + spinlock_t *ptl; + LIST_HEAD(page_list); + struct page *page; + int isolated = 0; + unsigned long next; + + if (fatal_signal_pending(current)) + return -EINTR; + + next = pmd_addr_end(addr, end); + if (pmd_trans_huge(*pmd)) { + pmd_t orig_pmd; + + tlb_change_page_size(tlb, HPAGE_PMD_SIZE); + ptl = pmd_trans_huge_lock(pmd, vma); + if (!ptl) + return 0; + + orig_pmd = *pmd; + if (is_huge_zero_pmd(orig_pmd)) + goto huge_unlock; + + if (unlikely(!pmd_present(orig_pmd))) { + VM_BUG_ON(thp_migration_supported() && + !is_pmd_migration_entry(orig_pmd)); + goto huge_unlock; + } + + page = pmd_page(orig_pmd); + if (next - addr != HPAGE_PMD_SIZE) { + int err; + + if (page_mapcount(page) != 1) + goto huge_unlock; + get_page(page); + spin_unlock(ptl); + lock_page(page); + err = split_huge_page(page); + unlock_page(page); + put_page(page); + if (!err) + goto regular_page; + return 0; + } + + if (isolate_lru_page(page)) + goto huge_unlock; + + if (pmd_young(orig_pmd)) { + pmdp_invalidate(vma, addr, pmd); + orig_pmd = pmd_mkold(orig_pmd); + + set_pmd_at(mm, addr, pmd, orig_pmd); + tlb_remove_tlb_entry(tlb, pmd, addr); + } + + ClearPageReferenced(page); + test_and_clear_page_young(page); + list_add(&page->lru, &page_list); +huge_unlock: + spin_unlock(ptl); + reclaim_pages(&page_list); + return 0; + } + + if (pmd_trans_unstable(pmd)) + return 0; +regular_page: + tlb_change_page_size(tlb, PAGE_SIZE); + orig_pte = pte = pte_offset_map_lock(vma->vm_mm, pmd, addr, &ptl); + flush_tlb_batched_pending(mm); + arch_enter_lazy_mmu_mode(); + for (; addr < end; pte++, addr += PAGE_SIZE) { + ptent = *pte; + if (!pte_present(ptent)) + continue; + + page = vm_normal_page(vma, addr, ptent); + if (!page) + continue; + + /* + * creating a THP page is expensive so split it only if we + * are sure it's worth. Split it if we are only owner. + */ + if (PageTransCompound(page)) { + if (page_mapcount(page) != 1) + break; + get_page(page); + if (!trylock_page(page)) { + put_page(page); + break; + } + pte_unmap_unlock(orig_pte, ptl); + if (split_huge_page(page)) { + unlock_page(page); + put_page(page); + pte_offset_map_lock(mm, pmd, addr, &ptl); + break; + } + unlock_page(page); + put_page(page); + pte = pte_offset_map_lock(mm, pmd, addr, &ptl); + pte--; + addr -= PAGE_SIZE; + continue; + } + + VM_BUG_ON_PAGE(PageTransCompound(page), page); + + if (isolate_lru_page(page)) + continue; + + isolated++; + if (pte_young(ptent)) { + ptent = ptep_get_and_clear_full(mm, addr, pte, + tlb->fullmm); + ptent = pte_mkold(ptent); + set_pte_at(mm, addr, pte, ptent); + tlb_remove_tlb_entry(tlb, pte, addr); + } + ClearPageReferenced(page); + test_and_clear_page_young(page); + list_add(&page->lru, &page_list); + /* + * Prevent early OOM kill since it could isolate too many LRU + * pages concurrently. + */ + if (isolated >= SWAP_CLUSTER_MAX) { + arch_leave_lazy_mmu_mode(); + pte_unmap_unlock(orig_pte, ptl); + reclaim_pages(&page_list); + isolated = 0; + pte = pte_offset_map_lock(vma->vm_mm, pmd, addr, &ptl); + arch_enter_lazy_mmu_mode(); + orig_pte = pte; + } + } + + arch_leave_lazy_mmu_mode(); + pte_unmap_unlock(orig_pte, ptl); + reclaim_pages(&page_list); + cond_resched(); + + return 0; +} + +static void madvise_pageout_page_range(struct mmu_gather *tlb, + struct vm_area_struct *vma, + unsigned long addr, unsigned long end) +{ + struct mm_walk pageout_walk = { + .pmd_entry = madvise_pageout_pte_range, + .mm = vma->vm_mm, + .private = tlb, + }; + + tlb_start_vma(tlb, vma); + walk_page_range(addr, end, &pageout_walk); + tlb_end_vma(tlb, vma); +} + +static inline bool can_do_pageout(struct vm_area_struct *vma) +{ + if (vma_is_anonymous(vma)) + return true; + if (!vma->vm_file) + return false; + /* + * paging out pagecache only for non-anonymous mappings that correspond + * to the files the calling process could (if tried) open for writing; + * otherwise we'd be including shared non-exclusive mappings, which + * opens a side channel. + */ + return inode_owner_or_capable(file_inode(vma->vm_file)) || + inode_permission(file_inode(vma->vm_file), MAY_WRITE) == 0; +} + +static long madvise_pageout(struct vm_area_struct *vma, + struct vm_area_struct **prev, + unsigned long start_addr, unsigned long end_addr) +{ + struct mm_struct *mm = vma->vm_mm; + struct mmu_gather tlb; + + *prev = vma; + if (!can_madv_lru_vma(vma)) + return -EINVAL; + + if (!can_do_pageout(vma)) + return 0; + + lru_add_drain(); + tlb_gather_mmu(&tlb, mm, start_addr, end_addr); + madvise_pageout_page_range(&tlb, vma, start_addr, end_addr); + tlb_finish_mmu(&tlb, start_addr, end_addr); + + return 0; +} + static int madvise_free_pte_range(pmd_t *pmd, unsigned long addr, unsigned long end, struct mm_walk *walk) @@ -870,6 +1079,8 @@ madvise_vma(struct vm_area_struct *vma, struct vm_area_struct **prev, return madvise_willneed(vma, prev, start, end); case MADV_COLD: return madvise_cold(vma, prev, start, end); + case MADV_PAGEOUT: + return madvise_pageout(vma, prev, start, end); case MADV_FREE: case MADV_DONTNEED: return madvise_dontneed_free(vma, prev, start, end, behavior); @@ -892,6 +1103,7 @@ madvise_behavior_valid(int behavior) case MADV_DONTNEED: case MADV_FREE: case MADV_COLD: + case MADV_PAGEOUT: #ifdef CONFIG_KSM case MADV_MERGEABLE: case MADV_UNMERGEABLE: diff --git a/mm/vmscan.c b/mm/vmscan.c index 223ce5da08f0..b521770c4314 100644 --- a/mm/vmscan.c +++ b/mm/vmscan.c @@ -2151,6 +2151,64 @@ static void shrink_active_list(unsigned long nr_to_scan, nr_deactivate, nr_rotated, sc->priority, file); } +unsigned long reclaim_pages(struct list_head *page_list) +{ + int nid = -1; + unsigned long nr_reclaimed = 0; + LIST_HEAD(node_page_list); + struct reclaim_stat dummy_stat; + struct scan_control sc = { + .gfp_mask = GFP_KERNEL, + .priority = DEF_PRIORITY, + .may_writepage = 1, + .may_unmap = 1, + .may_swap = 1, + }; + + while (!list_empty(page_list)) { + struct page *page; + + page = lru_to_page(page_list); + if (nid == -1) { + nid = page_to_nid(page); + INIT_LIST_HEAD(&node_page_list); + } + + if (nid == page_to_nid(page)) { + list_move(&page->lru, &node_page_list); + continue; + } + + nr_reclaimed += shrink_page_list(&node_page_list, + NODE_DATA(nid), + &sc, 0, + &dummy_stat, false); + while (!list_empty(&node_page_list)) { + struct page *page = lru_to_page(&node_page_list); + + list_del(&page->lru); + putback_lru_page(page); + } + + nid = -1; + } + + if (!list_empty(&node_page_list)) { + nr_reclaimed += shrink_page_list(&node_page_list, + NODE_DATA(nid), + &sc, 0, + &dummy_stat, false); + while (!list_empty(&node_page_list)) { + struct page *page = lru_to_page(&node_page_list); + + list_del(&page->lru); + putback_lru_page(page); + } + } + + return nr_reclaimed; +} + /* * The inactive anon list should be small enough that the VM never has * to do too much work.
When a process expects no accesses to a certain memory range for a long time, it could hint kernel that the pages can be reclaimed instantly but data should be preserved for future use. This could reduce workingset eviction so it ends up increasing performance. This patch introduces the new MADV_PAGEOUT hint to madvise(2) syscall. MADV_PAGEOUT can be used by a process to mark a memory range as not expected to be used for a long time so that kernel reclaims *any LRU* pages instantly. The hint can help kernel in deciding which pages to evict proactively. - man-page material MADV_PAGEOUT (since Linux x.x) Do not expect access in the near future so pages in the specified regions could be reclaimed instantly regardless of memory pressure. Thus, access in the range after successful operation could cause major page fault but never lose the up-to-date contents unlike MADV_DONTNEED. It works for only private anonymous mappings and non-anonymous mappings that belong to files that the calling process could successfully open for writing; otherwise, it could be used for sidechannel attack. MADV_PAGEOUT cannot be applied to locked pages, Huge TLB pages, or VM_PFNMAP pages. * v2 * add comment about SWAP_CLUSTER_MAX - mhocko * add permission check to prevent sidechannel attack - mhocko * add man page stuff - dave * v1 * change pte to old and rely on the other's reference - hannes * remove page_mapcount to check shared page - mhocko * RFC v2 * make reclaim_pages simple via factoring out isolate logic - hannes * RFCv1 * rename from MADV_COLD to MADV_PAGEOUT - hannes * bail out if process is being killed - Hillf * fix reclaim_pages bugs - Hillf Signed-off-by: Minchan Kim <minchan@kernel.org> --- include/linux/swap.h | 1 + include/uapi/asm-generic/mman-common.h | 1 + mm/madvise.c | 212 +++++++++++++++++++++++++ mm/vmscan.c | 58 +++++++ 4 files changed, 272 insertions(+)