Something went wrong. Try again.
Reactos
Something went wrong. Try again.
25 kB · 1023 lines
C
at master
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024/*++
Copyright (c) 1989-2000 Microsoft Corporation
Module Name:
Close.c
Abstract:
This module implements the File Close routine for Cdfs called by the Fsd/Fsp dispatch routines.
The close operation interacts with both the async and delayed close queues in the CdData structure. Since close may be called recursively we may violate the locking order in acquiring the Vcb or Fcb. In this case we may move the request to the async close queue. If this is the last reference on the Fcb and there is a chance the user may reopen this file again soon we would like to defer the close. In this case we may move the request to the async close queue.
Once we are past the decode file operation there is no need for the file object. If we are moving the request to either of the work queues then we remember all of the information from the file object and complete the request with STATUS_SUCCESS. The Io system can then reuse the file object and we can complete the request when convenient.
The async close queue consists of requests which we would like to complete as soon as possible. They are queued using the original IrpContext where some of the fields have been overwritten with information from the file object. We will extract this information, cleanup the IrpContext and then call the close worker routine.
The delayed close queue consists of requests which we would like to defer the close for. We keep size of this list within a range determined by the size of the system. We let it grow to some maximum value and then shrink to some minimum value. We allocate a small structure which contains the key information from the file object and use this information along with an IrpContext on the stack to complete the request.
--*/
#include "cdprocs.h"
//// The Bug check file id for this module//
#define BugCheckFileId (CDFS_BUG_CHECK_CLOSE)
//// Local support routines//
_Requires_lock_held_(_Global_critical_region_)BOOLEANCdCommonClosePrivate ( _In_ PIRP_CONTEXT IrpContext, _In_ PVCB Vcb, _In_ PFCB Fcb, _In_ ULONG UserReference, _In_ BOOLEAN FromFsd );
VOIDCdQueueClose ( _In_ PIRP_CONTEXT IrpContext, _In_ PFCB Fcb, _In_ ULONG UserReference, _In_ BOOLEAN DelayedClose );
PIRP_CONTEXTCdRemoveClose ( _In_opt_ PVCB Vcb );
// Tell prefast this is a workitem routineIO_WORKITEM_ROUTINE CdCloseWorker;
VOIDNTAPI /* ReactOS Change: GCC Does not support STDCALL by default */CdCloseWorker ( _In_ PDEVICE_OBJECT DeviceObject, _In_opt_ PVOID Context );
#ifdef ALLOC_PRAGMA#pragma alloc_text(PAGE, CdFspClose)#pragma alloc_text(PAGE, CdCommonClose)#pragma alloc_text(PAGE, CdCommonClosePrivate)#pragma alloc_text(PAGE, CdQueueClose)#pragma alloc_text(PAGE, CdRemoveClose)#pragma alloc_text(PAGE, CdCloseWorker)#endif
VOIDCdFspClose ( _In_opt_ PVCB Vcb )
/*++
Routine Description:
This routine is called to process the close queues in the CdData. If the Vcb is passed then we want to remove all of the closes for this Vcb. Otherwise we will do as many of the delayed closes as we need to do.
Arguments:
Vcb - If specified then we are looking for all of the closes for the given Vcb.
Return Value:
None
--*/
{ PIRP_CONTEXT IrpContext; IRP_CONTEXT StackIrpContext;
THREAD_CONTEXT ThreadContext = {0};
PFCB Fcb; ULONG UserReference;
ULONG VcbHoldCount = 0; PVCB CurrentVcb = NULL;
BOOLEAN PotentialVcbTeardown = FALSE;
PAGED_CODE();
FsRtlEnterFileSystem();
// // Continue processing until there are no more closes to process. //
while ((IrpContext = CdRemoveClose( Vcb )) != NULL) {
// // If we don't have an IrpContext then use the one on the stack. // Initialize it for this request. //
if (SafeNodeType( IrpContext ) != CDFS_NTC_IRP_CONTEXT ) {
// // Update the local values from the IrpContextLite. //
Fcb = ((PIRP_CONTEXT_LITE) IrpContext)->Fcb; UserReference = ((PIRP_CONTEXT_LITE) IrpContext)->UserReference;
// // Update the stack irp context with the values from the // IrpContextLite. //
CdInitializeStackIrpContext( &StackIrpContext, (PIRP_CONTEXT_LITE) IrpContext );
// // Free the IrpContextLite. //
CdFreeIrpContextLite( *(PVOID*)&IrpContext ); /* ReactOS Change: GCC "error: invalid lvalue in unary '&'" */
// // Remember we have the IrpContext from the stack. //
IrpContext = &StackIrpContext;
// // Otherwise cleanup the existing IrpContext. //
} else {
// // Remember the Fcb and user reference count. //
Fcb = (PFCB) IrpContext->Irp; IrpContext->Irp = NULL;
UserReference = (ULONG) IrpContext->ExceptionStatus; IrpContext->ExceptionStatus = STATUS_SUCCESS; }
_Analysis_assume_(Fcb != NULL && Fcb->Vcb != NULL);
// // We have an IrpContext. Now we need to set the top level thread // context. //
SetFlag( IrpContext->Flags, IRP_CONTEXT_FSP_FLAGS );
// // If we were given a Vcb then there is a request on top of this. //
if (ARGUMENT_PRESENT( Vcb )) {
ClearFlag( IrpContext->Flags, IRP_CONTEXT_FLAG_TOP_LEVEL | IRP_CONTEXT_FLAG_TOP_LEVEL_CDFS ); }
CdSetThreadContext( IrpContext, &ThreadContext );
// // If we have hit the maximum number of requests to process without // releasing the Vcb then release the Vcb now. If we are holding // a different Vcb to this one then release the previous Vcb. // // In either case acquire the current Vcb. // // We use the MinDelayedCloseCount from the CdData since it is // a convenient value based on the system size. Only thing we are trying // to do here is prevent this routine starving other threads which // may need this Vcb exclusively. // // Note that the check for potential teardown below is unsafe. We'll // repeat later within the cddata lock. //
PotentialVcbTeardown = !ARGUMENT_PRESENT( Vcb ) && (Fcb->Vcb->VcbCondition != VcbMounted) && (Fcb->Vcb->VcbCondition != VcbMountInProgress) && (Fcb->Vcb->VcbCleanup == 0);
if (PotentialVcbTeardown || (VcbHoldCount > CdData.MinDelayedCloseCount) || (Fcb->Vcb != CurrentVcb)) {
if (CurrentVcb != NULL) {
CdReleaseVcb( IrpContext, CurrentVcb ); }
if (PotentialVcbTeardown) {
CdAcquireCdData( IrpContext );
// // Repeat the checks with global lock held. The volume could have // been remounted while we didn't hold the lock. //
PotentialVcbTeardown = !ARGUMENT_PRESENT( Vcb ) && (Fcb->Vcb->VcbCondition != VcbMounted) && (Fcb->Vcb->VcbCondition != VcbMountInProgress) && (Fcb->Vcb->VcbCleanup == 0);
if (!PotentialVcbTeardown) {
CdReleaseCdData( IrpContext); } }
CurrentVcb = Fcb->Vcb;
_Analysis_assume_( CurrentVcb != NULL );
CdAcquireVcbShared( IrpContext, CurrentVcb, FALSE );
VcbHoldCount = 0;
} else {
VcbHoldCount += 1; }
// // Call our worker routine to perform the close operation. //
CdCommonClosePrivate( IrpContext, CurrentVcb, Fcb, UserReference, FALSE );
// // If the reference count on this Vcb is below our residual reference // then check if we should dismount the volume. //
if (PotentialVcbTeardown) {
CdReleaseVcb( IrpContext, CurrentVcb ); CdCheckForDismount( IrpContext, CurrentVcb, FALSE );
CurrentVcb = NULL;
CdReleaseCdData( IrpContext ); PotentialVcbTeardown = FALSE; }
// // Complete the current request to cleanup the IrpContext. //
CdCompleteRequest( IrpContext, NULL, STATUS_SUCCESS ); }
// // Release any Vcb we may still hold. //
if (CurrentVcb != NULL) {
CdReleaseVcb( IrpContext, CurrentVcb );
}
#ifdef _MSC_VER#pragma prefast(suppress:26165, "Esp:1153")#endif FsRtlExitFileSystem();}
_Requires_lock_held_(_Global_critical_region_)NTSTATUSCdCommonClose ( _Inout_ PIRP_CONTEXT IrpContext, _Inout_ PIRP Irp )
/*++
Routine Description:
This routine is the Fsd entry for the close operation. We decode the file object to find the CDFS structures and type of open. We call our internal worker routine to perform the actual work. If the work wasn't completed then we post to one of our worker queues. The Ccb isn't needed after this point so we delete the Ccb and return STATUS_SUCCESS to our caller in all cases.
Arguments:
Irp - Supplies the Irp to process
Return Value:
STATUS_SUCCESS
--*/
{ TYPE_OF_OPEN TypeOfOpen;
PVCB Vcb; PFCB Fcb; PCCB Ccb; ULONG UserReference = 0;
BOOLEAN PotentialVcbTeardown = FALSE;
PAGED_CODE();
ASSERT_IRP_CONTEXT( IrpContext ); ASSERT_IRP( Irp );
// // If we were called with our file system device object instead of a // volume device object, just complete this request with STATUS_SUCCESS. //
if (IrpContext->Vcb == NULL) {
CdCompleteRequest( IrpContext, Irp, STATUS_SUCCESS ); return STATUS_SUCCESS; }
// // Decode the file object to get the type of open and Fcb/Ccb. //
TypeOfOpen = CdDecodeFileObject( IrpContext, IoGetCurrentIrpStackLocation( Irp )->FileObject, &Fcb, &Ccb );
// // No work to do for unopened file objects. //
if (TypeOfOpen == UnopenedFileObject) {
CdCompleteRequest( IrpContext, Irp, STATUS_SUCCESS );
return STATUS_SUCCESS; }
Vcb = Fcb->Vcb;
// // Clean up any CCB associated with this open. //
if (Ccb != NULL) {
UserReference = 1;
// // We can always deallocate the Ccb if present. //
CdDeleteCcb( IrpContext, Ccb ); }
// // If this is the last reference to a user file or directory on a // currently mounted volume, then post it to the delayed close queue. Note // that the VcbCondition check is unsafe, but it doesn't really matter - // we just might delay the volume teardown a little by posting this close. //
if ((Vcb->VcbCondition == VcbMounted) && (Fcb->FcbReference == 1) && ((TypeOfOpen == UserFileOpen) || (TypeOfOpen == UserDirectoryOpen))) {
CdQueueClose( IrpContext, Fcb, UserReference, TRUE ); IrpContext = NULL;
// // Otherwise try to process this close. Post to the async close queue // if we can't acquire all of the resources. //
} else {
// // If we may be dismounting this volume then acquire the CdData // resource. // // Since we now must make volumes go away as soon as reasonable after // the last user handles closes, key off of the cleanup count. It is // OK to do this more than neccesary. Since this Fcb could be holding // a number of other Fcbs (and thus their references), a simple check // on reference count is not appropriate. // // Do an unsafe check first to avoid taking the (global) cddata lock in the // common case. //
if ((Vcb->VcbCleanup == 0) && (Vcb->VcbCondition != VcbMounted)) {
// // Possible dismount. Acquire CdData to synchronise with the remount path // before looking at the vcb condition again. //
CdAcquireCdData( IrpContext );
if ((Vcb->VcbCleanup == 0) && (Vcb->VcbCondition != VcbMounted) && (Vcb->VcbCondition != VcbMountInProgress) && FlagOn( IrpContext->Flags, IRP_CONTEXT_FLAG_TOP_LEVEL_CDFS )) {
PotentialVcbTeardown = TRUE; } else {
// // We can't dismount this volume now, there are other references or // it's just been remounted. // }
// // Drop the global lock if we don't need it anymore. //
if (!PotentialVcbTeardown) {
CdReleaseCdData( IrpContext ); } }
// // Call the worker routine to perform the actual work. This routine // should never raise except for a fatal error. //
if (!CdCommonClosePrivate( IrpContext, Vcb, Fcb, UserReference, TRUE )) {
// // If we didn't complete the request then post the request as needed. //
CdQueueClose( IrpContext, Fcb, UserReference, FALSE ); IrpContext = NULL;
// // Check whether we should be dismounting the volume and then complete // the request. //
} else if (PotentialVcbTeardown) {
CdCheckForDismount( IrpContext, Vcb, FALSE ); } }
// // Always complete this request with STATUS_SUCCESS. //
CdCompleteRequest( IrpContext, Irp, STATUS_SUCCESS );
if (PotentialVcbTeardown) {
CdReleaseCdData( IrpContext ); }
// // Always return STATUS_SUCCESS for closes. //
return STATUS_SUCCESS;}
//// Local support routine//
_Requires_lock_held_(_Global_critical_region_)BOOLEANCdCommonClosePrivate ( _In_ PIRP_CONTEXT IrpContext, _In_ PVCB Vcb, _In_ PFCB Fcb, _In_ ULONG UserReference, _In_ BOOLEAN FromFsd )
/*++
Routine Description:
This is the worker routine for the close operation. We can be called in an Fsd thread or from a worker Fsp thread. If called from the Fsd thread then we acquire the resources without waiting. Otherwise we know it is safe to wait.
We check to see whether we should post this request to the delayed close queue. If we are to process the close here then we acquire the Vcb and Fcb. We will adjust the counts and call our teardown routine to see if any of the structures should go away.
Arguments:
Vcb - Vcb for this volume.
Fcb - Fcb for this request.
UserReference - Number of user references for this file object. This is zero for an internal stream.
FromFsd - This request was called from an Fsd thread. Indicates whether we should wait to acquire resources.
DelayedClose - Address to store whether we should try to put this on the delayed close queue. Ignored if this routine can process this close.
Return Value:
BOOLEAN - TRUE if this thread processed the close, FALSE otherwise.
--*/
{ BOOLEAN RemovedFcb;
PAGED_CODE();
ASSERT_IRP_CONTEXT( IrpContext ); ASSERT_FCB( Fcb );
// // Try to acquire the Vcb and Fcb. If we can't acquire them then return // and let our caller know he should post the request to the async // queue. //
if (CdAcquireVcbShared( IrpContext, Vcb, FromFsd )) {
if (!CdAcquireFcbExclusive( IrpContext, Fcb, FromFsd )) {
// // We couldn't get the Fcb. Release the Vcb and let our caller // know to post this request. //
CdReleaseVcb( IrpContext, Vcb ); return FALSE; }
// // We didn't get the Vcb. Let our caller know to post this request. //
} else {
return FALSE; }
// // Lock the Vcb and decrement the reference counts. //
CdLockVcb( IrpContext, Vcb ); CdDecrementReferenceCounts( IrpContext, Fcb, 1, UserReference ); CdUnlockVcb( IrpContext, Vcb );
// // Call our teardown routine to see if this object can go away. // If we don't remove the Fcb then release it. //
CdTeardownStructures( IrpContext, Fcb, &RemovedFcb );
if (!RemovedFcb) {
CdReleaseFcb( IrpContext, Fcb ); } else { _Analysis_assume_lock_not_held_(Fcb->FcbNonpaged->FcbResource); }
// // Release the Vcb and return to our caller. Let him know we completed // this request. //
CdReleaseVcb( IrpContext, Vcb );
return TRUE;}
VOIDNTAPI /* ReactOS Change: GCC Does not support STDCALL by default */CdCloseWorker ( _In_ PDEVICE_OBJECT DeviceObject, _In_opt_ PVOID Context )/*++
Routine Description:
Worker routine to call CsFspClose.
Arguments:
DeviceObject - Filesystem registration device object
Context - Callers context
Return Value:
None
--*/
{ PAGED_CODE();
UNREFERENCED_PARAMETER( DeviceObject ); UNREFERENCED_PARAMETER( Context );
CdFspClose (NULL);}
VOIDCdQueueClose ( _In_ PIRP_CONTEXT IrpContext, _In_ PFCB Fcb, _In_ ULONG UserReference, _In_ BOOLEAN DelayedClose )
/*++
Routine Description:
This routine is called to queue a request to either the async or delayed close queue. For the delayed queue we need to allocate a smaller structure to contain the information about the file object. We do that so we don't put the larger IrpContext structures into this long lived queue. If we can allocate this structure then we put this on the async queue instead.
Arguments:
Fcb - Fcb for this file object.
UserReference - Number of user references for this file object. This is zero for an internal stream.
DelayedClose - Indicates whether this should go on the async or delayed close queue.
Return Value:
None
--*/
{ PIRP_CONTEXT_LITE IrpContextLite = NULL; BOOLEAN StartWorker = FALSE;
PAGED_CODE();
ASSERT_IRP_CONTEXT( IrpContext ); ASSERT_FCB( Fcb );
// // Start with the delayed queue request. We can move this to the async // queue if there is an allocation failure. //
if (DelayedClose) {
// // Try to allocate non-paged pool for the IRP_CONTEXT_LITE. //
IrpContextLite = CdCreateIrpContextLite( IrpContext ); }
// // We want to clear the top level context in this thread if // necessary. Call our cleanup routine to do the work. //
SetFlag( IrpContext->Flags, IRP_CONTEXT_FLAG_MORE_PROCESSING ); CdCleanupIrpContext( IrpContext, TRUE );
// // Synchronize with the CdData lock. //
CdLockCdData();
// // If we have an IrpContext then put the request on the delayed close queue. //
if (IrpContextLite != NULL) {
// // Initialize the IrpContextLite. //
IrpContextLite->NodeTypeCode = CDFS_NTC_IRP_CONTEXT_LITE; IrpContextLite->NodeByteSize = sizeof( IRP_CONTEXT_LITE ); IrpContextLite->Fcb = Fcb; IrpContextLite->UserReference = UserReference; IrpContextLite->RealDevice = IrpContext->RealDevice;
// // Add this to the delayed close list and increment // the count. //
InsertTailList( &CdData.DelayedCloseQueue, &IrpContextLite->DelayedCloseLinks );
CdData.DelayedCloseCount += 1;
// // If we are above our threshold then start the delayed // close operation. //
if (CdData.DelayedCloseCount > CdData.MaxDelayedCloseCount) {
CdData.ReduceDelayedClose = TRUE;
if (!CdData.FspCloseActive) {
CdData.FspCloseActive = TRUE; StartWorker = TRUE; } }
// // Unlock the CdData. //
CdUnlockCdData();
// // Cleanup the IrpContext. //
CdCompleteRequest( IrpContext, NULL, STATUS_SUCCESS );
// // Otherwise drop into the async case below. //
} else {
// // Store the information about the file object into the IrpContext. //
IrpContext->Irp = (PIRP) Fcb; IrpContext->ExceptionStatus = (NTSTATUS) UserReference;
// // Add this to the async close list and increment the count. //
InsertTailList( &CdData.AsyncCloseQueue, &IrpContext->WorkQueueItem.List );
CdData.AsyncCloseCount += 1;
// // Remember to start the Fsp close thread if not currently started. //
if (!CdData.FspCloseActive) {
CdData.FspCloseActive = TRUE;
StartWorker = TRUE; }
// // Unlock the CdData. //
CdUnlockCdData(); }
// // Start the FspClose thread if we need to. //
if (StartWorker) {
IoQueueWorkItem( CdData.CloseItem, CdCloseWorker, CriticalWorkQueue, NULL ); }
// // Return to our caller. //
return;}
//// Local support routine//
PIRP_CONTEXTCdRemoveClose ( _In_opt_ PVCB Vcb )
/*++
Routine Description:
Arguments:
This routine is called to scan the async and delayed close queues looking for a suitable entry. If the Vcb is specified then we scan both queues looking for an entry with the same Vcb. Otherwise we will look in the async queue first for any close item. If none found there then we look in the delayed close queue provided that we have triggered the delayed close operation.
Return Value:
PIRP_CONTEXT - NULL if no work item found. Otherwise it is the pointer to either the IrpContext or IrpContextLite for this request.
--*/
{ PIRP_CONTEXT IrpContext = NULL; PIRP_CONTEXT NextIrpContext; PIRP_CONTEXT_LITE NextIrpContextLite;
PLIST_ENTRY Entry;
PAGED_CODE();
ASSERT_OPTIONAL_VCB( Vcb );
// // Lock the CdData to perform the scan. //
CdLockCdData();
// // First check the list of async closes. //
Entry = CdData.AsyncCloseQueue.Flink;
while (Entry != &CdData.AsyncCloseQueue) {
// // Extract the IrpContext. //
NextIrpContext = CONTAINING_RECORD( Entry, IRP_CONTEXT, WorkQueueItem.List );
// // If no Vcb was specified or this Vcb is for our volume // then perform the close. //
if (!ARGUMENT_PRESENT( Vcb ) || (NextIrpContext->Vcb == Vcb)) {
RemoveEntryList( Entry ); CdData.AsyncCloseCount -= 1;
IrpContext = NextIrpContext; break; }
// // Move to the next entry. //
Entry = Entry->Flink; }
// // If we didn't find anything look through the delayed close // queue. // // We will only check the delayed close queue if we were given // a Vcb or the delayed close operation is active. //
if ((IrpContext == NULL) && (ARGUMENT_PRESENT( Vcb ) || (CdData.ReduceDelayedClose && (CdData.DelayedCloseCount > CdData.MinDelayedCloseCount)))) {
Entry = CdData.DelayedCloseQueue.Flink;
while (Entry != &CdData.DelayedCloseQueue) {
// // Extract the IrpContext. //
NextIrpContextLite = CONTAINING_RECORD( Entry, IRP_CONTEXT_LITE, DelayedCloseLinks );
// // If no Vcb was specified or this Vcb is for our volume // then perform the close. //
if (!ARGUMENT_PRESENT( Vcb ) || (NextIrpContextLite->Fcb->Vcb == Vcb)) {
RemoveEntryList( Entry ); CdData.DelayedCloseCount -= 1;
IrpContext = (PIRP_CONTEXT) NextIrpContextLite; break; }
// // Move to the next entry. //
Entry = Entry->Flink; } }
// // If the Vcb wasn't specified and we couldn't find an entry // then turn off the Fsp thread. //
if (!ARGUMENT_PRESENT( Vcb ) && (IrpContext == NULL)) {
CdData.FspCloseActive = FALSE; CdData.ReduceDelayedClose = FALSE; }
// // Unlock the CdData. //
CdUnlockCdData();
return IrpContext;}